« Espace euclidien/Exercices/Espaces euclidiens » : différence entre les versions
Contenu supprimé Contenu ajouté
→Exercice 1-15 : +1, solution à venir Balise : Révoqué |
→Exercice 1-16 : Solutions Balise : Révoqué |
||
Ligne 186 :
#<math>E=\R^3[X]</math>, <math>\varphi(P,Q)=\int_{-1}^1P(X)Q(X)\,\mathrm dX</math>, <math>F=(1,X,X^2)</math>, <math>v=X^3</math>.
#<math>E=\R^3[X]</math>, <math>\varphi(P,Q)=\int_0^ 1P(X)Q(X)\,\mathrm dX</math>, <math>F=(1,X,X^2)</math>, <math>v=X^3</math>.
{{Solution|contenu=
#<math>e_1=(1,0,-1)/\sqrt2</math>.<br><math>e_2=\frac u{\|u\|}</math> avec <math>u=(1,-1,0)-\frac12\varphi((1,-1,0),(1,0,-1))(1,0,-1)=(1,-1,0)-(1/2,0,-1/2)=(1/2,-1,1/2)</math> donc <math>\|u\|=\sqrt{3/2}</math> et <math>e_2=\sqrt{2/3}(1/2,-1,1/2)=\frac1{\sqrt6}(1,-2,1)</math>.<br><math>p(v)=0</math> car <math>v\perp F</math>.<br>Le plan <math>\operatorname{Vect}(F)=v^\bot</math> a pour équation <math>x+y+z=0</math>.
#<math>e_1=(1,1,0,0)/\sqrt2</math>.<br><math>e_2=\frac u{\|u\|}</math> avec <math>u=(1,0,-1,1)-\frac12\varphi((1,0,-1,1),(1,1,0,0))(1,1,0,0)=(1,0,-1,1)-\frac12(1,1,0,0)=(1/2,-1/2,-1,1)</math> donc <math>\|u\|=\sqrt{5/2}</math> et <math>e_2=\sqrt{2/5}(1/2,-1/2,-1,1)=\frac1{\sqrt{10}}(1,-1,-2,2)</math>.<br><math>e_3=\frac w{\|w\|}</math> avec <math>w=</math><br><math>(0,1,1,1)-\frac12\varphi((0,1,1,1),(1,1,0,0))(1,1,0,0)-\frac1{10}\varphi((0,1,1,1),(1,-1,-2,2))(1,-1,-2,2)=</math><br><math>(-2/5,2/5,4/5,6/5)=\frac25(-1,1,2,3)</math> donc <math>\|w\|=\frac25\sqrt{15}</math> et <math>e_3=\frac1{\sqrt{15}}(-1,1,2,3)</math>.<br><math>p(v)=\varphi(v,e_1)e_1+\varphi(v,e_2)e_2+\varphi(v,e_3)e_3=(1,1,0,0)+\frac13(-1,1,2,3)=(2/3,4/3,2/3,1)</math>.<br>L'hyperplan <math>\operatorname{Vect}(F)</math> a pour équation <math>0=\begin{vmatrix}1&1&0&x\\1&0&1&y\\0&-1&1&z\\0&1&1&t\end{vmatrix}=2(x-y+z)</math>, ou encore : <math>y=x+z</math> (effectivement : les trois vecteurs de <math>F</math> vérifient cette équation, donc toute combinaison linéaire de ces trois vecteurs la vérifie aussi).
#Vérifions d'abord que la forme bilinéaire symétrique <math>\varphi</math> est bien définie positive, et cela sans même appliquer l'algorithme de Gauss : pour tout <math>x\in\R^3</math> non nul,<br><math>\varphi(x,x)= 3x_1^2-2x_1x_2+3x_2^2+3x_3^2=(x_1-x_2)^2+2x_1^2+2x_2^2+3x_3^2>0</math>.<br><math>e_1=(1,0,0)/\sqrt{\varphi((1,0,0),(1,0,0)}=(1/\sqrt3,0,0)</math>.<br><math>e_2=\frac u{\sqrt{\varphi(u,u)}}</math> avec u<math>=(0,1,0)-\frac13\varphi((0,1,0),(1,0,0))(1,0,0)=(1/3,1,0)</math> donc <math>\varphi(u,u)=1/3-2/3+3=8/3</math> et <math>e_2=\sqrt{\frac38}(1/3,1,0)=\frac1{2\sqrt6}(1,3,0)</math>.<br><math>p(v)=0</math> car <math>v\perp F</math> (car <math>\varphi</math> ne contient pas de terme <math>x_1y_3</math> ni <math>x_2y_3</math>).<br>Le plan <math>\operatorname{Vect}(F)=v^\bot</math> a pour équation 0<math>=\varphi((x_1,x_2,x_3),v)=3x_3</math>, ou encore : <math>x_3=0</math> (effectivement : les deux vecteurs de <math>F</math> vérifient cette équation, donc toute combinaison linéaire de ces trois vecteurs la vérifie aussi).
#<math>e_1=1/\sqrt2</math>.<br><math>e_2=\frac u{\|u\|}</math> avec <math>u=X-\frac12\int_{-1}^1x\,\mathrm dx=X</math> donc <math>\|u\|=\sqrt{2/3}</math> et <math>e_2=\sqrt{3/2}X</math>.<br><math>e_3=\frac w{\|w\|}</math> avec <math>w=X^2-\frac12\int_{-1}^1x^2\,\mathrm dx-X\frac32\int_{-1}^1x^3\,\mathrm dx=
X^2-\frac13</math> donc<br><math>\|w\|=\sqrt{\int_{-1}^1(x^4-(2/3)x^2+1/9)\,\mathrm dx}=\sqrt{\int_{-1}^1(x^4-(2/3)x^2+1/9)\,\mathrm dx}=\sqrt{\frac8{45}}</math> et<br><math>e_3=\sqrt{\frac{45}8}(X^2-\frac13)=\sqrt{\frac58}(3X^2-1)</math>.<br><math>p(v)=\varphi(v,e_1)e_1+\varphi(v,e_2)e_2+\varphi(v,e_3)e_3</math><br><math>=\frac12\int_{-1}^1x^3\,\mathrm dx+\frac32X\int_{-1}^1x^4\,\mathrm dx+\frac58(3X^2-1)\int_{-1}^1x^3(3x^2-1)\,\mathrm dx=\frac35X</math>.<br>Dans cette question et la suivante, l'équation de l'hyperplan <math>\operatorname{Vect}(F)</math> est simplement <math>t=0</math>, en notant <math>(x,y,z,t)</math> les coordonnées d'un polynôme de <math>\R_3[X]</math> dans la base canonique <math>(1,X,X^2,X^3)</math>.
#<math>e_1=1</math>.<br><math>e_2=\frac u{\|u\|}</math> avec <math>u=X-\int_0^1x\,\mathrm dx=X-1/2</math> donc<br><math>\|u\|^2=\int_0^1(x^2-x+1/4)\,\mathrm dx=1/3-1/2+1/4=1/12</math> et <math>e_2=(X-1/2)\sqrt{12}=(2X-1)\sqrt3</math>.<br><math>e_3=\frac w{\|w\|}</math> avec <math>w=X^2-\frac13-3(2X-1)\int_0^1(2x^3-x^2)\,\mathrm dx=X^2-X+\frac16</math> donc<br><math>\|w\|^2=\int_0^1(x^4-2x^3+4x^2/3-x/3+1/36)\,\mathrm dx=1/5-1/2+4/9-1/6+1/36=1/180</math> et<br><math>e_3=\sqrt{180}(X^2-X+1/6)=\sqrt5(6X^2-6X+1)</math>.<br><math>p(v)=\varphi(v,e_1)e_1+\varphi(v,e_2)e_2+\varphi(v,e_3)e_3</math><br><math>=\int_0^1x^3\,\mathrm dx+3(2X-1)\int_0^1(2x^4-x^3)\,\mathrm dx+5(6X^2-6X+1)\int_0^1x^3(6x^2-x+1)\,\mathrm dx</math><br><math>=1/4+(6X-3)3/20+(6X^2-6X+1)/4=(30X^2-12X+1)/20</math>.
}}
==Voir aussi==
| |||