a=bcosC+ccosBb=ccosA+acosCc=acosB+bcosA a2=b2+c2−2bccosAb2=c2+a2−2cacosBc2=a2+b2−2abcosCcosA=2bcb2+c2−a2cosB=2cac2+a2−b2cosA=2aba2+b2−c2 
AB=cBC=aCA=bAH=csinBBH=ccosBCH=a−ccosBBy
피타고라스 정리,
c2sin2B+a2−2accosB+c2cos2B=b2a2−2accosB+c2(sin2B+cos2B)=b2sin2B+cos2B=1이므로
a2−2accosB+c2=b2b2=a2+c2−2accosBI.S.W.
b2=c2+a2−2cacosBc2=a2+b2−2abcosC이를 정리하면
cosA=2bcb2+c2−a2cosB=2cac2+a2−b2cosA=2aba2+b2−c2