Théorème des quatre carrés

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 $r 4 (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

Ce document provient de « Th%C3%A9or%C3%A8me des quatre carr%C3%A9s de Lagrange ».

Catégories : Équation diophantienne | Théorème d'algèbre | Joseph-Louis Lagrange | Arithmétique modulaire

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème des quatre carrés de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

Theoreme des quatre carres de Lagrange — 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… … Wikipédia en Français
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… … 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
Théorème des deux carrés — de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons… … Wikipédia en Français
Théorème des trois carrés — En mathématiques et plus précisément en arithmétique modulaire, ce théorème dû à Carl Friedrich Gauss s énonce de la manière suivante : Un entier naturel n est la somme de trois carrés si et seulement s il n est pas de la forme 4p(8q − 1)… … Wikipédia en Français
Theoreme des deux carres de Fermat — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… … Wikipédia en Français
Théorème des deux carrés de fermat — Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons différentes il peut … Wikipédia en Français
Théorème des deux carrés de Fermat — Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons différentes il peut … Wikipédia en Français
Identité des quatre carrés d'Euler — En mathématiques, l identité des quatre carrés d Euler énonce que le produit de deux nombres, chacun étant la somme de quatre carrés, est lui même une somme de quatre carrés. Précisément : Le mathématicien suisse Leonhard Euler donne cette… … Wikipédia en Français
Identite des quatre carres d'Euler — Identité des quatre carrés d Euler En mathématiques, l identité des quatre carrés d Euler énonce que le produit de deux nombres, chacun étant la somme de quatre carrés, est lui même une somme de quatre carrés. Précisément … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème des quatre carrés