Đây là cách chứng minh siêu dài dùng phương pháp dồn biến
Từ BĐT $A = \dfrac{1}{\sqrt{1+\dfrac{a^{2}}{b^{2}}}}+\dfrac{1}{\sqrt{1+\dfrac{b^{2}}{c^{2}}}}+\dfrac{1}{\sqrt{1+\dfrac{c^{2}}{a^{2}}}} \le \dfrac{3}{\sqrt{2}}$
Đặt $x=\dfrac{a}{b};y=\dfrac{b}{c};z=\dfrac{c}{a}$ Suy ra $ xyz = 1 $
Ta cần chứng minh $A = \dfrac{1}{\sqrt{1+x^{2}}}+\dfrac{1}{\sqrt{1+y^{2}}} + \dfrac{1}{\sqrt{1+z^{2}}}\le \dfrac{3}{\sqrt{2}}$
Giả sử rằng $x \ge 1$ thì $yz \le 1$
Xét $B = \dfrac{1}{\sqrt{1+y^{2}}} + \dfrac{1}{\sqrt{1+z^{2}}} - \dfrac{2}{\sqrt{1+yz}}=\dfrac{1}{\sqrt{1+y^{2}}}-\dfrac{1}{\sqrt{1+yz}}+\dfrac{1}{\sqrt{1+z^{2}}}-\dfrac{1}{\sqrt{1+yz}}$
$B=\dfrac{z-y}{\sqrt{1+yz}} \left [ \dfrac{y}{\sqrt{1+y^{2}}(\sqrt{1+y^{2}}+\sqrt{1+yz})}-\dfrac{z}{\sqrt{1+z^{2}}(\sqrt{1+z^{2}}+\sqrt{1+yz})}\right ]$
Xét biểu thức trong ngoặc [.]. Quy đồng mẫu số biểu thức trong [.], để cho gọn ta gọi mẫu số là $M$
$[.] = \dfrac{y(1+z^{2})-z(1+y^{2})+\sqrt{1+yz}(y\sqrt{1+z^{2}}-z\sqrt{1+y^{2}})}{M}$
$[.]= \dfrac{(z-y)(yz-1)-\sqrt{1+yz}\dfrac{(z-y)(y+z)}{y\sqrt{1+z^{2}}+z\sqrt{1+y^{2}}}}{M}$
$[.]=\dfrac{z-y}{M}\left ( yz-1-\dfrac{\sqrt{1+yz}(y+z)}{y\sqrt{1+z^{2}}+z\sqrt{1+y^{2}}} \right )$
Vì $yz-1-\dfrac{\sqrt{1+yz}(y+z)}{y\sqrt{1+z^{2}}+z\sqrt{1+y^{2}}} \le 0$ nên $B \le 0$
Vậy $A \le \dfrac{1}{\sqrt{1+x^{2}}} + \dfrac{2}{\sqrt{1+yz}} = \dfrac{1}{\sqrt{1+x^{2}}} + \dfrac{2\sqrt{x}}{\sqrt{1+x}}$
Tự các bạn chứng minh tiếp nhé. Mình ngại gõ lắm
Xem ở đây nữa
http://www.wolframalpha.com/input/?i=1/sqrt(1+x^2)+2sqrt(x)/sqrt(1+x)&dataset=