Punkt-Steigungsform der Geraden ist
f(x) = ((-sin(a)-sin(2a)))/(-cos(2a)-cos(a)) · (x-cos(a)) + sin(a)
unter Verwendung von cos(2a + π) = -cos(2a) und sin(2a + π) = -sin(2a).
Nullstelle ist demnach
x = (cos(a)sin(2a) - sin(a)cos(2a)) / (sin(2a) + sin(a)).
Dopplewinkelfunktion
sin(2a) = 2sin(a)cos(a)
cos(2a) = cos2(a) - sin2(a)
liefert
x = (2cos2(a)sin(a) - sin(a)( cos2(a) - sin2(a))) / (2cos(a)sin(a) + sin(a)).
Klammere im Zähler und Nenner sin(a) aus und kürze.