Centrale Maths 2 PC 2004

 

@@ Ë... __ oe...50Ç<ËEË ë...ä...

ËQN oÆmQ:OE - ÆOEËOEQ mÈPËeQ

' \ , . . . 2 .
Dans tout le probleme, P des1gne le plan affine euchd1en IR mun1àde> son pro-
duit scalaire canonique, de son repère orthonormé canonique (O ; i, j) de son
orientation canonique et de son repère polaire canonique.

On appellera conique toute partie % (vide ou non) de P ayant une équation de
la forme

{M cos26 ; 6 +--> sin26 ; EUR) +--> cos9 ;6 
l----> sin8 ;
() |----> 1 de IR vers IR forment une famille libre dans l'espace des fonctions 
numé--
riques définies sur IR.

1.2) Soit un cercle quelconque du plan P , que l'on supposera de rayon p > 0 .
Montrer que si le cercle est inclus dans la conique %(A, B, C, D, E, F) , alors 
A = C
et B = 0 . Réciproquement, que peut-on dire d'une conique % satisfaisant aux quatre
conditions:

MOE? E=o
A=C F=0

II.A -

II.A.1) Montrer que le seul élément, noté (gl) , de %1 qui soit un cercle a pour
, . 2 * 2 2
equat10n xO(X + Y )--(x0+y0)X : 0.

Montrer que (gl) est tangent à l'axe Oy et indiquer une construction géomé-
trique de son centre.

II.A.2) Montrer qu'il existe un seul élément, noté (YË2) , de gl qui ait une
équation de la forme BXY + CX : 0 . En indiquer une caractérisation géométri-
que.

II.A.3) Déterminer (%1) n (%2) . En discuter le nombre d'éléments. En
déduire l'ensemble des points communs à tous les éléments de %1 .

II.B - On appelle cp l'application de F dans P qui, au point M de coordonnées
polaires (p, 6) , tel que p :O et que pour tout entier relatif k , 6 == (2k + 
1)n/2,

associe M ' de coordonnées polaires (ptan6,%E -- EUR) .

II.B.1) Montrer que cette définition de cp(M ) est cohérente, c'est-à-dire 
qu'elle
ne dépend pas du choix de (p, 8) parmi les coordonnées polaires possibles du
point M . Montrer que cp(Mo) appartient à toutes les coniques de 51 .En déduire
une construction géométrique de cp(M0) à l'aide d'un cercle et d'une droite.

II.B.2) Pour MEP' , quand a-t-on cp(M) E P' ? Que dire alors de cp o cp(M) ?
II.B.3) On appelle y la courbe d'équation polaire

6EUR]--%;%[ i-->p : 2asin6,0ùa>0 estdonné.

Reconnaître y ; déterminer une représentation polaire de la courbe y' : cp(y) ;
étudier et tracer cette courbe, avec justifications.

II.C - Dans cette question, MO(xO, yo) est un point de P' tel que le] := | y0' 
et on lui
associe M6 : cp(M0) comme ci-dessus.

II.C.D

a) Montrer que, quel que soit le couple &, M de réels non tous nuls, il existe 
un

unique réel \! , que l'on calculera, tel que la conique (%...,) d'équation
X(X2+Y2)+2uXY+VX : 0 appartienne à %1 .

b) Lorsque IM == |M| , montrer que ('ÎËN l,) a un centre Qk, " dont on 
déterminera
les coordonnées. [Pour ce faire, il est possible d'effectuer une translation 
arbi-
traire de l'origine du repère puis de faire en sorte que la nouvelle origine 
devienne
centre de symétrie de la conique (%À, M) .]

II.C.2) Le point Mo restant fixé, montrer que tous les points Q,, u (où IM : 
|... )
appartiennent àla conique I' d'équation
2 2

x +
X2--Y2-- () yo
2x0

X+yOY : 0.

En déterminer le genre, le centre, les sommets et les axes.

II.C.3) Déterminer les intersections de F avec les droites Ox, Oy , OMG, OMÔ
et MOMÔ . On trouvera en général six points en tout, pour lesquels le centre de
F joue un rôle particulier que l'on mettra en évidence.

II.C.4) Faire une figure d'ensemble.

II.C.5) Étudier et représenter (fil, 1) et (%1,_1) . On réalisera la figure en 
pre--
nant. x0 = 2 , yo : 1 . Que remarque-t-on quant à leurs axes ?

On identifiera pour la suite du problème les espaces vectoriels euclidiens

. 2 . .
canoniques IR et C . On dés1gnera par t le complexe de module 1 et d'argument 
Tt/ 2 .

Partie III -

On admet que le déterminant de Vandermonde

1 2 3
23 23 23
2 3

en les complexes 21 , 22, 23 , 24 est nul si, et seulement si, deux au moins 
des Zi
sont égaux.

Dans cette partie et la suivante, on étudie un problème analogue à celui de la 
pre-
mière, mais par une méthode sensiblement différente.

III.A - On s'intéresse à l'ensemble %2 des parties de IR2 ayant une équation de
la forme Aäz + B(z2 + 22) + Üz + Câ + D = 0 où les réels A , B , D et le 
complexe C
ne sont pas tous les quatre nuls, et qui contiennent trois points M1 , M 2 , M 
3 non
alignés donnés, d'affixes respectifs 21 , 22 , 23 .

III.A.1) Vérifier que les éléments %2 sont bien des coniques et donner une pro-
priété commune de leurs axes.

III.A.2) Pour 24 donné dans C , on définit les matrices

