Pi/Reelle Kosinusfunktion/Definition

Die Zahl

Es sei die eindeutig bestimmte reelle Nullstelle der Kosinusfunktion aus dem Intervall . Die Kreiszahl ist durch

definiert.