Paradoxe de Cramer
De Wikipédia, l'encyclopédie libre
De Wikipédia, l'encyclopédie libre
En mathématiques, et plus précisément en géométrie algébrique, le paradoxe de Cramer (nommé d'après Gabriel Cramer, mais qui avait déjà été remarqué par Maclaurin) affirme que le nombre de points d'intersection de deux courbes de haut degré peut être supérieur au nombre de points nécessaires pour définir l'une de ces courbes. Le paradoxe résulte de deux théorèmes : le théorème de Bézout, montrant que le nombre de points d'intersection des deux courbes est égal au produit de leurs degrés, et un théorème énoncé par Cramer, affirmant qu'une courbe de degré n est déterminée par n(n + 3)/2 points ; dès que n est égal ou supérieur à 3, ces deux valeurs sont apparemment contradictoires.
Une courbe algébrique de degré n (ou moins) peut être représentée (dans un repère affine) par une équation cartésienne de la forme
où l'on voit qu'il y a 3 coefficients pour les termes de degré 2, 4 coefficients pour ceux de degré 3, etc. ; on en déduit aisément (voir nombre triangulaire) qu'il y a au total (n+1)(n+2)/2 coefficients, et, puisque deux équations proportionnelles définissent la même courbe, que celle-ci est en définitive déterminée par n(n+3)/2 coefficients indépendants.
Si on se donne alors p points (xi,yi) (avec 1 ≤ i ≤ p) les courbes passant par ces points sont celles satisfaisant au système des p équations :
lequel possède des solutions non nulles tant que p < (n+1)(n+2)/2. Ainsi, les droites (correspondant à n=1) sont déterminées par deux points distincts et les coniques (correspondant à n=2) le sont par cinq points, puisque 5 = 2×(2+3)/2.
Dans un échange de lettres avec Euler[1], Cramer a développé les calculs précédents dans le cas des cubiques et des quartiques (les courbes de degré 4), montrant qu'une cubique est déterminée par 9 points et une quartique par 14. Remarquant ensuite que deux cubiques se coupent en 9 points et deux quartiques en 16 (ce sont des cas particuliers du théorème de Bézout, lequel affirme que deux courbes de degrés m et p se coupent en général en mp points[2]), il s'étonne de la contradiction : neuf points arbitraires définissent en effet une cubique unique, et, en général, puisque 14 points arbitraires définissent une quartique unique, il n'est pas possible d'en faire passer une (et encore moins plusieurs) par 16 points quelconques.
À la suite de cette correspondance, Euler a publié une analyse du paradoxe[3], montrant que les points d'intersection ne sont pas en réalité quelconques, et plus précisément que le système d'équations mentionné plus haut n'est pas, dans le cas de ces points, formé d'équations indépendantes. Il fallut cependant attendre le travail de Julius Plücker pour que soit donné une résolution complète du paradoxe, utilisant la notion de rang du système : dans le cas de points d'intersection de deux courbes de degré n, ce rang est d < n2, et donc si d des points d'intersection sont donnés, les autres peuvent être déterminés.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.