Bài đẹp quá!
Ta kí hiệu \(S_a,S_b,S_c\) lần lượt là diện tích của các tam giác \(\Delta IBC,\Delta ICA,\Delta IAB\). Từ công thức tỉ số diện tích ta suy ra \(\frac{IA}{IM}=\frac{S_b+S_c}{S_a},\) tương tự cho 2 tỉ số còn lại. Thành thử ta cần chứng minh \(\sqrt{\frac{S_b+S_c}{S_a}}+\sqrt{\frac{S_c+S_a}{S_b}}+\sqrt{\frac{S_a+S_b}{S_a}}\ge3\sqrt{2}\)
Có nhiều cách xử lý cậu này: ví dụ theo bất đẳn thức Cauchy \(\sqrt{\frac{S_b+S_c}{2S_a}}\ge\frac{2\left(S_b+S_c\right)}{2S_a+S_b+S_c}=\frac{2\left(S_b+S_c\right)^2}{2S_a\left(S_b+S_c\right)+\left(S_b+S_c\right)^2}\)
Tương tự cho 2 bất đẳng thức nữa rồi cộng lại ta sẽ được
\(\sqrt{\frac{S_b+S_c}{2S_a}}+\sqrt{\frac{S_c+S_a}{2S_b}}+\sqrt{\frac{S_a+S_b}{2S_a}}\ge\frac{8\left(S_a+S_b+S_c\right)^2}{4\left(S_aS_b+S_bS_c+S_cS_a\right)+2\left(S_a^2+S_b^2+S_c^2+S_aS_b+S_bS_c+S_cS_a\right)}\)
Từ bất đẳng thức quen thuộc \(S_a^2+S_b^2+S_c^2\ge S_aS_b+S_bS_c+S_cS_a\) ta suy ra
\(\frac{8\left(S_a+S_b+S_c\right)^2}{4\left(S_aS_b+S_bS_c+S_cS_a\right)+2\left(S_a^2+S_b^2+S_c^2+S_aS_b+S_bS_c+S_cS_a\right)}\ge3\)
Do đó ta có ĐPCM.
