Prove by contradiction that $\log_5 8$ is irrational. While I understand that this is true, I am struggling to prove it by contradiction. Thank you for any help!
Asked
Active
Viewed 560 times
1
-
Now I wonder if there is a simple proof for statements like this that is not by contradiction ... I no longer wonder this – Wouter Mar 15 '16 at 15:43
2 Answers
2
By contradiction, so suppose it is rational and that it can be written as $p/q$ (in its simplest form). But then: $$\log_5 8 = \frac{p}{q} \Leftrightarrow 5^{\frac{p}{q}} = 8$$ Rewrite this as: $$5^p = 8^q$$ Hint: what can you say about both sides being odd or even?

StackTD
- 27,903
- 34
- 63
-
THis leads to a contradiction by even and odd and by Fundamental Theorem of Arithmetic as well. – user74489 Mar 15 '16 at 15:45
1
Suppose that $\log_{5}8=p/q$
$$\log_{5}8=p/q$$
From $\log$ rules:
$$\iff 5^{p/q}=8$$
Power of $q$ for both sides:
$$\iff 5^{p}=8^q$$
The RHS is even and the LHS is odd and it is can't be
$\square$

3SAT
- 7,512