Conjecture de Bachet

Conjecture de Bachet

Théorème des quatre carrés de Lagrange

Le théorème des quatre carrés de Lagrange, aussi connu sous le nom de conjecture de Bachet et démontré en 1770 par le mathématicien français Joseph Louis Lagrange correspond à une équation diophantienne qui se résout avec les techniques de l'arithmétique modulaire. Il s'énonce de la façon suivante :

Tout entier positif s'exprime comme la somme d'au plus quatre carrés.

Plus formellement, pour tout entier positif n, il existe des entiers positifs a, b, c, d tels que :

n = a^2 + b^2 + c^2 + d^2\,\!

Le mathématicien français Adrien-Marie Legendre améliora le théorème en 1798 en affirmant qu'un entier positif peut être exprimé comme la somme d'au plus trois carrés si et seulement s'il n'est pas de la forme

4^{k}(8m + 7)\,\!.

Sa démonstration était incomplète, laissant une brèche qui fut comblée plus tard par le mathématicien allemand Carl Friedrich Gauss.

Le théorème des quatre carrés de Lagrange est un cas particulier du théorème du nombre polygonal de Fermat et du problème de Waring.

La démonstration du théorème repose (en partie) sur l'identité des quatre carrés d'Euler :

\begin{array}{rcl} (x_1^2 + y_1^2 + z_1^2 + t_1^2)(x_2^2 + y_2^2 + z_2^2 + t_2^2)& = & (x_1x_2 + y_1y_2 + z_1z_2 + t_1t_2)^2\\ & & \quad + (x_1y_2 - y_1x_2 + t_1z_2 - z_1t_2)^2 \\ & & \quad\quad + (x_1z_2 - z_1x_2 + y_1t_2 - t_1y_2)^2 \\ & & \quad\quad\quad + (x_1t_2 - t_1x_2 + z_1y_2 - y_1z_2)^2 \end{array}

Fonctions arithmétiques

Les fonctions arithmétiques permettent d'obtenir des résultats plus généraux. Si on pose r4(n) comme étant le nombre de façon de décomposer n sous forme d'une somme de 4 carrés, on obtient le résultat suivant:

\sum_{n=0}^{\infty}{r_4(n)x^n} = \left( \sum_{n=0}^{\infty}{x^{n^2}} \right)^4, pour | x | < 1.

Moyennant l'utilisation des séries de Lambert, on en déduit le théorème suivant, dit théorème de Jacobi :

\forall n \in \mathbb{N}^*, \ r_4(n) = 8 \sum_{d|n, d \not\equiv 0[4]}{d}
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me des quatre carr%C3%A9s de Lagrange ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Conjecture de Bachet de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Conjecture de Fermat — Dernier théorème de Fermat Travail de Diophante traduit du grec en latin par Claude Gaspard Bachet de Méziriac. Cette édition du livre a été publiée en 1621. La page 85 contient le problème II.VIII de Diophante, et est la page sur laquelle Pierre …   Wikipédia en Français

  • Liste de conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, non exhaustive. Elles sont divisées en quatre sections, en accord avec leur état en 2011. Voir aussi : Conjecture d Erdős (en), qui liste des conjectures de Paul Erdős et de ses… …   Wikipédia en Français

  • Liste Des Conjectures Mathématiques — Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les conjectures de Paul… …   Wikipédia en Français

  • Liste des conjectures — mathématiques Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les… …   Wikipédia en Français

  • Liste des conjectures mathematiques — Liste des conjectures mathématiques Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős,… …   Wikipédia en Français

  • Liste des conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les conjectures de Paul… …   Wikipédia en Français

  • Histoire Des Mathématiques — Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français

  • Histoire des mathematiques — Histoire des mathématiques Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français

  • Histoire des mathématiques — L’histoire des mathématiques s étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale. Jusqu au XVIIe siècle, le développement des connaissances mathématiques s’effectue… …   Wikipédia en Français

  • Théorème des quatre carrés de Lagrange — Le théorème des quatre carrés de Lagrange, est également connu sous le nom de conjecture de Bachet  ; il a été énoncé pour la première fois par Claude Gaspard Bachet de Méziriac en 1621, dans les notes accompagnant sa traduction en latin du… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”