Curvas Planas

Los tres problemas clsicos

Duplicacin del cubo Triseccin del ngulo Cuadratura del crculo

Son resolubles o no?

Los tres problemas anteriores admiten solucin cuando se permite el uso de otras herramientas aparte de la regla y el comps. Salvo la triseccin del ngulo, que en casos particulares se puede resolver utilizando solamente regla y comps, estos dos tiles de dibujo resultan insuficientes para resolver los tres problemas mencionados.

La duplicacin del cubo

a equivale a intercalar dos medias proporcionales entre a y 2a, es decir, hallar x e y tales que
La duplicacin del cubo de arista

a x y = = x y 2a
2

pues entonces
2

x es la arista del cubo doble.

x x = ay , 2ax = y 2ax = a

x 3 = 2a 3

Una solucin al problema

La interseccin de las parbolas

ay = x 2 2 ax = y
2

resuelve el problema.

Cisoide de Diocles
Como seala Gino Loria en su obra Curve Piane Speziali Algebriche e trascendenti al referirse a la cisoide, tal curva fue ideada por Diocles, un gemetra poco conocido pero ciertamente posterior a Arqumedes, y cuya vida puede situarse aproximadamente en el perodo comprendido entre 250 y 100 aos antes de la era cristiana.

Generacin de la cisoide de Diocles

Circunferencia C, punto O sobre la misma, recta L tangente en el punto diametralmente opuesto a O. Se traza por O una secante que corta a C en P1 y a L en P2 . Tmese Q sobre la secante de forma que OQ=P1P2 . El punto Q describe la cisoide al recorrer P1 la circunferencia.

Otra manera de generarla

Se toman dos rectas paralelas y un punto O sobre una de ellas. Una recta variable OP corta en P a la otra paralela, punto que se proyecta ortogonalmente en Q sobre la primera. Desde Q se traza la perpendicular a OP. El pie de dicha perpendicular, M, describe una cisoide

Cisoide3.fig

Trazado continuo de la cisoide

Un tringulo rectngulo ABC se mueve de forma que su vrtice A permanece sobre una recta dada r, mientras su lado BC pasa por un punto dado P, cuya distancia a r es igual al lado AB. Entonces el punto medio Q de AB describe un arco de cisoide.

Cisoide2.fig

Ecuacin de la cisoide
Coordenadas polares de polo O y eje polar OA. Sea O A = 2a 2a Se tiene: OP2 = , OP = 2a cos 1 cos de donde

1 = OQ = P1 P2 = OP2 OP1 = 2a cos cos

es decir:

sen 2 = 2a cos

Ecuacin de la cisoide (2)

Poniendo la ecuacin anterior en la forma:

= 2a sen tg
y pasando a coordenadas cartesianas se obtiene la ecuacin:

x( x + y ) = 2ay
2 2

lo que prueba que es una cbica.

Uso de la cisoide para duplicar el cubo

Tmese OB=2OA. La recta AB corta a la cisoide en P, y la recta OP corta a la perpendicular a OA por A en el punto X. Entonces se tiene que

AX = 3 2OA

Uso de la cisoide para duplicar el cubo

Se construye el cuadrado OABC sobre el dimetro OA de la circunferencia usada para definir la cisoide. MN divide al cuadrado en dos rectngulos iguales. Se une M con A, y el punto R de corte de dicho segmento con la cisoide se une con O, cortando a MN en P. Entonces OP = 3 2ON

La concoide de Nicomedes
Se toma una recta r y un punto O exterior a la misma. Dado k>0, se traza una recta s que pase por O y no sea paralela a r. Con centro en el punto de corte P de r y s se traza una circunferencia de radio k, que corta a s en los puntos A y B. El lugar geomtrico de A y B es la concoide de Nicomedes de polo O , directriz r y constante k.

La concoide de Nicomedes (2)

Segn sea k respecto de la distancia d del polo a la directriz obtenemos tres tipos de concoide: En rojo: k>d En verde: k=d En azul: k<d

Concoide.fig

Ecuacin de la concoide
Tomando O como polo y la perpendicular por O a r como eje polar, la ecuacin es

