Identité remarquable

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Identité.

Décomposition d'un cube à partir de l'identité remarquable (a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3.
Représentation graphique de l'identité remarquable ( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3}} .

En mathématiques, on appelle identités remarquables ou encore égalités remarquables certaines égalités qui s'appliquent à des nombres, ou plus généralement à des variables polynomiales. Elles servent en général à accélérer les calculs, à simplifier certaines écritures, à factoriser ou à développer des expressions. Elles servent pour la résolution des équations du second degré et sont plus généralement utiles pour la recherche de solutions d'équations[Note 1].

La plupart de ces identités remarquables ont tout d'abord été démontrées à l'aide de raisonnements géométriques, puis ont été généralisées à des puissances supérieures par des calculs algébriques.

Identités remarquables du second degré

Dans toute la suite, a et b désignent des nombres, qui peuvent être des entiers, des rationnels et réels, ou même des complexes. Ces identités sont vraies plus généralement dans un anneau commutatif, ou même dans un anneau quelconque où a et b commutent.

Énoncés

Les trois identités remarquables du second degré sont[1] :

( a + b ) 2 = a 2 + 2 a b + b 2 {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}
( a − b ) 2 = a 2 − 2 a b + b 2 {\displaystyle (a-b)^{2}=a^{2}-2ab+b^{2}}
( a + b ) ( a − b ) = a 2 − b 2 {\displaystyle (a+b)(a-b)=a^{2}-b^{2}}

La deuxième de ces identités peut être vue comme un cas particulier de la première, en prenant, au lieu de b, –b dans la première égalité. Ces égalités font l'objet d'un vocabulaire spécifique :

Définition d'un produit remarquable[1] — Les trois expressions suivantes sont appelées produit remarquable :

( a + b ) 2 , ( a − b ) 2 et ( a + b ) ( a − b ) . {\displaystyle (a+b)^{2},\quad (a-b)^{2}\quad {\text{et}}\quad (a+b)(a-b).}

On définit de même :

Définition d'une somme remarquable[1] — Les trois expressions suivantes sont appelées somme remarquable :

a 2 + 2 a b + b 2 , a 2 − 2 a b + b 2 et a 2 − b 2 . {\displaystyle a^{2}+2ab+b^{2},\quad a^{2}-2ab+b^{2}\quad {\text{et}}\quad a^{2}-b^{2}.}

Exemples

Développement et réduction

Les identités remarquables permettent de transformer l'écriture de certaines expressions algébriques, comme dans l'exemple suivant[2] :

A = ( 2 x − 3 ) 2 + ( x + 5 ) ( 3 − x ) . {\displaystyle A=(2x-3)^{2}+(x+5)(3-x).}

L'expression A est la somme de deux termes. Le premier terme est un produit remarquable, que l'on peut transformer en somme :

( 2 x − 3 ) 2 = ( 2 x ) 2 − 2 × 2 x × 3 + 3 2 = 4 x 2 − 12 x + 9 et A = 4 x 2 − 12 x + 9 + ( x + 5 ) ( 3 − x ) . {\displaystyle (2x-3)^{2}=(2x)^{2}-2\times 2x\times 3+3^{2}=4x^{2}-12x+9\quad {\text{et}}\quad A=4x^{2}-12x+9+(x+5)(3-x).}

Le deuxième terme se traite à l'aide de la distributivité de la multiplication par rapport à l'addition :

( x + 5 ) ( 3 − x ) = x ( 3 − x ) + 5 ( 3 − x ) = 3 x − x 2 + 15 − 5 x = − x 2 − 2 x + 15. {\displaystyle (x+5)(3-x)=x(3-x)+5(3-x)=3x-x^{2}+15-5x=-x^{2}-2x+15.}

En additionnant termes à termes, on obtient :

A = 4 x 2 − 12 x + 9 − x 2 − 2 x + 15 = 3 x 2 − 14 x + 24. {\displaystyle A=4x^{2}-12x+9-x^{2}-2x+15=3x^{2}-14x+24.}

Équation du second degré

Article détaillé : Équation du second degré.

Les identités remarquables permettent de résoudre une équation du second degré. Illustrons la méthode sur l'exemple suivant :

x 2 + 2 x − 5 = 0. {\displaystyle x^{2}+2x-5=0.}

La méthode consiste à travailler la partie de l'expression qui ne dépend pas de x de manière à utiliser une des deux premières identités remarquables et factoriser la partie qui dépend de x :

x 2 + 2 x − 5 = x 2 + 2 x + 1 − 6. {\displaystyle x^{2}+2x-5=x^{2}+2x+1-6.}

Les trois premiers termes sont maintenant une somme remarquable, il est possible d'appliquer une identité remarquable et l'équation devient :

x 2 + 2 x − 5 = ( x + 1 ) 2 − 6 = ( x + 1 ) 2 − ( 6 ) 2 = 0. {\displaystyle x^{2}+2x-5=(x+1)^{2}-6=(x+1)^{2}-({\sqrt {6}})^{2}=0.}

On reconnaît une nouvelle somme remarquable, l'équation s'écrit encore :

x 2 + 2 x − 5 = ( x + 1 + 6 ) ( x + 1 − 6 ) = 0. {\displaystyle x^{2}+2x-5=(x+1+{\sqrt {6}})(x+1-{\sqrt {6}})=0.}

Un produit a.b de deux nombres a et b est nul si, et seulement si, a ou b est nul[Note 2]. Résoudre l'équation revient à résoudre deux équations du premier degré :

( 1 ) x + 1 + 6 = 0 et ( 2 ) x + 1 − 6 = 0. {\displaystyle (1)\;x+1+{\sqrt {6}}=0\quad {\text{et}}\quad (2)\;x+1-{\sqrt {6}}=0.}

On trouve les deux solutions de l'équation, appelées aussi racines du polynôme :

x 1 = − 1 − 6 et x 2 = − 1 + 6 . {\displaystyle x_{1}=-1-{\sqrt {6}}\quad {\text{et}}\quad x_{2}=-1+{\sqrt {6}}.}

La même méthode, appliquée à des coefficients a {\displaystyle a} , b {\displaystyle b} , et c {\displaystyle c} ( a x 2 + b x + c = 0 {\displaystyle ax^{2}+bx+c=0} ) au lieu des coefficients 1, 2, et –5 de l'exemple précédent, fait apparaitre le rôle du discriminant et les deux solutions.

Polynômes au carré

Pour élever au carré un polynôme avec un nombre quelconque de termes, ajouter les carrés de chaque terme individuellement, puis ajouter le double de la somme des produits de chaque paire possible de termes.

( a + b + c ) 2 = a 2 + b 2 + c 2 + 2 ( a b + a c + b c ) , {\displaystyle (a+b+c)^{2}=a^{2}+b^{2}+c^{2}+2(ab+ac+bc),}
( a + b + c + d ) 2 = a 2 + b 2 + c 2 + d 2 + 2 ( a b + a c + a d + b c + b d + c d ) . {\displaystyle (a+b+c+d)^{2}=a^{2}+b^{2}+c^{2}+d^{2}+2(ab+ac+ad+bc+bd+cd).}


Identité remarquable et géométrie

Article détaillé : Algèbre géométrique.
Dans le plan, décomposition d'un carré de côté a+b, en un carré de côté a, un de côté b et deux rectangles de côtés a et b.

Ces identités remarquables sont connues depuis les Babyloniens[3]. Il est possible qu'ils se soient rendu compte de ces égalités à l'aide de raisonnements géométriques. Il existe une méthode simple pour trouver la formule suivante[Note 3] :

( a + b ) 2 = a 2 + 2 a b + b 2 . {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}.}

