Équation produit nul

Modèle:À sourcer En mathématiques du collège ou du début du lycée, une équation produit nul ou plus simplement équation produit est une équation dont un membre est un produit et l'autre membre est égal à zéro.

Comme un produit de plusieurs nombres est nul si et seulement si au moins un de ses facteurs est nul, résoudre une équation produit nul revient à résoudre les équations obtenues en égalant chacun des facteurs du produit à 0, et les solutions de toutes ces équations sont les solutions de l'équation produit initiale.

Exemple

L'équation Modèle:Math est une équation produit, elle est équivalente à Modèle:Math ou Modèle:Math, et a donc deux solutions, Modèle:Math et Modèle:Math.

Principe

La propriété qui permet de simplifier la résolution de l'équation produit nul, Modèle:Cita, se décompose en :

• Modèle:Cita (sens direct) ;
• Modèle:Cita (réciproque).

Elle s'écrit encore :

Modèle:Math équivaut à Modèle:Math ou Modèle:Math.

Dans l'exemple de la section précédente on a Modèle:Mvar pour Modèle:Mvar et Modèle:Math pour Modèle:Mvar.

La propriété reste vraie pour plus de deux facteurs. Par exemple :

Modèle:Math équivaut à Modèle:Math ou Modèle:Math ou Modèle:Math.

Utilisation

Certaines équations peuvent se ramener à des équations produit par factorisation.

Par exemple l'équation Modèle:Formule, qui est équivalente à Modèle:Formule, se factorise en Modèle:Formule. Ce dernier produit est nul si et seulement si l'un de ses facteurs est nul, c'est-à-dire si et seulement si Modèle:Formule ou Modèle:Formule. L'équation est résolue. Plus généralement les équations du second degré peuvent se ramener à des équations produit quand elles ont des solutions.

Généralisations

La propriété Modèle:Cita, utilisée pour résoudre les équations, est vérifiée pour les ensembles de nombres du collège et du lycée : les nombres entiers (naturels ou relatifs (N ou Z), les nombres décimaux (D), les nombres rationnels (Q), les nombres réels (R) et les nombres complexes (C).

Mais elle peut ne pas être vérifiée dans d'autres contextes. Par exemple

• le produit de deux nombres entiers non nuls modulo 6 peut être nul :
  Modèle:Math ;
• le produit de deux matrices non nulles peut être égal à la matrice nulle :

$\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right)\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)=\left(\begin{array}{cc}0& 0\\ 0& 0\end{array}\right).$

Les anneaux sont des ensembles munis d'une addition et d'une multiplication vérifiant en particulier que si un au moins des facteurs d’un produit est nul, alors le produit est nul. Mais tous ne vérifient pas la réciproque, c'est le cas par exemple de l'anneau Z/6Z des entiers pris modulo 6, ou de l'anneau des matrices à coefficients réels. Les anneaux intègres (dont les corps) et les anneaux sans diviseur de zéro sont, par définition, des anneaux pour lesquels cette propriété est vérifiée.