I have to define $\pi$ in terms of cos and to show why the definition is well-defined.
I think that I haven't understood what it is asking because $\pi$ would be the angle that divided for $2$ gives me $0$ to me.
But it is clearly far from the purpose of the exercise.
Can someone help me to understand?
You can define $\pi$ as the smallest real number greater than or equal to $0$ such its cosine is equal to $-1$.