Proof: The proofs of these inequalities are largely similar, and here we only prove (10). We have
tg22A+tg22B=(cos2A−B+cos2A+B)24(sin2A+B)2−2sinAsinB=(cos2A−B+sin2C)2−2(cos2A−B)2+4cos22C+2sin22C
Let a=sin2C>0,b=4cos22C+2sin22C>0, then the above expression becomes: tg22A+tg22B=(cos2A−B+a)2−2(cos2A−B)2+b
We can prove that the function g(x)=(x+a)2−2x2+b(a>0,b>0) is a monotonically decreasing function on the interval (0,+∞).
Let x1>x2>0, then
g(x2)−g(x1)=(x1+a)2(x2+a)22a2(x12−x22)+4ax1x2(x1−x2)+b(x12−x22)+2ab(x1−x2)
>0, which means g(x2)>g(x1).
Therefore, if in △ABC and △A′B′C′ we have C=C′, then we can deduce:
tg22A+tg22B>tg22A′+tg22B′⇔⇒cos2A−B<cos2A′−B′⇔∣A′−B′∣<∣A−B∣
Thus, according to the corollary, we obtain inequality (10).