« Espace préhilbertien réel/Exercices/Polynômes de Laguerre » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\{\{[sS]olution *\| *contenu *= * +{{Solution\n | contenu =)
m Robot : Remplacement de texte automatisé (-\:*\<math\> +<math>)
Ligne 30 :
* La symétrie est triviale.
* Soit <math>P\in E</math>.
:<math>\langle P,P\rangle=\int_0^{+\infty}P^2(x)e^{-x}\mathrm dx</math>
:<math>x\mapsto P^2(x)e^{-x}</math> est une fonction positive d'intégrale sur <math>\R^+</math> nulle, donc cette fonction est identiquement nulle, c'est-à-dire P=0.
 
On a montré que <math>\langle\cdot,\cdot\rangle</math> était bilinéaire, symétrique, définie positive.