divise par
elle deviendra
![{\displaystyle {\begin{aligned}&\left(\mathrm {A} \ +a{\frac {f'}{f}}\ +b{\frac {f''}{f}}\right)\\&\qquad \times \left[\mathrm {A} \left({\frac {f'g''}{fg}}-{\frac {f''g'}{fg}}\right)+a\left({\frac {f''}{f}}-{\frac {g''}{g}}\right)+b\left({\frac {g'}{g}}-{\frac {f'}{f}}\right)\right]\\+&\left(\mathrm {B} {\frac {f'}{f}}\,+a\ \ +c{\frac {f''}{f}}\right)\\&\qquad \times \left[\mathrm {B} \left({\frac {f''}{f}}-{\frac {g''}{g}}\right)+a\left({\frac {f'g''}{fg}}-{\frac {f''g'}{fg}}\right)+c\left({\frac {g'}{g}}-{\frac {f'}{f}}\right)\right]\\+&\left(\mathrm {C} {\frac {f''}{f}}+bf+c{\frac {f'}{f}}\right)\\&\qquad \times \left[\mathrm {C} \left({\frac {g'}{g}}-{\frac {f'}{f}}\right)+b\left({\frac {f'g''}{fg}}-{\frac {f''g'}{fg}}\right)+c\left({\frac {f''}{f}}-{\frac {g''}{g}}\right)\right]=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6a7b0b90f267c49451fe355b069b5a89f66c2c2)
On a donc ainsi deux équations linéaires entre les deux inconnues
de sorte que les valeurs qu’on trouvera pour ces inconnues seront nécessairement réelles.
Enfin on aura
![{\displaystyle {\frac {h'}{h}}={\frac {{\dfrac {f''}{f}}-{\dfrac {g''}{g}}}{{\dfrac {f'g''}{fg}}-{\dfrac {f''g'}{fg}}}},\quad {\frac {h''}{h}}={\frac {{\dfrac {g'}{g}}-{\dfrac {f'}{f}}}{{\dfrac {f'g''}{fg}}-{\dfrac {f''g'}{fg}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4e4b7cd91e71e2360fcc9ec45688d3510080f71)
par conséquent les valeurs de
et de
seront aussi réelles.
Il s’ensuit de la démonstration précédente que :
Toute équation du troisième degré réductible à la forme
![{\displaystyle {\begin{aligned}x^{3}-(\mathrm {A+B+C} )x^{2}+&\left(\mathrm {AB+AC+BC} -a^{2}-b^{2}-c^{2}\right)x\\&-\mathrm {ABC} +c^{2}\mathrm {A} +b^{2}\mathrm {B} +a^{2}\mathrm {C} -2abc=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f594b9c187ae4e7cd33c5365877203daa6875d5)
a nécessairement trois racines réelles, quelles que soient les quantités ![{\displaystyle \mathrm {A,B,C} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cff493e749c5a2d0ae945c6bd4d862b374b9350)
pourvu seulement qu’elles soient réelles.
Comme ce Théorème est assez remarquable, il serait utile d’en chercher une démonstration directe ; mais ce n’est pas ici le lieu de nous occuper de cet objet.
Quant aux valeurs de
comme on doit avoir par les formules du no 7
![{\displaystyle f^{2}+f'^{2}+f''^{2}=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e1b576b6a81ebae8f488d9aeb9f03ac81c8c28)
il n’y aura qu’à substituer dans cette équation les valeurs de
et de ![{\displaystyle f''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbbdf186092f4353b7630fa8dda903e493cbbdc8)