1.We'll choose to set the function f(x) = sin x, on the bracket (0,Π)(we don't have to forget that we are working in a triangle, where the sum of the angles is 180∘, meaning Π, if we're measuring the angles in radians.)
f′(x)=cosx,f′′(x)=−sinx<0, so the function is concave and we we'll apply the Jensen's inequality, which says that:
f[A+B+C3]>f(A)+f(B)+f(C)3
Working in a triangle, A+B+C=180∘ and (A+B+C)3=1803=60∘
f(60)=sin60∘=√32
f(A)+f(B)+f(C)3=sinA+sinB+sinC3
Putting the results again in Jensen's inequality:
sinA+sinB+sinC3<√32
sinA+sinB+sinC<3(√3)2 q.e.d.
2. tan(C2)=tan(Π2−A+B2)=1tan(A+B2)=1−tan(A2)tan(B2)tan(A2)+tan(B2)
Let a=tan(A2),b=tan(B2),c=tan(C2), all positive, the constraint becomes
c=(1−ab)(a+b)
which is equivalent to ab+bc+ca=1
In general, for any a,b,c
(a−b)2+(b−c)2+(c−a)2≥0
2(a2+b2+c2)≥2(ab+bc+ca)
⟹tan2(A2)+tan2(B2)+tan2(C2)≥1