De las Trisectrices, la Cicloide y otras Curvas

por Luis Carlos de Andrs, Universidad del Pas Vasco

Al preparar el contenido de esta charla y ver qu curvas iban a estar includas, me llam la atencin el hecho de que en muchos de los lugares de consulta aparece repetida una frase del estilo de curva ... estudiada por ..., para la resolucin o del problema ..., pero en casi ninguno se dice cmo se utiliza la tal curva para resolver el problema considerado. Esta frase indica que el estudio de las curvas no es un mero ejercicio de dibujo de las curvas por s mismas, sino el de su relacin con la resolucin de ciertos problemas bien sean matemticos, fsicos o de ingeniera. A partir de la denicin, con un conjunto elemental de dibujo (regla, comps y escuadra) se puede obtener una gran cantidad de puntos, aunque no todos, de una curva y dibujar su forma aproximada; desde la aparicin del ordenador es muy fcil obtener un dibujo de las curvas; naturalmente, una vez efectuado el trabajo previo de encontrar sus ecuaciones paramtricas, implcitas o polares y el aprendizaje del manejo de los recursos informticos correspondientes. Los dibujos que aparecen aqu estn creados con Mathematica. Tambin lo fueron las animaciones que se vieron en la charla pero como aqu no se pueden presentar, he sustituido algunas de ellas por diversas instantneas del movimiento, por ejemplo las guras 17, 30 y 42). 45

46

3. De las Trisectrices, la Cicloide y otras Curvas

Otro punto a considerar es el de la eleccin de las curvas que se van a tratar, hay una gran cantidad de curvas con nombre propio, de las que he seleccionado unas cuantas y aadido algunas construcciones geomtricas que ponen de maniesto cmo aparecen en la resolucin de problemas. Las primeras curvas consideradas fueron, evidentemente, las rectas y las circunferencias. Con los instrumentos que permiten dibujarlas (regla no graduada y comps) en la antigedad clsica se plantearon y resolvieron gran cantidad de problema geomtricos, pero quedaron sin resolver (utilizando slo los instrumentos anteriores) los tres problemas clsicos: Cuadratura del crculo: hallar un cuadrado con el mismo rea que un crculo dado, o equivalentemente, hallar un segmento de recta con la misma longitud que una circunferencia dada. Duplicacin del cubo: construir un cubo que tenga el doble volumen que uno dado, o equivalentemente hallar dos medias proporcionales entre dos segmentos dados. Triseccin de un ngulo: dado un ngulo, hallar el ngulo que es su tercera parte. A pesar de que se ha demostrado que estos tres problemas no son resolubles segn el mtodo clsico de utilizar slamente regla no graduada y comps, no es raro que cada poco aparezcan, ahora en Intenet, cuadradores, duplicadores o trisectores acionados. La mayora de las veces los errores en sus construcciones son evidentes pero otras, las construcciones son tan enrevesadas que no es fcil encontrar dnde est el error.

Trisectrices
El tercer problema mencionado anteriormente es de una naturaleza distinta a la de los dos primeros en el sentido de que ningn crculo se puede cuadrar, ningn cubo se puede duplicar, pero s que hay determinados ngulos que se pueden trisecar: son muy conocidas las determinaciones de la tercera parte de un ngulo llano o la tercera parte de un ngulo recto. A continuacin veremos algunas de las curvas que se han estudiado en relacin con la resolucin de este problema, por lo que reciben el nombre genrico de trisectrices.

47 Cuadratriz de Hip as Histricamente (siglo V a.C.), sta es la primera curva (es de suponer que en un

Figura 17 Distintas fases de la construccin de la Cuadratriz de Hip o as principio se llamara trisectriz de Hipas), distinta de las rectas y circunferencias, que aparece, incluso antes que las cnicas. Esta curva est denida mecnicamente como el lugar de interseccin de dos rectas: una horizontal que se mueve a velocidad constante en direccin vertical y otra que gira con velociad angular constante, de forma que en el instante inicial ambas rectas son perpendiculares y en el instante nal coinciden.
3

-4

-2 -1

-2

-3

Figura 18 Cuadratriz de Hip as Un pequeo clculo permite hallar las ecuaciones paramtricas de la cuadratriz

48 de Hipas:

3. De las Trisectrices, la Cicloide y otras Curvas

