
Din COAB′, COBA′ patrulatere inscriptibile și OAB, OBC, OCA triunghiuri isoscele, avem:
Roșu: C1=O1=O2=C2,
Verde: B1′=C3=A1=B2′=2O3=2B2,
Albastru: A1′=C4=B1=A2′=2O4=2A2.
sinC1=sinO1=sin(2B2)=sin(180−2(C3+C4), deci sinC1=sin2C.
sinB′=sin(B1′+B2′)=sin(A1+C3)=sin(180−2(B1+B2)), deci sinB′=sin2B.
Notăm cu R și R1 razele cercurilor circumscrise triunghiurilor ABC, respectiv AB′C. Din teorema sinusurilor, avem:
AC=2RsinBAC=2R1sinB′=2R1sin2B=4R1sinBcosB}⇒R1=2cosBR.
Tot din teorema sinusurilor, AB′=2R1sinC1=2⋅2cosBRsin2C, deci AB′=cosBRsin2C.
Analog (sau conform simetriei), A′B=cosARsin2C.
△AB′C∼△A′BC (U.U) ⇒[A′BC][AB′C]=(A′BAB′)2=cos2Bcos2A=1+cos2B1+cos2A.