d = +k cos
Si se pasa a coordenadas cartesianas con origen en O, el eje polar como eje OX, resulta:

( x d )2 ( x 2 + y 2 ) k 2 x2 = 0

Triseccin del ngulo con la concoide de Nicomedes

El ngulo que se quiere trisecar es el AOB. La curva roja es la concoide con directriz la rec ta AB, perpendicular al lado OA del ngulo,y constante k=2OB. ( )

Triseccin del ngulo con la concoide de Nicomedes (2)

Por B se traza la perpendicular a la directriz, que corta a la concoide en Q. El ngulo AOQ es la tercera parte del AOB. Razonamiento: NQ=k=2OB. M es el centro del rectngulo NPQB, por lo que MB=MN=1/2 NQ=OB. Esto prueba que el tringulo MBO es issceles. El ngulo BOM es doble de cualquiera de los ngulos marcados en azul con vrtices en O, N o P, y de aqu se deduce el resultado.

Generalizaciones de la concoide
Si en lugar de tomar una recta como directriz se toma una circunferencia y un punto de la misma como polo, y se aplica la misma construccin que en el caso de la concoide de Nicomedes, se obtiene la curva denominada caracol de Pascal

La cardioide y afines

Ecuacin del caracol de Pascal

Sea O el polo, la recta OA el eje polar, y OA=2a. Tomamos como constante k=2a, con lo que la curva obtenida ser la cardioide, caso particular de caracol de Pascal. El radio vector del punto B es 2acos(), por lo que el radio vector del punto P de la cardioide es

= 2a cos( ) + k = 2a(cos( ) + 1)

Trazado de tangentes
La concoide, y los caracoles de Pascal,obe decen a la misma ecuacin polar: si = f ( ) es la ecuacin de la curva directriz, entonces la ecuacin de la nueva curva es

= f ( ) + k

Si se sabe trazar la normal en un punto genrico de la directriz, se sabe trazar la normal, y por tanto, la tangente, a la nueva curva.

A modo de recordatorio
Si P(,) es un punto de una curva dada por una ecuacin de la forma =f(), entonces, si la recta TN es perpendicular al radio vector OP por el polo O, y si TP es la tangente en P y NP la normal, los segmentos OT y ON se llaman subtangente y subnormal polar, y se tiene:

2 OT =

, ON =

Trazado de tangentes
Ntese que en el caso de una concoide cualquiera, la subnormal polar de la curva es igual a la de su directriz en puntos homlogos los de igual valor del ngulo polar ya que f() y f()+k tienen igual derivada respecto de . Por tanto, si se puede hallar fcilmente la normal en un punto de la directriz, se podr trazar la normal a la concoide, y por tanto la tangente.

Trazado de tangentes
El punto P sobre la concoide tiene como homlogo el A sobre la directriz. Trazando la normal a la directriz en A, la subnormal polar es OB, de forma que la recta PB es normal a la concoide en P. Tambin lo es la recta PB en el punto P.

La cuadratriz de Dinostrato, o trisectriz de Hipias.

En un cuadrado OABC el lado OA gira con movimiento uniforme en torno a O, mientras que el lado AB se desplaza paralelamente a s mismo hasta alcanzar la posicin OC, tambin con velocidad constante, de modo que ambos llegan a confundirse con OC al mismo tiempo. El punto de interseccin de ambos segmentos en su movimiento describe la cuadratriz de Dinostrato.

Cuadrando el crculo
La cuadratriz de Dinostrato permite resolver el problema de la cuadratura del crculo, ya que 2 OD = OC

Un segmento de longitud
Aplicando el teorema de Thales, siendo OP=OC y las rectas DP y CQ paralelas, se tiene que

OQ =

Por tanto, tomando OC=2, OQ vale . A partir de aqu, se puede cuadrar el crculo.

OC

Uso como trisectriz

Para trisecar el ngulo POC se traza por M, punto de corte de OP con la cuadratriz, la paralela a AB, que corta a BC en E. Se divide el segmento CE en tres partes iguales. La paralela a AB por el punto G corta a la cuadratriz en N. El ngulo NOC es la tercera parte del POC.