x(t) = (1 t) tan(t/2),

y(t) = 1 t,

t [0, 1]

y, si no imponemos restricciones a la variacin del parmetro t, obtenemos la curva de la gura 18, en la que se ven unas rectas horizontales que son asntotas de la curva correspondientes a los valores t = 2k 1, k = 1. La cuadratriz de Hipas no slo resuelve el problema de la triseccin de un ngulo, sino la divisin de un ngulo en un nmero cualquiera de partes iguales. La
1

P
0.8

0.6

0.4

Q
0.2

j
0.2

j 3

A
0.4 0.6 0.8 1

Figura 19 Triseccin de un ngulo mediante la Cuadratriz de Hip o a as divisin se efecta del siguiente modo (gura 19): dado un ngulo AOP hallamos el punto P de corte con la cuadratriz y por P dibujamos la recta P B paralela al eje OX, dividimos el segmento AB (utilizando el teorema de Tales) en las partes iguales que deseemos (en nuestro caso 3) y hallamos el punto C. Deshaciendo el proceso anterior, obtenemos el punto Q y el ngulo AOQ es el ngulo buscado. Un siglo ms tarde, se utiliz esta curva para resolver la cuadratura del crculo, aunque en la propia construccin de la curva se supone conocida la solucin del problema al relacionar un movimiento rectilneo y un movimiento circular uniforme; voy a exponer la construccin que se ve en la gura 20 ya que utiliza dos teoremas fundamentales en geometra, el de Tales y el de Pitgoras: teniendo en 2 cuenta que la cuadratriz corta al eje OX en el punto , por el teorema de Tales obtenemos el punto 2 y, a partir a este punto le sumamos 2 unidades y construimos la semicircunferencia con centro en el eje = X y pasa por O y por + 2, aplicando 2

49
2

1.5

0.5

2 p
-1 1

p 2
2 3

-0.5

-1

Figura 20 Cuadratura del crculo con la Cuadratriz de Hip as el teorema de Pitgoras se obtiene que la perpendicular sobre cual el cuadrado tiene el mismo rea, , que el crculo. Concoide de Nicmedes o La concoide de Nicmedes (siglo II a. C) aparece al trisecar un ngulo por medio del mtodo de Arqumedes (siglo III a. C.), que se efecta de la siguiente manera: dado un ngulo AOB (gura 21) dibujamos, con centro en el vrtice O del
2

mide

, con lo

A D G

C D

Figura 21 Mtodo de Arqu e medes ngulo, una circunferencia ; desde el punto A de interseccin de la circunferencia con uno de los lados del ngulo, construimos una recta no paralela al otro lado del ngulo, esta recta corta al otro lado en un punto C. A partir de C tomamos los puntos D y D de manera que la distancia de C a D y a D es igual al radio de la circunferencia . Cuando el punto D (o D ) est sobre la circunferencia, el ngulo

50

3. De las Trisectrices, la Cicloide y otras Curvas

ACB es la tercera parte del ngulo dado. Si dibujamos todos los puntos D y D obtenidos mediante este procedimiento obtenemos la Concoide de Nicmedes (llamada as porque tiene forma de concha). o

0.5

-2

-1

-0.5

-1

Figura 22 Concoide de Nicmedes correspondiente al ngulo a

0.5

-2

-1

-0.5

-1

Figura 23 Concoide de Nicmedes correspondiente al ngulo o a

Como un ngulo est determinado salvo un nmero entero de vueltas, los puntos de interseccin de la concoide con la circunferencia nos dan las tres posibles terceras partes del ngulo inicial. Existen otros dos puntos, el propio A y el punto diametralmente opuesto a A, que siempre son puntos de interseccin de la concoide y la circunferencia puesto que evidentemente verican la denicin de los puntos D, estos puntos no proporcionan una tercera parte del ngulo inicial salvo en el caso particular de = (gura 23), 2

51 en el que el punto diametralmente opuesto es doble (en este caso, la circunferencia y la concoide son tangentes). La concoide de Nicmedes tambin se obtiene cuando trisecamos un ngulo utilizando el mtodo de Hipcrates (siglo V a.C.) que aparece en la gura 24: supongamos el ngulo agudo AOB que queremos trisecar, construimos una recta auxiliar perpendicular a uno de los lados, esta recta corta a los lados del ngulo en A y en K. Para cada recta que pasa por O hallamos el punto P de manera que la distancia M P

