Centrale Maths 2 PC 2004 -- Corrigé
Ce corrigé est proposé par Hicham Qasmi (ENS Lyon) ; il a été relu par Aurélien
Alvarez (ENS Lyon) et Paul Pichaureau (Professeur en CPGE).
Ce sujet traite des coniques de R2 et de leurs applications pour prouver
certains
théorèmes en géométrie. Il porte essentiellement sur l'étude des points communs
à
certains ensembles de coniques. Il est constitué d'un préliminaire et de trois
parties
indépendantes.
· La première partie permet d'établir quelques résultats simples qui sont utiles
dans la deuxième partie. Elle fait appel à des notions de base, en algèbre
linéaire
et sur les coniques.
· La deuxième porte sur l'étude de certaines coniques ainsi que de leurs points
fixes. Elle est longue, assez calculatoire et technique.
· La troisième étudie également les points communs à certaines coniques,
mais par une autre méthode, plus algébrique, en utilisant les nombres
complexes, les déterminants de matrices et la dualité.
· Enfin, la quatrième partie démontre un théorème de géométrie en introduisant
un ensemble judicieux de coniques dont on réalise l'étude algébrique.
Dans l'ensemble, le sujet est très long et assez difficile. Il présente le fort
intérêt
d'être un sujet de géométrie très complet car il fait appel à des notions
variées :
l'étude des courbes paramétrées et la réduction des coniques pour ce qui est
des outils
de géométrie ; les déterminants, la dualité et les polynômes pour les outils
algébriques.
Indications
Partie I
I.2 Introduire une représentation paramétrique du cercle.
Partie II
II.A.3 Raisonner sur
T une équation cartésienne d'une conique de E3 pour relier
C1 C2 à
C.
C E1
II.B.1 Utiliser les coordonnées cartésiennes pour montrer que est bien définie.
II.C.1.b Que dire d'une conique dont l'équation ne présente pas de partie
linéaire ?
Partie III
1 x1 y1
III.A.2.a Montrer et utiliser le fait que 1 x2 y2 6= 0.
1 x3 y3
III.A.2.b On peut considérer S comme l'intersection de trois hyperplans.
III.A.2.c Associer à M4 un hyperplan judicieusement choisi.
III.B.2 Garder à l'esprit que le déterminant est une forme multilinéaire
alternée.
III.B.4.a Utiliser les questions III.A.2.c et III.B.3.
III.B.4.b Trouver des vecteurs directeurs simples des bissectrices du couple de
droites
((M1 M2 ), (M3 M4 )).
III.C.1 Penser à changer de repère.
III.C.2 On pourra montrer que la droite (BC) et la parallèlle passant par A qui
lui
est associée constituent une conique appartenant à E2 .
Partie IV
IV.B S'inspirer de la question III.A.2.c et introduire des hyperplans adaptés.
IV.C.2 On peut écrire que a3 = az¯i zi .
IV.C.4.a Combiner les fonctions H1 et H2 .
IV.C.4.b M4 peut-il être confondu avec M1 ou M2 ou M3 ?
IV.D Introduire un nouveau repère bien choisi.
Partie I
I.1 L'ensemble des fonctions réelles définies sur R est un espace vectoriel
réel.
Soit (a, b, c, d, e) un quintuplet de réels vérifiant
R
a + b cos + c cos 2 + d sin + e sin 2 = 0.
En évaluant pour certaines valeurs de cette identité fonctionnelle, on obtient
un système linéaire d'équations satisfait par (a, b, c, d, e) :
a + b + c = 0 pour = 0
a - b + c = 0 pour =
a
- c + d = 0 pour = /2
a - c - d = 0 pour = 3/2
En retranchant la deuxième équation à la première et la quatrième à la
troisième,
on obtient le système équivalent
a+b+c=0
a-b-c=0
2b = 0
2d = 0
Puis si l'on somme les deux premières équations, il vient
a+c = 0
2a = 0
2b = 0
2d = 0
Finalement,
a=b=c=d=e=0
La famille de fonctions considérées est donc libre.
I.2 Soit D le cercle de P de centre (;) , de rayon strictement positif.
Montrons
que si D est inclus dans C(A,B,C,D,E) , alors A = C et B = 0.
Une représentation paramétrique de D est
X() = cos +
R
Y() = sin +
Par hypothèse D est inclus dans C(A,B,C,D,E) donc pour tout réel
avec
Or,
A2 cos2 + B2 sin cos + C2 sin2 + D cos + E sin + F = 0
D = 2A + B + D
E = 2C + B + E
F = A2 + B + C 2 + D + E + F
sin 2 = 2 sin cos
2 cos2 = 1 + cos 2
R
2 sin2 = 1 - cos 2
de sorte que, pour tout réel ,
A-C
B
A+C
2 cos 2 + 2 sin 2 + D cos + E sin + F +
2 = 0
2
2
2
D'après la question précédente, les fonctions 7- cos 2, 7- sin 2, 7- cos ,
7- sin et 7- 1 sont linéairement indépendantes, donc
A-C = 0
B=0
D = 0
E = 0
F + A + C 2 = 0
2
où l'on a utilisé le fait que est non nul. On a bien
A=C
et B = 0
Réciproquement, soit A non nul et une conique de la forme C(A,0,A,D,E,F) .
M C(A,0,A,D,E,F) AX2 + AY2 + DX + EY + F = 0
2
2
E
D2 + E2
D
A X +
+A Y+
+F-
=0
2A
2A
4A
2
2
D
E
D2 + E2
A2 X +
+ A2 Y +
+ AF -
=0
2A
2A
4
où l'on a utilisé le fait que A est non nul.
· Si 4AF > D2 + E2 , alors C(A,0,A,D,E,F) = .
· Si 4AF 6 D2 + E2 , alors C(A,0,A,D,E,F) est le cercle de centre (-D/2A; -E/2A)
r
D2 + E2 - 4AF
de rayon =
.
4A2
Une conique de la forme C(A,0,A,D,E,F) est soit un cercle soit l'ensemble vide.