Tes calculs sont O.K. : On a bien
}(x)=\frac{P'_n(x)+(2n-1)P_n(x)(1-x^2)^{-1}}{(1-x^2)^{n-1/2}})
Mais il ne faut pas oublier que la "définition" de

est :
}(x)=\frac{P_{n+1}(x)}{(1-x^2)^{(n+1)-1/2}})
avec un exposant n+1 en bas. Donc on a :
=(1-x^2)P'_n(x)+(2n-1)P_n(x))
qui est bien un polynôme.
Pour la récurrence double, si tu commence par montrer que
\geq 0)
, tu peut effectivement te placer sur [0,1] ou bien sur [0,1[ : c'est comme tu veut.
Mais lorsque tu passe à
}(x))
, il faut obligatoirement enlever le point 1 à cause de la division par
^{n-1/2})