Espaces préhilbertiens réels — Polytechnique

Exercices corrigés de Polytechnique sur le thème « espaces préhilbertiens réels », regroupés par filière.

MP–MPI


Exercice 1. (★★★) Orthogonalité ; Cardinal ; Inclusions-exclusions
Pour {n\ge2}, dénombrer les triangles rectangles non dégénérés de {\mathbb{R}^n} dont les sommets appartiennent à {\left\{0,1\right\}^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★★) Stricte convexité ; Norme euclidienne ; Orthogonalité
Soit {\alpha>0} et {S^2=\left\{x\in\mathbb{R}^3:\lVert x\rVert=1\right\}}.

Montrer l’équivalence entre {\alpha=2} et la propriété suivante : pour tout {n\ge1} et tous {a_i,b_i,c_i\in S^2}, il existe {p\in S^2} tel que {\sum_i\lVert p-a_i\rVert^\alpha=\sum_i\lVert p-b_i\rVert^\alpha =\sum_i\lVert p-c_i\rVert^\alpha.}

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★★) Interpolation de Lagrange ; Orthogonalité ; Intégration par parties
Pour {n\ge1}, soit {L_n} la dérivée {n}-ième de {(X^2-1)^n}.
a) Montrer {\int_{-1}^1PL_n=0} pour {P\in\mathbb{R}_{n-1}[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que {L_n} possède {n} racines distinctes {-1\lt x_1\lt \cdots\lt x_n\lt 1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer l’existence de {\alpha_i\in\mathbb{R}} tels que {\int_{-1}^1P=\sum\limits_i\alpha_iP(x_i)} pour {P\in\mathbb{R}_{2n-1}[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Familles libres ; Dimension ; Norme euclidienne
Soit {d\ge2}, et soient {\delta_1,\delta_2>0} distincts. Des points {x_1,\ldots,x_n\in\mathbb{R}^d} vérifient {\lVert x_i-x_j\rVert\in\left\{\delta_1,\delta_2\right\}} pour {i\ne j}.

Montrer que {n\le(d+1)(d+5)/2}. On pourra considérer {f_i(y)=(\lVert y-x_i\rVert^2-\delta_1^2)(\lVert y-x_i\rVert^2-\delta_2^2)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★) Théorème spectral ; Bases orthonormées ; Projecteurs orthogonaux
Soit {(v_1,\ldots,v_n)} une famille de vecteurs de {\mathbb{R}^n} de rang {r}.

À quelle condition existe-t-il une base orthonormée {(f_i)} et un projecteur orthogonal {p} tels que {p(f_i)=v_i} ?

1) Traiter {r=n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Traiter {n=2}, {r=1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Produit scalaire ; Bases orthonormées ; Hyperplans
a) Soient des vecteurs unitaires {v_1,\ldots,v_n\in\mathbb{R}^m} tels que {\langle v_i,v_j\rangle\le-1/k} pour {i\ne j}, où {k\ge1}.

Montrer {n\le k+1}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Construire {k+1} vecteurs unitaires de {\mathbb{R}^k} ayant tous ces produits scalaires égaux à {-1/k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★★) Gram-Schmidt ; Polarisation ; Combinaisons affines
Les espaces {\mathbb{R}^p} sont euclidiens. Une liste {(p_0,\ldots,p_n)} se plonge isométriquement dans {\mathbb{Q}^D} si des {q_i\in\mathbb{Q}^D} reproduisent toutes ses distances.
a) Si cette liste se plonge et si {p} est une combinaison linéaire rationnelle des {p_i}, montrer que la liste augmentée se plonge dans {\mathbb{Q}^D}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Si toutes les distances au carré entre les {p_i\in\mathbb{R}^d} sont rationnelles, montrer que la liste se plonge dans {\mathbb{Q}^{4d}}. On admet que tout entier naturel est somme de quatre carrés entiers.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★★★) Déterminant et volume ; Produit scalaire ; Plans tangents
Soient {a,b,c>0} et {E=\left\{(x,y,z):(x/a)^2+(y/b)^2+(z/c)^2=1\right\}}. Soient {A,B,C} distincts sur {E}, tels que le plan tangent en chaque point soit parallèle à la droite joignant les deux autres.

Calculer le volume du parallélépipède engendré par {OA,OB,OC}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) projection orthogonale ; noyau et image ; orthogonalité
Soient {U,W\subset\mathbb{R}^n} de même dimension {m}.

Si {U\cap W^\perp} contient un vecteur non nul, montrer que {W\cap U^\perp} en contient aussi un.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★) projection orthogonale ; produit scalaire ; hyperplans
Soient {x_1,\ldots,x_{2n}} des points distincts du plan.

Montrer qu’une droite les sépare en deux groupes de {n} points.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★) Noyau et image ; Orthogonalité ; Similitude
Pour {A} réelle antisymétrique, montrer qu’elle est semblable à {\operatorname{diag}(B,0)} avec {B\in GL_p(\mathbb{R})}, et que {p} est pair.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★) Distance à une droite ; Projection orthogonale
Dans un triangle équilatéral {ABC}, montrer que la somme des distances d’un point intérieur {M} aux trois côtés est indépendante de {M}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★★) Norme euclidienne ; Orthogonalité ; Inégalités de convexité
Soit {\alpha>0} et {S^2=\left\{x\in\mathbb{R}^3:\lVert x\rVert=1\right\}}.

