Durch das Additionstheorem erhalten wir
Von der Übung b haben wir dass sinv=1−b2 , und wir benutzen cos(4)=sin(4)=12 und erhalten