220
THÉORIE GÉNÉRALE
30. THÉORÈME. Si une équation, dont les coefficiens sont réels,
a une racine égale à , elle en a nécessairement une autre égale à
Démonstration. Puisque est racine de l’équation proposée, le premier membre de cette équation doit être divisible par
; et, en exécutant la division par ce diviseur, on obtiendra (26) un quotient de la forme
Or, le produit de par est
quantité qui, par hypothèse, doit être nulle. Égalant donc séparément à zéro la partie réelle et la partie imaginaire, nous aurons les
deux équations
entre lesquelles éliminant il viendra
donc et
Donc, si la proposée a une racine , elle en a nécessairement une autre [1]
- ↑ On peut encore démontrer de cette autre manière que, généralement,
toute quantité réelle divisible exactement par l’est aussi nécessairement par et par conséquent par le produit de ces deux diviseurs, si
du moins et sont premiers entre eux.
Concevons que l’on fasse la division de par les termes du quotient ne pourront être que des quatre formes suivantes
lesquels seront tous conséquemment réductibles à l’une des deux formes et ; par où l’on voit que ce quotient pourra être représenté par On aura donc
et, puisque est réelle, on devra avoir