MPSI B 29 juin 2019

Énoncé II. Birapport de quatre droites

On utilisera les notations suivantes pour désigner certains vecteurs et certaines droites Etant donnés quatre vecteurs Vi = (xi , yi ) ( i∈ {1, · · · , 4}) supposés deux à deux indé-
de R2 . pendants, on pose
2
∀(i, j) ∈∈ {1, · · · , 4} βij = xi yj − xj yi
U = (0, 1), D1 = Vect(U )
V = (1, 0), D2 = Vect(V ) 1. Exprimer βij à l'aide d'un déterminant, en déduire βij 6= 0 pour i 6= j .
On note
λ ∈ R, Wλ = (λ, 1), ∆λ = Vect(Wλ ) β13 β24
b(V1 , V2 , V3 , V4 ) =
T = (1, 1), D4 = Vect(T ) β14 β23
uθ = (cos θ, sin θ), δθ = Vect(uθ ) 2. Pour λ1 , λ2 , λ3 , λ4 des réels non nuls, calculer b(λ1 V1 , λ2 V2 , λ3 V3 , λ4 V4 ) et justier la
La base canonique C de R s'écrit alors (V, U ).
2 dénition suivante.
On dira aussi qu'une famille (d1 , d2 , · · · , dm ) de droites vectorielles est régulière si et Soit d1 , d2 , d3 , d4 des droites deux à deux distinctes et V1 , V2 , V3 , V4 des vec-
seulement si il existe f ∈ GL(R2 ) telle que teurs non nuls respectivement dans d1 , d2 , d3 , d4 ;
n o le birapport de (d1 , d2 , d3 , d4 ) est le nombre noté B(d1 , d2 , d3 , d4 ) déni par
{d1 , d2 , · · · , dm } = f (δ0 ), f (δ m
π ), · · · , f (δ (m−1)π )
m
B(d1 , d2 , d3 , d4 ) = b(V1 , V2 , V3 , V4 )
Le dernier ensemble est formé par les images ensemblistes des droites vectorielles.
Toutes les droites et tous les vecteurs considérés dans le problème sont dans R2 . 3. Soit f ∈ GL(R2 ) et d1 , d2 , d3 , d4 des droites deux à deux distinctes, montrer que

I. Familles de droites B(f (d1 ), f (d2 ), f (d3 ), f (d4 )) = B(d1 , d2 , d3 , d4 )

Soient d1 , d2 , d3 , d4 quatre droites deux à deux distinctes. 4. Calculer B(δ0 , δ π4 , δ π2 , δ 3π4 )

1. a. Montrer que tout couple de d1 × d2 formé de vecteurs non nuls est un sytème 5. Pour quelles valeurs de λ les droites D1 , D2 , ∆λ , D4 sont elles deux à deux distinctes ?
libre. Dans ce cas calculer B(D1 , D2 , ∆λ , D4 ).
b. Montrer que (d1 , d2 ) est régulière, citer précisément le théorème de cours utilisé.
2. a. Montrer qu'on peut trouver des vecteurs v1 , v2 , v3 non nuls respectivement dans III. Quelques propriétés de groupes nis
d1 , d2 , d3 et tels que 1. Montrer que les quatre transpositions (1, 2), (1, 4), (3, 2), (3, 4) engendrent le groupe
v1 + v3 = v2 S4 des permutations de ∈ {1, 2, 3, 4}.
b. Exprimer u0 + u 2π3 comme un uθ , en déduire que (d1 , d2 , d3 ) est régulière. 2. On dénit des bijections i, a, b, c, d, e de R− {0, 1} dans R− {0, 1} en posant
3. Montrer qu'il existe λ ∈ R− {0, 1} et des vecteurs w1 , w2 , w3 , w4 tels que 1
∀λ ∈ R− {0, 1} : i(λ) = λ, a(λ) = , b(λ) = 1 − λ
∀i ∈ {1, · · · , 4} di = Vect(wi ) λ
w3 = w1 + λw2 c = a ◦ b, d = b ◦ a, e=a◦b◦a
w4 = w1 + w2 Montrer que toute composée de a et b est dans {i, a, b, c, d, e} . (on pourra utiliser le
4. Montrer qu'il existe λ ∈ R− {0, 1} et f ∈ GL(R ) tels que 2 nombre de bijections intervenant dans la composition)
En déduire que {i, a, b, c, d, e} est le sous-groupe du groupe des bijections de R− {0, 1}
d1 = f (D1 ), d2 = f (D2 ), d3 = f (∆λ ), d4 = f (D4 ) dans lui même engendré par a et b.

Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai Abirapp
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
MPSI B 29 juin 2019

IV. Eet d'une permutation sur le birapport

Soit λ ∈ R− {0, 1} et d1 , d2 , d3 , d4 quatre droites deux à deux distinctes, on pose ici
D3 = ∆λ .
1. Exprimer
B(Dσ(1) , Dσ(2) , Dσ(3) , Dσ(4) )
en fonction de λ pour σ ∈ {(1, 2), (1, 4), (3, 2), (3, 4)}.
2. Montrer que B(Dσ(1) , Dσ(2) , Dσ(3) , Dσ(4) ) peut prendre au plus six valeurs lorsque σ
décrit S4 . Préciser ces valeurs en fonctions de λ.
3. Montrer que B(dσ(1) , dσ(2) , dσ(3) , dσ(4) ) peut prendre au plus six valeurs lorsque σ décrit
S4 .
4. Pour quelles valeurs réelles de B(d1 , d2 , d3 , d4 ) l'ensembles des
B(dσ(1) , dσ(2) , dσ(3) , dσ(4) ) avec σ ∈ S4 contient-il strictement moins de six élé-
ments ?
5. Donner une condition nécessaire et susante assurant que (d1 , d2 , d3 , d4 ) est régulière.

Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai Abirapp
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/