Proposition: Zero of Cosine
The cosine function has in the closed interval $[0,2]$ exactly one zero at $\pi/2.$ Formally, there exists exactly one $\alpha\in[0,2]$ with $\cos(\alpha)=0,$ and we have $\alpha=\pi/2.$
Table of Contents
Proofs: 1
Mentioned in:
Definitions: 1
Thank you to the contributors under CC BY-SA 4.0! 
- Github:
-
References
Bibliography
- Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983
