Pi/Real cosine function/Definition

This page is a small or not so small module that is part of modular mathematics. Its usefulness may only be apparent if one checks the what-links-here function to see in which course/larger page this module is used.

The number ${}\pi$

Let ${}s$ denote the unique (according to fact) real zero of the cosine function in the interval ${}[0,2]$. Then the number ${}\pi$ is defined by

${}\pi :=2s\,.$