# Prove $\log_{12}18$ is irrational

I first simplified it as $$\log_{12}18=\frac{\log_{9}18}{\log_{9}12}$$ and then proved that the numerator $\log_918$ is irrational by simplifying it to $1 + \log_9 2$ and proving $\log_9 2$ is irrational by contradiction: let $\log_9 2$ be rational so: $$\log_9 2 = \frac{m}{n}$$ $$9^m=2^n$$ which is a contradiction because it is saying that one side is odd and the other side is even. However I think this result isn't so useful because even if I do the same thing for the bottom and find out whether the denominator is rational or irrational, I still can't conclude for the original "fraction" as a whole whether it is rational or irrational. What can I do to reach a sound conclusion about the original number as a whole?

For contradiction, assume $\log_{12} 18$ is rational. Also note it's positive. Then exist positive integers $m,n$ such that $\log_{12}18=\frac{m}{n}$. By definition of $\log$, we get $12^{\frac{m}{n}}=18$. Raise both sides to the $n$'th power: $12^m=18^n$, i.e. $2^{2m}\cdot 3^m=2^n\cdot 3^{2n}$, so by Fundamental Theorem of Arithmetic, $2m=n$ and $m=2n$. But the two equations imply $4n=n$, i.e. $4=1$, contradiction.
• In this case, you can avoid unique factorization by writing it as $2^{2m-n}=3^{2n-m}$. Inverting if necessary, we get that even=odd, unless $2m-n=0$, and then $2n-m=0$. – Thomas Andrews Oct 6 '15 at 16:14
{"ft_lang_label":"__label__en","ft_lang_prob":0.83312476,"math_prob":0.9998061,"size":1674,"snap":"2020-10-2020-16","text_gpt3_token_len":536,"char_repetition_ratio":0.114371255,"word_repetition_ratio":0.0,"special_character_ratio":0.34946236,"punctuation_ratio":0.10451978,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999937,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-22T01:03:25Z\",\"WARC-Record-ID\":\"<urn:uuid:e019081d-2a59-4a14-b6ee-a028795ec4ce>\",\"Content-Length\":\"141058\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:cf9d3ca3-ceb6-4845-a979-fe52ceadf460>\",\"WARC-Concurrent-To\":\"<urn:uuid:f2345075-9004-42a1-b1ab-f49c653cb25f>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/1467290/prove-log-1218-is-irrational\",\"WARC-Payload-Digest\":\"sha1:BH4NW2WVZAXBOVD6JZSP7Y35KEXSWXVP\",\"WARC-Block-Digest\":\"sha1:62SBZKQ3WSOWH3672JHVQBX66FXBFEDH\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875145621.28_warc_CC-MAIN-20200221233354-20200222023354-00546.warc.gz\"}"}