⊿　　　　　○　　　∇　、＿＿＿,､´｀ﾞ；~､　　';冫　☆
　　　　　　　　　　　┏　 ━ゝヽ''／　　≧　＼━〆Ａ!ﾟ━━┓。
　╋┓"〓┃　 ＜　ゝ＼',冫｡'　|:::: 　＼ .／　|゛△│´'´,.ゝ'┃.　　　　　 ●┃ ┃┃
　┃┃_.━┛ヤ━━━━━━|::::: (●　(● |━━━━━━━━━　　━┛ ・　・
　　　　　　　　∇ 　┠─Σ-　　ヽ::::... .ワ.....ノ　　冫　そ',´; ┨'ﾟ,。
　　 　 　 　 　 .。冫▽　＜　　 ⊂ 　 　　./⊃　　　　 乙　　≧　　　▽
　　　　　　　　　。　┃　　 Σ　　 （⌒ゞ　,l,　､'' 　│ 　 て　く
　　　　　　　　　　　┠─ム┼ 　　ゝ,,ﾉ　ﾉゝ.　､,,　.┼ ｧ　Ζ┨　ミｏ''｀
　　　　　　　　　。､ﾟ`。､　　　i／　　　レ' o。了　､''　×　 个ｏ
　　　　　　　　○　 ┃ 　　`､,~´＋√ ▽　 　',!ヽ.◇　 　　ｏ┃
　　　　　　　　　 　 ┗〆━┷　Ｚ,.'　/┷━''ｏ ヾｏ┷+＼━┛,゛；
　　　　　　 ヾ　　　⊿　　　　　　　　　　　　　　　'、´　　　　∇

荒れたスレに不等式ヲタが光臨！ 整理すると以下の如しだ！

【1991 IMO 問１】
△ABCの内心をI、二等分線をAA'BB'CC'とするとき、
　1/4 < (AI・BI・CI)/(AA'・BB'・CC) ≦ 8/27

【証明】
>>592
角の二等分線の定理から、容易に
　AI/AA' = (b+c)/(a+b+c)、BI/BB' = (c+a)/(a+b+c)、CI/CC' = (a+b)/(a+b+c)
>>573
示すべき不等式は
　 1/4 < (a+b)(b+c)(c+a)/(a+b+c)^3 ≦ 8/27
>>577
右: 4(a+b)(b+c)(c+a) - (a+b+c)^3 = aa(b+c-a) + bb(c+a-b) + cc(a+b-c) + 2abc > 0,
左: 相加相乗平均
　　8(a+b+c)^3 -27(a+b)(b+c)(c+a)
　　= 3(a+b)(a-b)^2 + 3(b+c)(b-c)^2 + 3(c+a)(c-a)^2 + 2(a^3+b^3+c^3-3abc) ≧ 0,