Eine Möglichkeit ist die:
Sei y ∈ ℝ.
Dann betrachte für konstantes y die Funktion
f(x)=(sin(x+y) - sin(x)cos(y) - cos(x)sin(y))^2 +(cos(x+y)-cos(x)cos(y)+sin(x)sin(y))^2
und zeige f ' (x) = 0 für alle x∈ℝ .
f ' (x) = 2*(sin(x+y) - sin(x)cos(y) - cos(x)sin(y))*(cos(x+y)-cos(x)cos(y)+sin(x)sin(y))
+2*(cos(x+y)-cos(x)cos(y)+sin(x)sin(y))*(-sin(x+y)+sin(x)sin(y)+cos(x)sin(y))
wenn du die Klammern auflöst, hebt sich alles gegenseitig auf, also f ' (x) =0
==> f ist eine konstante Funktion und außerdem f(0)=0 .
Also ist f die Nullfunktion. Da der Term für f aus 2 nicht negativen Summanden besteht,
sind beide gleich 0. Damit hast du beide Add.theoreme auf einmal bewiesen.