Die Formeln zum Halben Winkel kann man sich kurz über die Additionstheoreme herleiten, wenn man diese nicht verwenden darf. Z.B.
COS(a + a) = COS(a)·COS(a) - SIN(a)·SIN(a)
COS(2·a) = COS(a)^2 - SIN(a)^2
COS(2·a) = 1 - SIN(a)^2 - SIN(a)^2
COS(2·a) = 1 - 2·SIN(a)^2
2·SIN(a)^2 = 1 - COS(2·a)
SIN(a)^2 = (1 - COS(2·a)) / 2
SIN(a) = √((1 - COS(2·a)) / 2)
SIN(a/2) = √((1 - COS(a)) / 2)