- saadhetfield a écrit:
- soit P ds IR[X] tq p(x)>=0 pour tt x ds IR
soit Q un polynome de C[X] tq tq Q^2=P*exp(ai) a un réel
Q est ds C[X] =>il existe A et B ds IR[X] tq Q=A+iB
on a P=|Q^2|=|Q|^2=A²+B²
d'ou le resultat
BSR saadhetfield !!!
J'ai lu ta Démo avec la +grande attention ; elle m'interpelle de la manière suivante :
soit P(X)=X^2 + X^4 par exemple
on a bien P(x)>=0 pour tt x dans IR
MAIS : existe-t-il un c complexe de module 1 tel que c.P(X) soit le carré d'un polynôme Q(X) de C[X] ?????
C'est à voir !!!!! J'en doute quant à moi !!!
Ceci dit , je réfléchis à une Soluce du Pb de Mahdi.
A+ LHASSANE