Nous voulons démontrer que si le produit de deux polynômes P(x) et Q(x) est le polynôme nul, alors l'un des deux polynômes est nécessairement nul.
Si P(x)⋅Q(x)=0 pour tout x∈R (ou x∈C ), alors P(x)=0 ou Q(x)=0.
Soient P(x) et Q(x) deux polynômes non nuls.
Si P(x)⋅Q(x) est le polynôme nul, cela signifie que tous ses coefficients sont nuls, ce qui n'est possible que si son degré est indéfini, c'est-à-dire si l'un des polynômes est nul.
Supposons que P(x)=0 et Q(x)=0.
Alors, comme vu précédemment, deg(P⋅Q)=m+n est une somme de deux entiers positifs, donc strictement positive.
Mais nous avons supposé que P(x)⋅Q(x) est le polynôme nul, ce qui contredit le fait que son degré soit défini.
Donc, notre hypothèse était fausse : au moins l'un des deux polynômes doit être nul.
Nous avons donc démontré que :
P(x)⋅Q(x)=0⟹P(x)=0ouQ(x)=0
Ce résultat est fondamental en algèbre et s'étend aux anneaux intègres, où l'absence de diviseurs de zéro garantit cette propriété.
Pour démontrer que si le produit de deux polynômes est nul, alors l’un des deux est nul, on peut utiliser plusieurs approches. Voici une démonstration rigoureuse en supposant que l'on travaille sur un anneau intègre A[X], où A est un anneau intègre (comme R ou $ \mathbb{C} $) :
Un anneau intègre est un anneau commutatif sans diviseurs de zéro, c'est-à-dire que si a⋅b=0, alors a=0 ou b=0.
L’anneau des polynômes A[X] est un anneau intègre si A est un anneau intègre.
Supposons que leur produit soit nul :
P(X)⋅Q(X)=0
Nous voulons montrer que cela implique que P(X)=0 ou Q(X)=0.
Dans un anneau intègre, le produit de deux polynômes est nul si et seulement si l’un des deux est nul. Cette propriété découle directement du fait que A[X] est un anneau intègre lorsque A l’est aussi.