Montrer l’équivalence entre {\alpha=2} et la propriété suivante : pour tout {n\ge1} et tous {a_i,b_i,c_i\in S^2}, il existe {p\in S^2} tel que {\sum_i\lVert p-a_i\rVert^\alpha=\sum_i\lVert p-b_i\rVert^\alpha =\sum_i\lVert p-c_i\rVert^\alpha.}

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) Projecteurs orthogonaux ; Trace ; Continuité
Soit {F=\left\{P\in\mathcal M_n(\mathbb{R}):P=P^T=P^2\right\}}.

Pour {P,Q\in F}, donner une condition nécessaire et suffisante pour l’existence d’un chemin continu dans {F} de {P} à {Q}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) Gram-Schmidt ; déterminant de Vandermonde ; orthogonalité
Soient {n\ge2} et {u_1,\ldots,u_n} complexes de module {1}.

Montrer que {\prod_{i\ne j}|u_i-u_j|^{1/(n(n-1))}\le n^{1/n}.}

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) orthogonalité ; projection orthogonale ; Cauchy-Schwarz
Soient {f,g\in C([0,1],\mathbb{R})} avec {\int_0^1fg=0}. Montrer {\left(\int f^2\right)\left(\int g\right)^2 +\left(\int g^2\right)\left(\int f\right)^2 \ge4\left(\int f\int g\right)^2,}puis {\int f^2\int g^2\ge4(\int f\int g)^2}. Toutes les intégrales sont sur {[0,1]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) cardinal ; produit scalaire ; familles libres et génératrices
Soient {A_1,\ldots,A_m} des parties distinctes de {\left\{1,\ldots,n\right\}}, avec {|A_i\cap A_j|=c\ge1} pour tous indices distincts.

Montrer {m\le n}. Indication : traiter un ensemble de cardinal {c}, puis considérer la matrice de Gram des indicatrices.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) distance à un sous-espace ; projection orthogonale ; noyau et image
a) Pour un sous-espace {E\subset\mathbb{R}^n} et {b\in\mathbb{R}^n}, montrer que la distance à {E} est atteinte en un unique point.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {A\in M_{n,p}(\mathbb{R})}, montrer que {\inf_x\lVert Ax-b\rVert} est atteint et que deux minimisateurs diffèrent d’un élément de {\ker A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Résoudre {A^{\mathsf T}Ax=A^{\mathsf T}b}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) Espaces vectoriels et applications linéaires ; Espaces euclidiens ; conservation de la norme et du produit scalaire
a) Pour des vecteurs {u_1,\ldots,u_k\in\mathbb{R}^n}, extraire après renumérotation une base {(u_1,\ldots,u_\alpha)} de leur espace engendré.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {U=(u_1|\cdots|u_\alpha)}, montrer {U^{\mathsf T}U} inversible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que les coordonnées d’un autre {u_\beta} dans cette base sont la solution de {U^{\mathsf T}UX=(\langle u_\beta,u_i\rangle)_i}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Si une famille {(v_i)} a la même matrice de Gram, montrer qu’il existe {W\in O_n(\mathbb{R})} avec {Wv_i=u_i} pour tout {i}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.