cot2A+cot2B≤2cot2C⇔tan2A1+tan2B1≤tan2C2⇔tan2A1+tan2B1≤tan2A+tan2B4(1)
Do A B C là 3 góc 1 tam giác => tan 0 < tanA/2 ; tanB/2 ; tanC/2 <
tan 90
=> tanA/2 tanB/2 tanC/2 > 0
áp dụng BĐT
x1+y1≥x+y4 với x;y dương
=>
tan2A1+tan2B1≥tan2A+tan2B4
=>(1) xảy ra khi
tan2A1+tan2B1=tan2A+tan2B4
<=> [TEX]tan \frac{A}{2} =tan \frac{B}{2}[/TEX]
khi đó
2tan2A≤2tan2C
tan2A2≤tan2C2
điều này chỉ đúng khi
tan2A=tan2C
=>3 góc bằng nhau=>tam giác đều