La figure de droite représente un carré. On suppose que la longueur du côté du carré rose est égale à a et celle du carré bleu à b. L'aire du grand carré est égale à (a + b)2.
Il existe une autre manière d'exprimer cette aire : elle est la somme des aires des zones rose, bleue et des deux zones jaunes. L'aire rose est égale à a2 car c'est un carré de côté a, l'aire bleue est égale à b2, et chacune des deux aires jaunes est égale à ab car c'est un rectangle de côtés a et b. On obtient bien la formule annoncée.

Démonstration par l'algèbre

L'algèbre permet encore de démontrer ces formules. Calculons (a - b)2. La distributivité montre que :

( a − b ) 2 = ( a − b ) ( a − b ) = a ( a − b ) − b ( a − b ) = a 2 − a b − b a + b 2 = a 2 − 2 a b + b 2 . {\displaystyle (a-b)^{2}=(a-b)(a-b)=a(a-b)-b(a-b)=a^{2}-ab-ba+b^{2}=a^{2}-2ab+b^{2}.}

On démontre de même la troisième identité remarquable :

( a + b ) ( a − b ) = a ( a − b ) + b ( a − b ) = a 2 − a b + b a − b 2 = a 2 − b 2 . {\displaystyle (a+b)(a-b)=a(a-b)+b(a-b)=a^{2}-ab+ba-b^{2}=a^{2}-b^{2}.}

