I think my confusion was because of missing the justification of $\sin^2 x \ge 0$ that is essential in the proof. On the other hand, $\cos^2 x \ge 0$ was mentioned but not used. --Usagiop (talk) 18:46, 3 October 2022 (UTC)