Intégrale compliquée, je me noie

[Anonyme]

Bonjour,
On suppose que p et q sont tels que Pi<=p/q.
Soit la suite Jn définie par
Jn= intégrale de 0 à Pi de [Pn(x)*sin(x)dx]
avec Pn(x)= (1/(n!))x^(n)(qx-p)^n

1)Montrer que la suite Jn tend vers 0 quand n tend vers +l'infini.

2)On suppose dans cette question que Pi=p/q est rationnel. Montrer, en utilisant des intégrations par parties succéssives, que Jn est un entier non nul.

3) Que déduire des deux résultats précédent?

[abcd22]

Bonjour,
On suppose que p et q sont tels que Pi<=p/q.
Soit la suite Jn définie par
Jn= intégrale de 0 à Pi de [Pn(x)*sin(x)dx]
avec Pn(x)= (1/(n!))x^(n)(qx-p)^n

1)Montrer que la suite Jn tend vers 0 quand n tend vers +l'infini.

En majorant par (sauf erreur) on obtient une majoration de l'intégrale par quelque chose qui tend vers 0.

2) On suppose dans cette question que Pi=p/q est rationnel. Montrer, en utilisant des intégrations par parties succéssives, que Jn est un entier non nul.

Je n'ai pas fait de calcul, ça doit être faisable par récurrence sur n, avec deux intégrations par parties (en prenant une primitive de sin puis du cos pour la 2e intégration) pour montrer le rang n à partir du rang n-1.

[Pythales]

La première partie est facile. La troisième aussi (quand on a résolu la deuxième).
Quelqu'un a-t-il essayé l'intégration par parties ? Il y a un terme en 2qx-p qui m'énerve d'autant plus que je sais que dans le temps, j'avais réussi à m'en débarasser pour trouver la récurrence sur les Jn.
Si quelqu'un a une idée ...

[Pythales]

Avec 2 intégrations par parties, et en écrivant , on obtient sous l'hypothése que :
avec:


Donc serait entier, contrairement a 1, et donc n'est pas rationnel