22 Z Z Z Z
__ 22 2 2 2 2 _ _
%-- et %_ 22 221

_ 23 23 1
2424 z4+z4 24 24 1

a) Établir que la matrice % est inversible. Quelle conclusion peut--on en tirer
quant au rang de % ?

b) On définit le IR --espace vectoriel E : IR x IR x @ x IR . En donner la 
dimension.
Montrer que

S = {(A,B,C,D)EE,Vie{1,2,3},AZ,z,+B(zÏ+z--iz)+cîi+ôzi+o:o}

est un sous-espace vectoriel de E et en donner la dimension.

c) Montrer que le point M 4 d'affixe 24 appartient à toutes les coniques 
éléments
de gg si, et seulement si, le rang de % est égal à 3 . [Pour la condition néces-
saire, on pourra faire intervenir un système linéaire bien choisi.]

III.B - On suppose dans cette question que les complexes 21 , 22 , z3 sont égaux
respectivement à aexp(i91), aexp(i92) et aexp(i83) , où a > 0 et 61, 92 , 63 
sont des
réels.

III.B.1) Montrer qu'il existe un unique cercle dans %2 et que si le point M 4
d'affixe z4 appartient à toutes les coniques éléments de êâ2, alors 24 est de la
forme aexp(i64) .

III.B.2) Soit le déterminant

2 4 4 3

22 24 + a4 23 2
g = 2 2 2 2
2 4 4 3
23 23 + a 23 23
2 4 4 3
24 24 + a 24 24
Montrer que @ est de la forme (21222324 --a4) % , où % s'exprime très sim-
plement à l'aide de V(21a22»23»24) .
III.B.3) Montrer que la condition énoncée en III.A.2-c) est équivalente àla nul-
lité de @ .

III.B.4)

a) En déduire l'ensemble des points communs aux coniques de %2_ Discuter
soigneusement le nombre d'éléments de cet ensemble.

b) Lorsque ce nombre est égal à 4 , que peut-on dire des directions des 
biseectri-
ces du couple de droites (M 1M2, M 3 M 4) ?

III.C -

III.C.1) Généraliser les résultats de III.B.4 au cas où l'on ne fait plus 
l'hypo--
thèse III.B. [On montrera comment on peut se ramener à ce cas.]

III.C.2) Soit trois points A , B , C non alignés dans P et (A) une droite. Par 
A ,
resp - B , resp - C , on mène la parallèle à la symétrique de la droite BC , 
resp - CA ,
resp - AB , par rapport à (A) . Montrer que ces trois droites concourent. [On
pourra commencer par le cas où (A) est l'axe Ox ; dans ce cas, il suffit 
d'utiliser
les résultats de la partie III.]

Partie IV -

On considère dans cette partie des équations de la forme
Âz2+Az_2+Ëz+Bä--+C :O (1)
où A := 0 et B sont deux complexes et C un réel.

IV.A-

IV.A.1) Soit 8 un réel et (I) l'application de C dans C qui à z associe z 
exp(i6).
Montrer que, si ( F) C P a une équation de la forme (1), alors on peut choisir 6
pour que CD(F) ait une équation de la forme

A'

?
où l'on ait de plus A' E IR+* .

(22+z--2)+Ë--'2+B'2_+C'= 0

IV.A.2) En déduire la nature d'une telle partie (F) de P. [On pourra revenir en
coordonnées cartésiennes.]

IV.B - Soit trois points M1 , M 2, M 3 non alignés donnés, d'affixes respectifs 
21 ,
22, 23 . On appelle CCË3 l'ensemble des coniques de P contenant ces trois points
et ayant une équation de la forme (1). Soit M 4 un point de P , d'affixe z4 . 
Mon-
trer que toutes les coniques de êÛ3 passent par M 4 si, et seulement si, le rang
de la matrice

est égal à une valeur que l'on précisera.
IV.C - Dans cette question, on suppose que de plus 21 , 22 et 23 sont de même
module a > 0 et ont a3 pour produit.

IV.C.1) Déterminer deux complexes u et v tels que 21 , 22 et 23 soient solu--
tions de Z3 --uZ2 + vZ--a3 : O.

IV.C.2) En déduire des complexes (1, a' , [3 , |3' tels que 21 , 22 et 23 
soient solu-
tions de

H,(Z) : Z2+aZ+B--aË : o
H2(Z) : Z+a'+B'Ë--âZ2 : o

IV.C.3) Grâce à des combinaisons linéaires bien choisies sur les rangées de
%' , montrer que toutes coniques de êâ3 passent par M 4 si, et seulement si,

H1(24) : H2(Z4) : 0 (2)

IV.C.4)

&) Montrer qu'il existe un polynôme m(Z ) à coefficients complexes, de degré 4,
tel que (2) implique m(z4)_ -- 0 ,on donnera d'un tel polynôme les coefficients 
en
Z4 et en Z3 ,en fonction de a, u et 0.

b) Déterminer les zéros de ur en en discutant la multiplicité. [On remarquera
que trois zéros de m sont déjà connus.] On ne demande pas de vérifier qu'inver--
sement tous les complexes obtenus vérifient (2).

IV.C.5) On choisit z4' : 21 +22 + 23 .

a) Détermmer la valeur du produit scala1re (M1M4, M 2M 3) . [On pourra zntro-
duit le produit (24 --zl)(z3 --z2) .]

b) Que représente M 4 pour le triangle M1M2M3 '?

IV.D - Généraliser les résultats de IV.C.5-b) au cas où l'on ne fait plus 
l'hypo-
thèse du NC.

000 FIN ooo

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.