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.