De lo anterior se deduce que la curva considerada no es solamente trisectriz, sino n-sectriz para cualquier valor de n.

Las espirales
La espiral de Arqumedes La espiral logartmica

http://www.dim.uchile.cl/~simetria/matematico/nodo221.html

Radioides
Como una aplicacin bien prctica de la teora de curvas planas, citemos las radioides. El problema que resuelven es el siguiente: Dado un tramo recto de va de ferrocarril, hay que unirlo con un tramo curvo arco circular de radio conocido.

Radioides
Si se une el tramo recto al circular, los trenes pasan sin transicin de no ejercer fuerza lateral sobre el rail exterior a una sbita fuerza que tambin es percibida por los pasajeros. La solucin pasa por construir un tramo de curva en el que la curvatura vaya creciendo gradualmente desde cero hasta la del arco circular con la que enlaza.

Evolutas y evolventes
Todas las normales a una curva son tangentes a una segunda curva, que es el lugar geomtrico de los centros de curvatura de la primera. El primero en tomar en consideracin esta curva fue Huygens, en su obra Horologium oscilla torium del ao 1665, y la llam evoluta. La curva de la que proviene la evoluta se llama evolvente. Cada curva posee una determinada evoluta, pero una infinidad de evolventes.

Curvas podarias
Dado un punto fijo O y una curva , el lugar geomtrico de los pies de las perpendiculares trazadas por O a las tangentes a es una curva que se llama podaria de O respecto de . El primero en considerar esta curva fue MacLaurin. Si en lugar de trazar perpendiculares a las tangentes se trazan a las normales se obtiene la podaria de O respecto de la evoluta de .

Curvas patolgicas
Al final del siglo XIX y principios del XX se revisaron una serie de conceptos matemticos, entre ellos el de dimensin. Intuitivamente parece que una curva debe tener dimensin 1, al igual que una superficie debe tener dimensin 2, ya que corresponde al nmero de coordenadas para determinar un punto sobre ella.

Curvas patolgicas

Aproximaciones a las curvas de Hilbert (izq.) y Peano (der.)

Cbicas elpticas
Una cbica elptica sobre un cuerpo K es la definida por una ecuacin de la forma

y = x + ax + b
2 3

con a, b elementos de K y la condicin adicional

16(4a 3 + 27b 2 ) 0

Cbicas elpticas
Supondremos en lo que sigue que los coeficientes a y b son nmeros enteros. Si buscamos soluciones enteras de la ecuacin que define la cbica elptica, estamos buscando puntos sobre la curva con coordenadas enteras. Un teorema de Siegel dice que el nmero de tales puntos es finito.

Grficas de cbicas elpticas

y =x +x
2 3

y 2 = x 3 3x + 4

y 2 = x 3 3x + 1

Casos excluidos

y 2 = x 3 3x + 2

y 2 = x 3 3x 2

El grupo de puntos de una cbica elptica

Se puede definir una operacin de suma entre los puntos de una cbica elptica que dota al conjunto de puntos de estructura de grupo abeliano. Para ello aadimos un punto del infinito a los puntos de la cbica, que ser el punto del infinito de OY. Lo llamaremos .

Definicin de la suma (1)

Dados P y Q, se traza la recta PQ, que corta a la curva en P. El punto R simtrico de P respecto del eje de abscisas es el punto suma de P y Q. Si P y Q estn sobre la misma recta vertical, entonces P+Q =

Definicin de la suma (2)

Si P=Q se toma la recta tangente en P y se procede como en el primer caso. Finalmente, si Q = entonces P+Q=P El punto es el cero del grupo.

Algoritmo para sumar puntos

Supongamos que ninguno de los puntos P y Q coincide con . Pongamos P(x1 , y1), Q(x2 , y2). Sea R=P+Q. Entonces: 1) Si x1=x2 e y1=- y2, R= 2) Defnase

(3 x12 + a ) /(2 y1 ) si P = Q m= (y1 y2 ) /( x1 x2 ) en otro caso.

Algoritmo para sumar puntos

3) Entonces

R = ( x3 , y3 ) = (m x1 x2 , mx3 + mx1 y1 )
2