Identités remarquables diverses

Identité de Brahmagupta

Article détaillé : Identité de Brahmagupta.

Brahmagupta, un mathématicien indien du VIe siècle découvre une identité remarquable du quatrième degré[4] :

( a 2 − n b 2 ) ( c 2 − n d 2 ) = ( a c + n b d ) 2 − n ( a d + b c ) 2 . {\displaystyle (a^{2}-nb^{2})(c^{2}-nd^{2})=(ac+nbd)^{2}-n(ad+bc)^{2}.}

Il l'utilise dans le cas où a, b, c, d et n sont des nombres entiers. Elle permet de calculer une bonne approximation d'une racine carrée.

Application au calcul de √3

Brahmagupta remarque que 22 - 3.12 = 1. Il applique son identité plusieurs fois, toujours avec n = 3. La première fois, il pose a = c = 2, b = d = 1. Il obtient :

( 2 2 − 3 ⋅ 1 ) ( 2 2 − 3 ⋅ 1 ) = ( 2 ⋅ 2 + 3 ⋅ 1 ) 2 − 3 ( 2 ⋅ 1 + 1 ⋅ 2 ) 2 = 7 2 − 3 ⋅ 4 2 = 1. {\displaystyle (2^{2}-3\cdot 1)(2^{2}-3\cdot 1)=(2\cdot 2+3\cdot 1)^{2}-3(2\cdot 1+1\cdot 2)^{2}=7^{2}-3\cdot 4^{2}=1.}

Il recommence avec cette fois avec : a = c = 7, b = d = 4. Il obtient une nouvelle manière d'écrire 1 :

97 2 − 3 ⋅ 56 2 = 1. {\displaystyle 97^{2}-3\cdot 56^{2}=1.}

Il réapplique la même logique, il obtient encore une autre manière d'écrire 1 :

18 817 2 − 3 ⋅ 10 864 2 = 1. {\displaystyle 18\,817^{2}-3\cdot 10\,864^{2}=1.}

Cette égalité s'écrit encore :

18 817 2 = 3 ⋅ 10 864 2 + 1 et ( 18 817 10 864 ) 2 = 3 + 1 10 864 2 . {\displaystyle 18\,817^{2}=3\cdot 10\,864^{2}+1\quad {\text{et}}\quad \left({\frac {18\,817}{10\,864}}\right)^{2}=3+{\frac {1}{10\,864^{2}}}.}

Il obtient une fraction dont le carré est « presque » égal à 3, ce qui revient à dire que 18 817/10 864 est « presque » égal à √3. Si on calcule la fraction, on trouve un résultat dont les neuf premiers chiffres significatifs fournissent la meilleure approximation possible (avec le même nombre de décimales), à savoir : 1,73205081.

Il utilise aussi sa formule pour trouver des solutions à l'équation diophantienne dite de Pell-Fermat.

Identité des quatre carrés d'Euler

L'identité des quatre carrés d'Euler relie entre eux huit nombres. Elle prend la forme suivante :

( a 1 2 + a 2 2 + a 3 2 + a 4 2 ) ( b 1 2 + b 2 2 + b 3 2 + b 4 2 ) {\displaystyle (a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2})}
= ( a 1 b 1 − a 2 b 2 − a 3 b 3 − a 4 b 4 ) 2 + ( a 1 b 2 + a 2 b 1 + a 3 b 4 − a 4 b 3 ) 2 {\displaystyle =(a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4})^{2}+(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3})^{2}}
+ ( a 1 b 3 − a 2 b 4 + a 3 b 1 + a 4 b 2 ) 2 + ( a 1 b 4 + a 2 b 3 − a 3 b 2 + a 4 b 1 ) 2 . {\displaystyle +\,(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2})^{2}+(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1})^{2}.}

Elle est utilisée, entre autres pour démontrer le théorème des quatre carrés qui indique que tout nombre entier est somme de quatre carrés.

Identité des huit carrés de Degen

L'identité des huit carrés de Degen relie entre eux seize nombres et a été montrée au XIXe siècle[5]:

