Voor elke a met − 1 2 π < a < 1 2 π wordt de functie fa gegeven door fa(x) = sin x ⋅ sin(x − a) met domein [0, π]. De afgeleide functie van fa kan worden geschreven als fa'(x)= sin(2x − a).
Bewijs dit.