Equazioni lineari in seno e coseno

Risolvere l'equazione [math]a cos(\phi) + b sin(\phi ) + c = 0[/math] equivale a determinare le intersezioni della retta [math]ax + by + c = 0[/math] con la circonferenza goniometrica [math]x^2 + y^2 = 1 [/math].