Escolar Documentos
Profissional Documentos
Cultura Documentos
avec ( a, b, c) = (0 , 0, 0). Nous allons chercher quelle relation peut exister entre et tout polynme du second degr tel que ( x, y) = 0 soit une quation dfinissant la mme conique. Pour simplifier, sera galement appel quation de . Il est clair que, pour toute constante non nulle , est encore une quation de . Il est donc intressant dtudier si la rciproque est vraie. Si cest le cas, nous dirons quil y a unicit de lquation, ou que ne possde essentiellement quune seule quation. REMARQUE . Lexemple des quations y2 et y, qui dfinissent la mme conique mais ne sont pas proportionnelles, justifie que lon sen tienne strictement (comme nous lavons fait plus haut) des polynmes de degr 2 et non seulement infrieur ou gal 2. Toutefois une tude prcise, que nous ne ferons pas ici, montre que le seul cas o cette difficult se prsente est justement celui dune conique dcompose en une droite double. 2.2. Il est clair quil ne peut tre question dunicit si est vide ou rduite un point. Des exemples triviaux le montrent : pour K = R, x2 + 1 et y2 + 1 reprsentent toutes deux le vide, et x2 + y2 et x2 + 2 y2 reprsentent toutes deux le singleton (0 , 0). Il en existe dautres : ainsi, pour K = Q, 2 x2 + 3 y2 + 1 et 2x2 + 3y2 - 1 reprsentent toutes deux le vide [tudier si 3 divise ou non le numrateur rduit de x] ; etc. Dsormais, nous supposerons donc implicitement que possde au moins deux points. 3.3. Examinons dabord le cas du corps K = F2. Chacune des seize parties de F est une conique et peut admettre jusqu quatre quations non proportionnelles entre elles (le plan luimme en a trois, savoir x2 + x, y2 + y et x2 + y2 + x + y). Certaines nont que deux points, comme celle qui a pour quations y2 + x, y + x2 et x2 + y2. Le plan priv de son origine est runion de trois droites ( x = 1, y = 1 et x + y = 1) ; parmi ses quatre quations, xy + x + y + 1, x2 + xy + y + 1 et xy + y2 + x + 1 sont factorisables mais non la dernire, savoir x2 + xy + y2 + 1, qui est irrductible Dsormais, nous supposerons donc implicitement que K nest pas le corps F2 (et possde par
consquent au moins trois lments). 4.4. Pour dmontrer lunicit ventuelle de lquation dune conique, il suffit de le faire pour un repre affine particulier, o lquation de est aussi simple que possible. Supposons en effet que, pour un certain repre, toutes les quations de soient de la forme
avec = 0. Dans un autre repre affine o P ( , ) est une quation de lie par
toute autre quation Q est telle que, si lon pose = Q , Q ( , ) = 0 quivaut ( x,y ) = 0 do
5.5. Montrons que lorsque la conique est dcompose [cestdire contient une droite, et est en fait runion de deux droites, scantes, strictement parallles ou confondues en une droite double ], il y a unicit de lquation. 5.1.a. Supposons en effet que la droite dquation y = 0 soit incluse dans . Une quation de cette conique, aprs changement ventuel de repre affine, est alors selon le cas xy, y ( y + k) [avec k = 0] ou y2 : le polynme ax2 + dx + f devant en effet sannuler pour au moins trois valeurs, on a donc a = d = f = 0 et lquation y ( bx + cy + e) qui conduit aux trois formes annonces selon que lon a b = 0, b = 0 = ce ou b = e = 0 = c. 5.2.b. Pour xy, il est clair que les polynmes ax2 + dx + f et cy2 + ey + f sont identiquement nuls, do a = d = f = c = e = 0 et lquation bxy avec b = 0 (pour viter que le plan ne soit confondu avec ). 5.3.c. Pour y ( y + k), il est clair que les polynmes ax2 + dx + f et a x2 + ( d - kb) x + ck2 - ek + f sont identiquement nuls, do a = d = f = - b k = ck2 - ek = 0 et lquation cy ( y + k) avec c = 0 (pour viter que le plan ne soit confondu avec ). 5.4.d. Pour y2 , il est clair que le polynme ax2 + dx + f est identiquement nul, do a = d = f = 0 et lquation y ( b x + cy + e) avec ( b,c ) = (0 , 0). Si b = 0, on obtient un point [(-( c + e) b, 1)] tranger ; on en dduit b = 0 = c, puis e = 0 puisque tout point dordonne - ec doit appartenir . En rsulte lquation cy2, qui termine ltude du cas des coniques dcomposes (sur un corps autre que F2) qui possdent donc essentiellement une seule quation. 6.6. En sens oppos, nous allons montrer que, dans les corps F3 et F4, lunicit essentielle de lquation dune conique non dcompose nest nullement assure. 6.1.a. Soit en effet dans F3, la conique forme des deux points (0 , 0) et (1 , 0) : elle possde
essentiellement trois quations, savoir x2 - y2 - x, x2 + xy - x + y et x2 - xy - x - y, ainsi que leurs opposs. 6.2.b. Soit en effet dans F4 = F2[ X] ( X2 + X + 1), engendr sur F2 par la classe de X note et telle que 2 = + 1 la conique forme des quatre points (0 , 0), (1 , 1), ( , 2) et ( 2, ) ; elle possde essentiellement deux quations, savoir x2 + y et y2 + x, ainsi que leurs produits par et 2. Les deux corps tudis cidessus sont les seuls corps ayant respectivement 3 et 4 lments. Dsormais, nous supposerons donc implicitement que K nest aucun des corps F2, F3 et F4 et possde par consquent cinq lments [si K = F5] ou au moins sept lments (puisquil nexiste pas de corps de cardinal 6). 7.7. Par une translation affine, portons lorigine en un point de qui devient ainsi dfinie par une quation de la forme
o labscisse et lordonne sont respectivement notes z et y. 7.1.a. Si D = E = 0, la conique est dcompose ou rduite un point selon que le polynme A z2 + B zy + C y2 est factorisable ou irrductible. Dans le premier cas, nous savons quil y a unicit ; le second a t exclu de notre tude. 7.2.b. Supposons donc par exemple D = 0 et posons x = E y + Dz. Lquation devient, aprs multiplication par D2 :
o u = BD - 2 AE et v = AE 2 + CD 2 - BDE. Si v = 0, se dcompose et nous sommes encore ramens lunicit. Nous supposerons donc maintenant v = 0. 7.3.c. Soit ( x, y) un point de la conique autre que lorigine : poser t = yx conduit aussitt la reprsentation paramtrique de prive du point (0 , 0)
dans laquelle t prend toutes les valeurs de K qui nannulent pas le dnominateur. Il en existe donc au moins quatre si K nest pas F5, ou si K = F5 mais si v t 2 + ut + A nest pas simplement scind. Si ( x, y) = a x2 + bxy + cy2 + dx + ey est une quation de , pour toutes ces valeurs de t on a
7.4.d. Supposons que nous disposions de quatre valeurs distinctes de t . Elles annulent un polynme de degr 3 au plus, qui est donc nul ; en rsultent lgalit ev = 0, puis e = 0, c = dvD 2, b =
qui prouve (une fois de plus) lunicit essentielle de lquation de . 8.8. Lunicit est donc vraie pour toute conique dcompose ayant au moins deux points pour un corps autre que F2 et, plus gnralement, pour toute conique ayant au moins deux points pour un corps autre que F2, F3, F4 ou F5. Examinons maintenant ce dernier cas. Nous avons vu quil y avait unicit si le dnominateur v t 2 + ut + A navait pas deux zros distincts. Supposons donc quil existe r = s tels que v t 2 + u t + A = v ( t - r )(t - s), do A = v rs et u = - v ( r + s). Posons p = D2 v = 0 et