# Given $1<a<b<c$ prove $\log_a\log_ab+\log_b\log_bc+\log_c\log_ca>0.$

Given $1<a<b<c$ prove $$\log_a\log_ab+\log_b\log_bc+\log_c\log_ca>0.$$

How to approach problems like this? I tried usual transformations but no help. I guess I have to use characteristic of logarithm function, but I'm not quite sure how to approach it.

• $a,b,c$ are Reals? or precisely natural numbers? – Inceptio Mar 15 '13 at 11:37
• Let $x,y,z$ be the natural logarithms of $a,b,c$. Express the inequality in these terms. – Macavity Mar 15 '13 at 12:14

\begin{align} & \log_{a}{\log_{a}{b}}+\log_{b}{\log_{b}{c}}+\log_{c}{\log_{c}{a}}>0 \\ & \Leftrightarrow \frac{\ln{\ln{b}}-\ln{\ln{a}}}{\ln{a}}+\frac{\ln{\ln{c}}-\ln{\ln{b}}}{\ln{b}}+\frac{\ln{\ln{a}}-\ln{\ln{c}}}{\ln{c}}>0 \\ & \Leftrightarrow \frac{\ln{\ln{b}}}{\ln{a}}+\frac{\ln{\ln{c}}}{\ln{b}}+\frac{\ln{\ln{a}}}{\ln{c}}>\frac{\ln{\ln{a}}}{\ln{a}}+\frac{\ln{\ln{b}}}{\ln{b}}+\frac{\ln{\ln{c}}}{\ln{c}} \end{align}

The last inequality is true by rearrangement inequality since $\ln{\ln{c}}>\ln{\ln{b}}>\ln{\ln{a}}$ and $\frac{1}{\ln{a}}>\frac{1}{\ln{b}}>\frac{1}{\ln{c}}$ and the inequality is strict since the numbers are distinct.

• Could you please explain how do you obtain $\frac{ln(ln(b)) - ln(ln(a))}{ln a}$ from $\log_a(log_a(b))$ ? Thanks :) – GniruT Oct 24 '15 at 11:30

Let us use the property of $log$.
We know that $\log_a b = \frac{\log_{10} b}{\log_{10}a}$.

If we apply that in your problem, we end up with $$\frac{\log_{10}b}{(\log_{10}a)^2}+\frac{\log_{10}c}{(\log_{10}b)^2}+\frac{\log_{10}a}{(\log_{10}c)^2}$$

Now we can able to see that the quantity is $>0$

• But $\log_{a}{\log_{a}{b}}=\frac{\log{\log{b}}-\log{\log{a}}}{\log{a}}$ – Ivan Loh Mar 15 '13 at 12:23
• @IvanLoh im not sure how to proceed with that identity. – Learner Mar 15 '13 at 12:27
{"ft_lang_label":"__label__en","ft_lang_prob":0.8960952,"math_prob":0.9999398,"size":254,"snap":"2020-10-2020-16","text_gpt3_token_len":70,"char_repetition_ratio":0.136,"word_repetition_ratio":0.0,"special_character_ratio":0.27165353,"punctuation_ratio":0.1,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000042,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-04-04T09:36:11Z\",\"WARC-Record-ID\":\"<urn:uuid:23297b58-881b-4a98-9322-5bded056684f>\",\"Content-Length\":\"152975\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:f2cc84f1-37b9-4660-ab95-21d889f6bf26>\",\"WARC-Concurrent-To\":\"<urn:uuid:589c46c4-7c88-40e2-84eb-b98aaaeca202>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/331147/given-1abc-prove-log-a-log-ab-log-b-log-bc-log-c-log-ca0\",\"WARC-Payload-Digest\":\"sha1:ZEHF5BJ2P6EB4RYKQBHOYMRHFNTTDCVY\",\"WARC-Block-Digest\":\"sha1:DHZHDE4IT2AH3GGJM3ZSSO4ST224QIPI\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-16/CC-MAIN-2020-16_segments_1585370521574.59_warc_CC-MAIN-20200404073139-20200404103139-00283.warc.gz\"}"}