Pi/Reelle Kosinusfunktion/Definition

Die Zahl $\pi$

Es sei $s$ die eindeutig bestimmte reelle Nullstelle der Kosinusfunktion aus dem Intervall $[0,2]$. Die Kreiszahl $\pi$ ist durch

$\pi :=2s$

definiert.