Ntese que, al calcular m cuando P=Q, est excluido el que sea y1=0, pues ese caso ya lo hemos contemplado en 1)

Los teoremas de Mordell y Mazur

Dada una cbica elptica sobre el cuerpo Q de los racionales, denotemos por E(Q) el grupo de todos sus puntos (incluido ). 1) El grupo E(Q) est finitamente generado 2) El grupo de torsin de E(Q), E(Q)t verifica

E (Q) t Z / nZ , con 1 n 10, o n = 12 o bien E (Q) t Z / 2 Z Z / 2nZ , con 1 n 4

El teorema de Nagell-Lutz

Todos los puntos del grupo de torsin de E(Q) tienen coordenadas enteras.

Teorema de Hasse
Si p es un nmero primo, p>2, y se considera el cuerpo finito Z/(p), entonces para cualquier curva elptica definida sobre dicho cuerpo se verifica que el orden del grupo de sus puntos, Np , cumple la siguiente desigualdad:
p +1 N p 2 p

Curvas elpticas sobre un cuerpo finito

Tomaremos, como ejemplo, el cuerpo Z/(11), cuyos elementos son las clases de restos mdulo 11. Como ecuacin de una cbica elptica sobre este cuerpo tomaremos

y = x + 2x + 3
2 3

Curvas elpticas sobre un cuerpo finito (2)

Los elementos del cuerpo que son cuadrados en l son 0,1,3,4,5 y 9. Los puntos de la cbica, en este ejemplo, son- aparte del punto del infinito- estos: (1,4),(1,7),(2,5),(2,6),(5,4),(5,7),(9,1) y (9,10). Se comprueba que (1,4)+(5,4)=(5,7)

Criptografa con curva elptica

Una persona A quiere recibir correo encriptado. Entonces procede as: 1.- Elige un nmero primo p grande. 2.- Elige una curva elptica E sobre Z/(p) 3.- Elige un punto B sobre la curva. 4.- Elige un entero n, que mantiene secreto, y calcula nB. Finalmente publica p, E, B y nB.

Criptografa con curva elptica

Si una persona desea mandar un mensaje encriptado a A, comienza por codificarlo como un elemento P, es decir, un punto, de E. A continuacin elige un entero r al azar y calcula rB y P+r(nB). Entonces manda el par (rB , P+r(nB)). Cuando A lo recibe, multiplica rB por n, que solo conoce l, y obtiene n(rB). Pero el grupo de puntos de la curva elptica es abeliano, as que n(rB)=r(nB), y al restar este punto de la segunda componente del par remitido, recupera el mensaje P.

Factorizacin
En 1985, H.Lenstra public un mtodo de factorizacin que haca uso de curvas elpticas. Se basaba en un mtodo conocido como mtodo p-1, cuyo fundamento es el siguiente: Sea N un entero positivo que deseamos factorizar.

Factorizacin
Elegimos un nmero B, a lo sumo de seis cifras. Si existe un factor primo p de N tal que p-1 es B power-smooth, es decir, cada uno de sus factores primos elevados al correspondiente exponente es menor que B, intentaremos hallar p de esta forma: Si a>1 es un entero no divisible por p, entonces p1

1 (mod p )

Factorizacin
Si m es el mnimo comn mltiplo de 1,2,..,B, y si p-1 es B power-smooth, entonces p-1 divide a m, y por tanto:

a 1 (mod p )
m

De aqu se deduce que

p mcd(a m 1, N )
Si el mcd es menor que N, obtenemos un factor no trivial de N.

El mtodo de Lenstra
Fijado B, sea N=pq, con p y q primos y tales que p-1 y q-1 no son B power-smooth. Entonces es ms que probable que el mtodo p-1 no funcione. El mtodo de Lenstra se basa en sustituir el grupo multiplicativo de Z/(p), que tiene orden p-1, por el grupo de puntos de una curva elptica sobre Z/(p), que de acuerdo con el teorema de Hasse puede ser menor, y dicho orden puede que si sea B power-smooth.

Si el mtodo falla, siempre es posible cambiar a otra curva elptica, lo que nos da una flexibilidad de la que carece el mtodo p-1.