Professional Documents
Culture Documents
Corbes Algebraiques Laboratori2
Corbes Algebraiques Laboratori2
15 de març de 2024
b) Proveu que es pot triar un sistema de referència del pla de manera que p1 = [1 : 0 : 0], p2 = [0 : 1 : 0],
la recta tangent a C en p1 és y = 0 i la recta tangent a C en p2 és x = 0.
on ABD ̸= 0.
d) Proveu que la recta p1 p2 talla C en un tercer punt p3 , diferent dels anteriors i que p3 és també una
inflexió.
Problema 10. Considerem una cúbica C de la forma Ax2 y + Bxy 2 + Cxyz + Dz 3 = 0, amb ABD ̸= 0.
Trobeu condicions necessàries i suficients en els coeficients A, B, C, D perquè C sigui no singular.
Solució al problema 9 d): Podem suposar que A = 1 dividint tota l’equació per A. La recta que passa
per les dues inflexions p1 i p2 és la recta z = 0. La intersecció de x2 y + Bxy 2 + Cxyz + Dz 3 = 0 i z = 0 està
formada per tres punts: p1 , p2 , [−B : 1 : 0]. Hem de demostrar que [−B : 1 : 0] també és una inflexió de la
corba. Ens posem en coordenades afins fent y = 1. Ens queda la corba afı́, en les variables x, z, següent:
x2 + Bx + Cxz + Dz 3 = 0
i tenim el punt (−B, 0). Fem el canvi de variables: x + B = t, z = z. En les noves variables el punt
de coordenades (−B, 0) (en x, z) és ara el punt (0, 0) (en t, z). Fent el canvi en l’equació de la corba i
simplificant obtenim:
2
Corbes Algebraiques Laboratori 2 Primavera 2024
(amb ABD ̸= 0) són les solucions no trivials del sistema d’equacions (no lineals) que ens donen les tres
derivades parcials:
(1) 2Axy + By 2 + Cyz = y(2Ax + By + Cz) = 0
(2) Ax2 + 2Bxy + Cxz = x(Ax + 2By + Cz) = 0
(3) Cxy + 3Dz 2 = 0.
Si y = 0, aleshores per (3) tenim z = 0 i substituint en (2) arribem a x = 0, per tant x = y = z = 0 que
és absurd. Anàlogament si x = 0 arribem a un absurd de la mateixa forma. Per tant, podem elmininar el
factor y en l’equació (1) i el factor x en l’equació (2). A més a més, sabem que ni x ni y podem ser nul·les,
per tant podem suposar que x = 1. Ens queda el sistema en dues coordenades afins y, z següent:
(4) 2A + By + Cz = 0
(5) A + 2By + Cz = 0
(6) Cy + 3Dz 2 = 0.
Observem que si C = 0 (la resta dels coeficients són no nuls per hipòtesi), el sistema lineal en una variable
2A B
donat per les equacions (4) i (5) té solució si i només si det = 3AB = 0, absurd. Si C = ̸ 0, el
A 2B
mateix sistema lineal té solucions:
3A 5A
y=− z= .
B C
Substituint en l’equació (6) tenim:
−3AC 25A2
+ 3D 2 = 0.
B C
Traient denominadors i dividint per 3A, arribem a la conclusió de que una cúbica com la donada (amb
ABD ̸= 0) és no singular si, i només si, se satisfà:
25ABD = C 3 .