Méthode du produit-somme
# Méthode du produit-somme

La méthode du produit-somme, en mathématiques, est un procédé algébrique permettant de factoriser une équation du second degré de la forme

$ax^{2}+bx+c$$^,.$

## Méthode

Pour factoriser le trinôme, il faut en premier lieu chercher deux nombres $m$ et $p$ tels que leur produit est égal à la valeur du produit de $a$ par $c$ et dont la somme est égale à la valeur de $b$.

Il faut ensuite remplacer le terme $bx$ par la somme des deux nombres $m$ et $p$ tels que $(m+p)x=bx$.

Puis effectuer une double mise en évidence.

## Démonstration

$\forall (a,b,c\in \mathbb {Z} )\mid (((\exists \alpha ,\beta ,\gamma ,\delta \in \mathbb {Z} )\mid ax^{2}+bx+c\equiv (\gamma x+\alpha )(\delta x+\beta ))\Longrightarrow ((\exists m,p\in \mathbb {Z} )\mid b=m+p\wedge ac=mp))$

$ax^{2}+(m+p)x+c$

$ax^{2}+mx+px+c$

En introduisant $h$, plus grand commun diviseur de $a$ et $m$.

$a=hk$

$hkc=mp$

Ce qui donne :

$hkx^{2}+mx+px+{\frac {p}{h}}{\frac {m}{k}}$

$kx(hx+{\frac {m}{k}})+{\frac {p}{h}}(hx+{\frac {m}{k}})$

$(kx+{\frac {p}{h}})(hx+{\frac {m}{k}})$

## Utilisation

Cette méthode peut être utilisée si et seulement si :

${\begin{cases}m+p=b\\mp=ac\end{cases}}$

Et elle ne devrait être utilisée que sur des petits nombres entiers étant donné qu'il faut trouver empiriquement $m$ et $p$ issus d’une combinaison de facteur premiers de $ac$.

Et bien évidemment le discriminant (Δ) du trinôme doit être positif.

Elle est néanmoins utile de l’envisager avant de tenter d’autres méthodes plus contraignantes comme celle de la complétion du carré.

Les conditions précédentes peuvent paraître contraignantes mais en réalité elles sont vérifiées pour toute forme $(ax+b)(cx+d)$ car pour $acx^{2}+x(ad+bc)+bd$, le “terme du milieu” ($b$ dans le trinôme $ax^{2}+bx+c$) est la somme de $ad$ et $bc$, et $ad\times bc=ac\times bd$ est équivalent à $ac=mp$.

## Exemples de mise en œuvre informatique

La méthode du produit-somme peut être mise en algorithme, il existe à ce jour des programmes informatiques permettant de trouver $m$ et $p$.

### Python

Ce programme a été créé par l'utilisateur marceaupatu123 et est trouvable sur le site internet Github.

