Bất đẳng thức hình học nè:
Trong tam giác ABC chứng minh:
S\leq[tex] {1}/{4\sqrt{3} } [/tex] x [ [tex] a^2 [/tex] + [tex] b^2 [/tex]+ [tex] c^2 [/tex]- [tex] (a-b)^2 [/tex]- [tex] (b-c)^2 [/tex]- [tex] (c-a)^2 [/tex] ]
Viết lại bdt trên: [tex]\sum_{cyc} a^2 \geq 4\sqrt{3}S+(a-b)^2+(b-c)^2+(c-a)^2(*)[/tex]
Bổ tung ra, ta được: [tex] \sum_{sym} ab \geq 4\sqrt{3}.S+\sum_{cyc} a^2[/tex]
Mặt khác, ta có hệ quả quen thuộc sau: [tex]cotA=\frac{b^2+c^2-a^2}{4S}[/tex]
Thật vậy, kết hợp định lý sin và cos [tex] cotA=\frac{cosA}{sinA}=\frac{b^2+c^2-a^2}{2bc}.\frac{2R}{a}[/tex]
[tex]=\frac{R.(b^2+c^2-a^2)}{abc}=RHS[/tex]
[tex]\Rightarrow (*) \Leftrightarrow 4S.\sum_{cyc} \frac{1}{sinA} \geq 4.\sqrt{3}.S+4S.\sum_{cyc} cotA[/tex]
[tex]\Rightarrow \sum_{cyc} tan.\frac{A}{2} \geq \sqrt{3}[/tex]
[tex]Xet:f(x)=tanx ; \forall x \in\ (0;\frac{\pi}{2})[/tex]
Dễ thấy hàm f(x) khả vi bậc hai:
[tex] f" > 0; \forall x \in\ (0;\frac{\pi}{2})[/tex]
[tex]Jensen \Rightarrow f(\frac{A}{2})+f(\frac{B}{2})+f(\frac{C}{2})=\sum_{cyc} tan.\frac{A}{2} \geq 3.f(\frac{\frac{A}{2}+\frac{B}{2}+\frac{C}{2}}{3})=\sqrt{3}[/tex]
Vậy bài toán chứng minh xong
>-.
P/s: kiểm tra Lý xong sầu quá xá