FORMULES DE CRAMER

Le but de ce complément est double :

1) Donner la démonstration élémentaire des formules de Cramer dans le cas d’un système de trois équations à trois
inconnues [théorème 4.7, page 9 de "Toutes les mathématiques" (TLM1)].

2) Enoncer et démontrer les formules de Cramer dans le cas général d’un système de n équations à n inconnues, à partir
de la théorie générale des déterminants (voir le document "Déterminants" sur le site touteslesmaths.fr).

1 Systèmes de trois équations à trois inconnues

Considérons un système (S) de trois équations linéaires à trois inconnues x; y et z :
8
< ax + by + cz = d (1)
(S) a0 x + b0 y + c0 z = d0 (10 )
: 00
a x + b00 y + c00 z = d00 (100 )
Nous allons démontrer les formules de Cramer par analyse et synthèse. Supposons donc d’abord que le système (S) a une
solution (x; y; z): On e¤ectue les opérations c0 (1) - c (10 ) ; c00 (1) - c (100 ) ; c00 (10 ) - c0 (100 ) qui font disparaître z: On obtient
les trois équations : 8
< (ac0 - a0 c) x + (bc0 - b0 c) y = dc0 - d0 c (2)
(ac00 - a00 c) x + (bc00 - b00 c) y = dc00 - d00 c (20 )
: 0 00
(a c - a00 c0 ) x + (b0 c00 - b00 c0 ) y = d0 c00 - d00 c0 (200 )
Si nous multiplions l’équation (2) par -b00 ; l’équation (20 ) par b0 ; l’équation (200 ) par -b; et additionnons le tout, y
disparaît à son tour et nous obtenons
(a0 b00 c - ab00 c0 + ab0 c00 - a00 b0 c + a00 bc0 - a0 bc00 )x = d0 b00 c - db00 c0 + db0 c00 - d00 b0 c + d00 bc0 - d0 bc00 :
Ainsi, à condition que l’on ait a0 b00 c - ab00 c0 + ab0 c00 - a00 b0 c + a00 bc0 - a0 bc00 6= 0, il vient
d0 b00 c - db00 c0 + db0 c00 - d00 b0 c + d00 bc0 - d0 bc00
x= :
a0 b00 c - ab00 c0 + ab0 c00 - a00 b0 c + a00 bc0 - a0 bc00
Il est alors facile de véri…er que
a b c d b c
x
x= ; = a0 b0 c0 ; x = d0 b0 c0 : (1)
a00 b00 c00 d00 b00 c00
On obtiendrait de même
a d c a b d
y z
y= ; = a0 d0 c0 ; z= ; z = a0 b0 d0 : (2)
a00 d00 c00 a00 b00 d00
Réciproquement, soit dé…ni par (1). On suppose 6= 0: Soient x; y et z dé…nis par (1) et (2): On a
a
ax + by + cz = (d0 b00 c - db00 c0 + db0 c00 - d00 b0 c + d00 bc0 - d0 bc00 )
b
+ (ad0 c00 - ac0 d00 - a0 dc00 + a0 cd00 + a00 c0 d - a00 cd0 )
c
+ (ab0 d00 - ab00 d0 - a0 bd00 + a0 b00 d + a00 bd0 - a00 b0 d) :
TLM1 Formules de Cramer 2

Si on développe le tout, on observe que tous les termes contenant d0 et d00 disparaissent. Il reste
1
ax + by + cz = (dab0 c00 - dab00 c0 - da0 bc00 + da00 bc0 + da0 b00 c - da00 b0 c)
d d
= (ab0 c00 - ab00 c0 - a0 bc00 + a0 b00 c + a00 bc0 - a00 b0 c) = = d:

Un calcul analogue montrerait que a0 x + b0 y + c0 z = d0 et a00 x + b00 y + c00 z = d00 : Par conséquent x; y et z donnés par (1)
et (2) sont bien solutions du système (S): Le théorème 4.7 de TLM1 est donc démontré.

2 Formules de Cramer dans le cas général

Considérons un système de n équations linéaires à n inconnues x1 ; x2 ; ..., xn :
8
>
> a11 x1 + a12 x2 + + a1n xn = b1
>
< a21 x1 + a22 x2 + + a2n xn = b2
( ) ..
>
> .
>
:
an1 x1 + an2 x2 + + ann xn = bn
Par dé…nition, le déterminant du système ( ) est
a11 a12 a1n
a21 a22 a2n
= jaij j1 i n;1 j n = .. ..
. .
an1 an2 ann