A N
2t t

P
t

M K B

Figura 24 Mtodo de Hipcrates para la triseccin de un ngulo e o o a sea el doble de la longitud del segmento OA, siendo M el punto de interseccin de la recta variable OP con la recta auxiliar KA, cuando la recta AP es paralela la lado OB, el ngulo BOP es la tercera parte del ngulo BOA. Igual que antes, jada la recta auxiliar y los valores a (distancia de O a la recta auxiliar, longitud del segmento OK) y b (longitud de los segmentos M P ), construimos los puntos P y obtenemos as la condoide de Nicmedes, cuyas ecuaciones paramtricas son x(t) = a + b cos t, y(t) = b sin t + a tan t.

Eliminando el parmetro t en las ecuaciones anteriores, se obtiene la ecuacin implcita de la concoide (x a)2 (x2 + y 2 ) = b2 x2 . En la gura 25 aparecen de izquierda a derecha las concoides de Nicmedes para b > a (que corresponde a la triseccin de un determinado ngulo agudo), para b = a (que corresponde, segn se vi en la gura 23, a la triseccin de un ngulo recto) y para b < a.

52

3. De las Trisectrices, la Cicloide y otras Curvas

4 6 4 3 4 2 2 1 2

1 -1

-1

-2 -2

-2 -4 -3 -4 -6 -4

Figura 25 Concoides de Nicmedes para a = 1.5 y b = 1, 1.5 y 2.5 o Para b > a la curva tiene un bucle y un punto doble, para b = a, el bucle se reduce a un punto cspide y para b < a, todos los puntos de la curva son regulares. En cualquiera de los tres casos la recta x = a es asntota de la cuva. Esta curva se utiliza tambin para duplicar el cubo, es decir para obtener la raz cbica de 2 (gura 26). Para ello dibujamos la concoide para a = b = 1 y el ngulo ACB = , por la semejanza de los tringulos OCD y OAB se obtiene 3 p 1 m = = . (3.1) p+1 r+1 q En el tringulo ACB se tiene q = 3r y, por el teorema de Pitgoras en el tringulo rectngulo OCD, p2 = 1 + m2 . (3.2) Entonces de (3.1) y (3.2) se obtiene 3r 3r2 m= y p2 = . 1+r (1 + r)2 De la primera igualdad de (3.1) se obtiene r = 1/p y, entonces p3 (2 + p) = 2(2 + p) de donde p = 3 2. Trisectriz de Ceva La construccin de la trisectriz de Ceva (16481734) se basa en el mtodo de Arqumedes pero empezando por la solucin (gura 27): Para cada recta que pasa

53

B 1 D p m
p 3

Figura 26 Obtencin de o

2 con la Concoide

por O construimos el punto P de manera que las longitudes de los segmentos OA, AB y BP son iguales.

Figura 27 Construccin de un punto de la trisectriz de Ceva o Construyendo los puntos P correspondientes a las rectas que pasan por O, obtenemos as la curva de la gura 28, cuyas ecuaciones paramtricas son x(t) = 2 cos t + cos(3t), y(t) = sin(3t)

y, eliminando el parmetro t, obtenemos su ecuacin cartesiana (x2 + y 2 )3 = (3x2 y 2 )2 .

54

3. De las Trisectrices, la Cicloide y otras Curvas

1 0.5

-3

-2

-1 -0.5 -1

Figura 28 Trisectriz de Ceva Trisectriz de MacLaurin La trisectriz de MacLaurin (16981746) es la curva cuya ecuacin cartesiana es x(x2 + y 2 ) = a(3x2 y 2 ), sus ecuaciones paramtricas son
1.5 1 0.5

-2

-1 -0.5

Figura 29 Trisectriz de MacLaurin x(t) = a 3 t2 , 1 + t2 y(t) = at 3 t2 1 + t2

