Reduktionsformeln

Es gibt Reduktionsformeln, mit denen man das Argument einer Winkelfunktion in das Intervall $[0, 90^\circ ]$ bzw. $[0, \pi/2]$ bringen kann.