( a 1 2 + a 2 2 + a 3 2 + a 4 2 + a 5 2 + a 6 2 + a 7 2 + a 8 2 ) ( b 1 2 + b 2 2 + b 3 2 + b 4 2 + b 5 2 + b 6 2 + b 7 2 + b 8 2 ) = {\displaystyle (a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}+a_{7}^{2}+a_{8}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}+b_{5}^{2}+b_{6}^{2}+b_{7}^{2}+b_{8}^{2})=\,}
( a 1 b 1 − a 2 b 2 − a 3 b 3 − a 4 b 4 − a 5 b 5 − a 6 b 6 − a 7 b 7 − a 8 b 8 ) 2 + {\displaystyle (a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4}-a_{5}b_{5}-a_{6}b_{6}-a_{7}b_{7}-a_{8}b_{8})^{2}+\,}
( a 1 b 2 + a 2 b 1 + a 3 b 4 − a 4 b 3 + a 5 b 6 − a 6 b 5 − a 7 b 8 + a 8 b 7 ) 2 + {\displaystyle (a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3}+a_{5}b_{6}-a_{6}b_{5}-a_{7}b_{8}+a_{8}b_{7})^{2}+\,}
( a 1 b 3 − a 2 b 4 + a 3 b 1 + a 4 b 2 + a 5 b 7 + a 6 b 8 − a 7 b 5 − a 8 b 6 ) 2 + {\displaystyle (a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2}+a_{5}b_{7}+a_{6}b_{8}-a_{7}b_{5}-a_{8}b_{6})^{2}+\,}
( a 1 b 4 + a 2 b 3 − a 3 b 2 + a 4 b 1 + a 5 b 8 − a 6 b 7 + a 7 b 6 − a 8 b 5 ) 2 + {\displaystyle (a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1}+a_{5}b_{8}-a_{6}b_{7}+a_{7}b_{6}-a_{8}b_{5})^{2}+\,}
( a 1 b 5 − a 2 b 6 − a 3 b 7 − a 4 b 8 + a 5 b 1 + a 6 b 2 + a 7 b 3 + a 8 b 4 ) 2 + {\displaystyle (a_{1}b_{5}-a_{2}b_{6}-a_{3}b_{7}-a_{4}b_{8}+a_{5}b_{1}+a_{6}b_{2}+a_{7}b_{3}+a_{8}b_{4})^{2}+\,}
( a 1 b 6 + a 2 b 5 − a 3 b 8 + a 4 b 7 − a 5 b 2 + a 6 b 1 − a 7 b 4 + a 8 b 3 ) 2 + {\displaystyle (a_{1}b_{6}+a_{2}b_{5}-a_{3}b_{8}+a_{4}b_{7}-a_{5}b_{2}+a_{6}b_{1}-a_{7}b_{4}+a_{8}b_{3})^{2}+\,}
( a 1 b 7 + a 2 b 8 + a 3 b 5 − a 4 b 6 − a 5 b 3 + a 6 b 4 + a 7 b 1 − a 8 b 2 ) 2 + {\displaystyle (a_{1}b_{7}+a_{2}b_{8}+a_{3}b_{5}-a_{4}b_{6}-a_{5}b_{3}+a_{6}b_{4}+a_{7}b_{1}-a_{8}b_{2})^{2}+\,}
( a 1 b 8 − a 2 b 7 + a 3 b 6 + a 4 b 5 − a 5 b 4 − a 6 b 3 + a 7 b 2 + a 8 b 1 ) 2 {\displaystyle (a_{1}b_{8}-a_{2}b_{7}+a_{3}b_{6}+a_{4}b_{5}-a_{5}b_{4}-a_{6}b_{3}+a_{7}b_{2}+a_{8}b_{1})^{2}\,}

Identité de Sophie Germain

L'identité de Sophie Germain énonce que pour tous nombres x et y, on a :

x 4 + 4 y 4 = ( x 2 + 2 y 2 ) 2 − 4 x 2 y 2 = ( x 2 + 2 y 2 − 2 x y ) ( x 2 + 2 y 2 + 2 x y ) = ( ( x + y ) 2 + y 2 ) ( ( x − y ) 2 + y 2 ) . {\displaystyle x^{4}+4y^{4}=(x^{2}+2y^{2})^{2}-4x^{2}y^{2}=(x^{2}+2y^{2}-2xy)(x^{2}+2y^{2}+2xy)=((x+y)^{2}+y^{2})((x-y)^{2}+y^{2}).}

