We know that when A+B+C=π, then
tan(A/2)tan(B/2)+tan(B/2)tan(C/2)+tan(C/2)tan(A/2)=1 .(1)
or yz+zx+xy=1, where x=tan(A/2) etc.
Now we know that (x−y)2+(y−z)2+(z−x)2≥0
or 2∑x2−2∑xy≥0
or ∑x2≥∑xy or ∑x2≥1
∵∑xy=1
or tan2(A/2)+tan2(B/2)+tan2(C/2)≥1
Note: For another method see the chapter on inequalities where we have proved that x2+y2+z2≥xy+yz+zx=1∴x2+y2+z2≥1.