13.13. Let α1=∠OAC,α2=∠OAB,β1=∠OBA, β2=∠OBC,γ1=∠OCB,γ2=∠OCA,α=α1+α2,β=β1+β2,
!
Fig. 84
γ=γ1+γ2 (Fig. 84). Then the required inequality follows from the following chain of relations:
p=2a+b+c=21(OCcosγ1+OCcosγ2+OBcosβ1+OBcosρ2+
+OAcosα1+OAcosα2)=OCcos2γcos2γ1−γ2++OBcos2βcos2β1−β2+OAcos2αcos2α1−α2⩽≤OAcos2α+OBcos2β+OCcos2γ
Equality is achieved when
α1=α2,β1=β2,γ1=γ2,
i.e., when point O is the intersection of the angle bisectors of triangle ABC.
13:14. Note that when α=β=γ=60∘, the required inequality becomes an equality. Suppose at least two angles of the triangle, say α and β, are not equal, then
cosα+cosβ+cosγ=cosα+cosβ−cos(α+β)=
=2cos2α+βcos2α−β−cos(α+β)<2cos2α+β−2cos22α+β+1= =−21(2cos2α+β−1)2+23⩽23, i.e., the required inequality is also satisfied but is strict. Thus, equality holds only for an equilateral triangle.