Man berechne:
Betrachten wir ein rechtwinkeliges Dreieck mit dem Winkel , der Ankathete und der Gegenkathete .
Dabei ergibt sich folgendes:
Wir substituieren also .
Das Additionstheorem für die Sinusfunktion besagt folgendes:
In unserem Fall:
Abgeleitet:
Nun können wir das Integral folgendermaßen anschreiben:
Rücksubstituieren: