1

Les identits mathmatiques

Adamaly Moustapha
Version 1

Les identits prsentes dans ce document sont donnes de manire lmentaire. Nous nirons pas
dans les thories abstraites des mathmatiques comme la thorie des groupes, des corps.
Tout candidat participant des comptitions mathmatiques de haut niveau se doit de connatre ce
genre didentit, cest une vidence. Ce document permet donc de regrouper les identits les plus
connues mais aussi les moins connues. Ces identits sont utilises dans le monde entier et dans tous les
pays, cependant il est possible que dun pays un autre, les noms donns certaines dentres elles
soient diffrents. Ce document tant crit en franais, nous garderons les noms franais.
Beaucoup didentits ne sont mme pas abordes au secondaire, ni mme dailleurs dans le suprieur,
ainsi ne vous tonnez surtout pas si vous nen avez jamais entendu parler. De multiples gnralisations
des identits que vous connaissez probablement sont proposes (en particulier le thorme du binme
de Newton par exemple). Il est clair que presque toutes les identits prsentes dans la partie Identit
de larithmtique sont galement valables dans les rels (en fait dans tout anneau commutatif).
Le seul dsavantage de ce document est quaucune identit prsente nest dmontre. Il faudra donc
attendre la Version 2 pour avoir un document assez complet. Il est possible que certaines erreurs ou
tourderies se soient glisses, si tel est le cas, ignorez-les.
Une annexe sera prsente tout la fin dans la Version 2, si certaines fonctions (comme lindicatrice
dEuler) vous semblent inconnues, elle sera dune certaine utilit.

Bonne lecture !

Sommaire
A) Les identits algbriques
B) Les identits de larithmtique
C) Les identits hypergomtriques
D) Les identits trigonomtriques
E) Les identits gomtriques

3
A) Les identits algbriques
Le thorme du binme de Newton
Soit a, b et n . On a alors lidentit suivante :
n
n
(a + b) n = a n k b k
k =0 k

Et en particulier en remplaant b par b il vient :

n
n
(a b) n = (1) k a n k b k
k =0 k

Le thorme du multinme de Newton

Cest une gnralisation du thorme prcdent.
Soit x1 , x2 ,..., xm et n . On a alors lidentit suivante :

(a1 + a2 + ... + am ) n =

k1 k2
n
k

a1 a2 ...am m
k1 + k2 +...+ km = n k1 , k2 ,..., km

Un cas particulier qui est trs utile :

m

(a1 + a2 + ... + am ) 2 = ai 2 + 2 ai b j
i =1

i j

Lidentit a n b n
Soit a, b et n . On a la factorisation suivante :
n 1

a n b n = (a b)(a n 1 + a n 2b + ... + b n 1 ) = (a b) a n 1 k b k
k =0

Lidentit a 2 n +1 + b 2 n +1
Soit a, b et n . On a la factorisation suivante :
2n

a 2 n +1 + b 2 n +1 = (a + b)(a 2 n a 2 n 1b + ... + b 2 n ) = (a + b) (1) k a 2 n k b k

k =0

Remarque : cette relation est la mme que la prcdente dans le cas o n est impair, en remplaant
b par b .

4
Les identits de Diophante
Soit a, b, c, d . Diophante dcouvre ces deux identits :

(a 2 + b 2 )(c 2 + d 2 ) = (ac bd ) 2 + (ad + bc)2 = (ac + bd )2 + (ad bc) 2

et

(a b )(c d ) = (ac + bd ) 2 (ad + bc)2

2

Lidentit de Brahmagupta

a, b, c, d , t . Ce mathmaticien indien gnralise lidentit prcdente :

(a 2 t b 2 )(c 2 t d 2 ) = (ac + t bd ) 2 t (ad + bc) 2 = (ac t bd ) 2 t (ad bc) 2
Lidentit de Diophante est le cas particulier t 1 .
Lidentit dEuler : la formule la plus remarquable au monde :
Cette relation runi les 5 constantes les plus importantes des mathmatiques :

ei + 1 = 0
o e dsigne la base du logarithme nprien, la constante dArchimde, i lunit imaginaire, 1 pour
lunicit et 0 pour la neutralit.
Lidentit de Lagrange
Soit a1 , a2 , a3 et b1 , b2 , b3 .
Cette identit montre que tout nombre qui est le produit de la somme de 3 carrs est somme
de 4 carrs :

(a12 + a22 + a32 )(b12 + b22 + b32 ) = (a1b1 + a2b2 + a3b3 ) 2 + (a1b2 a2b1 ) 2 + (a2b3 a3b2 ) 2 + (a3b1 a1b3 ) 2
Lidentit des quatre carrs dEuler
Soit a1 , a2 , a3 , a4 et b1 , b2 , b3 , b4 .
Cette identit gnralise celle de Lagrange quatre carrs :

(a12 + a22 + a32 + a42 )(b12 + b22 + b32 + b42 ) = (a1b1 a2b2 a3b3 a4b4 )2

+ (a1b2 + a2b1 + a3b4 a4b3 ) 2

+ (a1b3 a2b4 + a3b1 + a4b2 ) 2
+ (a1b4 + a2b3 a3b2 + a4b1 ) 2

5
Lidentit de la somme de 3 cubes
Soit a, b, c . On connat les 3 factorisations suivantes :

a 3 + b3 + c3 3abc = (a + b + c)(a 2 + b 2 + c 2 ab ac bc)

(a b)

+ (b c)3 + (c a )3 = 3(a b)(b c)(c a )

(a + 2b 3c)3 + (b + 2c 3a )3 + (c + 2a 3b)3 = 3(a + 2b 3c)(b + 2c 3a )(c + 2a 3b)

(En fait plus gnralement, si a + b + c = 0 alors a 3 + b3 + c 3 = 3abc ).
Lidentit de Sophie-Germain
Soit n, m . La mathmaticienne tablit la factorisation suivante :

n 4 + 4m 4 = (n 2 + 2m 2 2mn)(n 2 + 2m 2 + 2mn)
Remarque : ce qui est le plus intressant cest que cette galit ainsi que les prcdentes sont aussi
valables dans les entiers.
Passage du produit la diffrence de deux carrs
Soit a, b . On a :

a +b ab
ab =

2 2
2

Remarque : cette identit est bien plus intressante dans le cas o a et b sont des entiers de mme
parit.

B) Les identits de larithmtique

Les triplets Pythagoriciens

Soit u , v . On a toujours lgalit :

(u 2 v 2 )2 + (2uv) 2 = (u 2 + v 2 ) 2
Quelques sommes

Soit n .
n

n ( n + 1)

k =0

k =
n

n ( n + 1)( 2n + 1)

k =0
n

n 2 ( n + 1)

k =0
n

n ( n + 1) ( 6n3 + 9n 2 + n 1)

k =0

30

k4 =
n

( 2k )

2n ( n + 1)( 2n + 1)

k =0
n

( 2k + 1)

n ( 2n 1)( 2n + 1)

k =0

Partie entire

On note [ x] la partie entire du rel x .

[ x ] = [ nx ]
1
n

n 1

( m 1)( n 1)

km
=
2
k =1
x
x +1
[ x ] = +
2 2

7
Lidentit de Frobenius
Soit p un nombre premier et a, b . On a alors la congruence suivante :

(a + b) p (a + b) mod p

PGCD et le PPCM
Si a, b, c on a :

PGCD(a, b) PPCM (a, b) = ab

PGCD(a, PPCM (b, c)) = PPCM ( PGCD(a, b), PGCD(a, c))
PPCM (a, PGCD(b, c)) = PGCD( PPCM (a, b), PPCM (a, c))
Si a, b, c on a :

PGCD(a, b, c) 2
PPCM (a, b, c)2
=
PGCD(a, b) PGCD(a, c) PGCD(b, c) PPCM (a, b) PPCM (a, c) PPCM (b, c)
Si n > 1 est un entier et a, b on a la relation suivante :

PGCD (n a 1, nb 1) = n PGCD ( a ,b ) 1
Le petit thorme de Fermat
Si p est un nombre premier alors a on a a p a mod p .
Si de plus a et p sont premiers entre eux alors a p 1 1mod p
Thorme dEuler
Soit n un entier naturel non nul et a un entier premier avec n .
Alors on a la congruence suivante :

a ( n ) 1mod n

o ( n ) dsigne lindicatrice dEuler.

Ce thorme gnralise le petit thorme de Fermat.

8
Thorme de Carmichal
Soit n 2 un entier naturel et a un entier premier avec n .
Alors on a :

a ( n ) 1mod n

o ( n ) dsigne lindicatrice de Carmichal.

Ce rsultat gnralise le thorme dEuler.
Thorme de Wilson
Soit p > 1 un entier. Alors p est premier si et seulement sil vrifie la congruence suivante :

( p 1)! + 1 0 mod p

9
C) Les identits hypergomtriques et combinatoire
Lidentit de Vandermonde
Soit m, n, l .
l

m n m n m m

m n m + n
=

0 l

k l k = 0 l + 1 l 1 + ... + l
k =0

Quelques coefficients binomiaux

Soit n, p, m
n

k = 2
k =0

n 2n

=
k =0 k
n
n

k =0

k k = n2

n 1

n 1 n 1 n 2 p n

=

n p
p p 1
n n n 1
=

p p p 1
n +1 n n

=
+
p + 1 p + 1 p
n n 2n n

= +
k = 0 p k p + k
2p p
p

2
n H (n)
=
o H (n) dsigne l ' hyperfactorielle

n +1
k =0 k
( n !)
n

Si n m alors :
m

k = n +1

n +1 m
k =0 n

k
m

10
D) Les identits trigonomtriques
Formule dEuler

eix + e ix
2
ix
e e ix
sin x =
2i
cos x =

Formule de De Moivre

(cos x + i sin x) n = cos nx + i sin nx

Le noyau de Dirichlet
On note Dn ( x) le noyau de Dirichlet.
On a alors :

1
sin n + x
2

Dn ( x) = 1 + 2(cos x + cos 2 x + ... + cos nx) =

x
sin
2
Le noyau de Fejr
On note Fn ( x) le noyau de Fejr.
On a alors :

n +1
sin
x
n
1
1 2
Fn ( x) =
Dk ( x) = n + 1

n + 1 k =0
x
sin

Formule de Simpson
Pour passer dun produit une somme :

1
( cos ( a + b ) + cos ( a b ) )
2
1
sin a cos b = ( sin ( a + b ) + sin ( a b ) )
2
1
sin a sin b = ( cos ( a b ) cos ( a + b ) )
2
cos a cos b =

11
Pour passer dune somme un produit :

a+b
a b
cos
2
2
a+b
a b
cos a cos b = 2sin
sin
2
2
a+b
a b
sin a + sin b = 2 sin
cos
2
2
a+b
ab
sin a sin b = 2 cos
sin
2
2
cos a + cos b = 2 cos

tan a + tan b =

sin ( a + b )
cos a cos b

Produit de cosinus

sin ( 2 n x )

n 1

cos ( 2 x ) = 2
k

k =0
n

cos n + 1 = 2
i =k

( 2k 1)

i =k

2n

cos
n

i =k

cos 2n + 2 =
i =k
n

( 2k 1)

i =k

4n

( 2k 1)

cos
cos
i =k

4n + 2

n
cos

2
=

1
n
cos

n 1
2
2

cos 2n + 1 = 2
n

sin ( x )

n +1
2n
=
=

2
2n
2n + 1
2n

12
Produit de sinus

sin n + 1 =
i =k

n +1
2n

( 2k 1)

i =k

2n

sin
n

2n + 1
2n

n +1
2n

i =k

sin 2n + 2 =
i =k
n

( 2k 1)

i =k

4n

( 2k 1)

sin
sin
i =k

1
2n 1

sin 2n + 1 =
n

4n + 2

=
=

2
2n
1
2n

Remarque : pour avoir le produit des tangentes, il suffit de calculer le rapport du produit des sinus et
des cosinus.

Deux identits intressantes

x+ y
y+z
z+x
cos x + cos y + cos z + cos ( x + y + z ) = 4 cos
cos
cos

2
2
2
x+ y y+z z+x
sin x + sin y + sin z sin ( x + y + z ) = 4sin
sin
sin

2 2 2

13
E) Les identits gomtriques

1) Le triangle
Dans cette partie, ABC dsigne un triangle dont les cts ont pour longueur a, b, c .

1
(a + b + c) le demi-primtre du triangle ABC .
2
S dsigne la surface de ABC .
R dsigne le rayon du cercle de centre O circonscrit ABC et r dsigne le rayon du cercle de centre I
inscrit ABC .
On suppose que AA ' est une mdiane issue de A .
Posons p =

La formule de Hron

S = Aire( ABC ) =

p( p a)( p b)( p c)

La formule de la mdiane

AB 2 + AC 2 = 2 AA '2 +

1
BC 2
2

ou avec les notations : b 2 + c 2 = 2a '2 +

1 2
a
2

La loi des sinus

a
b
c
abc abc
+
+
=
=
= 2R
sin A sin B sin C 2 S 2 pr
En fait on a S = pr et abc = 4 RS .

La loi des cosinus (ou Thorme dAl-Kashi)

a 2 = b 2 + c 2 2bc cos A
b 2 = a 2 + c 2 2ac cos B
c 2 = a 2 + b 2 2ab cos C

La relation dEuler

OI 2 = R 2 2 Rr

14

Langle moiti

p( p a)
bc

cos

A
=
2

sin

A
( p b)( p c)
=
2
bc

tan

A
r
( p b)( p c)
=
=
2
p( p a)
pa

Il est bien sr facile de retrouver ces relations pour langle moiti de B et C .

Formule somme-produit

sin 2 A + sin 2 B + sin 2C = 4 sin A sin B sin C

sin 2

A
B
C
A
B
C
+ sin 2 + sin 2 + 2sin sin sin = 1
2
2
2
2
2
2

sin A + sin B + sin C = 4 cos

A
B
C p
cos cos =
2
2
2 R

tan A + tan B + tan C = tan A tan B tan C

sin 2 A + sin 2 B + sin 2 C = 2 + 2 cos A cos B cos C
cos A + cos B + cos C = 1 + 4 sin

A
B
C
r
sin sin = 1 +
2
2
2
R

cos 2 A + cos 2 B + cos 2C = 1 4 cos A cos B cos C

cos 2 A + cos 2 B + cos 2 C = 1 2 cos A cos B cos C
tan A tan B + tan B tan C + tan C tan A = 1
cotan A cotan B + cotan B cotan C + cotan C cotan A = 1
cotan

A
B
C
A
B
C
+ cotan + cotan = cotan cotan cotan
2
2
2
2
2
2

15

2) Le quadrilatre

La formule de Brahmagupta
Si ABCD est un quadrilatre convexe inscriptible dans un cercle dont les cts sont de
longueurs a, b, c, d et dont le demi-primtre est p =

1
(a + b + c + d ) alors :
2

Aire( ABCD) = ( p a)( p b)( p c)( p d )

Cette formule gnralise la formule de Hron.

La formule de Bretschneider
Soit ABCD un quadrilatre dont les cts ont pour longueur a, b, c, d , de demi-primtre p .
Soit s et t les longueurs des diagonales du quadrilatre et soit A et C deux angles opposs.
On a alors :

S=

2
1
4 s 2t 2 ( a 2 + c 2 b 2 d 2 )
4

1
4

S=

( p a )( p b )( p c )( p d ) ( ac + bd + st )( ac + bd st )

S=

( p a )( p b )( p c )( p d ) abcd cos 2

A+C

Cette formule gnralise cette de Brahmagupta.

Le thorme de Ptolme
Soit ABCD un quadrilatre convexe. On a lquivalence suivante :

ABCD est inscriptible AC BD = AB CD + AD BC