y que aparece dibujada en la gura 29 (con un giro de /2) para a = 0.5 . Como se puede ver esta curva tiene un punto doble en el origen, un bucle y la recta x = a es asntota de la curva. En la gura 30 se observa cmo esta curva se utiliza para trisecar un ngulo cualquiera: el ngulo con vrtice en el punto (1, 0) es el triple del correspondiente que tiene vrtice en (0, 0)). Esta curva es autoinversa (la gura 31 est girada /2): cualquier recta que pase por el punto C corta a la trisectriz en 2 puntos P y Q, el producto de las longitudes de los segmentos CP y CQ es constante e igual al cuadrado del radio de la circunferencia con centro el punto C y que pasa por el punto doble de la trisectriz de MacLaurin.

55

-0.5

-0.5

-0.5

-0.5

-1

-1

-1

-1

Figura 30 Triseccin de ngulos mediante la Trisectriz de MacLaurin o a

C P P

Figura 31 Propiedad autoinversa de la Trisectriz de MacLaurin Trisectriz de Catalan (de Tschirnhausen) Para concluir con las trisectrices veremos la trisectriz de Catalan (18141894) (tambin llamada trisectriz de Tschirnhausen (16511708)), su ecuacin cartesiana es (x2 + y 2 )(6 + x) = 32 y sus ecuaciones paramtricas son x(t) = 2 cos t , cos(t/3) y(t) = 2 sin t . cos(t/3)

Es muy parecida a la trisectriz de MacLaurin (aqu tambin se ha efectuado un giro de /2) y efecta la triseccin de un ngulo del mismo modo, en este caso el ngulo con vrtice en O y uno de los lados sobre eje y es el triple del ngulo con vrtice en (0, 4)

56

3. De las Trisectrices, la Cicloide y otras Curvas

2

-7.5

-5

-2.5 -2

2.5

7.5

-4

Figura 32 Trisectriz de Catalan

Cisoide de Diocles
Para resolver el problema de la duplicacin del cubo, Diocles (siglo II a.C.) construy la curva que lleva su nombre, que est denida como sigue (izquierda de la gura 33): dada una circunferencia y una recta L tangente a ella, trazamos las rectas que pasan por el punto O, diametralmente opuesto al de tangencia; estas rectas cortan a la circunferencia en un punto R y a la recta en el punto Q. La cisoide de Diocles el el conjunto de los puntos P tales que OR = P Q. Esta curva se llama

2 2 1

H 1,2L

R P

Q
P
1

0 P

2 1 2

R
-1

Q
-2

-1

Figura 33 Cisoide de Diocles as porque tiene la forma del borde de una hoja de hiedra.

57 La cisoide tiene estas ecuaciones paramtricas 2 x(s) = 2a sin s,

3 y(s) = 2a sin s , cos s

x(t) = o bien

2at2 , 1 + t2 3 y(t) = 2at . 1 + t2

