wie gesagt:
Das gilt wenigstens mal für n=3. Vermutlich auch noch für andere n.
Dass es für n=3 gilt sieht man durch Einsetzen:
sin(3x) * sin ( 5/3) *cos(15pi/3 ) + sin(3x)*cos(5/3*x) * sin(15pi/3)
= sin (3x) * cos( 3*3pi)*sin( 5/3)*x ) + cos(3x)*sin(9pi) * sin(5/3 *x)
<=>
sin(3x) * sin ( 5/3) *cos(5pi ) + sin(3x)*cos(5/3*x) * sin(5pi )
= sin (3x) * cos( 9pi)*sin(5/3)*x + cos(3x)*sin(9pi) * sin(5/3 *x)
<=> sin(3x) * sin ( 5/3) *(-1) + sin(3x)*cos(5/3*x) * 0
= sin (3x) * (-1)*sin(5/3)*x + cos(3x)*0 * sin(5/3 *x)
<=> sin(3x) * sin ( 5/3) *(-1) = sin (3x) * (-1)*sin(5/3)*x
Passt.
Vielleicht kann man durch geschickte Fallunterscheidungen
( so etwa nach der Art: Wann ist sin(3x)=0 etc ) wirklich alle
Möglichkeiten bestimmen.