Identité d'Argand

( x 2 + x + 1 ) ( x 2 − x + 1 ) = x 4 + x 2 + 1. {\displaystyle (x^{2}+x+1)(x^{2}-x+1)=x^{4}+x^{2}+1.}

Identité de Gauss

a 3 + b 3 + c 3 − 3 a b c = ( a + b + c ) ( a 2 + b 2 + c 2 − a b − a c − b c ) = 1 2 ( a + b + c ) [ ( a − b ) 2 + ( b − c ) 2 + ( a − c ) 2 ] . {\displaystyle a^{3}+b^{3}+c^{3}-3abc=(a+b+c)(a^{2}+b^{2}+c^{2}-ab-ac-bc)={\frac {1}{2}}(a+b+c)[(a-b)^{2}+(b-c)^{2}+(a-c)^{2}].}

Identités de Legendre

( a + b ) 2 + ( a − b ) 2 = 2 ( a 2 + b 2 ) , {\displaystyle (a+b)^{2}+(a-b)^{2}=2(a^{2}+b^{2}),}
( a + b ) 2 − ( a − b ) 2 = 4 a b , {\displaystyle (a+b)^{2}-(a-b)^{2}=4ab,}
( a + b ) 4 − ( a − b ) 4 = 8 a b ( a 2 + b 2 ) . {\displaystyle (a+b)^{4}-(a-b)^{4}=8ab(a^{2}+b^{2}).}

Identités de Lagrange

( a 2 + b 2 ) ( x 2 + y 2 ) = ( a x + b y ) 2 + ( a y − b x ) 2 , {\displaystyle (a^{2}+b^{2})(x^{2}+y^{2})=(ax+by)^{2}+(ay-bx)^{2},}
( a 2 + b 2 + c 2 ) ( x 2 + y 2 + z 2 ) = ( a x + b y + c z ) 2 + ( a y − b x ) 2 + ( a z − c x ) 2 + ( b z − c y ) 2 . {\displaystyle (a^{2}+b^{2}+c^{2})(x^{2}+y^{2}+z^{2})=(ax+by+cz)^{2}+(ay-bx)^{2}+(az-cx)^{2}+(bz-cy)^{2}.}

La première identité de Lagrange ici listée est un cas particulier de l'identité de Brahmagupta.

Identités remarquables de degré n

Formule du binôme de Newton

Article détaillé : Formule du binôme.

La même technique de démonstration que celle utilisée pour les formules de degré 2 montre que, si a et b désignent toujours deux nombres :

( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 , {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3},}
( a − b ) 3 = a 3 − 3 a 2 b + 3 a b 2 − b 3 . {\displaystyle (a-b)^{3}=a^{3}-3a^{2}b+3ab^{2}-b^{3}.}

Appliqué encore une fois, on obtient :

( a + b ) 4 = a 4 + 4 a 3 b + 6 a 2 b 2 + 4 a b 3 + b 4 , {\displaystyle (a+b)^{4}=a^{4}+4a^{3}b+6a^{2}b^{2}+4ab^{3}+b^{4},}
( a − b ) 4 = a 4 − 4 a 3 b + 6 a 2 b 2 − 4 a b 3 + b 4 . {\displaystyle (a-b)^{4}=a^{4}-4a^{3}b+6a^{2}b^{2}-4ab^{3}+b^{4}.}

De même,

( a + b ) 5 = a 5 + 5 a 4 b + 10 a 3 b 2 + 10 a 2 b 3 + 5 a b 4 + b 5 , {\displaystyle (a+b)^{5}=a^{5}+5a^{4}b+10a^{3}b^{2}+10a^{2}b^{3}+5ab^{4}+b^{5},}
( a − b ) 5 = a 5 − 5 a 4 b + 10 a 3 b 2 − 10 a 2 b 3 + 5 a b 4 − b 5 . {\displaystyle (a-b)^{5}=a^{5}-5a^{4}b+10a^{3}b^{2}-10a^{2}b^{3}+5ab^{4}-b^{5}.}

On peut la généraliser à un degré n quelconque, à l'aide de la formule du binôme :

( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k . {\displaystyle (a+b)^{n}=\sum _{k=0}^{n}{n \choose k}a^{n-k}b^{k}.}

Les coefficients de l'expression, considérée comme un polynôme en a et en b sont appelés coefficients binomiaux. Comme b peut prendre une valeur négative, on obtient bien les deux formes précédentes.

La formule s'applique même si a et b ne sont pas des nombres. Ces lettres peuvent désigner deux matrices qui commutent entre elles. De manière générale, la formule est vraie dans un anneau (supposé unitaire, c'est-à-dire muni d'un élément unité 1 = a 0 {\displaystyle 1=a^{0}} pour tout a), si a et b commutent (ce qui est le cas en particulier si a ou b est égal à 1).

Différence ou somme de puissances

Articles détaillés : Suite géométrique et Série géométrique.

Il est aussi possible de généraliser la troisième identité remarquable du second degré. Si a et b désignent deux nombres :

a 3 − b 3 = ( a − b ) ( a 2 + a b + b 2 ) {\displaystyle a^{3}-b^{3}=(a-b)(a^{2}+ab+b^{2})} ,
a 3 + b 3 = ( a + b ) ( a 2 − a b + b 2 ) {\displaystyle a^{3}+b^{3}=(a+b)(a^{2}-ab+b^{2})} .

La formule suivante permet de généraliser la démarche. Tout d'abord, pour tout entier n ≥ 2, on a la formule de Bernoulli[Lequel ?][réf. souhaitée][Note 4] :

a n − b n = ( a − b ) ( a n − 1 + a n − 2 b + ⋯ + a b n − 2 + b n − 1 ) = ( a − b ) ∑ k = 0 n − 1 a n − 1 − k b k {\displaystyle a^{n}-b^{n}=(a-b)(a^{n-1}+a^{n-2}b+\cdots +ab^{n-2}+b^{n-1})=(a-b)\sum _{k=0}^{n-1}a^{n-1-k}b^{k}} .

Cette formule a plusieurs applications importantes, comme une preuve que la fonction puissance est continue, ou la factorisation d'un polynôme à partir d'une racine. En remplaçant b {\displaystyle b} par − b {\displaystyle -b} , on en déduit, si n est impair :

a n + b n = ( a + b ) ( a n − 1 − a n − 2 b + ⋯ − a b n − 2 + b n − 1 ) = ( a + b ) ∑ k = 0 n − 1 ( − 1 ) k a n − 1 − k b k {\displaystyle a^{n}+b^{n}=(a+b)(a^{n-1}-a^{n-2}b+\cdots -ab^{n-2}+b^{n-1})=(a+b)\sum _{k=0}^{n-1}(-1)^{k}a^{n-1-k}b^{k}} .

Annexes

Article connexe

Liens externes

  • Identités remarquables de degré supérieur à 2, sur le site de G. Villemin
  • Identités remarquables (Flash), sur le site de Sésamath

Bibliographie

  • R. Brault, Mathématiques 3e : programme 2008, Paris, Hachette éducation, , 319 p. (ISBN 978-2-01-125539-6) — La première partie de l'article s'inspire largement de cette référence.
  • (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], vol. II, Diophantine analysis — Les deux identités remarquables, ainsi que leurs usages en arithmétique sont présents dans cette référence, beaucoup plus technique que la précédente.

Notes

  1. ↑ Ces informations ainsi que celles de l'article sont essentiellement extraites de Brault 2008.
  2. ↑ Voir à ce sujet l'article « Équation produit-nul ».
  3. ↑ Les autres formules sont proposées dans l'article détaillé.
  4. ↑ Voir « Formule de Bernoulli » sur Wikiversité.

Références

  1. ↑ a b et c Écriture littérale et identités remarquables par le site Wouf.
  2. ↑ Il est extrait de la page d'Yvan Monka Développements, sur le site m@ths et tiques, p. 2.
  3. ↑ A. Dahan-Dalmedico et J. Peiffer, Une histoire des mathématiques : Routes et dédales, [détail des éditions], p. 74.
  4. ↑ (en) John J. O'Connor et Edmund F. Robertson, « Pell's equation », sur MacTutor, université de St Andrews.
  5. ↑ Pascal Boyer, Petit compagnon des nombres et de leurs applications, Paris, Calvage et Mounet, , 648 p. (ISBN 978-2-916352-75-6), I. Arithmétique de ℤ, chap. 4.3. (« Théorème (1, 2, 4, 8) de Hurwitz »), p. 67-70.
  • icône décorative Portail de l’algèbre