De dubbele hoeken uitwerken in termen van cos(a) levert dan
[2cos2(a)+cos(a)-1][2cos2(a)-cos(a)-1]
Elk van die factoren zijn tweedegraadsveeltermen in cos(a). Als je daar de nulpunten van zou kunnen vinden, kan je ze op hun beurt in factoren ontbinden. Probeer zelf te vinden dat