Talk:Sine of Integer Multiple of Argument/Formulation 7

No mistake.

When $k = 2r + 1$ then $\paren {\sin^2 \frac {k \pi} 2} = 1$

When $k = 2r$ then $\paren {\sin^2 \frac {k \pi} 2} = 0$. --Robkahn131 (talk) 20:53, 22 September 2023 (UTC)

It's not obvious. The equivalence of the forms needs to be made apparent, because at the moment it is not. --prime mover (talk) 22:31, 22 September 2023 (UTC)

No sorry don't like it. The result should be the stark result, the explanatory extra stuff goes in the proof section. That's the Gaussian approach. --prime mover (talk) 00:03, 24 September 2023 (UTC)