2. Simetsfas 3 Figura 2: Bjes de simetria In[t]:= £[x_,yJi= Sex2ey - y°3 + G2 + y"2)72 In(2] :=£ (Xeu-Vavta, Xev+Yeuth) Out (2)= =(h + ve + uaY)"S + 3(b + ve + ueY)e(a + ueK - veVD-2 + (Qo + vax + usyy°2 + Ca¥ wee = vaY)~2)°2 In(3] out (3) (bo + VAR = ue)7S + SeCb + VEX ~ uaYe(a + weK + veY)-2 + (Ob + vex = usy-2 + (a + une + vaY)-2)-2 KeurYavta, Kev-Yeutb) In[4] :=CoefticientList (12, {X,Y} out [4}= {fad + Bea°2eb + 2ea°2eb°2 - b's + BA, Bea2eu + d¥a°Debvu ~ Seb Deu + d¥b~3eu ~ d4a"ey ~ Geaxbev ~ d¥asdm2ev, 2ea"2eu"2 - Sebeu2 + Geb"2Hu-2 - Geatury - Bearbeuey + Gea7Qev"2 + Bebev-2 + 2eb-2ev-2, -u"S + debeu"d - deaeurQey + Seuey~2 + dedeuey"2 — Geaey-3, wd + Qeundev-2 + v4}, {axa"3eu + Gearbeu + deaxb"2ey + S4a~Zey + dea7Debey ~ S¥b~Zey + 4eb73HV, hau"? + Beaebeu2 - Bta"2euty - i2ebeury + Seb7Zeuey - Geary"? - Beawbev"2, Geaeu"S - Qeu"2ev + Qebeu"Qey + Geaeuey~2 + Sev"3 + Gebev"3, 0, oF, {Gea72eu°2 + Sebeu-2 + Ded~DeUn2 + Gratuty + Bearbeury + ‘Dea°2ev-2 - Sebev"2 + Geb“2ev"2, geu"3 + 4ebeu"3 - deasu"ev - Seuev-2 + debeuey"2 - Deu"d + 4euv2ev-2 + 2ev-4, 0, OD, {anaeu's + Sourav + debeu"Qey + dearusy-2 - "3 + 4¥bAv~S, 0, 0, 0, OF, {avd + 2eu-2ev-2 + v-4, 0, 0, 0, 0} ; aev"3, In[5] :=CoefficientList (3, {X,YH out [5]: {fad + 3ea°2eb + 2ea72eb"2 - bra + m4, Bea°2eu ~ dea~2ebvu + 34b72eu ~ deb“Seu + dea"Sey + Skasbey + G4aeb™24V, 2Qea"2eu-2 - Sebeu"2 + Geb"2u-2 - Geaeury - Bearbeuey + Gea"2ev-2 + Bebev-2 + 2eb-2ev-2, wa - Gebeuvd + Geaeu"Qey - Seuev-2 - dedeuey"2 + Aeanv"3, wd + Qeu2ev"2 + v4}, {dva°Seu + Gearbeu + deavb“2eu + SeavZev + dea°2ebey ~ S¥b-Zev + deb7Sev, ~Geawu"2 - eaebeu"2 + Bean2euey + 12ebwury - Beb“2euey + Geary"? + Beavbev"2, deaeu"a - Qeu"Zev + debeu"Qey + Geneuey~2 + dev"d + Gebey"3, Curvas algebraicas en forma implicita “Angel Montesdeoca, a Laguna, 20082 Simetxs 0, oF, {Gea72eu"2 + Sebeu°2 + 2ed-DeUn2 + Gharuey + Brarbeury + Qeav2ev-2 - Sebev"2 + Geb“2ev"2, 3°(1/2)*b, u ~> 3°C1/2)ev}, {a > ~(3"(1/2)4b), w > -BL/2) ND}, {a> 0, u-> 0}, fu -> 0, v > OFF 1S[[1,4] ]==¥5((2,2]] ==45([3,2]]==0,a 1 3 a-b+2=05-+-b42=056 Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20033._Interseccic te 6 in de una curva algebraica con un recta. Tangent Luego el punto (-1/2,3/2) es el centro de la curva, que no tiene otro centro porque todos han debido resultar de estas ecuaciones. Se trata de una hipérbola de asintotas x = —1/2 y 2x—4y +7 = 0. Sea 24 dey ty? + 22+ 2y =, que se transforma on: (2! +)? + 2(2' + a)(u! +6) + (v +6)? +202! +0) + 2(y +8) =0 a? 4 y 4 Daly + 22"(a4 b+ 1) + 2yl(at b+ 1) + (a? +8? + 2ab +20 + 2b) 0. Para que la curva sea simétrica respecto al origen O! es preciso que a+6-+1 = 0, lo que prueba que (a, 6) satisface Ja ecuacién x+y +1=0 de una recta respecto del primer sistema OXY. ‘Todos los puntos de esta recta son otros Lantos centros de simetria de la curva, la cual consta de dos rectas paralelas, (et u)le+y+2)=0. ‘* Hay curvas come la parabola y? + = 0 que no tienen centro de simetria porque la transformada: yt + 2by +0 +2! +a-0 tiene un término en 2 de coeficiente no nulo. 3 Interseccién de una curva algebraica con un recta. Tangente Se considera en el espacio afin euclideo ampliado coordenadas homogéneas, respecto a las cuales se puede dar una expresin analitica de la curva, que nos permitirs, dada la homoxeneidad de Ia funcién, determinar las tangentes tanto en puntos propios como en impropios (asintotas), asf como la multiplicidad en unos puntos y otros, Sea la ecuacién de una curva algebraica de orden n en coordenadas homogéneas f(z0,21,22) = 0. Obsérvese que sise hace un cambio de coordenadas afines, 11 = arta + a2ve + dove, 2 = bry + baya + loyo, la nueva ecuacién de la curva sigue siendo un polinomio homogéneo de graclo m. Las ecuaciones paramétricas de una recta que pasa por los puntos P(pv,Pi.P2) ¥ Q(do. 41.42), se escriben de la forma pe, =p; + Agi (i = 0,1,2) Para determinar los puntos de interseccién de la curva y la recta dadas, se sustituye las coordenadas de la recta 1 fn, en Ie ecuacn de In curva f(y, 23,22) ~ ZS (pto, pz pa) ~ 0, y rsa S04 ae. P1 4 AansPa baa) = 0 2 . = F00P1sP2) + Mao fys + Oba + fa) + AQ + fon FaaSpaP + Cohn + loa + obra” of tinue) entendiendo que las potencias de los trinomios deben desarrollarse e interpretar los exponentes de las J, como indice de derivacién, Sogsin la ecuacién (1), polinomio en de grado n, la recta y la curva tienen n puntos comunes reales 0 imaginarios, distintos 0 confundidos, donde fp, denota In derivada parcial de f respecto a la variable 2;, valuada en el punto (po, p1,P2): y Si el punto P(po, 1,2) pertenece a la curva, se tiene f(po, Pr, P2) ~0, y la ecuacién (1) admite la raiz A= 0. Si se cumple ademés que Gofp, + dp, | 42fp, ~9; entonces \~ 0 sera una raz doble y la recta PQ tiene dos puntos comunes con la curva, confundidos on P, con lo que la recta es tangente en P ala curva. Como el cocficiente de A también se anula para el punto P, debido al teorema de Kuler para funciones homogéneas: nf (051, 2) = Fofen (oy F142) + 21 fey (0.41, 22) + tafe (To, 41, 22), todo punto de la recta PQ anula a dicho coeficiente, por lo que la ecuacién de la tangente a la curva en el punto P es: Foto + fyi + frta =0 2) Esta ecuacidn es vilida tanto en puntos propios como en impropios del plano, Si sélo se consideran puntos propios y se tiene como ecuacién de la curva en coordenadas afines (no homogéneas) f(x,y) ~ 0, la tangente on un punto (a,b) es una recta que pasa por este punto y tiene de pendiente y’ — $4, por lo que, teniéndose que f, + fyy/ — 0, la ecuacién de la tangente, en puntos donde ninguna de las dorivadas fa = fe(a,b) y fo = fy(a,b) se anulan, es Curvas algebraicas en forma implicita Angel Montesdeoca. La agama, 20034 Puntos singulares falta) + fly (3) Los puntos de tangente horizontal satisfacen a fz.y) fe(x,9) fylz,u) #0. @) Y los puntos de tangente vertical satisfacon a Azy)=0, fylzy)=0, felz.y) £0. (8) im Si las tres primeras derivadas parciales en un punto P de la curva se anulan, la ecuacién (1) carece de término independiente y de término lineal en 4, por lo que toda recta que pase por P corta a la curva en dos puntos confundides, se dice entonces que el punto P es un punto doble. Estos se determinan resolviendo el sistema de ecusciones 6, 6. Sou(t0,21,22) = 0, fay(0,22,22) =0, fas(0,21422) Se observa que toda solucién de este sistema est necesariamente en la curva, en virtud del teorema de Euler para funciones homogéncas. Si se cumple ademés que (go fy, + 41fp, + 42fy,)* — 0, entonces A — 0 seré una raiz triple y la recta PQ tiene tres puntos comunes con la curva, confundidos en P, con lo que la recta es tangente a una rama de la curva en P. Como ol coeficiente de \? también se anula para todo punto de la recta PQ, al anularse en el punto P, como se comprueba derivando en la igualdad que da el teorema de Euler para funciones homogéncas, las tangentes a la curva en un punto doble P vienen dadas por el potinomio de segundo grado: (ofno + £1fm + 22fya)® = 2hlyg + 2Rga + bln + 240% Soom + 20% Spars +22122Sprpy Sogiin la naturaleza y posicién de estas rectas respecto a la curva, el punto doble recibe las siguientes denomina- 1) Silas tangentes son reales y distintas se dice que el punto P es crunodal 2) Si las tangentes son reales e iguales, se tienen los diferentes tipo de puntos: 1) Si la curva contintia después del punto P, se denomina tacnodal, pudiendo estar las ramas de la curva a ambos lados de Ja tangente o sélo en tno de los lados. ») Sila curva no contimia después del punto P, se trata de un punto de retroceso, siendo de primera especie si las ramas de la curva quedan a en distinto lado de la tangente, y de segunda especie si las dos ramas quedan al mismo lado de la tangente. 3) Si las tangentes son imaginarias, se trata de un punto aislado. Bn las Figuras 4 (pdg. 8) y 8 (pg. 16) se muestran algunos ejemplos de los distintos puntos dobles definidos tanto propios como impropios. m Si todas las derivadas primeras y segundas de f se anulan en P, y alguna de las terceras derivadas es distinta de cero, se dice que el punto P es un punto triple de la curva. La recta PQ corta a la curva en tres puntos confundidos en P, cuando la coordenadas de Q no amulan al coeficiente de A? en (1), Si dicho coeficiente se amula en Q, la recta y Ja curva tienen cuatro puntos confundidos en P, con lo que la recta PQ es tangente a uma rama de la curva que pasa por este punto. La ecuacién conjunta de las tres tangentes en P es: (2ofpe + 21Spx + 22h) = ™ Si, en general, se anulan en P las derivadas de f hasta el orden k y no son simulténeamente nulas las de orden k-+1, se dice que P es un punto miikiple de orcen k +1 y la ecuacién de las tangentes en él sera (ofp + tif, + 42S.) = 0. 1m Denomindndose, en general, punto singular de la curva, a cualquier punto miiltiple de orden & +1, para k = 1,2,3, A continuacién se hace el estudio en un punto miiltiple de una curva algebraica usando coordenadas no homogéneas, determinando las tangentes en él. Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20034 Puntos singulares crunodal p aislado ¥-(el)(22)=0 v(etl)+e1-0 tacnodal retroceso primera espacie segunda espacie url) 1=0 (y-rr)-a'=0 o(yr-+1)"-1=0 Figura 4: Tipos de puntos dobles de curvas algebraicas Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20034 Puntos singulares 9 Se supone que el origen de coordenadas es de la curva f(z, y) — 0, si no lo fuera, se hace un cambio de coordenadas apropiada para que lo sea, y se desarrolla el polinomio f(z, y) por la formula de Mac-Laurin: 1 F(@2) = $00.0) + (hag +H) + Hehag + than)? ++ Ae has + Hh donde se denota con fry, fyy las derivadas parciales de f respecto a x ¢ y en el punto (0,0), y entendiendo que las potencias de los binomios deben desarrollarse ¢ interpretar los exponentes de las derivadas J. y f, como indice de desivacion, Sise pone gste,y) ~ Hefa, + ¥fy)', poinomio homogéneo en x 6 y de grado 4, la ecuacién de Ia curva, al ser (0,0) = 0, se escribir en la forma siguiente: S(z.9) = vilz.a) + gale) +t paley) <0 Los puntos de interseccién de la curva f(x, y) — 0 con las rectas y ~ ax, no paralelas al eje OY, tienen por abscisas las rafces de la ecuacién de orden n en x: rl, ax) + g2(2,az) +--+ en (2,02) npi(1,a) + 2° y2(1,a) +--+ 2"yn(1,a) =0, que tiene una raiz x = 0, que corresponde al origen de coordenadas, y si yi(1,a) # 0, n—1 distintas de cero. En este caso no pueden anularse simultdneamente fz, ¥ fyy en ol origen Si la recta y — az es la tangente a la curva en (0,0) la ecuacién admitiré entonces una rafz doble en x — 0, para lo que tendré que ser yi(1,a) = 0. La raiz de tal ecuacién de primer grado seré cl cocficionte angular de la tangente a la curva y la ecuacién de dicha tangente ser4: ules) = Feat + So Si la ccuacién de la curva carece de términos de primer grado, para lo que fs doble y la ecuacién Sys =0, entonces (0,0) sera punto ryi(l.a) +2%p2(1,a) +--+ 2" yn(1,a) = 0 admitiré Ia raiz doble 2 = 0 para todo valor de a, es decir, toda recta incidente con la curva en (0,0) tendré comunes con la curva dos puntos confundidos en él. En este caso, para los valores de a, rafces de la ecuacisn ya(1,a) = 0, se obtionen dos rectas que tienen comunes cada una de ellas tres puntos con la curva, confundidos en (0,0). El conjunto de tales tangentes tiene la ecuacién: ale 9) = fag? + Bas fnt¥ + hye? = 0. Andlogamente, si las derivadas sogundas se anularan en cl origen, es decir, si no existiesen términos de segundo grado tampoco, pero sf de tercero, el punto seria triple y el conjunto de las tres tangentes estarfa dado entonces por: valz,y) =0. En definitiva, y para un caso general, si son idénticamente nulos ule, y) = 9,¢a(2,¥) = 0... en-a(2,9) pero no ya, 4), es decir, si los términos de menor grado del polinomio f(x,y) son de orden de multiplicidad h, el origen es un punto miltiple de orden de multiplicidad h y el conjunto de las fe tangentes a la curva en él esté dado por yn(z.y) = 0 y sus pondientes son las rafces de la ecuacién ya(I,a) = 0, Exemco: ‘+ Los puntos dobles de la curva (ver grafica en Figura 5) Sey) se obtienon resolviendo el sistema obtenido anulanda sus derivadas parciales: 3a?y? 20%? | at iz — datat? = 0 Gay?t — 6ayt? = 0 Se = ~2ay? ~ Ga®y*t ~ de%s?t | 40a! = 0 ‘Gurvas algebraicas en forma implicita ‘Angel Montesdeoca. la Laguna, £0085. Puntos de inflexién 10 Resultando, de las dos primeras, los puntos: (t, 0,0), (t,0, at), (t,at,0),(t,a, at) (tat, 0) y (t,—at, at), de tos cuales, sélo satisfacen a la tercera y, por tanto, a la ccuacién de Ia curva, los puntos (0,—a),(@,0) y (~a, 0), que son Jos puntos singulares Para hallar las tangentes, por ejemplo, en el punto (1,a,0) se ha de calcular las derivadas segundas y sustituirlas en este punto, para formar la matriz,hessiana: Bai 8a" 0 8 8a? o |, 0 0 Ga que da Iugar al ecuacién cuadritica 4* — 3y? — Sax + 4a = 0, que degenera en dos rectas, que son las tangentes {(cuyo punto en comtin es el punto singular (a,0)) de ecuaciones: yeayie-o ‘También se pueden determinar las tangentes en el punto singular (@,0), tomando éste como nuevo origen de coordenadas, haciendo el cambio z -+ x +.a,y — y, c igualando a cero los térmiinos de menor grado (dos): 4a?x? — 3ay? = 0; 0 sea, el producto de rectas (v3y + 22)(V3y — 2x) = 0, que deshaciendo el cambio, se lega a las mismas rectas tangentes de arriba, Figura 5: Puntos dobles 5 Puntos de inflexién Si P(po,pu,p2) pertencee a la curva, y silos puntos @ de la tangente en P, zofyy + 1s, +22fp, = 0, anularan tamabign el coeficiente , (Do afe.)? de A? on la ecuacién (1) entonces la recta PQ tondsfa tres puntos confundidos en P con la curva y se dice que el punto P es-un punto de inflexién Y si ademds anulara a los coeficientes de *, A‘,..., la tangente tendria con la curva 4,5,... puntos confundidos, y atravesaria o no a la curva segtin el ntimero de puntos confundides sea impar o par Si P(po,p2,p2) ¢8 un punto de inglexién, la ecuacién (Bofyy + 19, + tala)? = aboot + thre + AB? + 2007: yom + 22072 Spore + 2m ealrirs debe satisfacerse por todos los puntos de la tangente tofp, ++ 2ifp. + tafp, ~ 0. Asi, la ecuacién anterior deberd ser cl producto de esta recta por otra recta, de modo que, por ser tina cGnica degencrada, su discriminante (que es el hessiano de la curva dada en P) debe ser nulo; es decir, debe ser: ror Foor: frops Trp fot fers Leae0 eres fos Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 2003u en todos los puntos P de inflexign de la curva f(20, 21,22) ~ 0, y en todos los dobles. De aqui que los puntos de inflexign se obtienen entre los de interseccién de la curva dada con la hessiana. BB Sages Soo Seas Te Sages ferry fess Fe, Si la curva algebraica dada es de orden n, su hessiano es de orden 3(n ~ 2) y por lo tanto, el mimero total, Jo sumo, de puntos de inflexién seré 3n(n — 2), si no hay dobles. As{ una cibica tendré a lo sumo nueve puntos de inflexién; una cénica no tiene ninguno. F (ao, 21)%2) = 9. Evers ‘* Puntos de inflexién de la curva f(z,y) = ay! by +2=0. Tn(t]:= £Lx_,y_,t]osxty ryee scat" In(2} <= {DEE Lx,y, 2) 4,20) DLE Ce,y.t) ,x,0) Ute. y,t),y,t)), DE Lx,y,t] ,x,t] DEE Lx,y,t] Ge 29) Dixy, t] x,y), {DUt Tx, y,t],y,t) DU lxy,t] x,y] DEtLx,y, 2] , -(435~(4/4) 49/8, y -> (6/3)71/4) ee}, to ~> =1/841387 (1/4) 42, y > 1406/9)" 1/4) +8), fx > (135°(1/4)40)/8, 'y -> (6/3) 4/4), {x -> T/ae135"(1/ayee, y -> -I4(6/3)"(1/4) #0), {> 0, y 30, & > 0, y > 0}, & > 0, y 3 OH nfs s= WOO) Our [5]={{x -> -0.4260822624253123ee, y —> 1. 136218366467499+t}, ~0.4260822624253123eI4t, y -> 1.136219366467499eT+t}, => 0.4260872624253123+2, y -> -1.136219366467495+c}, 04260822624253123+I+t, y -> -1,196219366467499¢7+t},, -> 0, y > Oh, {x -> 0, y-> Ob, {x -> 0, y > Oo} jigura 6: Puntos de inflexién uogo las soluciones reales, que corresponden a puntos de inflexién son (—0.42, 1.13), (0.42, ~1.13), (0,0). 6 Asintotas Se denomina asintota a una curva a la tangente en wn punto impropio de la curva, ‘Asf para hallar las asintotas, al considerar coordenadas homogéneas, basta con determinar las tangentes (2) en los puntos impropios, una vez. determinados éstos, para lo que es necesavio intersecar f(t, 21,22) = 0 con la recta impropia 29 = 0 Se conoce por rama infinita de una curva algebraica a un arco de Ia misma tal que una por lo menos de las coordenadas 2, y, de un punto P(z,y) que lo recorra crezca indefinidamente Se da ol nombre de asintota a tuna rama infinita, a una recta fija tal que su distancia al punto P(z,y) tienda a cero cuando P so aleja indefinidamente sobre la rama infinita. En este caso la rama infinita se dice hiperbélica Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 200312 Las asintotas paralelas al eje OX se hallan determinando los valores finitos de ”y” para los cuales "2" crece indofinidamente. Si se pone la ecuacién algebraica que determina la eurva, ordenada respecto de las potencias de 2: ay(y)2 fay aly)? +--+ ax(y)e + a9(y) = 0, dividiendo por 2* (la potencia més alta) y haciendo x —+ co, resulta ar(y) = 0, que es una ecuacidn en y, cxyas soluciones nos dan las asintotas paralelas al eje OX. m= Las asintotas paralelas al eje OY se hallan determinando los valores finitos de "2" para los cuales "y" crece indefinidamente. Supuesta la ecuacién ordenada respecto a las potencias de bg (z)y" + bea(z)y' +--+ bi (z)y + bo(z) = 0. Las soluciones de la ecuacién en 2, b,(2) = 0, representan las asintotas paralelas al eje OY. tm Caso general: Si el grado de la curva es n, se puede escribir su ecuacién agrupando en primer lugar los términos de grado n, luego los de grado n — 1, etc., en la siguiente forma: F (2,9) = enlesy) + Pn-aleyy) too + pr(ey) + Suponiendo que la asintota os de la forma y — az +6. Cuando un punto P(z,y) describe una rama infinita, tendiendo a infinito x e y, para obtener las direcciones asintéticas habré que calcular el limite de 2 euando 2 — oe para lo eual se hace 2 =a. Intersecando la curva con una recta que pasa por el origen y = az: L(@,¥) = 2" en(La) +2" pn a(1a) + + avila) + ¢0 = 0. Dividiendo por x" y tomando limite cuando 2 — oo, resulta: Palla) luego las raices a; de esta ecuacién nos darn las direcciones asintticas de la curva, Para doterminar las asintotas oblicuas, se debe hallar la tangente en el punto del infinito (0,1,a), para cada solucién 4, haciendo uso de la férmula general (2), y resulta: Pn Bn For (hea) beagee (sa) = fo~n—1(1,a) + 21 tra forma de determinar las asintotas oblicuas es tener en cuenta que la tangente a la curva en (0,1, a) corta a la curva en dos puntos confundidos. Si a os la direceién del correspondiente punto impropio, seré y = ax +b la asintota, que corténdols con Ia curva debe dar dos rafces infinitas en la ccuacién resultante, lo cual cxige Ia anulacién de los cocfciontes de los dos primeros términos de mayor grado, Haciendo tal sustitueié y anulando esos términos, se tiene S(2,9) = galt, ax +b) + yn—a(z,ar tb) +++ yi(z, ax +b) + yo = yn(that 2) ta” Maat 2+ taper 2) +—0=0. y haciendo uso de walter) = valle) + Eyaltsa) + Peet) + Be gonaltie tS) = gneitta) +2 (a) + yt (a) + grater!) = pn-altsa)+ Lo aCe) + Pavlos) + y como ya(1, a) = 0, queda: Le bes! 2 (2 on a 6 2b ea(.0)-+eq-a(h0)) +2" (Feil) -+b0h-lsa) + a(ye)) += 0 © Curvas algebraicas en forma implicita Angel Montesdeoca. La fagima, 200313 Resultando: Yn-i(1a) enh, @) by, (1,a) + n—1(1,@) Si gl,(1,a) = 0 y ¢a_1(1,a) 40 resulta que 6 = 00 y por lo que la recta seria la recta del infinito. En este caso se dice que la rama infinita es parabélica ‘Cuando (1,2) = gq-2(1,@) = 0 entonces el punto del infinito serfa doble y de la ecuacién (6) se deduce que el término en 2" se anula idénticamente, se obtienen dos asintotas con la misma pendiente a, cuyas ordenadas en el origen vienen dadas por las rafces de Ia euacién eB TPAC a) + beh 2 (1,4) + yu-a(la) = 0. Si ocurre que ¢(1,a) = 0 esta ecuacién tiene una raiz infinita, y por lo tanto existe una rama parabélica y una asintota Si gh (1,4) = ¢h, 1(1,a,) =0, las dos raices son infinitas y la curva tendré dos ramas parabélicas. Este resultado se extiende al caso en que se anulen idénticamente los coeficientes de 2", 22, ..., 2% Exempos: + Para hallar las as{ntotas de la curva: 2 y! +22? + y? = 0, se pone en forma homogénea: view 428 0, Y si se hace ¢ = 0, es decir, se corta por la recta del infinto, resulta: 2 asintotas serdn: (2 + y)(y~ 2)(x? +?) ~ 0 Batonees resultan las asintotas: 0, luego las direcciones de las yas yo-2+b, donde 6 se halla por la férmula: 0 = siendo @ el coeficiente de x on las ecuaciones anteriores de las asfntotas, es decir, 1 y ~1. Por lo tanta, las ecuaciones de las asintotas sersn, con b = 0: a oy Asintotas de la curva: xy? +52?y + 4e* + 2y—9 = 0. Para ver si tiene asfutotas no paralelas a los ejes coordenados, se homogeniza la ecuacién: ay? +5x%y + 42° + 2yt — 98° Se corta con Oy se obtiene: xy? + 5x*y + da* cbvon tra east on, hacendo # = oy out: 5+ VB—16 9. Se divide por 2% ( clovada al grado de Ia ecuacién) y se a4 5a44—= Con Jo que las asintotas serén: donde y para a= —1y a =~4, las asintotas son: Asintotas paralelas a los cjes coordenados, Asintota paralela al eje OY; Se ordena la eouacién en y: ya +y(Sx? +2) +42" —9 = 0, y se divide por la mayor potencia de y (para este caso ¥). Sette det v ¥ haciendo y oo resulta ¢ ~ 0, que es la ecuacién buscada, ‘Asintota paralcla al eje OX: Ordenando on 2 y dividiendo por la mayor potencia de x. No hay astntota paralcla al cje OX pues 4 es el cocficiente de la mayor potencia que es z°. ah Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20037_Método de Newton- amer “ 7 Método de Newton-Cramer para deducir la disposicién de las ramas de una curva algebraica en el entorno de uno de sus puntos propios y de las ramas infinitas de la misma w= ESTUDIO EN EL ORIGEN Sea la curva algebraica f(x,y) = 0 que pasa por el origen. Si el punto en que se quiere estudiar no es el origen, con xn cambio de coordenadas se toma por origen de coordenadas dicho punto. Se estudia Ia curva dada en el entorno del origen por el método de Newton-Cramer, el cual consiste en suponer que las variables x ¢ y son infinitamente pequefias de drdenes ry s, por ejemplo, de modo que si t es un infinitésimo principal es x — t" ¢ y ~ t*. Al sustituir estos valores de ze y en el primer miembro de la ecuacién f(x,y) = 0, todos los térmninos se coavierten en infinitamente pequefics; como el orden de una suma de infinitésimos es el del sumando que lo tenga menor, puede prescindirse, fn una primera aproximacién, de aquellos sumandos de orden més alto, quedando en dicho primer miembro sélo los términos de menor orden infinitesimal. La ecuacién que se obtiene con estos términos, una vez suprimidos los demés, daré un arco de curva que pasaré por el origen y coincidirs con un arco de la dada, tanto mejor cuanto menor sea el entomo del origen en el que se hace estas consideraciones, ‘Tomando ahora en un sistema de ejes cartesianos las abscisas r,2r, 3r,..., ete., con la unidad r y las ordenadas 5,2s,3s,..., ete., con la unidad s, se marean los puntos (p,q) de este cuadeiculado, tales que pr + qs sea el exponente del término a, 92?y? transformado en ay gt?” Si se consideran dos puntos cualesquiera Ay(ps,4q1), Ao(p2.d2) correspondicntes a los términos en 2P1y% y aay con el mismo orden infinitesimal pir +g: = par + 428, ocurre que el término correspondiente a un punto del diagrama alineado con Ai y Az es del mismo orden infinitesimal. En efecto, considérese un punto (p,q) de la recta Aya, se tione: p=p_g-a p=m (a=) AMA = 3 Hp—m1) =-(g- 98> rasp bs om aa om opr PPD aes spr Con lo que el término correspondiente al punto (p,q) es del mismo orden infinitesimal que los otros dos cuyos puntos representativos determainan la recta Ai Ap. Ademés la recta AyA2 divide al plano en dos regiones. Un punto exterior a la recta Ay Az que escrita en Ia forma prt as (pir) gs) = dara al primer miembro un valor diferente de cero, que sera negativo en la regién del origen (pr +93 < pir +418) ¥ positive en la opuesta (pr + gs > pir + 4:3); luego el orden infinitesimal de los témines de la regién del origen es menor que los de la regién opuesta De acuerdo con este razonamiento los términos cuyos puntos representatives estan en una recta que deja a los demés puntos, que representan a los restantes términos, en la regién que no contiene al origen, son los de orden infinitesimal menor y representan una curva dada en un entorno del origen A estas rectas que contienen a los puntos representativos de los términos de menor grado se les denomtina determi- natrices. Si se parte de Ja primera aproximacién y = (x) de una rama de curva dada por una determinatriz y se quiere hacer une aproximacién mayor a la rama de la curva dada, se tendrd que afadir un término complementatio, u, tal aque y = o(2) + u sustituycra a la rama de la curva con més exactitud. Llevando este valor de y a la ecuaciOn de Ia Curva dada, esta toma la forma fz, u) = f(z, ez) +) =0. ‘Tomando en el diagrama formado para g(,u) ~ 0 la determinatriz que dé para w un orden infinitesimal super a los de los suznandos de sa(z) se tiene la nueva aproximacién: y= ole) +0). Anadiendo un nuevo témmino y siguiendo el mismo proceso, se va obteniendo el desarrollo de la funcién y de # que corresponde al arco en exestién Es interesante, a efectos de representar las ecuaciones de las aproximaciones de las ramas de las curvas obtenidas por este método, exponer un cuadro de unos ciertos de tipos de curvas que se pudieran obtener (ver Figura 7 y Figura 8). w= Lixeas Asitéricas Bl estudio de las ramas infinitas de una curva os andlogo al estudio de una curva en un entorno de uno de sus puntos propios. Asf, si se sustituyen x por {” ¢ y por t*, siendo ahora t un infinito de primer orden, sordn z © y infinitos Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 2003Método de Newton-Cramer 15 om | Sle YY. Figura 7: Curvas parabélicas de érdenes ry + respectivamente. Al sustituir € por x y t* por y en la c , Tos Ja ectacién se convierten en infinitos de diversos érdenes, pudiendo ahora despreciar los infinitos de orden inferior y conscrvar sélo los de orden superior Utilizando la misma representacién cartesiana para los exponentes, se tienen los mismos vértices sefialados en el caso del estudio de la curva en un entorno del origen, Y una recta que deja a los restantes puntos al mismo lado que el origen, contiene puntos que representan a los sumandos de orden infinito mayor, por lo que estos primeros sumandos constituyen tna primera aproximacién de una rama infinita de la curva dada. Si se quiere una mayor aproximacién de la rama infinita se debe afiadir a la obtenida, y = y(z) un término u de orden de infinito. Para determinar w se sustituye en la curva dada, f(z, y) = 0, y por y(z) + w y se obtiene una ecuacién 9(z, 1) ~ 0, ala cual se aplica de nuevo el mismo método, la determinatriz que de un orden de infinito menor para w, nos determina cl valor de u en funcién de 2, w = (2) y Ia nueva aproximacién ser: iacién y hacer ere y= (2) + ¥(2) Procediendo en forma aniloga se puede obtener una mayor aproximacién para la curva que sustituye a la rama infinita, ‘* Consideremos la curva C de ecuacién 2° 1 2aPaSy — bys =0. Las curvas que pueden sustituir aproximadamente en un entomno del origen a la curva C dada, surgen de las determinatrices MN y PV que dejan a los restantes puntos en el semiplano distinto del origen, segtin el diagrama de In izquierda siguiente P @ H L M F Curvas algebraicas en forma implicita “Angel Montesdeoca, a Laguna, 20087_Método de Newton- 16 (yon)'=c2 6 yaartes PUNTOS de RETROCESO de SEGUNDA ESPECIB (10) oe artes oo” (yarbe)=cr 6 6 yaantbet of-2) (warts) xara 8: Puntos de retroceso Determinatria MN: 2° 4-2a%2y = 0. Una rama de la curva C se puede sustituir, en un entorso del origen, por 2a Determinatriz PN: 2a°s8y — by! = 0, 0 sea, v-- rate? . es otra aproximacién de C en el origen. e Para obtener ramas infinitas que se aproximen a la curva C, sitven las determinatrices que dejen los puntos que no estan en ellas en el mismo semiplano que el origen. Determinatriz PM: 2° — *y* = 0, es decir, la curva que tiene el mismo punto impropio que la curva C, 0 curva asintética, 08 y = 5. Si se quiere mayor aproximacién, se pone y ~ 2*/b + u, que sustituyendo en la ecuacién propuesta, se obtiene 2ato* 6 + 20°28u — bus — 3bety — 362?w? = 0. En el segundo diagrama, siguiendo el método de Newton-Cramer, se toman las determinatrices LF y GHL, que dejan a los restantes puntos en el mismo semiplano que contiene al origen, 4 tae w— > 3h Doterminatriz GHL: bw? — 364%? — 3bxu = 0, os decir a? + 3ba%u 4 32" = 0, que da para u valores imaginarios; luego, no nos sirve, Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20037_Método de Newton- amer Ww Para representar la curva C, se dibuja previamente la ramas obtenidas La gréfica siguiente ha sido extraida usando el commando de MATHEMATICA: Impl ici tPLot [{x"6+2x"3ey-By73==0, 2y#x"3==0, 4972-27 y-x"2/2-x/6==0),{x,-2,2}, AspectRatio->2] y tomando los valores particulares de a= 1 y b= 2: Cs ah + 2n8y — ays Ar Qytet 0, Bi dy Cry 2 /2- 2/6 =0. Informacién complementaria: Las tangentes horizontales estn en los puntos de coordenadas (0,0) ¥ (0.5, —0.12). La tangente vertical en (0.52, —0.11). Puntos de interseceién de las curvas Ay B, (0,0) y (1,-0.5) Con las dos descomposiciones 127(2° + 2y) — yy? y 2y(x* ~4y*) = -2°, se obtienen las zonas sombreadas donde no hay curva, Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20038_Numero de puntos dobles de una curva algebraica 48 8 Niimero de puntos dobles de una curva algebraica Una curva algebraica de orden n sélo puede tener a lo sumo ("9 4) puntos dobles* En efecto, sea C una curva algebraica de orden n > 1 que tenga d puntos dobles y no tiene otros puntos singulares. Por estos puntos dobles pasan infinitas curvas de orden n — 1, va que para obtener una de ellas, sea Cy, basta hallar Ja primera polar de cualquier punto del plano (po, p:, p2): 2 Vers =o. Las curvas C y C; tienen n(n ~ 1) puntos comunes distintos o no, reales o imaginarios, sogxin el teorema de Bezout, de los cuales d sersn fos dobles de C, ya que Cy pasa por ellos; luego, 2d < n(n —1), 0 sea d < n(n —1)/2. Si la ecuacién de la curva algebraica C:, de orden n — 1, se agrupa en polinomios homogéneos, el mimero de coeficientes de estos es, de n para el de grado n~1, de n—1 para el de grado n—2y asf hasta el término independiente que consta de un solo coeficiente, en total serén (nn LH24S b(n Ten y al dividir por uno de ellos, el mimero de coeficientes esenciales es 1m +2) 2 La curva C, queda pues determinada por nm — (n~ 1)(n + 2)/2 condiciones, Se verifica, en primer Ingar, que d < ny, pues si se supone que d > m,, resulta n(n —1)/2> (n—1)(n+2)/2, 0 sea que n> n +2, 10 cual es absurdo. Se determina ahora una curva ¢", de orden n—1, que pase por los puntos dobles de C y por m, ~d puntos més de esta curva C. Asi las curvas C y C' tendrén n(n — 1) puntos comunes, entre los que figuran los d dobles y los mi — d clegidos, es decir, 2d + (m1 — d) = d +1 < n(n —1), con lo que Lint) n(n = 1) =m = n(n = 1) que es lo que se queria establecer Si existon puntos de multiplicidad k se consideran como tantos dobles como pares de ramas que pasan por él, asi el punto multiple es considerado como (5) puntos dobles 9 Género de un curva algebraica. Curvas unicursales Se conoce como género de una curva algebraica a la diferencia de puntos dobles que, por razén de su orden, puede tenor y los que realmente tione. Si cl orden de la curva es m, el género es not = (y')-4 cuando ot gnero es cero se dice que la curva 6s uniutsal 0 raional. Es ste caso la curva puede oxpresutse en funcién racional de un pardmetro. En efecto, sea f(x, y) = 0 la ecuacién de una curva C de orden m y género cero. Por sus d= (";) puntos dobles y n—3 puntos més de C se puede hacer pasar una curva de orden n—2, ya que el mimero de puntos que se han tomado s (n=Dm=2) (m= 241) 2 2 cs decir, una condicién menos de las necesarias para determinar una curva de orden n~ 2. Por lo que por dichos puntos pasa tna familia de curvas de orden n~ 2, C) + AC), que forman un haz y que pasa por cada punto del plano que se fie ‘A cada 2 corresponde una curva del haz y ésta tiene con C, n(n — 2) puntos comunes, de los cuales se conocen los d dobles y los ~ 3 clogidos que serdn un total de 4, 2()') enon 2 - Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20039 nero de un curva algebraica. Curvas unicursales a9 Jo cual indica que a cada A corresponde otro tinico punto de interseccién de ambas curvas, a parte de los elegidos, Este pardmotzo nos va a determinar todos los puntos de C. Para ello se resuelve el sistema formado por las ecuaciones fay) climinando una de las variables, por ejemplo la y, obteniéndose asf una ccuacién en x y 2, F(z,A) = 0, de grado n(n ~2), ecuacién de la que se conocen n(n 2) ~ 1 soluciones, por ser este mimero el de los puntos comunes a ambas curvas conocidas. Dividiendo por todas las rafces se llega a una ecuacién de primer grado en 2, Fi(A)x + F,(A) = 0, de la cual se despeja 2. Andlogamente se obtiene y en fancién de A. ale.y) + fale) Alequivaler un punto de multiplicidad n—1 a (";!) puntos dobles, puede también operarse con un punto de este tipo. Sea P(pi,p2) dicho punto, y haciendo tna traslacién de ejes a este punto y ordenando la ecuacién que resulta, se tione a(t — Pus ¥ — P2) + Pna(z ~ pi, ¥— P2) = 0. Si ahora se pone y~ p2 = M(x ~ px) y se sustituye en la anterior ecuacién, resulta (2 pry" en (1A) + (@ = pr” na (A) = do aqui, se tiene o en 1(1,A) me gall) y sustituyendo esta expresién en y— p) = A(x — pi), se obtiene Avni (1 yo pp = Bema AD tL, ») Exemptos: oe 2ty? — 2y(e + y) 422 Pantos dobles (1,0,0), (0, 1,0),(0,0,1). Haz de cénicas que pasan por ellos y son tangentes @ una rama de la curva en (1,00): 2y + MG — 9) = Eliminando la y En la Figura 10, se obsorva que la curva en cuestidn intersecada con la hipérbola zy +2 —y=0 (X= 1), ad de pasar por sus puntos dobles y ser tangente en origen, da el punto (4/3, —4) ImplicitPlot [{x"2y"2-xty (xty) 4x°2-y"2e=0,x¥yex-y==O}, {x,-10, 10P] Simplify (Solve [{x"2y72-xey (x+y) +27 0), {x, yb] paytt oy, 2eaer azarae ox d, Gc 0, y -> 0}, Lette > {x 0, y > 0), & > 0, y > OW #4sty—3ay +2—2=0 Punto doble impropio (0,0, 1) Haz de rectas 2 — . Sustituyendo en la ecuacién de la curva se tiene Ay BAy+A-2=0. Ecuaciones paramétricas: 2-a DD Curvas algebraicas en forma implicita Angel Montesdeoca. La Kagima, 20039. Género de un curva algebraica. Curvas unicursales 20 Figura 10: Curva unieursal Curvas algebraicas en forma implicita “Angel Montesdeoca, a Laguna, 2008GRAFICA DE CURVAS EN FORMA PARAMETRICA Una curva C se dice definida paramétricamente por medio de un pardmetro £, si las coordenadas afines de sus puntos M se expresan en funcién de este parémetro y, cuando ¢ varia en un cierto intervalo, cl punto M describe dicha ex, y(t) Asi, a un valor del pardmetro le corresponde un tinico punto M de la curva, pero M puede ser imagen de mas de un valor de f; si se verfica esto iltimo diremos que Mf es un punto miltiple de la curva. El dominio de definicién de la curva queda determinado por la condicién de que las dos fumciones + = x(t) ey = u(t) estén definidas y sean reales en todos sus puntos. Cuando existe periodicidad o simotrias el dominio puede subdividirse en partes tal que conociendo el arco de curva correspondiente a una de ellas se puede obtener la totalidad de Ja curva por medio de traslaciones o simetrias. 1 Periodicidad Si ze y son funciones periddicas de perfodo comin T’, es decir, sit HE4T) <2, MeHT)=v), We se limita el estudio a un intervalo de amplitud T,, incluido en el dominio de definicién, Una vez construida Ia curva en este intervalo, el resto se construye efectuando sucesivas traslaciones, Si los periodos T, y Tz de las funciones 2 e y fueran distintos entonces cl m{nimo comin miiltiplo entre ellos constituye tun perfodo comin. 2 Simetrias '* El je OX es oje de simetria si Vt corresponde otro 1, tal que x(t) =2(U), y(t) = ule) + El cje OY os eje de simetrfa si ¥¢ comesponde otto #’, tal que x(t) = a(t’), y(t) = ut) «La recta y = z es eje de simetrfa si Vt corresponde otro ¢’, tal que x(t) y(t), v(t) = 2(¢') ~u(e), w(t) —a(t'), u(t) 4 La recta y ——z es eje de simotria si Vt corresponde otro # tal que x(¢) + Bl origen de coordenadas es contzo de simetria si vt existe # tal que 2(¢) 3 Estudio en el entorno de un punto Sea € la curva plana definida por X= (210, ¥(O), CE a,b) Si la fumcisn vectorial X es derivable de orden n en un entorno de ty, a partir de la {Grmula de Taylor se puede estudiar la existencia de tna tangente a la curva en el entorno de lo; (obo? @e (tty Ey con jim @=0. PRIMER caso: Si la derivada (lo) # 0, la curva admite una tangente, que es la recta definida por el punto Mg y el vector (lo): t= 2(to) _ y~y(to) !(to) v(t) El punto My se diee ordinario. Posicién de una curva paramétrica respecto a la tangente m Sila derivada "(to) no es colineal con ¥'(to), tomamos la referencia afin {Mp,’(to),¥"(to)}, poniendo be x0 x) =) 8], EOP 23. Estudio en el entorno de un punto 2 y si €,1 son las componentes el vector %(¢) — X(to) en esta referencia se tiene la siguiente aproximacién (tt)? 2 é Sto one En un entome de to, es positive: la curva esté situada localmente del mismo lado de la tangente, en el semiplano al que apunta el vector X"(to) (Figura 11 (A)) = SixX"(t0) 68 colineal con ¥(to) y si X(to) es no lineal con X'(fo), se tlene (0) + # R() = R() = (-) +e de donde las componentes de X(t) — X(to) respecto a { Mo, X'(to),%""(to)} son (by =o) tet) , (tte? £ a a a t-te) $e: ‘que en un entorno de to, se puede poner: extn), ne Gee Estas componentes son del siguo de ¢— to. La curva atraviesa a la tangente en Mo. Se dice entonces que Mo es un punto de inflexidn (Figura 11 (B)) DO CASO Supongamos ahora que %'(to) = 0. Bn este 280 2/(to) = u'(to) = 0y Mo se dice un punto singular ‘i x!°)(tn) os la primera derivada que no sc anula cn Mo, Ia ccuacién de la tangente cn este punto es t= 2(to) _ y= v(to} eP(f) —ylP(to) Posicién de la curva respecto a la tangente: Si X'°)(ta) y X (to) son las primeras derivadas no colineales (q > p), se tiene (eto)? (t= tort PT pe (0 ~ x(t) = ( 4) + EP eG) 6) Si &,7 son las componentes de X(t) ~ {lo} respecto a {Mo, (Jo), (ly)}, en un entomo de to: =e) a La forma de la curva depende de la paridad de p y ¢: — Si pes impar y q es impar, € y 1 cambian de signo. Punto de inflexién (Figura 11 (C)). — Si pes par y ges impar, € > 0 y n cambia de signo, Punto de retroceso de primera especie (Figura 11 (D)). — Si pes impar y q es par, € cambia de signo y n > 0. Punto ordinatio (Figura 11 (E)). —Si pes par y qes par, € > Oy > 0. Punto de retroveso de segunda especie (Figura 11 (F)). Exemrios ‘ Para obtener Jos puntos singulares de la curva, ‘Curvas on forma paramétrica Angel Montesdeoea. La fagima, 20034 Puntos multiples 23 a) B) (1) 2) R(t) punto ordinario punto de inflexign NP impar pr as © impar punto de inflexién . F) ©) ®) par punto ordinario punto de retroveso de 2* especie Figura 11: Posicidn de una curva paramétrica respecto a su tangente Se tiene que 2'(1) = y/(1) = 0 y, por tanto, el punto My(3,3) de parmetro t = 1 es un punto singular. Como ademés 2"(1) = 6,y"(1) = 6:2""(1) = —24,y"(1) = ~12, la tangente tiene la direceién el vector ¥"(1) = (6,8) y Mo ¢s un punto de retroeeso de primera especie (p= 2, par ¥ q = 3, impar) ‘© Considérese la curva x= («0-a90-9-143) X'(t) = (3 ~ 16t + 21¢® ~ 8°, 1 — £74), ¥"(1) = (0,0), con lo que el punto Mo(0,1) es singular. "(0 = (-16 + 424 — 2402, 270%) y 2") = (2,2). "(t) = (42 — 48t, -6/t*), X""(1) = (-6,-6) X(t) = (—48, 24/05), 80°) (1) = (48, 24), Con lo que ¥"(1) ¥ x""(1) son eolineales, (p=2,q=4) y la tangente en "(1) y (1) no. Se trata de un jionen la direccién del vector x"(1) = (2,2) into de retroceso de segunda especie 4 Puntos multiples Sea x(t) = (#),(), €€ {a,b}, la ropresentaciém paramétzica de una curva plana. Cuando a dos valores distintos 1 y t del pardmeizo corresponde el mismo punto, es decir, cuando se verifica, X(t;) = X(t2), resulta un punto doble por estar contenido en dos ramas distintas de la crv ‘Curvas en forma paramétriea jl Montesdeoca. la Lagune, 2008