transcendance de pi

Etant donné un nombre algébrique $a$ et un nombre entier $n$ exprimer l'existence d'un polygone à $n$ sommets inscrit dans cercle de rayon $0,5$ et de pétimètre $a$ se fait via une équation algébrique

Quand on sait {\bf \it d'avance} qu'elle a des solutions pour tout $a\leq \pi$...

Rappel du théorème de Godel (variante): {\bf pour prouver un énoncé $P$ on a la droit de supposer qu'il en existe une preuve sans perte de généralité}


[J'ai oté les \$ du titre, car celui-ci n'est pas compilé avec LaTeX. AD]