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 r₄(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}$

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