MPSI B Énoncé du DM 15 29 juin 2019
On désigne par E un espace euclidien dans lequel le produit scalaire de deux vecteurs x et y est noté (x/y) et la norme d'un vecteur x est notée ||x|| = p
(x/x) .
Soit α ∈ [−1, 1] , une partie A de E est dite α -isogonale si et seulement si elle vérie les conditions suivantes :
∀x ∈ A : kxk = 1
∀(x, y) ∈ A 2 : x 6= y ⇒ (x/y) = α
Une partie est dite isogonale si et seulement si elle est α -isogonale pour un certain α . L'objet de ce problème
1est l'étude des parties isogonales.
Partie I. Dans un plan orienté.
Dans cette partie, E est un espace euclidien orienté de dimension 2. Pour tout réel θ , on désigne par r θ la rotation d'angle θ dans E .
1. Soit α ∈ [−1, 1] , θ = arccos α et x , y deux vecteurs unitaires de E . Montrer que (x/y) = α ⇔ (x = r θ (y) ou y = r θ (x))
2. Soit α = − 1 2 , θ = 2π 3 et x unitaire. Montrer que
x, r θ (x), r θ 2 (x) est α -isogonale.
3. L'objet de cette question est de montrer que les parties isogonales dénies dans la ques- tion précédente sont les seules parties isogonales contenant au moins trois éléments.
a. Soit α ∈ [−1, 1] , θ = arccos α , A une partie α -isogonale à trois éléments et x ∈ A . Montrer que θ = 2 3 π et que A = {x, r θ (x), r 2 θ (x)} .
b. Soit A une partie α -isogonale à trois éléments et B une partie α -isogonale conte- nant A . Montrer que B = A . Conclure.
Partie II. En dimension 3.
Dans cette partie, E est euclidien de dimension 3 .
1. Soit β ∈ [−1, +1] et A = {u 1 , · · · , u k } une partie β -isogonale à k éléments avec k ≥ 4 . On veut montrer que k = 4 et β = − 1 3 .
Pour i ∈ {1, · · · , k − 1} , on note v i le projeté orthogonal de u i sur le plan orthogonal à u k (noté H ) et w i =
kv1
ik
v i . a. Montrer que β ∈] − 1, 1[ .
b. Donner une expression de v i et calculer les (v i /v j ) .
1
premières parties de l'épreuve Math2 ENSI de physique 1988
Fig. 1: Parties isogonales.
c. Montrer que k = 4 et β = − 1 3 .
2. Dans cette question, on veut construire une partie isogonale à 4 éléments.
Soit G un sous-espace de dimension 2 de E et t un vecteur unitaire orthogonal à G . Soit {u, v, w} une partie − 1 2 -isogonale de G . Pour tout couple (µ, ν) de réels, on pose
A µ,ν = {t, µu + νt, µv + νt, µw + νt}
Déterminer les couples (µ, ν) de réels tels que A µ,ν soit − 1 3 -isogonale.
Partie III. En dimension quelconque
Dans cette partie E est euclidien de dimension n ≥ 3 .
Pour tout entier k ≥ 2 et pour tous réels a et b , on désigne par P k (a, b) la matrice à k lignes et k colonnes dont tous les termes diagonaux sont égaux à a et tous les termes non diagonaux sont égaux à b .
Dans la première question, il peut être utile de considérer les colonnes
1 1 ...
1
,
1 0 ...
0
,
0 1 ...
0
, · · · ,
0 0 ...
1
1. Calculer le déterminant de P k (a, b) .
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
1
Rémy Nicolai M0315EMPSI B Énoncé du DM 15 29 juin 2019
2. Soit k ≥ 3 et {u 1 , · · · , u k } un ensemble c -isogonal. Montrer que
∀(λ 1 , · · · , λ k ) ∈ R k : λ 1 u 1 + · · · + λ k u k = 0 E ⇒ P k (1, c)
λ 1
...
λ k
=
0 ...
0
En déduire que si c est dierent de 1 et de − k−1 1 , les vecteurs u 1 , · · · , u k constituent une partie libre de E .
3. Montrer que toute partie isogonale contient au plus dim E + 1 éléments.
Partie IV. Tétraèdre isogonal et transformations
Fig. 2: Tétraèdre isogonal
Dans cette partie, B = {u 1 , u 2 , u 3 , u 4 } est un ensemble − 1 3 -isogonal dans un espace E euclidien de dimension 3 .
1. Montrer que trois vecteurs de B deux à deux distincts forment une base de E . Quelles sont les composantes du vecteur u 4 dans la base {u 1 , u 2 , u 3 } ?
2. Montrer que pour tout x de E , il existe un unique quadruplet (m 1 , m 2 , m 3 , m 4 ) ∈ R 4 tel que
4
X
i=1
m i = 1 et x =
4
X
i=1
m i u i
On dira que m 1 , m 2 , m 3 , m 4 sont les coordonnées barycentriques de x dans B .
3. On désigne par T l'ensemble des vecteurs dont les coordonnées barycentriques dans B sont positives ou nulles. Soit f un automorphisme orthogonal de E . On se propose de démontrer
f (B) = B ⇔ f (T ) = T a. Montrer que f (B) = B ⇒ f(T ) = T .
b. On suppose f (T) = T , soit u ∈ B et v = f (u) . Pourquoi v est-il élément de T ?
On note (m 1 , m 2 , m 3 , m 4 ) la famille des coordonnées barycentriques de v . Montrer que
||v|| 2 =
4
X
i=1
m 2 i − 2 3
X
1≤i<j≤4
m i m j
Calculer
4
X
i=1
m i
! 2
− ||v|| 2 et montrer que
X
1≤i<j≤4
m i m j = 0
En déduire qu'il existe un entier i entre 1 et 4 tel que m i = 1 et que les autres m j soient nuls. Conclure.
4. On désigne par G le groupe des bijections de B sur B . Soit σ un élément de G . a. Montrer qu'il existe un unique endomorphisme σ du R-espace vectoriel E tel que
σ(u i ) = σ(u i ) pour i = 1, 2, 3 .
b. Montrer que σ est un automorphisme orthogonal de E . c. Montrer que σ(u 4 ) = σ(u 4 ) .
d. Montrer que l'ensemble G des automorphismes orthogonaux g de E tels que g(T ) = T est un sous-groupe du groupe orthogonal de E .
Montrer que l'application qui à g ∈ G associe la restriction de g à B est un isomorphisme de groupe de G vers G . Quel est le cardinal de G ?
e. Pour tout couple (i, j) d'entiers distincts entre 1 et 4, on désigne par H i,j le plan vectoriel orthogonal à u i − u j et par τ i,j la réexion par rapport à H i,j . Utiliser l'isomorphisme entre G et G pour montrer que tout élément de G est une composition d'un nombre ni de τ i,j .
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
