6
$\begingroup$

Show that $\log_7 n$ is either an integer or an irrational number where n is a positive number.

I assumed that it is rational and tried to get a contradiction for $\log_7 n = a/b$, where b does not divide a, but how can I show that $7^{a/b}$ is not an integer to achieve a contradiction since n is an integer ? If I can exclude rational numbers from the range of log function then it is either integer or irrational.

Or do you suggest other methods ?

  • 0
    As stated your statement is not true. For instance if $n=\sqrt{7}$, then $\log_7\sqrt{7}=\frac{1}{2}$. I think that you need $n$ to be a non-zero natural number.2014-01-02

1 Answers 1

8

Interesting; usually one would assume not just that $b$ doesn't divide $a$ but that $a$ and $b$ are coprime, but in this case your assumption that $b$ doesn't divide $a$ is enough.

If $7^{a/b}=n$, then $7^a=n^b$. Thus $n$ must be a power of $7$, so we can write $n=7^k$ and thus $7^a=7^{kb}$, so $a=kb$, contradicting the assumption.

  • 1
    @acw622: It contradicts the assumption that $b$ doesn't divide $a$. By definition $b$ divides $a$ iff there is an integer $k$ such that $a=kb$.2012-10-08