Lemma 16.10 Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Vorlesung 16
Reelle Kosinusfunktion/Genau eine Nullstelle zwischen 0 und 2/Fakt