Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
trente trois plus quatorze
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

bridgslam
24-09-2021 13:47:09

OK - merci. Pas besoin de Liouville donc.

Alain

Paco del Rey
24-09-2021 13:37:07

Au temps pour moi, je n'ai pas divisé par la bonne puissance de $\vert z \vert$

On a pour tout $\vert z \vert \geq 1$.
$\vert a_n \vert \,\vert z \vert \leq \frac{M}{\vert z \vert^{n-1}} + \sum\limits_{k=0}^{n-1} \vert a_k \vert \, \vert z \vert^{k-n+1}  \leq M + \sum\limits_{k=0}^{n-1} \vert a_k \vert $
car toutes les puissances de $\vert z \vert$ sont négatives ou nulles.

Enfin on fait tendre $\vert z \vert$ vers $+\infty$ pour obtenir une contradiction.

Paco.

bridgslam
24-09-2021 13:12:02

Ce qui est vrai ( pas de [tex]|z|[/tex] en facteur du terme de gauche )

On a pour tout $\vert z \vert \geq 1$.
$\vert a_n \vert \ \leq \frac{M}{\vert z \vert^{n}} + \sum\limits_{k=0}^{n-1} \vert a_k \vert \, \vert z \vert^{k-n}  \leq M + \sum\limits_{k=0}^{n-1} \vert a_k \vert $


inégalité qui n'apporte rien puisque l'expression de gauche est une constante, rien de contradictoire.
Un module de z malencontreux ( qui aurait bien arrangé les choses ) a du se glisser dans ton écriture.

Alain

bridgslam
24-09-2021 13:00:17
Paco del Rey a écrit :

On a pour tout $\vert z \vert \geq 1$,
$a_nz^n = P(z) - \sum\limits_{k=0}^{n-1}  a_k \,  z ^{k}$
Donc
[tex]
\begin{align*}
... + \sum\limits_{k=0}^{n-1} \vert a_k \vert \, \vert z \vert^{k}
\end{align*}
[/tex]
etc.

Paco.

Cela revient à ce que j'ai dit, comment majores-tu ensuite ton expression ( avec le module de z au moins égal à 1)...?
Voie sans issue sans autre hypothèse supplémentaire...

Alain

Paco del Rey
24-09-2021 12:48:12

On a pour tout $\vert z \vert \geq 1$,
$a_nz^n = P(z) - \sum\limits_{k=0}^{n-1}  a_k \,  z ^{k}$
Donc
[tex]
\begin{align*}
\vert a_n  z^n \vert &\leq \vert P(z) \vert + \left\vert \sum\limits_{k=0}^{n-1}  a_k \,  z ^{k} \right\vert\\
&\leq M + \sum\limits_{k=0}^{n-1} \vert a_k \vert \, \vert z \vert^{k}
\end{align*}
[/tex]
etc.

Paco.

bridgslam
24-09-2021 12:32:21

Bonjour Paco,

Sauf erreur tu utilises la majoration par M de la somme des modules des monômes.
Or on sait seulement que c'est le module de la somme des monômes qui est majoré... pas pareil.

Alain

Paco del Rey
24-09-2021 11:34:22

Même si ce que j'ai écrit précédemment n'est pas faux, il vaut mieux lire :

On a pour tout $\vert z \vert \geq 1$.
$\vert a_n \vert \,\vert z \vert \leq \frac{M}{\vert z \vert^{n}} + \sum\limits_{k=0}^{n-1} \vert a_k \vert \, \vert z \vert^{k-n}  \leq M + \sum\limits_{k=0}^{n-1} \vert a_k \vert $
ce qui n'est pas possible.

Paco.

Paco del Rey
24-09-2021 11:30:29

Supposons $P = \sum\limits_{k=0}^n a_kX^k$ avec $a_n\neq0$ et $n>0$.
On suppose $\forall z \in \mathbb C, \; \vert P(z) \vert \leqslant M$.
On a pour tout $\vert z \vert \geq 1$.
$\vert a_n \vert \,\vert z \vert \leq M + \sum\limits_{k=0}^n \vert a_k \vert \, \vert z \vert^{k-n}  \leq M + \sum\limits_{k=0}^n \vert a_k \vert $
ce qui n'est pas possible.

On peut remplacer $\mathbb C$ par n'importe quelle partie de $\mathbb C$ non bornée.

Paco.

bridgslam
24-09-2021 10:46:23

Bonjour,

J'ai essayé comme cela, cela ne m'a pas permis de conclure proprement.

Alain

Fred
24-09-2021 10:29:41

Bonjour,

  En se restreignant à la variable réelle (même si les coefficients sont complexes) et en regardant le comportement quand x tend vers l'infini????

F.

Paco del Rey
24-09-2021 10:28:21

Bonjour bridgslam

Inégalité triangulaire ?

Paco.

bridgslam
24-09-2021 09:56:05

Bonjour,

Peut-on montrer sans utiliser le théorème de Liouville que tout polynôme de [tex]\mathbb{C}[/tex](identifié à sa fonction associé) borné
sur [tex]\mathbb{C}[/tex]  est constant, à l'instar des polynômes réels ?

Alain

Pied de page des forums