La quadrature du cercle
11/03/2013 dans histoire, mathématiciens, mathématiques savantes, prépa 2ème année, tout public
Le nombre Pi dans l’histoire
On a beaucoup écrit sur le nombre , son histoire, les investigations auxquelles il a donné lieu, la course aux décimales (voir encadré)…
est un objet culte en mathématiques, découvert très tôt et qui intervient dans de nombreux calculs de manière parfois troublante.
Déjà dans les tablettes babyloniennes (2000 ans av JC) on pressent un rapport constant entre le périmètre et le diamètre de tout cercle () et on cherche à l’approcher. Archimède (3è siècle av JC), par une méthode que nous appellerions de « convergence par encadrement », établit que ce rapport constant entre périmètre et diamètre est le même qu’entre surface et carré du rayon (
).
Une constante reconstruite
En mathématiques actuelles, la tendance est de donner un statut à en construisant d’abord les fonctions trigonométriques. Cette construction est présentée dans les classes de MP, PC, PSI comme corollaire de la théorie des séries entières. L’exponentielle complexe est définie comme l’application de
dans
somme de la série entière
(de rayon de convergence infini). Le cosinus est alors la partie réelle de la fonction
. Les propriétés analytiques de cette fonction permettent de démontrer l’existence d’un plus petit réel positif
tel que
, et donc d’un réel
.
Une autre définition, plus directe, suppose connue la caractérisation des sous-groupes de . On démontre en effet (et c’est un bon exercice) qu’ils sont soit monogènes (c’est-à-dire du type
) engendrés par la borne inférieure
de leurs élément strictement positifs, soit denses dans
lorsque cette borne inférieure est nulle. Or, l’isomorphisme
. entre
et
, a pour noyau un sous-groupe de
, de la forme
, et on pose
.
Transcendance et inconstructibilité
En 1882, Lindemann a démontré que est transcendant, c’est-à-dire qu’il n’est solution d’aucune équation polynomiale à coefficients rationnels. Il est aisé de rattacher cela à la non constructibilité de
(voir l’article « Le défi mathématique d’Apollon »). Les mathématiciens grecs (2è siècle av JC) avaient posé le problème de la construction à la règle et au compas d’un carré ayant même surface qu’un cercle donné (« quadrature du cercle »). Si
est le rayon du cercle, le côté de ce carré sera
. On sait donc maintenant que
n’étant pas constructible,
non plus et la quadrature du cercle est sans solution !