86. As shown in the figure, let the circumradius of △ABC be R, and the circumradius of △BOC be R′. It is easy to see that ∠BAO=∠ABO=90∘−C, ∠CAO=∠ACO=90∘−B, ∠OBC=∠OCB=∠CA1O=90∘−A, ∠OA2C=∠ABC+∠BAO=90∘+B−C, ∠COA1=∠CAO+∠ACO=180∘−2B, ∠OCA1=180∘−∠COA1−∠OA1C=180∘−(180∘−2B)−(90∘−A)=2B+A−90∘=90∘−C+B. Applying the Law of Sines in △ABC and △BOC, we get BC=a=2RsinA=2R⋅sin∠BOC=2R′sin2A, so 2R′=cosAR. Using the Law of Sines again, we have
OA1=2R′sin∠OCA1=cosARsin(90∘−C+B)=cosARcos(B−C)AA1=AO+OA1=R+cosARcos(B−C)=R(1+cosAcos(B−C))OA1AA1=cosARcos(B−C)R(1+cosAcos(B−C))=cos(B−C)cosA+1
Similarly,
OB1BB1=cos(C−A)cosB+1OC1CC1=cos(A−B)cosC+1OA1AA1+OB1BB1+OC1CC1≥29⇔cos(B−C)cosA+cos(C−A)cosB+cos(A−B)cosC≥23
And
cos(B−C)cosA=2sin(B+C)cos(B−C)2sinAcosA=sin2B+sin2Csin2A
Similarly,
cos(C−A)cosB=sin2C+sin2Asin2Bcos(A−B)cosC=sin2A+sin2Bsin2C
By Nesbitt's inequality b+ca+c+ab+a+bc≥23, we get
sin2B+sin2Csin2A+sin2C+sin2Asin2B+sin2A+sin2Bsin2C≥23