正弦法によって私達は知っている
#a / sinA = b / sinB = c / sinC = 2R#
今
第一部
#（b ^ 2-c ^ 2）cotA#
#=（4R ^ 2シン^ 2B-4R ^ 2シン^ 2C）cotA#
#= 4R ^ 2（1/2（1-cos2B）-1/2（1-cos2C）cotA#
#= 4R ^ 2xx1 / 2（cos2C-cos2B）cotA#
#= 2R ^ 2xx2sin（B + C）sin（B-C）cosA / sinA#
#= 4R ^ 2sin（pi-A）sin（B-C）cosA / sinA#
#= 4R ^ 2sinAsin（B-C）cosA / sinA#
#= 4R ^ 2シン（B-C）cosA#
#= 4R ^ 2（sinBcosCcosA-cosBsinCcosA）#
同様に
第二部 #=（c ^ 2-a ^ 2）cotB#
#= 4R ^ 2（sinCcosAcosB-cosCsinAcosB）#
第三部 #=（a ^ 2-b ^ 2）cotC#
#= 4R ^ 2（sinAcosBcosC-cosAsinBcosC）#
得られる3つの部分を追加する
全表現
#（b ^ 2-c ^ 2）cotA +（c ^ 2-a ^ 2）cotB +（a ^ 2-b ^ 2）cotC = 0#
