On répète ensuite le procédé avec le terme RR/Qm−1
2; en un nombre fini d’étapes, on obtient
finalement la formule cherchée, ce qui achève la démonstration dans le cas n=1.
Supposons maintenant le résultat établi jusqu’à un rang n−1Ê1 ; soit Q=Qn
k=1Dqk
kayant n
facteurs irréductibles distincts. Posons R=Qn−1
k=1Dqk
k; on a donc Q=R.Dqn
n. Puisque Ret Dqn
n
sont premiers entre eux, on peut trouver deux polynômes Aet Btels que
P=AR +BDqn
n
On a alors ZP(x)
Q(x)dx =ZA(x)
Dqn
n(x)dx +ZB(x)
R(x)dx
Puisque Radmet n−1 facteurs irréductibles distincts seulement, l’hypothèse de récurrence
et le cas n=1 permettent d’écrire chaque terme du membre de droite sous la forme (1). En
regroupant judicieusement les termes et en réduisant au même dénominateur, on obtient la
forme (1) cherchée pour la fraction P/Q, ce qui achève la démonstration.
On peut d’autre part remarquer que, si degP<degQ, on peut en plus imposer les conditions
degP1<degQ1et degP2<degQ2. En effet, si degP2ÊdegQ2, on peut effectuer la division
euclidienne de P2par Q2, primitiver le quotient en un polynôme et intégrer ce polynôme dans
le terme P1/Q1.
Si degP1=degQ1, alors P1/Q1=λ+R/Q1où λest une constante, que l’on peut donc laisser
tomber dans l’égalité (1) entre primitives. Enfin, si degP2<degQ2et degP1>degQ1, alors, en
dérivant l’égalité (1), on arrive à une impossibilité : le degré du membre de gauche est stricte-
ment négatif alors que celui du membre de droite est positif. On peut même établir l’unicité de
ce couple (P1,P2) ; nous ne le démontrerons pas, n’ayant pas besoin de ce résultat dans la suite.
2. Calcul pratique
L’importance de la relation d’Hermite-Ostrogradski vient de ce qu’il est possible de calculer
P1,Q1,P2et Q2sans connaître la factorisation de Q. Nous allons ici exposer la méthode.
Il est clair tout d’abord que Q1est le PGCD unitaire de Qet Q0, et que Q2=Q/Q1. On voit
d’autre part aisément que Q1divise Q0
1Q2, donc que S=Q0
1Q2/Q1est un polynôme. En dérivant
la relation (1), on obtient donc
P
Q=Q1P0
1−P1Q0
1
Q2
1+P2
Q2=P0
1−P1Q0
1/Q1
Q1+P2
Q2
En éliminant les dénominateurs, on obtient P=P0
1Q2−P1S+P2Q1.
Dans cette équation, les polynômes P,Q1,Q2et Ssont connus ; on détermine alors P1et P2
par la méthode des coefficients indéterminés. Voici donc l’algorithme :
Entrée : des polynômes Pet Q, avec degP<degQ.
Sortie :P1/Q1, la partie rationnelle de RP/Q, et P2/Q2, l’intégrande de la partie transcendante.
(1) Q1:=PGCD(Q,Q0) ; Q2:=Q/Q1.
(2) S:=Q0
1Q2/Q1.
(3) q:=degQ1;r:=degQ2.
3