Kvadrirajmo dane jednakosti:
a2b2=cos2α+cos2β+2cosαcosβ,=sin2α+sin2β+2sinαsinβ.
Zbrajanjem, odnosno oduzimanjem ovih jednakosti dobivamo:
a2+b2=2+2(cosαcosβ+sinαsinβ)=2+2cos(α−β),
a2−b2=cos2α−sin2α+cos2β−sin2β+2(cosαcosβ−sinαsinβ)=cos2α+cos2β+2cos(α+β)=2cos(α+β)cos(α−β)+2cos(α+β)=2cos(α+β)[cos(α−β)+1].
Budući je cos(α−β)+1=2a2+b2=0, konačno dobivamo
cos(α+β)=a2+b2a2−b2.