435
ARITHMÉTIQUES.
et que
Ainsi cette somme est toujours divisible par quand tous les coefficiens déterminés (tels que ), dans sont des nombres entiers.
341. Théorème. Si la fonction (no 339) est divisible par une fonction d’un degré inférieur
les coefficiens ne peuvent pas être tous entiers ni rationnels.
Soit , (π) l’ensemble des racines de l’équation , (χ) l’ensemble des racines de l’équation , ensorte que Ω soit composé de (π) et de (χ) ; soit encore (ϱ) l’ensemble des racines réciproques aux racines (π), et (σ) l’ensemble des racines réciproques aux racines (χ), et supposons que les racines contenues dans (ϱ) soient données par l’équation , qui sera évidemment
tandis que les racines contenues dans (σ) seront données par
l’équation . Il est manifeste que les racines (ϱ) et (σ) prises ensemble composent Ω, et qu’ainsi l’on aura . Cela
posé, nous avons quatre cas à distinguer :
1o. Quand (π) coïncide avec (ϱ) et qu’on a parconséquent
. Dans ce cas les racines (π) seront réciproques deux à deux, et parconséquent est le produit de facteurs doubles tels que
d’où il suit que quel que soit , pourvu qu’il soit réel, obtiendra une valeur réelle positive. Soient
les équations qui donnent les quarrés, cubes, biquarrés, etc.,