Exercices de MPSI

[gardener]

Samuel.A > oui ! En effet, remplacer polynome nul par constant dans mon énoncé.

[oty20]

L'argument me paraît boiteux. Un exemple: la fonction nulle (polynomiale !) coïncide avec $ x\mapsto \sin(x)\sin(1/x) $ prolongée avec la valeur 0 en 0 sur une partie infinie de $ \mathbb{R} $. Par contre, on peut montrer ceci (mais on s'éloigne un peu du programme de MPSI) :

oui j'ai oublié de signaler qu'on s’intéresse aux polynômes non constants .

sinon par exemple pour $ \cos $ il suffit de choisir une constante de $ [-1,1] $ .

Ma preuve de l'existence du réel $ s $ , par exemple je suppose $ A^{+} $ infini , par caractérisation de la borne inf si $ s=\inf(A^{+}) $ par exemple , on dispose de $ (s_{n}) $ d'éléments de $ A^{+} $ qui converge vers $ s $
par passage à la limite dans $ P(s_{n})=f(s_{n}) $ , on obtient $ P(s)=f(s) $ .

Soit $ P_{k}:'' ~~\forall j \in [[0,k]]~~|\exists (a^{j}_{n}) ~~ a^{j}_{n} \to s ~~~,P^{(j)}(s)=f^{(j)}(s)~~'' $

On pose choisir $ (s_{n}) $ strictement croissante , posant $ g(x)=P(x)-f(x) $ on applique Rolle entre $ ]s_{i},s_{i+1}[ $ on construit $ c_{i} $ de sorte que $ g'(c_{i})=0 $ , soit $ P^{(1)}(c_{i})=f^{(1)}(c_{i}) $

avec $ c_{n} \to s $ donc $ f^{(1)}(s)=P^{(1)}(s) $ ce qui prouve $ P_{1} $, le passage de $ P_{k} $ à $ P_{k+1} $ est similaire , ce qui permet de conclure par récurrence.

[donnerwetter]

Et qu'en est-il de P vérifiant $ \forall x \in A, P(x)=x^{\pi} $ ? (Les éléments de A sont à valeurs positives)

[oty20]

vous essayez de contourner le fait que pour une puissance rationnel on conclut comme avec ce qu'a proposé @Nabuco .

Dans ce cas l'approche que nous avons proposé marche toujours il me semble, soit $ s\geq 0 $ définie comme précédemment si $ s \neq 0 $ en prenant $ k=deg(P)+1 $, on obtient une contradiction ( un membre de l'égalité nulle tandis que l'autre ne l'est pas) donc $ s=0 $ et par suite $ P\equiv 0 $ ce qui est impossible , encore une fois un tel $ A $ n'existe pas .

[Samuel.A]

Oty il y a un problème de notation dans ton précédent message.
De plus il me semble que choisir pour s la borne inférieure de A+ n'est pas judicieux car ce point n'est en général pas un point d'accumulation de A. Il faut choisir un point d'accumulation de A pour pouvoir affirmer l'existence d'une suite de A non stationnaire qui tend vers ce point, on obtient un tel moi t par exemple avec ce que j'ai proposé en réponse à gardener.

[oty20]

@Samuel.A oui en rédigeant j'ai remarquer ce problème pour la borne inf , je cherche toujours comment le contourné , Dans votre argument il y avait possibilité de montrer $ A $ bornée pour la fonction \cos , cela ne semble pas toujours possible, je me trompe ?

[Samuel.A]

J'ai montré que A est nécessairement borné dès lors que le polynôme P considéré diverge en l'infini (n'est pas constant)

[oty20]

dans l'énoncé de @gardener , f est bornée ....

$ f=x^{\pi} $

[Nabuco]

dans l'énoncé de @gardener , f est bornée ....

$ f=x^{\pi} $

J'ai du mal à comprendre le problème dans ce cas A est borné par un simple équivalent en l'infini (et car pi est non entier) non ?

[Samuel.A]

A oui j'avais pas réfléchi que l'on avait plus f bornée, dans ce cas oui c'est ce que dit Nabuco qui est juste