Zapišimo dane jednakosti u obliku
2cosa+9cosd=−6cosb−7cosc,2sina−9sind=6sinb−7sinc
i kvadrirajmo ih. Dobit ćemo
4cos2a+36cosacosd+81cos2d4sin2a−36sinasind+81sin2d=36cos2b+84cosbcosc+49cos2c,=36sin2b−84sinbsinc+49sin2c.
Zbrajanjem i korištenjem identiteta sin2x+cos2x=1 (za x=a,b,c,d) dobivamo
4+81+36(cosacosd−sinasind)=36+49+84(cosbcosc−sinbsinc),
3(cosacosd−sinasind)=7(cosbcosc−sinbsinc),
što primjenom adicijskih formula za kosinus prelazi u
3cos(a+d)=7cos(b+c),tj.cos(b+c)cos(a+d)=37.