On déduit de la première des idenlilés

ou, en multipliant par W et remplaçant W/]|, et W/J,, par leurs valeurs,

wv;;=[(L>„-v-\v')(i2„-V)-i-\V(û;,-V)i/„

porlons celte valeur et la valeur précédemment trouvée de W /^ dans la relation

w,e„/;-+-[(2V-HW')e,-\ve;]w/;-t-K„\v7„ = o:

il viendra, toutes réductions faites,

Le polynôme qui multiplie W dans le coefficienl de/,, est évidem-

ment divisible par Q^] posant donc

e„(Q;,-v')-e;i(iin-v)-f-K„ = -e„s«,

d'où Ton déduit

ridentilé précédente deviendra

où S,t désigne un polynôme enlier.

Ayant, d'ailleurs, la relation

on déduit de là les formules suivantes : (.2) i2J V»-%^'=WS„.