Si le déterminant du système ( ) est di¤érent de 0, on dit que ( ) est un système de Cramer. Le théorème suivant
généralise les théorèmes 4.5 et 4.7.

Théorème 1 Le système ( ) admet une solution unique (x1 ; x2 ; :::; xn ) si et seulement si c’est un système de Cramer.
Dans ce cas, cette solution est donnée par les formules de Cramer :
i
8i 2 f1; 2; :::; ng ; xi = :

Dans ces formules, désigne le déterminant de ( ), et i le déterminant obtenu en remplaçant, dans ; la i-ème colonne
par la colonne des bk qui …gurent dans le second membre de ( ) :

Démonstration Démontrons d’abord par récurrence que ( ) admet une solution unique (x1 ; x2 ; :::; xn ) si et seulement
si c’est un système de Cramer. La propriété est vraie pour n = 2 (théorème 4.5 de TLM1). Supposons-la vraie à l’ordre n - 1;
et montrons qu’elle est vraie à l’ordre n: Dans le système ( ) ; l’un au moins des ain est di¤érent de 0 (sinon le système
n’a que n - 1 inconnues). Comme permuter les équations revient à permuter les lignes de ; on peut supposer que a1n 6= 0
(sinon, on place en première équation celle pour laquelle ain 6= 0; ce qui peut changer le signe de ; mais pas le fait qu’il
soit nul ou non).

En utilisant la méthode du pivot de Gauss, on conserve la première équation, et on e¤ectue les opérations suivantes sur
les lignes 2; :::; n :
a2n ann
L2 L2 - L1 ; ::: ; Ln Ln - L1 :
a1n a1n
Ces opérations font disparaître l’inconnue xn dans les équation 2; :::; n, et il vient :
8
> a11 x1 + a12 x2 +
>
>
+ a1n xn = b1
>
> a2n a2n
> a21 -
> a11 x1 + + a2;n-1 - a1;n-1 xn-1 = b2
< a1n a1n
( ), .. (3)
>
> .
>
>
>
> ann ann
>
: an1 - a11 x1 + + an;n-1 - a1;n-1 xn-1 = bn
a1n a1n
TLM1 Formules de Cramer 3

Le déterminant de ce système vaut ; car il a été obtenu à partir de grâce aux opérations
a2n ann
L2 L2 - L1 ; ::: ; Ln Ln - L1 ;
a1n a1n
qui ne changent pas la valeur d’un déterminant. En le développant par rapport à la dernière colonne, il vient
a2n a2n
a21 - a11 a2;n-1 - a1;n-1
a1n a1n
= (-1)
n-1
a1n .. .. :
. .
ann ann
an1 - a11 an;n-1 - a1;n-1
a1n a1n
Donc le déterminant du système formé par les n - 1 dernières équations dans (3) est di¤érent de zéro si et seulement si
6 0: Par hypothèse de récurrence, ce sous-système admet une solution unique (x1 ; :::; xn-1 ) si et seulement si 6= 0: En
=
utilisant la première équation de (3) ; on voit donc que ( ) admet une solution unique (x1 ; :::; xn-1 ; xn ) si et seulement si
6= 0:

Il reste à montrer que cette solution est bien donnée par les formules de Cramer. Soit (x1 ; :::; xn ) l’unique solution de
( ) : On a par exemple :

b1 a12 a1n a11 x1 + a12 x2 + + a1n xn a12 a1n

b2 a22 a2n a21 x1 + a22 x2 + + a2n xn a22 a2n
1 = .. .. = .. .. :
. . . .
bn an2 ann an1 x1 + an2 x2 + + ann xn an2 ann

En utilisant la linéarité du déterminant par rapport à la première colonne, il vient

a11 a12 a1n a12 a12 a1n a1n a12 a1n

a21 a22 a2n a22 a22 a2n a2n a22 a2n
1 = x1 .. .. + x2 .. .. + + xn .. .. :
. . . . . .
an1 an2 ann an2 an2 ann ann an2 ann

Or les déterminants en facteur de x2 ; ..., xn sont nuls car ils ont deux colonnes identiques.
1
De plus, le déterminant en facteur de x1 est : Donc 1 = x1 ; c’est-à-dire x1 = :
La démonstration est identique pour les autres xi :

c http ://touteslesmaths.fr