y su ecuacin cartesiana es x3 + y 2 (x 2a) = 0, donde a es el radio de la circunferencia. (en la parte izquierda de la gura 33 aparece representada para valor de a = 1. La cisoide permite calcular 3 2 (parte derecha de la gura 33): construimos el cuadrado de vrtices (0, 0), (0, 2), (2, 2) y (2, 0) y lo dividimos por la mitad con la recta que pasa por (1, 0) y (1, 2). La recta que pasa por (2, 0) y (1, 2) corta a la cisoide en un punto, uniendo ese punto con el (0, 0) obtenemos el punto P , es fcil comprobar que OP = 3 2.

Trocoides

R 0

P 0
R 0

R R

Figura 34 Generacin de la epitrocoide y la hipotrocoide o Las trocoides son curvas obtenidas a travs de puntos asociados a una circunferencia que rueda sobre otra circunferencia. Estas curvas estn relacionadas con los epiciclos: curvas con las que se trataba de explicar los movimientos anmalos de los planetas en el sitema astronmico geocntrico. Los planetas tienen movimiento de retroceso respecto de las estrellas jas, lo que se pretenda explicar diciendo que los planetas estn sobre una circunferencia que gira sobre otra. Supongamos una circunferencia ja de centro O y radio R y otra circunferencia mvil de centro O , tangente a la primera y con radio R , sea P el punto solidario

58

3. De las Trisectrices, la Cicloide y otras Curvas

con esta circunferencia mvil y a distancia R del centro O . Las trocoides son las curvas descritas por el punto P cuando la segunda circunferencia rueda sin deslizar sobre la circunferencia ja. Cuando la circunferencia mvil rueda por la parte de fuera de la ja las curvas se llaman epitrocoides (corresponden al caso R > 0) y cuando la circunferencia mvil rueda por dentro de la ja, las curvas obtenidas se denominan hipotrocoides (R < 0). El caso particular de que el punto generador P est sobre la circunferencia mvil ( = 1) las curvas obtenidas se denominan epicicloide o hipocicloide, segn los casos. Sus ecuaciones paramtricas, identicando los puntos del plano con los numeros complejos, son z(t) = (R + R )eit R ei Epitrocoides Veremos aqu algunas epitrocoides que tienen nombre propio:
R+R R

2 1 -2 -1 -1 -2 1 -3 -2 -1

2 1 1 -1

3 2 1 -4 -3 -2 -1 -1 -2 1 2

-2

-3

Figura 35 Caracoles de Pascal: R = R = 1 y = 0.8, 1 y 2 El Caracol de Pascal (15881651) (gura 35) es la epitrocoide obtenida cuando el radio de las dos circunferencias es el mismo. La cardiode (en el centro de la gura 35) es la epiclicoide caso particular del caracol de Pascal. La nefroide, en forma de rin (gura 36), es la epitrocoide obtenida cuando el radio de la circunferencia mvil es la mitad del radio de la circunferencia ja.

59

4 3 2 1 -2 -1 -1 -2 -3 -4 -2 -2 1 2 -2 -1 1 2 -3 -2 -1 1 2 3 2 4

-4

Figura 36 Nefroides: R = 2, R = 1 y = 0.8, 1 y 1.5

3 4 2 2 1 -4 -2 -2 2 4 -1 -1 -2 -4 1

-3

-2

Figura 37 Epitrocoides de razn racional (R = 3, R = 2/3, = 1.7) e irrao cional (R = 2, R = /9, = 1.5) Segn sea la relacin entre los radios de las dos circunferencias se obtienen distintos tipos de trocoides: si la relacin R/R es entero, slamente hace falta dar una vuelta para obtener la curva, por ejemplo el caracol de Pascal y la nefroide. si la relalcin R/R es un nmero racional, es necesario dar varias vueltas a la circunferencia ja para obtener toda la curva (gura 37 izquierda). si la relacin R/R no es racional, la curva no se cierra y se obtiene un conjunto denso en una corona circular (gura 37 derecha). Hipotrocoides La elipse: es la hipotrocoide en la que la relacin de radios de las circunferencias es R/R = 2 (gura 38 a la izquierda); en el caso particular de que el punto gene-

60

3. De las Trisectrices, la Cicloide y otras Curvas

-2

-1

-2

-1

-1

-1

-2

-2

Figura 38 Elipse y dimetro de la circunferencia ja a rador est sobre la circunferencia mvil (hipocicloide) la elipse degenera en uno de los dimetros de la circunferencia ja (gura 38 a la derecha). Las hipocicloides: otras hipotrocoides con nombre propio son el Deltoide (gura 39 a la izquierda con los valores R = 3, R = 1, = 1), el Astroide (gura 39 en el centro, R = 3, R = 3/4, = 1), y la Estrella de mar (gura 39 a la derecha con los valores R = 3, R = 1.2, = 1), con 3, 4, 5, puntos cspide, respectivamente.
3 2 1 -3 -2 -1 -1 -2 -3 1 2 3 -3 -2 -1 -1 -2 -3 3 2 1 1 2 3 -3 -2 -1 -1 -2 -3 3 2 1 1 2 3

Figura 39 Deltoide, astroide y estrella de mar Igual que sucede con las epitrocoides, dependiendo de la relacin entre los radios de las circunferencias se han de efectuar una o varias vueltas sobre la circunferencia ja para obtener la curva; por ejemplo, para el deltoide y el astroide, slamente es necesario recorrer la circunferencia ja una vez, mientras que en la estrella de mar hay que hacerlo 2 veces. En el caso de que la relacin sea un nmero irracional, la curva no se cierra y es un conjunto denso en una corona circular. Asociadas a estas hipocicloides tenemos las hipotrocoides que pasan por el cen-

61

3 2 1 -3 -2 -1 -1 -2 -3 1 2 3 4 -4 -2

4 2

3 2 1 2 4 -3 -2 -1 -1 -2 1 2 3

-2 -4 -3

Figura 40 Rodoneas de 3, 4 y 5 ptalos e tro de la circunferencia ja, que ahora es un punto mltiple. Estas curvas se conocen como Rodoneas (en forma de rosa). En la gura 40 vemos el trbol y las rosas de cuatro y cinco ptalos.

La Cicloide
La cicloide es el lugar descrito por un punto asociado a una circunferencia de radio R a distancia R del centro de la circunferencia, que rueda sin deslizar sobre

Figura 41 Cicloides una recta; segn que el punto generador est en la circunferencia, en el interior o en el exterior del crculo limitado por ella, es decir, segn que el valor de sea 1, menor que 1 o mayor que 1, obtenemos la cicloide, la cicloide acortada o la cicloide alargada. Las ecuaciones paramtricas de las cicloides son x(t) = R(t sin t), y(t) = R(1 cos t).

Igual que en el caso de las trocoides, para = 1 aparecen puntos cspide, para

62

3. De las Trisectrices, la Cicloide y otras Curvas

< 1 todos los puntos son regulares y para > 1 aparecen puntos dobles y bucles. La cicloide ( = 1) tiene la propiedad de la tautocron si dejamos caer sin a:

Figura 42 Posiciones de dos bolas cayendo sin velocidad inicial por una cicloide velocidad inicial a lo largo de una cicloide invertida una bola slamente sometida a la accin de la gravedad, el tiempo que tarda la bola en llegar al punto ms bajo de la cicloide es independiente de la altura desde la que hemos dejado caer la bola. Esta propiedad, unida al hecho de que la evolvente de una cicloide es otra ci-

Figura 43 Pndulo de Huygens e cloide igual que la primera pero desplazada, permite construir un pndulo cicloidal (pndulo de Huygens (16291695)) que tiene la propiedad de que el periodo de oscilacin es independiente de la amplitud.

Ruedas poligonales
Hay un chiste sobre ingenieros que dice que el ingeniero industrial inventor de la rueda, la invent con forma cuadrada y como, si el suelo es llano, el problema de

63

Figura 44 Rueda triangular los saltos aparece cuando se apoya en el suelo uno de los vrtices del cuadrado, otro ingeniero mejor el invento minimizando el nmero de los saltos, es decir, disminuyendo el nmero de vrtices, e invent la rueda triangular. Un tercer ingeniero

Figura 45 Rueda cuadrangular (en este caso de Caminos) observ que, si el suelo tiene forma especial, una rueda poligonal puede girar de forma que el centro de la rueda no d saltos. Al nal un matemtico vino en ayuda del ltimo ingeniero y hall que el suelo tiene que tener la forma de arcos de catenaria. Obsrvese en las guras 44, 45 y 46 que a medida que aumentamos el nmero de lados del polgono que rueda, el suelo se va haciendo ms llano, cuando el nmero de lados crece indenidamente, la rueda es una circunferencia, el suelo es una recta y la curva punteada es una cicloide. Con el suelo en forma de arcos de catenaria conseguimos que el centro del polgono no d saltos verticales, pero da saltos horizontales en el sentido de que el movimiento de avance no es uniforme. La catenaria (gura 47) est tambin relacionada con la fuerza de la gravedad puesto que es la forma que adopta un hilo de densidad homognea sostenido por dos puntos y sometido a la accin de la gravedad, su ecuacin cartesiana es y = cosh at. La forma de la catenaria es parecida a la de una parbola, incluso Galileo, al estudiar la forma que adopta la cadena, las confundi. Esta curva es la generatriz plana del catenoide que es la nica supercie de revolucin minimal.

64

3. De las Trisectrices, la Cicloide y otras Curvas

Figura 46 Rueda hexagonal

4

-2

-1

Figura 47 Catenarias que pasan por dos puntos jados

Bibliografa
He consultado principalmente en los libros: L.A. Cordero, M. Fernndez y A. Gray: Geometr diferencial de curvas a a y supercies con Mathematica., Addison-Wesley Iberoamericana, 1995. C.G. Gibson: Elementary Geometry of Dierentiable Curves. Cambridge University Press, 2001. A. Gray: Modern dierential Geometry of Curves and Surfaces with Mathematica. CRC Press, 1998. S. Wagon: Mathematica in action. Springer Telos, 2000. y en las pginas de internet: http://www-history.msc.st-andrews.ac.uk http://mathcurve.com