Anda di halaman 1dari 128

Galera de curvas en el plano

Mara del Carmen Fernandez Garca


ndice general
1. Introduccin 1
2. Familias de curvas 5
2.1. Envolturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1. Determinacin de las envolturas . . . . . . . . . . . . . 15
2.2. Custicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1. Un ejemplo del clculo de una custica . . . . . . . . . 19
2.3. Rodamientos y resbalamientos . . . . . . . . . . . . . . . . . . 20
2.3.1. Cicloides . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.2. Epicicloides y epitrocoides . . . . . . . . . . . . . . . . 22
2.3.3. Hipocicloides e hipotrocoides . . . . . . . . . . . . . . . 23
2.3.4. Escaleras que resbalan [13] . . . . . . . . . . . . . . . . 25
2.4. Propiedades Generales . . . . . . . . . . . . . . . . . . . . . . 29
2.4.1. Evolutas . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4.2. Involutas . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4.3. Inversa con respecto a un crculo . . . . . . . . . . . . 32
2.4.4. Curvas pedal . . . . . . . . . . . . . . . . . . . . . . . 33
3. Galera de curvas 35
3.1. Astroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Bruja de Agnesi . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3. Cardioide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.4. Catenaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.5. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.6. Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.7. Cisoide de Diocles . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.8. Deltoide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.9. Epicicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

NDICE GENERAL
3.10. Hipocicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.11. Espiral de Arqumedes . . . . . . . . . . . . . . . . . . . . . . 70
3.12. Espiral de Cornu . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.13. Espiral Equingular . . . . . . . . . . . . . . . . . . . . . . . . 74
3.14. Espiral de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.15. Espiral Hiperblica . . . . . . . . . . . . . . . . . . . . . . . . 82
3.16. Lituus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.17. valos de Cassini . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.18. Tractriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4. Conclusiones 91
A. Cdigo en Maple 9 de las grcas 95
ndice de guras
2.1. Trayectoria de un proyectil . . . . . . . . . . . . . . . . . . . . 6
2.2. Trayectoria de una bala, 1547 . . . . . . . . . . . . . . . . . . 7
2.3. Parbola de seguridad . . . . . . . . . . . . . . . . . . . . . . 9
2.4. Trayectoria de un proyectil auxiliar en el caso ideal, bajo la
accin nica de la fuerza de gravedad, desdeando la accin
de cualquier otra fuerza. . . . . . . . . . . . . . . . . . . . . . 10
2.5. Curva balstica (lnea continua) y trayectoria del proyectil bajo
la inuencia nica de la fuerza de gravedad. . . . . . . . . . . 10
2.6. Vuelo supersnico de un avin . . . . . . . . . . . . . . . . . . 11
2.7. Lmite de la zona de audibilidad . . . . . . . . . . . . . . . . . 12
2.8. Zona de audibilidad . . . . . . . . . . . . . . . . . . . . . . . . 14
2.9. Cardioide formada por rayos de luz reejados en una taza de
leche. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.10. (A) Custica de un crculo; (B) Un rayo reejado . . . . . . . 19
2.11. Nefroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.12. Cicloide alargada . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.13. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.14. Cicloide acortada . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.15. Epicicloide - Epitrocoide . . . . . . . . . . . . . . . . . . . . . 23
2.16. Hipocicloide - Hipotrocoide . . . . . . . . . . . . . . . . . . . 24
2.17. Escalera que resbala . . . . . . . . . . . . . . . . . . . . . . . 25
2.18. Varias posiciones de la escalera en las que est sealado el
punto medio de sta . . . . . . . . . . . . . . . . . . . . . . . 26
2.19. Varias posiciones de la escalera en la que est marcado un
punto jo que no est en el centro de la escalera . . . . . . . . 26
2.20. Barra de longitud uno que resbala en una pared vertical . . . . 27
2.21. Astroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.22. Familia de elipses . . . . . . . . . . . . . . . . . . . . . . . . . 28

NDICE DE FIGURAS
2.23. Evoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.24. Parbola y su evoluta . . . . . . . . . . . . . . . . . . . . . . . 31
2.25. La catenaria y su involuta . . . . . . . . . . . . . . . . . . . . 31
2.26. Involuta Aproximada . . . . . . . . . . . . . . . . . . . . . . . 32
2.27. Inversa con respecto a un crculo . . . . . . . . . . . . . . . . 33
2.28. Pedal positiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.29. A la izquierda la pedal positiva de la parbola con respecto
a su foco. A la derecha la pedal negativa de una recta con
respecto a un punto fuera de ella. . . . . . . . . . . . . . . . . 34
3.1. La astroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. (A) Astroide; (B) Generacin doble de la astroide . . . . . . . 36
3.3. Trasmallo de Arqumedes . . . . . . . . . . . . . . . . . . . . . 37
3.4. La astroide como envolvente de elipses . . . . . . . . . . . . . 37
3.5. Evoluta de la astroide . . . . . . . . . . . . . . . . . . . . . . 38
3.6. La longitud de la tangente cortada por los ejes es constante . . 38
3.7. Logo de los Pittsburgh Steelers . . . . . . . . . . . . . . . . . 39
3.8. Bruja de Agnesi . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.9. (A) Cardioide; (B) Generacin doble de la cardioide . . . . . . 42
3.10. Generacin de cremona de la cardioide . . . . . . . . . . . . . 43
3.11. La cardioide como envolvente de crculos . . . . . . . . . . . . 43
3.12. Evoluta de la cardioide . . . . . . . . . . . . . . . . . . . . . . 44
3.13. Leva en forma de cardioide . . . . . . . . . . . . . . . . . . . . 45
3.14. Conjunto de Mendelbrot . . . . . . . . . . . . . . . . . . . . . 45
3.15. Catenaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.16. Arco situado en el corazn de la ciudad de St. Louis Mis-
souri, Estados Unidos. En la fotografa de la izquierda, aparece
adems el Antiguo Palacio de Justicia. . . . . . . . . . . . . . 47
3.17. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.18. Cicliode acortada . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.19. Cicloide alargada . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.20. Rueda de un tren . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.21. Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.22. P es un punto de la cisoide de las dos curvas con respecto a O 56
3.23. Cisoide generada por un crculo que se mueve a lo largo de
una recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.24. Construccin de la cisoide dada por Diocles . . . . . . . . . . 58
3.25. Construccin de la cisoide dada por Newton . . . . . . . . . . 58
NDICE DE FIGURAS
3.26. Construccin de la tangente a un punto P de la cisoide . . . . 60
3.27. Duplicacin del cubo con ayuda de la cisoide de Diocles . . . . 60
3.28. La deltoide como envolvente de las rectas de Simpson de un
tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.29. Deltoide generada por rectas . . . . . . . . . . . . . . . . . . . 63
3.30. Propiedades de la deltoide . . . . . . . . . . . . . . . . . . . . 63
3.31. Evoluta de la deltoide . . . . . . . . . . . . . . . . . . . . . . 64
3.32. Deltoide rotor dentro de una astroide estator . . . . . . . . . . 64
3.33. Motor Wankel el cual se encuentra en el museo Deutsches de
Munich, Alemania. . . . . . . . . . . . . . . . . . . . . . . . . 65
3.34. (A) Epicicloide; (B) Generacin doble de la epicicloide . . . . 66
3.35. (A) Hipocicloide; (B) Generacin doble de la hipocicloide . . . 68
3.36. Una rama de la espiral de Arqumedes . . . . . . . . . . . . . 70
3.37. Espiral de Arqumedes . . . . . . . . . . . . . . . . . . . . . . 71
3.38. Leva generada por un arco de una espiral de Arqumedes . . . 72
3.39. Espiral de Cornu . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.40. Espiral equingular . . . . . . . . . . . . . . . . . . . . . . . . 74
3.41. Pentgono . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.42. A la izquierda Jakob Bernoulli, junto a l Johann Bernoulli . . 77
3.43. Espiral equingular . . . . . . . . . . . . . . . . . . . . . . . . 78
3.44. Espiral equingular con longitud de los sucesivos radio vec-
tores 0R0 =
0
, 0R1 =
1
, 0R2 =
2
,... . . . . . . . . . . . . . 79
3.45. Espiral equingular derivada de un rectngulo ureo . . . . . . 80
3.46. Inversa de la espiral equingular . . . . . . . . . . . . . . . . . 81
3.47. Espiral de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.48. Espiral hiperblica o reciproca . . . . . . . . . . . . . . . . . . 82
3.49. Espiral hiperblica y su asntota . . . . . . . . . . . . . . . . . 83
3.50. Lituus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.51. valos de Cassini . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.52. Tractriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.53. Tractriz y catenaria . . . . . . . . . . . . . . . . . . . . . . . . 88
NDICE DE FIGURAS
Captulo 1
Introduccin
Lo ms curioso, es que todos aquellos que estudian seriamente
esta Ciencia, caen en una especie de pasin. Verdaderamente, lo
que ms placer proporciona no es el saber, sino el estudiar; no es
la posesin, sino la conquista; no es el estar aqu, sino el llegar
all.
Johann Carl Friedrich Gauss (1777-1855)
La humanidad fue fascinada por las curvas mucho antes de que estas
fueran vistas como objetos matemticos. Como evidencia estn la forma de
olas y espirales en la alfarera prehistrica, o los esplndidos pliegues de las
esculturas griegas y gticas. Fueron los gemetras griegos quienes iniciaron el
estudio de curvas denidas geomtricamente como, por ejemplo, el contorno
de la interseccin de un plano con un cono. La recta y el crculo fueron
distinguidos como bordes de secciones planas de un cono. Algunas curvas
fueron generadas por el movimiento de mecanismos articulados, o al menos
fueron imaginadas para ser generadas as: la espiral de Arqumedes (287-212
antes de J. C.) fue de este tipo. Una clasicacin en curvas geomtricas
y mecnicas (la cual no corresponde al uso moderno de estos trminos)
qued ja hasta el siglo diecisiete cuando la geometra analtica hizo posible
distinguir con precisin que debemos (siguiendo a Gottfried Wilhelm Leibniz
(1646-1716)) llamar ahora curvas algebraicas
1
y trascendentes
2
.
1
Aquellas que pueden ser expresadas por potencias racionales de x y y vinculadas por
operaciones de suma, resta, multiplicacin y divisin; por ejemplo: y
2
= x/(x + y).
2
Una curva o ecuacin trascendental es aquella que no es algebraica; por ejemplo:
y = 2
x
, y = sinx.
1
2 CAPTULO 1. INTRODUCCIN
Buscando la forma de las rbitas planetarias Johannes Kepler (1571-1630)
trat una variedad de curvas antes de encontrar que la elipse daba el mejor
ajuste. En el antiguo sistema de Claudio Ptolomeo (85-165 despus de J. C.)
se supona que los planetas describan rutas que podan ser construidas por
medio de epiciclos (crculos transportados por otros crculos o esferas).
Cuando Bonaventura Francesco Cavalieri (1598-1647) trat de explicar su
mtodo de clculo de volmenes (Principio de Cavalieri), tuvo el cuidado de
usar un tipo de curva realmente general, pero le falt un mtodo analtico de
descripcin. Posteriormente en el siglo diecisiete, James Gregory (1638-1675)
e Isaac Barrow (1630-1677) dieron reglas de clculo en forma geomtrica para
referirse a arcos montonos simples. As las curvas individuales se estaban
perdiendo ya en una teora ms general.
Una invencin poderosa fue crear una nueva curva por la transformacin
de otra, por ejemplo, la evoluta se forma con los centros de curvatura de
una curva dada. Pero la mayor inuencia en el estudio de las curvas fue,
por supuesto, la invencin del clculo, el cual no slo obtiene la solucin a
problemas de rea y longitud de arco, sino que unica todo el campo de
investigacin. Una gran variedad de problemas mecnicos pueden ser formu-
lados con precisin, por ejemplo, para encontrar la curva del ms rpido
descenso, la braquistcrona.
Las curvas planas ofrecen un rico y poco explorado campo de estudio, el
Captulo 2 trata de las familias de estas curvas.
El Captulo 3, Galera de Curvas, presenta informacin individual de las
curvas, todo lo que me pareci importante decir respecto a ellas, como su
longitud ([8] pp. 755-757), rea ([8] pp. 789-790), supercie de revolucin ([1]
p. 423), volumen de revolucin ([1] p. 404), evoluta ([5] pp. 103-104), etc. Las
grcas se realizaron en Scientic WorkPlace 4, se da el programa generado
en Maple 9 de cada una en el Apndice A.
Asimismo en el Captulo 3, para cada curva, las referencias bibliogrcas
estn en el primer prrafo de la curva en cuestin, aunque pueden apare-
cer ms referencias posteriormente para puntualizar de dnde se extrajo la
informacin que se trata.
Hace algunos aos Salvador Lpez Mendoza me dijo que en el nuevo
edicio de la Facultad de Ciencias, el Tlahuizcalpan, haba salones equipados
con computadoras para las materias tericas y que hacia falta material de
apoyo para stos, el Captulo 3 de esta tesis se pens como material de
apoyo para un curso de Clculo Diferencial e Integral II o III, al respecto y
a manera de ejemplo se implementaron en Maple 9 cinco de las curvas de
3
dicho Captulo.
Una de las razones para elaborar esta tesis fue el hecho de que no exista
en espaol un texto que hablara de estas curvas.
Dentro de los propsitos de esta tesis estuvo incluir al menos las curvas
que se consideran ms importantes.
Otro de los propsitos al escribir una tesis debe ser el aprender a redactar
un libro, armarlo desde su estructura.
Antes de realizar este trabajo, intente varias veces hacer la tesis en com-
putacin, tuve tres distintos asesores de tesis. Agradezco profundamente al
Dr. Pedro Miramontes el ayudarme tanto como lo hizo para realizar y concluir
este trabajo. Es en verdad en excelente director de tesis.
4 CAPTULO 1. INTRODUCCIN
Captulo 2
Familias de curvas
2.1. Envolturas
La nocin de envoltura
1
se encuentra en las diversas partes de la matemti-
ca.
Supongamos que tenemos una familia de curvas que depende de un par-
metro que es constante para cualquier curva individual, pero que cambia al
pasar de una curva a otra. Las curvas de una familia pueden ser tangentes a
una misma curva o a un mismo grupo de curvas. En este caso se da el nombre
de envoltura de la familia a la curva o al grupo de curvas. As, la envoltura
de una familia de curvas es la curva tangente a cada una de las curvas de la
familia.
Problemas para calcular la curva tangente a una familia de curvas fueron
discutidos extensamente en 1694 entre Leibniz, Johann Bernoulli (1667-1748)
y Guillaume Franois Antonie, Marquis de LHpital (1661-1704).
En calidad de envolturas aparecen curvas notables que encontramos fre-
cuentemente en la matemtica y en las aplicaciones de sta: la parbola, la
hiprbola, la astroide, la cicloide, la cardioide, etctera. A continuacin se
presentan la parbola y la hiprbola como ejemplos de envolturas.
Tiro parablico [2]
Examinemos el movimiento de un cuerpo de manera idealizada, bajo la
accin nica de la fuerza de gravedad, desdeando la accin sobre l de
1
En algunos textos le dicen envolvente.
5
6 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.1: Trayectoria de un proyectil
cualquier otra fuerza. La gravedad acta verticalmente hacia abajo sobre el
cuerpo lanzado con una aceleracin g constante.
Sea L la trayectoria por la que se mueve el cuerpo lanzado, ver gura
2.1. En cada instante el cuerpo mvil se encuentra en algn punto de sta y
tiene una velocidad de movimiento determinada. La velocidad es un vector
tangente a la trayectoria L. As L es la envoltura de los vectores de velocidad
del cuerpo lanzado.
Consideremos la primera ley del movimiento de Isaac Newton (1643-
1727): si ninguna fuerza acta sobre un cuerpo y el cuerpo est en reposo, per-
manecer en reposo; si ninguna fuerza acta y un cuerpo est en movimiento,
continuar en movimiento a velocidad constante y en lnea recta.
La velocidad del cuerpo lanzado puede ser descompuesta en dos compo-
nentes: una vertical y otra horizontal. Considerado la primera ley de Newton
sabemos que la fuerza de la gravedad acta, adems el cuerpo es lanzado con
un ngulo de elevacin tenemos entonces que la componente vertical es
afectada por la gravedad y la horizontal permanece constante durante todo
el movimiento. Si designamos por v
o
a la velocidad con que el cuerpo es lan-
zado, ver gura 2.1, y a las componentes horizontal y vertical de la velocidad
por los signos v
h
y v
v
respectivamente, entonces:
v
h
(t) = v
o
cos (2.1)
v
v
(t) = v
o
sin gt (2.2)
Si y
o
es la altura inicial del cuerpo lanzado y x(t) y y(t) denotan la
posicin del mismo:
2.1. ENVOLTURAS 7
Figura 2.2: Trayectoria de una bala, 1547
x(t) = (v
o
cos )t (2.3)
y(t) = y
o
+ (v
o
sin )t
gt
2
2
(2.4)
La trayectoria del cuerpo lanzado es una parbola. Las frmulas dadas
describen el movimiento del cuerpo bajo la accin constante de la gravedad.
A principios del siglo XVII no era claro cul sera la trayectoria de una
bala disparada oblicuamente; tan es as que, en 1613, el capitn espaol con
fama de experto artillero, Diego Ufano, public un Tratado de Artillera en
el que consideraba que eran tres los movimientos que participaban en la
determinacin de la ruta seguida por una bala:
...estos tiros se producan primeramente como un movimiento
violento o recto, luego como un movimiento mezclado en el que
la bala declina de la lnea recta con la que sali del mortero y
sigue un arco o lnea curva; nalmente, cuando ya perdi toda
su fuerza, sigue el movimiento natural buscando el centro (de la
tierra) hacia abajo, como aparece en la gura (gura 2.2 [11] pp.
27-29)...
Ahora, examinemos las trayectorias de los proyectiles lanzados por un
can instalado en cierto punto 0 de la supercie terrestre. Debemos estudiar
la trayectoria del vuelo de un proyectil lanzado desde el punto 0 a la velocidad
v
o
bajo el ngulo respecto al horizonte.
8 CAPTULO 2. FAMILIAS DE CURVAS
En la ecuacin 2.4 consideremos y
o
= 0 desdeando la altura del can
que est instalado en la tierra. El origen de coordenadas se elige para que
x(t) y y(t) sean cero en t = 0.
y(t) = (v
o
sin )t
gt
2
2
(2.5)
De la ecuacin 2.2 es claro que en el momento t =
vo sin
g
la componente
vertical de la velocidad v
v
es nula. Hasta este instante la componente v
v
era
positiva, es decir, el cuerpo ascenda; despus de este momento es negativa
y el cuerpo desciende. As, cuando t =
vo sin
g
, el cuerpo alcanza su altura
mxima de ascensin, que segn la ecuacin 2.5 es igual a
y
m ax
=
(v
o
sin)
2
2g
Por otra parte, en la gura 2.1 se ve que v
v
v
o
y que v
v
= v
o
slo
cuando = 90

. Por lo que nalmente


y
m ax
=
v
2
o
2g
La altura del proyectil sobre la tierra es nula solamente en dos puntos: en
el punto del disparo y en el punto de impacto, al caer a la tierra. Es decir, la
altura es nula para los valores de t que son races de la ecuacin 2.5
(v
o
sin )t
gt
2
2
= 0
esto es, cuando t = 0 t =
2vo sin
g
. La primera raz corresponde al momento
del lanzamiento del proyectil y la segunda al momento de cada. La distancia
entre el lugar del disparo y el lugar de explosin, de acuerdo a la ecuacin
2.3, es igual a:
x
m ax
=
2v
2
o
cos sin
g
=
v
2
o
sin2
g
La funcin sin 2 alcanza su valor mximo cuando = 45

(o cuando
= 135

). As la distancia mxima de vuelo se obtiene cuando = 45

x
m ax
=
v
2
o
g
2.1. ENVOLTURAS 9
Figura 2.3: Parbola de seguridad
la cual es dos veces mayor que la altura mxima de ascensin.
Analicemos la zona de tiro, es decir, la parte del espacio que ocupan las
trayectorias de los proyectiles lanzados desde O para diferentes ngulos ,
en la suposicin de que la velocidad v
o
es ja y todas las trayectorias estn
situadas en un mismo plano. La zona de tiro est limitada por la parbola
que pasa a travs del punto de elevacin mxima C = (0,
v
2
o
2g
) y los puntos
D
1
= (
v
2
o
g
, 0), D
2
= (
v
2
o
g
, 0) de las explosiones ms lejanas, ver gura 2.3. La
parbola en cuestin puede obtenerse lanzando horizontalmente un proyectil
con velocidad v
o
desde el punto C. Ya habamos dicho que la trayectoria que
describen las ecuaciones 2.3 y 2.4 es la de una parbola, substituyendo en
dichas ecuaciones que el proyectil es lanzado horizontalmente, = 0

con
velocidad v
o
desde el punto C, esto es, y
o
=
v
2
o
2g
. La posicin del proyectil que
se mueve por la parbola de seguridad esta dada por:
x(t) = v
o
t (2.6)
y(t) =
v
2
o
2g

gt
2
2
Esta parbola se denomina parbola de seguridad ya que limita la zona
de tiro, por encima de ella un vuelo est fuera de peligro. Veamos esto (gura
2.4), la posicin de un proyectil auxiliar que se lanza desde O con un ngulo
de elevacin a velocidad v
o
esta dada por:
x
1
(t) = (v
o
cos )t
y
1
(t) = (v
o
sin)t
gt
2
2
para x(t) = x
1
(t
1
) veamos como es y(t) y
1
(t
1
). Si t = t
1
cos , x(t) = x
1
(t
1
),
10 CAPTULO 2. FAMILIAS DE CURVAS
y(t) =
v
2
o
2g

g(t
1
cos )
2
2
y y
1
(t
1
) = (v
o
sin )t
1

gt
2
1
2
adems
y(t) y
1
(t
1
) =
v
2
o
2g
(v
o
sin )t
1
+
gt
2
1
2
(1 cos
2
) =
1
2g
(v
0
gt
1
sin )
2
0
el que esta diferencia sea no negativa muestra que la trayectoria de cualquier
proyectil que se lance desde O a velocidad v
o
con cualquier ngulo de elevacin
est situada debajo de la parbola de seguridad y es tangente a esta ltima en
un punto, es decir, la parbola de seguridad es la envoltura de las trayectorias
de vuelo de los proyectiles, bajo el supuesto de que la nica fuerza que acta
sobre el proyectil es la fuerza de gravedad y que desdeamos la accin sobre
l de cualquier otra fuerza.
Figura 2.4: Trayectoria de un proyectil auxiliar en el caso ideal, bajo la accin
nica de la fuerza de gravedad, desdeando la accin de cualquier otra fuerza.
En la gura 2.5 ([2] p. 8) se expone el tipo aproximado de la trayectoria
de un proyectil en el aire (la lnea continua es la llamada curva balstica) y
la lnea por la que volara el proyectil bajo la inuencia nica de la fuerza de
gravedad.
Figura 2.5: Curva balstica (lnea continua) y trayectoria del proyectil bajo
la inuencia nica de la fuerza de gravedad.
2.1. ENVOLTURAS 11
La hiprbola como lmite de la zona de audibilidad [2]
Un avin vuela a altura h sobre la supercie terrestre a velocidad super-
snica v. Cul es en un momento dado la regin de la supercie terrestre
en cuyos puntos ya se ha odo o se oye el sonido del motor del avin? Vamos
a suponer que la supercie terrestre sobre la que vuela el avin es absoluta-
mente plana y que la altura del avin h y su velocidad v son constantes.
En cada instante el avin en vuelo se encuentra sobre cierto punto, asimis-
mo el punto de proyeccin del avin sobre la supercie terrestre se mueve
uniformemente a la velocidad v, describiendo una lnea recta l paralela a
aquella por la que vuela el avin en el espacio, ver gura 2.6. Representemos
el movimiento del avin de derecha a izquierda.
Figura 2.6: Vuelo supersnico de un avin
Supongamos que el avin se encuentra sobre el punto O de la recta l y
que hace t segundos el avin se encontraba sobre el punto A de la recta l a
la derecha del punto O a distancia OA = vt. Sea B el punto del espacio en el
que en este mismo momento se encontraba el avin. Al pasar por el punto B
el avin produjo un ruido que comenz a propagarse desde este punto B en
todas direcciones. Designaremos por u la velocidad del sonido en el aire. Para
el momento en que el avin sobrevuela el punto O, es decir, transcurridos
t segundos el sonido logra, desde el punto B, propagarse en una esfera de
radio ut cuyo centro es B. Si el radio de esta esfera es mayor que h, el sonido
tiene tambin tiempo para llegar hasta la tierra y. adems, la regin en la
tierra hasta la que llega el sonido desde el punto B ser un crculo que se
obtiene de la interseccin de la esfera con la supercie terrestre. De la gura
2.6 se ve que el radio de este crculo es igual a

u
2
t
2
h
2
, y que su centro
se encuentra en el punto A.
12 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.7: Lmite de la zona de audibilidad
Tomando crculos para todas las posiciones posibles del avin obten-
dremos la zona de audibilidad. Sea l cierta semirrecta que parte del punto
O y u, v, h (u < v) tres nmeros positivos. Supongamos que A es un punto
arbitrario de la semirrecta l, y que t es un nmero positivo tal que la longitud
del segmento OA es igual a vt. Designemos por K
A
al crculo con centro en
el punto A y radio

u
2
t
2
h
2
. Hallar en el plano la regin de todos los cr-
culos K
A
que se obtienen para todas las posiciones posibles del punto A en la
semirrecta l. En la gura 2.7 se exponen varios de estos crculos y una lnea
gruesa que limita la regin rellena por estos crculos, es decir, la lnea que es
el lmite de la zona de audibilidad. Al examinar esta gura podemos concluir
que el lmite de la zona de audibilidad es la envoltura de tales crculos.
Todos los crculos K
A
posibles llenan la regin de audibilidad, as que
para que un punto M en el plano pertenezca a la zona de audibilidad es
necesario que pertenezca a algn crculo K
A
. Sean A = (vt, 0), M = (x, y)
y K
A
el crculo de radio

u
2
t
2
h
2
y centro en el punto A. Para que M
pertenezca al crculo K
A
es necesario que se cumpla la desigualdad
(x vt)
2
+y
2
u
2
t
2
h
2
que es equivalente a
(v
2
u
2
)t
2
2vxt + (x
2
+y
2
+h
2
) 0 (2.7)
El punto M pertenece a la regin de audibilidad si existe un nmero positivo
t ( se consider que no tiene sentido tomar valores negativos para el tiempo)
que satisface la desigualdad 2.7.
2.1. ENVOLTURAS 13
Se haba dicho que u, v, h y t son nmeros positivos y que u < v entonces
(v
2
u
2
)t
2
, x
2
+y
2
+h
2
y 2vt son positivos. Para que se cumpla la desigualdad
2.7, x debe ser positivo.
Considrese la igualdad
(v
2
u
2
)t
2
2vxt + (x
2
+y
2
+h
2
) = 0 (2.8)
y tmense a = v
2
u
2
, b = 2vx y c = x
2
+ y
2
+ h
2
, a es positivo ya que
u < v. Si es discriminante de la ecuacin 2.8, b
2
4ac es negativo entonces
la expresin
at
2
+bt +c = a
_
t +
b
2a
_
2

1
4a
_
b
2
4ac
_
es positiva y no se cumple la desigualdad 2.7, por tanto
b
2
4ac 0
4v
2
x
2
4(v
2
u
2
)(x
2
+y
2
+h
2
) 0
4u
2
x
2
4(v
2
u
2
)y
2
4(v
2
u
2
)h
2
Dividiendo esta desigualdad entre el nmero positivo 4(v
2
u
2
)h
2
u
2
x
2
(v
2
u
2
)h
2

y
2
h
2
1
x
2
(v
2
u
2
)h
2
u
2

y
2
h
2
1 (2.9)
Por lo tanto, la regin de audibilidad se compone de los puntos (x, y)
tales que x > 0 y (x, y) satisface la desigualdad 2.9. Si examinamos todos los
puntos cuyas coordenadas satisfacen la igualdad
x
2
(v
2
u
2
)h
2
u
2

y
2
h
2
= 1 (2.10)
No solo aquellos en que x > 0 obtendremos las dos ramas de la hiprbola.
Finalmente, el lmite de la zona de audibilidad es la rama derecha de la
hiprbola, que se determina por la ecuacin 2.10. Con lo expuesto se demostr
que la rama derecha de la hiprbola es la envoltura de los crculos K
A
, esto
es, todo punto de esta rama es tangente a uno de los crculos K
A
.
14 CAPTULO 2. FAMILIAS DE CURVAS
ngulo caracterstico [2]
Examinemos el caso h = 0, es decir, cuando el movimiento tiene lugar
en la supercie terrestre: en lugar del avin el automvil supersnico. En
este caso el radio del crculo K
A
es igual a ut. El punto A en la semirrecta l
se encuentra respecto al punto O a distancia vt, ver gura 2.8. Hallar en el
plano la regin que se llena con los crculos K
A
.
Figura 2.8: Zona de audibilidad
Todos los crculos K
A
tienen su centro sobre l. Al variar t la distancia
OA = vt y el radio del crculo K
A
, que es igual a ut varan. Por esto, la regin
del plano que se llena por los crculos K
A
, es decir, la zona de audibilidad
en este caso representa en s el ngulo SOT con el vrtice en el punto O, el
cual est formado por las tangentes comunes de todos los crculos K
A
(gura
2.8). Podemos decir que los lados del ngulo SOT sirven de envoltura para
las circunferencias K
A
.
La semirrecta l es la bisectriz del ngulo SOT. El ngulo entre la semir-
recta l y una de las semirrectas OS, OT, se denomina ngulo caracterstico
para el automvil supersnico. Puesto que en el tringulo OAE de la gura
2.8 tenemos que OA = vt, AE = ut y OE =
_
(vt)
2
(ut)
2
= t

v
2
u
2
sin =
AE
OA
=
ut
vt
=
u
v
tan =
AE
OE
=
ut
t

v
2
u
2
=
u

v
2
u
2
De esta manera, conociendo las velocidades u y v, se puede calcular la
magnitud del ngulo caracterstico.
2.1. ENVOLTURAS 15
2.1.1. Determinacin de las envolturas
La bsqueda de las envolturas generalmente se efecta mediante la ope-
racin de diferenciacin. Sea f(x, y, a) = 0 una familia de curvas, cada valor
de a da una curva de la familia. Considrese el sistema
f(x, y, a) = 0 (2.11)
f

a
(x, y, a) = 0
Cada punto de la envoltura satisface la ecuacin que se obtiene del sistema
anterior al eliminar el parmetro a ([5] pp. 98-99, [2] pp. 61-64, [4] pp. 570-
571).
Si la familia de curvas esta determinada mediante dos ecuaciones con dos
parmetros a y b.
f(x, y, a, b) = 0
g(a, b) = 0
Entonces cada punto de la envoltura satisface a la ecuacin que se obtiene
del sistema
f(x, y, a, b) = 0
g(a, b) = 0 (2.12)
f

a
g

b
g

a
f

b
= 0
omitiendo los parmetros a y b ([2] p. 64).
Cabe mencionar que la curva determinada por la ecuacin que se obtiene
de eliminar los parmetros en los sistemas (2.11) y (2.12) se compone de la
envoltura y del lugar geomtrico de los puntos singulares
2
de todas las curvas
de la familia ([2] p. 70).
Ejemplo 1. Hallar la envoltura de la familia de crculos K
A
con centro
en A = (vt, 0) y radio

u
2
t
2
h
2
de la zona de audibilidad que se analiz
antes
(x vt)
2
+y
2
= u
2
t
2
h
2
2
Son puntos singulares: los puntos aislados; aquellos en los que la curva se corta a si
misma; o bien, las puntos en los que la curva es tangente a si misma.
16 CAPTULO 2. FAMILIAS DE CURVAS
Haciendo a = vt y c =
v
u
h se puede transformar a esta familia en
f(x, y, a) = a
2
_
1
h
2
c
2
_
2ax + (x
2
+y
2
+h
2
) = 0
Cada valor de a da una curva de esta familia. La derivada de f(x, y, a) con
respecto de a es
f

a
(x, y, a) = 2a
_
1
h
2
c
2
_
2x
De acuerdo a lo dicho con relacin al sistema (2.11), para determinar la
envoltura debemos eliminar a en el sistema
a
2
_
1
h
2
c
2
_
2ax + (x
2
+y
2
+h
2
) = 0
2a
_
1
h
2
c
2
_
2x = 0
Despejando a de la segunda ecuacin y substituyndola en la primera ecuacin
llegamos a
h
2
x
2
c
2
h
2
y
2
= h
2
dividendo entre h
2
obtenemos
x
2
c
2
h
2

y
2
h
2
= 1
que es la ecuacin de la envoltura y representa una hiprbola.
Ejemplo 2. Examinemos la familia de trayectorias de los proyectiles que
estudiamos al inicio de esta seccin dadas por las ecuaciones paramtricas
(2.3) y (2.5)
x = (v
o
cos )t
y = (v
o
sin )t
gt
2
2
despejando t de la primera de estas ecuaciones y substituyndola en la se-
gunda, obtenemos la ecuacin cartesiana de la familia de trayectorias, mul-
tiplicando esta ecuacin por 2v
2
o
cos
2
llegamos a
gx
2
2(v
o
cos )(v
o
sin )x + 2(v
2
o
cos
2
)y = 0
2.1. ENVOLTURAS 17
nalmente, haciendo a = v
o
cos y b = v
o
sin
f(x, y, a, b) = gx
2
2abx + 2a
2
y = 0
g(a, b) = a
2
+b
2
v
2
o
= 0
Para encontrar la envoltura a la familia de curvas determinadas por dos ecua-
ciones con dos parmetros, aplicamos lo correspondiente al sistema (2.12).
Calculamos las derivadas:
f

a
= 2bx + 4ay, f

b
= 2ax, g

a
= 2a, g

b
= 2b
Para hallar la ecuacin de la envoltura debemos eliminar a y b del sistema
gx
2
2abx + 2a
2
y = 0
a
2
+b
2
v
2
o
= 0 (2.13)
2aby + (a
2
b
2
)x = 0
Multiplicando por b la primera de estas ecuaciones y por a la tercera y
sumndolas obtenemos
gbx
2
a(a
2
+b
2
)x = 0
De la segunda ecuacin del sistema (2.13) tenemos que a
2
+ b
2
= v
2
o
, substi-
tuyendo en la ecuacin anterior llegamos a
gbx
2
av
2
o
x = 0
La recta x = 0 no pertenece a la envoltura (segn se observa en la gura 2.3)
pues claramente que x = 0 no es solucin del sistema (2.13), as
gbx av
2
o
= 0
despejando a de esta ecuacin y substituyndola en la tercera ecuacin del
sistema (2.13) llegamos a la ecuacin de la envoltura
y =
v
2
o
2g

gx
2
2v
2
o
la cual coincide con la de la parbola de seguridad cuyas ecuaciones paramtri-
cas (2.6) se dieron antes.
18 CAPTULO 2. FAMILIAS DE CURVAS
2.2. Custicas
Cuando una luz se reeja desde un espejo en otra supercie frecuente-
mente se observa una curva de luz brillante en la supercie, esta curva es
llamada custica, de la idea de quemar.
Un basto ejemplo de envolturas son las curvas custicas, que aunque pare-
cen producto de la ptica, pertenecen completamente a la teora de curvas.
Son de inters histrico por hacer surgir las primeras preguntas.
Una curva custica es la envoltura de rayos de luz emitidos de un punto
reejados (catacustica) o refractados (diacustica) en una curva dada.
Los rayos de luz pueden estar a una distancia nita (como una llama) o
prcticamente a distancia innita (como el sol).
Las curvas custicas fueron introducidas en 1682 por el matemtico alemn
Ehrenfried Walter von Tschirnhaus (1651-1708), quien trabaj en geometra
diferencial y construy espejos con un gran poder para quemar. Asimis-
mo fueron estudiadas por Christiaan Huygens (1629-1695), Jakob Bernoulli
(1654-1705), Johann Bernoulli (1667-1748), LHpital (1661-1704), Adolphe
Qutelet (1796-1874), Joseph Louis Lagrange (1736-1813) y otros.
Son ejemplos de stas: las curvas luminosas que se ven en la supercie de
una taza de leche (ver gura 2.9, que se adopt de la red de internet) y los
patrones de luz en el fondo de una alberca.
Figura 2.9: Cardioide formada por rayos de luz reejados en una taza de
leche.
Pertenecen a esta familia la cardioide (es la catacustica de un crculo
con un punto radiante en su circunferencia), la nefroide (es la catacustica
de un crculo en el que se reejan rayos paralelos, o bien, catacustica de una
cardioide con un punto radiante en el vrtice), etctera.
2.2. CUSTICAS 19
Por la forma en como se obtienen, se pueden considerar como curvas
derivadas o asociadas.
No siempre una fuente de luz reejada (o refractada) en una curva genera
otra curva. Por ejemplo, los rayos de luz reejados desde el foco de una
parbola no se intersectan, por lo tanto su envoltura no forma ninguna curva.
Actualmente existe software que simula los efectos visuales de las custi-
cas generadas por el reejo de los rayos del sol en el agua
3
.
2.2.1. Un ejemplo del clculo de una custica
Sea x
2
+ y
2
= 1 una circunferencia. Supongamos que rayos paralelos
verticales son reejados por esta circunferencia. Estos producen una nueva
familia de lneas rectas (ver gura 2.10 A). Encuentre la ecuacin de esta
custica [5].
Figura 2.10: (A) Custica de un crculo; (B) Un rayo reejado
Para representar la familia de rayos reejados elegimos como parmetro
el ngulo entre el rayo y el radio del crculo. De la gura 2.10 B, se puede
ver que la pendiente del rayo reejado es tan(2

2
) =
cos 2
sin2
y que la
ecuacin de la recta del rayo reejado es
y =
1
2 cos
x
cos 2
sin 2
=
1
2 cos
+
x
2
_
sin
cos

cos
sin
_
(2.14)
La custica es a n de cuentas una envoltura, as de la segunda ecuacin del
3
Para informacin respecto al software se recomienda consultar la siguiente direccin
en la red de internet http://www.lysator.liu.se/~kand/caustics/.
20 CAPTULO 2. FAMILIAS DE CURVAS
sistema (2.11) de la seccin anterior tenemos que
f

(x, y, ) =
sin
2 cos
2

+
x
2 cos
2
sin
2

= 0
de donde
x = sin
3
(2.15)
substituyendo en la ecuacin 2.14 llegamos a
y =
1
2
_

1
cos
+
sin
4

cos
sin
2
cos
_
= cos
_
1
2
+ sin
2

_
(2.16)
esta ecuacin junto con la ecuacin 2.15 son las ecuaciones paramtricas de
la custica. Para quitar el parmetro despejamos sin de la ecuacin 2.15,
de la relacin sin
2
+ cos
2
= 1 despejamos cos y los substituimos en la
ecuacin 2.16, obtenemos
y =
_
1 x
2
3
_
1
2
+x
2
3
_
que es la ecuacin cartesiana de la custica y representa una nefroide, como
se dijo antes en esta seccin (ver gura 2.11).
1 0.5 0 -0.5 -1
0.5
0
-0.5
x
y
x
y
Figura 2.11: Nefroide
2.3. Rodamientos y resbalamientos
Pertenecen a esta familia las curvas que se obtienen por rodamientos. Mas
especcamente, las que se obtienen como lugar geomtrico de un punto a
distancia h del centro de un crculo de radio b que rueda: sobre una recta
2.3. RODAMIENTOS Y RESBALAMIENTOS 21
ja; en el exterior de un crculo jo de radio a; o en el interior de un crculo
jo de radio a. En esta familia se encuentran las cicloides, epicicloides (como
la cardioide y la nefroide), hipocicloides (como la astroide y la deltoide),
epitrocoides, hipotrocoides, etctera.
Tambin pertenecen a esta familia las curvas que se obtienen por resba-
lamientos, como la astroide.
2.3.1. Cicloides
Un crculo de radio a rueda, sin resbalar, sobre una recta. Por qu curva
se mueve un punto jo P = (x, y) a distancia h, h > a del centro del crculo
que rueda?
Figura 2.12: Cicloide alargada
Como se observa en la gura 2.12, cos(t

2
) =
u
h
, por lo que
u = hcos(t

2
) = hsin t
As la coordenada x del punto jo sobre el crculo es x = at u = at hsin t.
Por otro lado, sin(t

2
) =
v
h
, de donde
v = hsin(t

2
) = hcos t
por lo que la coordenada y del punto jo es y = a + v = a hcos t. Las
coordenadas x y y obtenidas son las ecuaciones paramtricas de la cicloide
alargada. Substituyendo h por la distancia del origen del crculo que rueda
al punto jo P = (x, y) se obtienen las ecuaciones paramtricas correspon-
dientes a la cicloide de que se trate: cicloide alargada si h > a (ver gura
2.12), cicloide si h = a (ver gura 2.13) y cicloide acortada si h < a (ver
gura 2.14).
22 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.13: Cicloide
Figura 2.14: Cicloide acortada
2.3.2. Epicicloides y epitrocoides
Por qu curva se mueve un punto jo a un crculo de radio b que rueda
sin resbalar en el exterior de un crculo de radio a? Si el punto est en la
circunferencia del crculo que rueda, la curva generada es una epicicloide; si
el punto generador no est en la circunferencia, la curva es una epitrocoide.
Sea el punto generador aquel en donde se tocan los dos crculos y sea el
eje x la recta por la que pasan a los centros de los dos crculos y el punto ge-
nerador. Considrese otra posicin del crculo que rueda, ver gura 2.15. Sea
H = (x, y) el punto generador; sean BF = a, FG = b, FBC = , JGF =
, GH = c; como CF = FJ, a = b; GHK = ( +) = .
cos =
BD
BG
cos =
KH
GH
BD = BGcos KH = GH cos
BD = (a +b) cos KH = c cos( ( +)) = c cos( +)
Por lo que la coordenada x del punto H es
x = BD +KH = (a +b) cos c cos( +)
sin =
GD
BG
sin =
GK
GH
GD = BGsin GK = GH sin
GD = (a +b) sin GK = c sin( ( +)) = c sin( +)
2.3. RODAMIENTOS Y RESBALAMIENTOS 23
Figura 2.15: Epicicloide - Epitrocoide
As la coordenada y de H es
y = GDGK = (a +b) sin c sin( +)
si a +b = mb
a = (m1)b
(m1)b = b
= (m1)
+ = m
y las coordenadas de H son
x = mb cos c cos m
y = mb sin c sinm
Las ecuaciones paramtricas de la epicicloide se obtiene al hacer c = b,
mb = a +b y m =
a+b
b
as
x = (a +b) cos b cos
a +b
b
(2.17)
y = (a +b) sin b sin
a +b
b

2.3.3. Hipocicloides e hipotrocoides
Estas pueden ser generadas por un punto enlazado a un crculo de radio
b que rueda sin resbalar en el interior de un crculo de radio a. Como antes,
24 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.16: Hipocicloide - Hipotrocoide
si el punto est en la circunferencia del crculo que rueda, la curva es una
hipocicloide. Si no, la curva es una hipotrocoide.
Sea el punto generador el punto de interseccin de los dos crculos y sea
el eje x la recta que pasa por el punto generador y el centro de los dos
crculos. Considrese otra posicin del crculo que rueda, ver gura 2.16. Sea
F = (x, y) el punto generador; OH = a, GH = b, HOC = , HGD = ,
GF = d; como DH = HC, a = b; FGE =

2
( ) = .
Procediendo como antes, las coordenadas de F son
x = OA+EF = (a b) cos +d cos( )
y = GAGE = (a b) sin d sin( )
si a b = mb, entonces
x = mb cos +d cos m
y = mb sin d sin m
Haciendo d = b, mb = ab y m =
ab
b
se obtienen las ecuaciones paramtricas
de la hipocicloide
x = (a b) cos +b cos
a b
b
(2.18)
y = (a b) sin b sin
a b
b

Si en estas ecuaciones se reemplaza b por b, se obtienen las ecuaciones
paramtricas de la epicicloide y viceversa.
2.3. RODAMIENTOS Y RESBALAMIENTOS 25
Cuando
a
b
es racional, despus de un cierto nmero de revoluciones, el
punto generador regresa a una posicin anterior, la curva es cerrada, y al-
gebraica; pero si
a
b
no es racional, el punto generador nunca regresar a la
misma posicin y la curva ser trascendente.
Todas las curvas antes mencionadas fueron trazadas por un punto rgida-
mente sujeto a un crculo que rueda sin resbalar sobre una recta, sobre un
crculo, o en el interior de un crculo. Es una extensin natural pensar en
qu curva trazar un punto jo sujeto a un crculo, si el crculo rueda sobre
alguna otra curva. Se observa que esta forma de generar curvas producir
una innidad de ellas.
2.3.4. Escaleras que resbalan [13]
Una escalera situada sobre el suelo liso y apoyada con un extremo en la
pared se desliza hacia abajo. Por qu curva se mueve el peldao en el centro
de la escalera (gura 2.17)?
Figura 2.17: Escalera que resbala
Nuestro problema es hallar el conjunto de centros de un segmento de
longitud dada, cuyos extremos resbalan sobre una pared vertical y el piso.
Tracemos el punto medio del segmento en varias de las posiciones de su res-
balamiento (ver gura 2.18 A) para darnos una idea de la curva en cuestin.
Para determinar de que curva se trata establezcamos un sistema de coor-
denadas, tomando a los ejes x y y como el suelo y la pared respectivamente.
Sea d la longitud de la escalera y el ngulo de inclinacin de sta con res-
pecto al suelo (gura 2.18 B). El peldao en el centro de la escalera est en
el punto medio del segmento de longitud d, as y =
d
2
sin , y x =
d
2
cos
para 0

2
.
26 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.18: Varias posiciones de la escalera en las que est sealado el punto
medio de sta
Figura 2.19: Varias posiciones de la escalera en la que est marcado un punto
jo que no est en el centro de la escalera
x
2
+y
2
=
_
d
2
_
2
El conjunto de puntos que satisfacen esta ecuacin es una circunferencia.
Formulemos la pregunta anterior ms ampliamente. Por qu curva se
mover un peldao de la escalera que no est en el centro de la escalera?
En la gura 2.19 A estn dibujados algunos puntos de la curva que des-
cribe el peldao (que no est en el centro) de la escalera al resbalar sta.
Consideremos ahora que la longitud de la escalera est dividida en dos partes
a y b, es decir, d = a +b (ver gura 2.19 B). Como antes, determinamos las
coordenadas de (x, y), y = b sin y x = a cos para 0

2
.
x
2
a
2
+
y
2
b
2
= 1
En este caso el conjunto de puntos cuyas coordenadas satisfacen esta
2.3. RODAMIENTOS Y RESBALAMIENTOS 27
ecuacin es una elipse.
1 0
1
0
Figura 2.20: Barra de longitud uno que resbala en una pared vertical
La astroide como envoltura de una escalera que resbala
Consideremos una escalera de longitud uno que resbala a lo largo de una
pared vertical. Sean (0, a) y (

1 a
2
, 0) los extremos de la escalera, a [0, 1].
La distancia entre estos dos puntos es uno. Si conectamos estos puntos con
una lnea recta
y = a
ax

1 a
2
(2.19)
obtenemos una innidad de rectas las cuales crean una interesante curva, ver
gura 2.20. El problema es calcular esta curva. La envoltura a la familia de
curvas dada por la ecuacin 2.19 al variar el parmetro a, nos da la ecuacin
de la curva en cuestin. Empleando una vez ms el sistema (2.11) de la
seccin 2.1.1 tenemos
f(x, y, a) = a
ax

1 a
2
y = 0
f

a
(x, y, a) = 1 +
x

1 a
2
a
2
x(1 a
2
)

1
2
1 a
2
= 0
despejando a de la segunda ecuacin del sistema tenemos
a =
_
1 x
2
3
substituyendo el valor de a en la primera ecuacin del sistema llegamos a
x
2
3
+y
2
3
= 1
que es la ecuacin de la curva generada por la escalera de longitud uno que
resbala a lo largo de una pared vertical, la cual resulta ser una astroide (gura
2.21).
28 CAPTULO 2. FAMILIAS DE CURVAS
1 0 -1
1
0
-1
x
y
x
y
Figura 2.21: Astroide
La astroide como envoltura de una familia de elipses
Encuentre la envoltura a la familia de elipses
x
2
c
2
+
y
2
(a c)
2
= 1
con parmetro c, la suma de cuyos ejes es la constante a > 0, c (0, a), ver
gura 2.22.
Figura 2.22: Familia de elipses
y = (a c)
_
1
x
2
c
2
Para obtener la ecuacin de la envoltura empleemos el sistema (2.11) de
la seccin 2.1.1
f(x, y, c) = (a c)
_
1
x
2
c
2
y = 0
f

c
(x, y, c) =
(a c)x
2
c
3
_
1
x
2
c
2

_
1
x
2
c
2
= 0
2.4. PROPIEDADES GENERALES 29
despejando c de la segunda ecuacin obtenemos
c = (ax
2
)
1
3
substituyendo en la primera ecuacin llegamos a
x
2
3
+y
2
3
= a
2
3
que es la ecuacin de la astroide.
2.4. Propiedades Generales
En esta seccin veremos cmo a partir de una curva dada se puede obtener
su evoluta, involuta con respecto a un punto, inversa con respecto a un crculo
y pedal con respecto a un punto.
2.4.1. Evolutas
El concepto de evoluta se origin con Huygens (1673). Sin embargo, se
remonta a Apolonio de Perga (262-190 antes de J. C. aproximadamente) en
el ao 200 antes de J. C. donde aparece en el libro V de sus Secciones Cnicas
([14] p. 86, [3]).
Figura 2.23: Evoluta
La evoluta de una curva es el lugar geomtrico de sus centros de curvatura.
Ver gura 2.23. Si (, ) es este centro
= x R. sin
= y +Rcos
30 CAPTULO 2. FAMILIAS DE CURVAS
donde R es el radio de curvatura, el ngulo tangencial y (x, y) es un punto
de la curva dada. Las cantidades x, y, R y pueden ser expresadas en
trminos de una sola variable la cual acta como parmetro en la ecuacin
de la evoluta.
Asimismo, la evoluta es la envoltura de las normales de una curva dada.
A continuacin se presenta un par de deniciones que se requieren para
calcular la evoluta de una curva dada ([14] p.86, [8] pp. 483, 500,501 y 503,
[5] p. 103).
Denicin. Sea f : I R R
2
, f(t) = (x(t), y(t)) un camino regular
4
dos veces diferenciable. Se dene la curvatura (con signo) de f en t como
k(t) =
x(t)y(t) x(t)y(t)
((x(t))
2
+ (y(t))
2
)
3
2
Denicin. Sea f : I R R
2
, f(t) = (x(t), y(t)) un camino regular
dos veces diferenciable. Para los puntos p(t) R
2
de la curva que describe f
en los cuales la curvatura k(t) es no nula, se dene el radio de curvatura de
f en p denotado por r(t), como r(t) =
1
|k(t)|
. Se llama crculo osculador de la
curva en p al crculo que pasa por p, tiene radio igual a r(t) y cuyo centro se
encuentra en
_
x(t)
y(t)
k(t) f(t)
, y(t) +
x(t)
k(t) f(t)
_
(2.20)
Ejemplo. Determine la evoluta de f : R R
2
, f(t) = (t, t
2
). De acuerdo
con la denicin antes dada la curvatura de esta funcin es
k(t) =
2
(1 + 4t
2
)
3
2
por otro lado f(t) = (x(t), y(t)) = (1, 2t). As que f(t) =

1 + 4t
2
.
Como la evoluta de una curva es el lugar geomtrico de los centros de cur-
vatura, substituyendo en la ecuacin 2.20 el valor de las funciones se llega a
la ecuacin de la evoluta.
_
t
2t
2
(1+4t
2
)
3/2

1 + 4t
2
, t
2
+
1
2
(1+4t
2
)
3/2

1 + 4t
2
_
=
_
4t
3
,
1
2
+ 3t
2
_
En la gura 2.24 estn la funcin f y con lnea gruesa su evoluta, es decir,
la grca de la funcin
_
4t
3
,
1
2
+ 3t
2
_
.
4
Un camino es regular si la primera derivada de las funciones coordenadas de f son
continuas y f(t) = 0 (vector 0 de R
2
) para toda t I.
2.4. PROPIEDADES GENERALES 31
Figura 2.24: Parbola y su evoluta
Figura 2.25: La catenaria y su involuta
2.4.2. Involutas
La involuta de un crculo fue discutida y utilizada por Huygens en 1673
en relacin con sus estudios de un reloj sin pndulo para el servicio de barcos
en el mar.
Para obtener la involuta de una curva con respecto a un punto en sta,
considrese la tangente a la curva en ese punto. Sea ese punto un punto jo
sobre la recta tangente. La involuta es la trayectoria del punto jo sobre la
recta tangente, cuando la recta gira sobre la curva.
Siempre ocurre que si E es la evoluta de la curva C, entonces C es una
involuta de E ([14] p. 135, [3], [7] pp. 166-171).
Ejemplo. La involuta de la catenaria cuya ecuacin cartesiana es
y = cosh x
con respecto al punto (0,1) es la tractriz cuya ecuacin cartesiana es
x = ln
_
1 +
_
1 y
2
y
_

_
1 y
2
ver gura 2.25, en ella estn la catenaria y su involuta con lnea gruesa.
32 CAPTULO 2. FAMILIAS DE CURVAS
Para dibujar una involuta
La involuta de una curva dada puede dibujarse aproximadamente como
sigue. Dibujar un nmero de tangentes a la curva dada. Con centro en la
interseccin de dos tangentes consecutivas dibujar un arco que pase a travs
del punto de contacto de una de ellas (ver gura 2.26), continuar as.
El error en este mtodo se debe al hecho de que la longitud de arco de la
curva original es remplazada por la suma de los segmentos de las tangentes,
la cual es mayor a la verdadera longitud de arco, pero el error puede ser tan
pequeo como se desee tomando las tangentes sucientemente juntas.
Figura 2.26: Involuta Aproximada
2.4.3. Inversa con respecto a un crculo
La inversin geomtrica parece deberse a Jakob Steiner (1796-1863), quien
mostr conocimiento del tema en 1824. En 1825 Lambert Adolphe Jacques
Quetelet dio algunos ejemplos. En apariencia fue descubierta de manera inde-
pendiente por Giusto Bellavitis (1803-1880) en 1836, y por William Thomson
(Lord Kelvin) en 1845, quien la emple con notable xito en sus investiga-
ciones elctricas.
Considere un crculo con centro 0 y radio k. Dos puntos A y B colineales
con 0 (gura 2.27), son mutuamente inversos con respecto a este crculo si
(0A)(0B) = k
2
En coordenadas polares con 0 como polo, esta relacin es
r. = k
2
2.4. PROPIEDADES GENERALES 33
Figura 2.27: Inversa con respecto a un crculo
Dos curvas son mutuamente inversas si cada punto de una tiene un inverso
que pertenece a la otra ([14] p. 127, [7] p. 177).
Ejemplo. Pruebe que la parbola y
2
= bx es la inversa de la cisoide
y
2
=
x
3
2ax
con respecto al crculo de radio

2ab con centro en el origen
(gura 2.27). Haciendo
x = r cos
y = r sin
se obtienen las ecuaciones polares de la parbola r =
b cos
sin
2

y la cisoide =
2a tan sin. Al realizar el producto de r por , llegamos a que
r = 2ab
por lo que la parbola y la cisoide dadas son mutuamente inversas con res-
pecto al crculo de radio

2ab con centro en el origen.
2.4.4. Curvas pedal
La idea de las curvas pedal positiva y negativa se le ocurri a Colin
Maclaurin (1698-1746) en 1718. El nombre de pedal se debe a Terquem.
La teora de las curvas custicas incluye a las pedal (Quetelet, 1822) ([14]
pp. 160-165, [7] pp.152-159).
El lugar geomtrico G de los pies de las perpendiculares de un punto jo
P (el punto pedal) sobre la tangente a una curva dada C es la pedal positiva
de C con respecto al punto jo P (gura 2.28). La curva dada C es la pedal
negativa de G. O bien: Dada una curva y un punto jo 0, dibuje la tangente a
un punto P cualquiera en la curva, marque un punto Q en la tangente tal que
34 CAPTULO 2. FAMILIAS DE CURVAS
Figura 2.28: Pedal positiva
las rectas PQ y 0Q sean perpendiculares, repita las dos ltimas instrucciones
para cada punto P en la curva. El lugar geomtrico de Q es la pedal positiva
(o pedal) de la curva dada con respecto al punto 0. Pedal negativa. Dada
una curva y un punto jo 0, dibuje una recta de 0 a cualquier punto P en
la curva, dibuje una perpendicular a la recta 0P que pase por P, repita las
dos ltimas instrucciones para cada punto P en la curva. La envoltura de las
rectas es la pedal negativa de la curva dada con respecto al punto 0.
Ejemplo. La pedal de una parbola con respecto a su foco es una recta.
A la inversa, la pedal negativa de una recta con respecto a un punto fuera
de ella es una parbola, ver gura 2.29.
Figura 2.29: A la izquierda la pedal positiva de la parbola con respecto a
su foco. A la derecha la pedal negativa de una recta con respecto a un punto
fuera de ella.
Captulo 3
Galera de curvas
3.1. Astroide
Figura 3.1: La astroide
Buscando la mejor forma para los dientes de los engranes Olaf Roemer
(1644-1710), astrnomo dans, descubri en 1674 las curvas cicloidales ([9]
p. 284), una de las cuales es la astroide. La generacin doble fue observada
primero por Daniel Bernoulli (1700-1782) en 1725 ([14] pp. 1-3, [7] pp. 52-61,
[6] pp. 173-174, [4] p. 655, [3]).
Astroide es una palabra para nombrar un asteroide (del griego aster,
astro, y eidos, forma), objeto celestial en una rbita alrededor del sol, de
tamao intermedio entre un meteorito y un planeta.
La astroide adquiri ste nombre, en un libro publicado en Viena, en [7]
(p.61) se dice que el libro se public en 1938, sin embargo segn la pgi-
na de internet http://www.daviddarling.info/encyclopedia/A/astroid.html el
libro se public en 1836 por Karl Ludwing von Littrow. An despus de la
35
36 CAPTULO 3. GALERA DE CURVAS
publicacin de dicho libro fue conocida por otros nombres como cubocicloide,
paracicloide, curva de cuatro vrtices, etc. Johann Bernoulli y Jean Le Rond
dAlembert (1717-1783) trabajaron con esta curva en 1691 y 1748 respectiva-
mente. La ecuacin cartesiana de la astroide se encontr en correspondencia
de Leibniz de 1715.
Ecuaciones
La ecuacin cartesiana de la astroide es:
x
2
3
+y
2
3
= a
2
3
Las ecuaciones paramtricas de la astroide son:
1
x = a cos
3
t = (
a
4
)(3 cos t + cos 3t)
y = a sin
3
t = (
a
4
)(3 sin t sin 3t)
La astroide es una hipocicloide de cuatro vrtices. Curva que describe un
punto jo en un crculo de radio
a
4
rodando en el interior de un crculo jo
de radio a (gura 3.2 A).
Figura 3.2: (A) Astroide; (B) Generacin doble de la astroide
O bien, lugar geomtrico de un punto en un crculo de radio
3a
4
rodando
en el interior de un crculo de radio a, esta descripcin recibe el nombre de
generacin doble (gura 3.2 B).
1
Se dedujeron en la seccin 2.3.3, b =
a
4
en las ecuaciones (2.18).
3.1. ASTROIDE 37
La envoltura de una barra de longitud a que resbala a lo largo de una
pared vertical, genera tambin a la astroide (ver gura 3.6), como se demostr
en la seccin 2.3.4.
Un aparato mecnico compuesto de una barra ja con extremos resba-
lando en dos vas perpendiculares es llamado trasmallo de Arqumedes (ver
gura 3.3, adoptada de la red de internet), as la astroide es la envoltura de
un trasmallo de Arqumedes.
Figura 3.3: Trasmallo de Arqumedes
Asimismo, la astroide es la envoltura de la familia de elipses
x
2
c
2
+
y
2
(a c)
2
= 1
con parmetro c, la suma de cuyos semiejes es constante e igual a a, 0 < c < a
(gura 3.4), como se vio al nal de la seccin 2.3.4.
Figura 3.4: La astroide como envolvente de elipses
Propiedades de la astroide:
Longitud: 6a
38 CAPTULO 3. GALERA DE CURVAS
rea:
3a
2
8
Supercie de revolucin respecto al eje x:
12
5
a
2
Volumen de revolucin respecto al eje x:
32
105
a
3
Su evoluta es otra astroide, ver gura 3.5
Figura 3.5: Evoluta de la astroide
Denamos los ejes de la astroide por dos rectas perpendiculares que
pasan por sus vrtices. Propiedad: La longitud de la tangente cortada
por los ejes es la constante a (gura 3.6).
Figura 3.6: La longitud de la tangente cortada por los ejes es constante
Existen mquinas cuyo estator
2
tiene forma de astroide.
El logo del equipo de ftbol americano profesional Pittsburg Steelers con-
sta de tres astroides el de arriba es amarillo, el de en medio rojo y el de abajo
azul, ver gura 3.7 que se adopt de un documento publicado en la Wikipedia
de la red de internet.
2
Parte ja de una mquina rotatoria por oposicin a la parte mvil o rotor.
3.2. BRUJA DE AGNESI 39
Figura 3.7: Logo de los Pittsburgh Steelers
3.2. Bruja de Agnesi
Esta curva fue estudiada por Pierre de Fermat (1601-1665) en 1666 y
Luigi Guido Grandi (1671-1742) en 1703. En 1748 fue estudiada y nombrada
correctamente versiera por Mara Gaetana Agnesi (1718-1799) en su libro
Instituzioni Analitiche ad uso della giovent italiana ([3], [14] pp. 237-238, [6]
pp. 90-93). Respecto a este libro, un informe de la Academia de las Ciencias
de Paris declara:
Se requiere de mucha destreza y sagacidad para reducir, co-
mo el autor lo hizo, a mtodos casi uniformes estos hallazgos
dispersos en medio de los trabajos de matemticos modernos y
frecuentemente presentados por mtodos muy diferentes unos de
otros. Orden, claridad y precisin reinan en todo este trabajo. ...
Estimamos que este es el tratado ms completo y mejor hecho.
Mara Agnesi domin lenguajes como el latn, griego y hebreo a muy
temprana edad. A raz de la publicacin de su libro fue designada profesora
de matemticas de Bolonia por el Papa Benedicto XIV (1750), es probable
que ella no haya rechazado ni aceptado el cargo, sin embargo, su nombre
qued en los documentos de la universidad por cuarenta y cinco aos, a pesar
de que nunca fue a Bolonia. El nombre de la curva tiene una pintoresca
historia. Versiera es el nombre dado por Grandi, el cual signica libre
para moverse, viene de la palabra italiana la versiera. Al traducir el libro
de Agnesi el ingls John Colson tradujo incorrectamente la versiera por
laversiera palabra que signica bruja. Hoy en da la curva es conocida
como versiera, bruja de Agnesi, cbica de Agnesi y agnsienne.
40 CAPTULO 3. GALERA DE CURVAS
Dado un crculo jo con centro en (0,
a
2
) y radio
a
2
y dos rectas paralelas
y = 0 y y = a, las rectas son tangentes al crculo en 0 y K respectivamente.
Una secante 0A a travs del punto jo 0 corta al crculo en Q. Construya QP
perpendicular al dimetro 0K y AP paralelo a l. El punto P es un punto
de la Bruja de Agnesi (ver gura 3.8).
Figura 3.8: Bruja de Agnesi
La bruja es tambin el hiperbolismo
3
de un crculo, un punto jo en ste
y una recta tangente al crculo en el lado opuesto al punto jo.
Con a =
1

la curva se parece a la funcin de densidad Cauchy de proba-


bilidad.
Esta curva se parece a las curvas de resonancia. Por ejemplo las que sirven
para caracterizar (por medio de dos parmetros: la frecuencia de resonancia
y el factor de calidad de la cavidad) a un semiconductor que se encuentra
dentro de la cavidad de un microondas.
En la gura 3.8 se observa que la coordenada x del punto P es igual a la
del punto A, y que la coordenada y del punto P coincide con la del punto
Q. Por otra parte Q = (
a
2
cos ,
a
2
+
a
2
sin ). La ecuacin de la recta que pasa
por 0 y Q es:
y = x
1 + sin
cos
esta recta corta a la recta y = a en el punto A cuya coordenada x es:
x =
a cos
1 + sin
3
Dada una curva C
1
, un punto 0 y una recta L
1
, el hiperbolismo de C
1
es la curva C
2
formada por los puntos P tales que: si Q es un punto de C
1
, entonces la recta L
2
a travs
de 0Q intersecta a L
1
en A; si L
3
es una recta paralela a L
1
a travs de Q; entonces P es
la proyeccin de A en L
3
.
3.2. BRUJA DE AGNESI 41
as las coordenadas de cualquier punto P de la bruja de Agnesi son P =
(
acos
1+sin
,
a
2
(1 + sin )). Haciendo =

2
2t tanto en x como en y llegamos a
las ecuaciones paramtricas de la bruja de Agnesi:
x =
a cos
1 + sin
=
a cos(

2
2t)
1 + sin(

2
2t)
=
a sin 2t
1 + cos 2t
=
2a sin t cos t
1 + cos
2
t sin
2
t
= a tan t
y =
a
2
(1+sin ) =
a
2
(1+sin(

2
2t)) =
a
2
(1+cos 2t) =
a
2
(1+cos
2
tsin
2
t) = a cos
2
t
Ecuaciones
La ecuacin cartesiana de la bruja de Agnesi es:
y(x
2
+a
2
) = a
3
Las ecuaciones paramtricas de la bruja de Agnesi son:
x = a tan t, y = a cos
2
t
Propiedades de la bruja de Agnesi:
La recta y = 0 es una asntota de la curva
4
.
El rea entre la bruja y su asntota es cuatro veces el rea del crculo
jo dado (a
2
).
Tiene puntos de inexin en x = a/

3.
Una curva llamada la Seudobruja se produce duplicando las ordenadas de
la bruja. Esta curva fue estudiada por James Gregory (1638-1675) en 1658 y
usada por Leibniz en 1674 para derivar la expresin:

4
= 1
1
3
+
1
5

1
7
+...
4
Una recta y = L es llamada asntota horizontal para la grca de f si
lm
x+
f(x) = L o lm
x
f(x) = L
([1] p. 258).
42 CAPTULO 3. GALERA DE CURVAS
3.3. Cardioide
La cardioide es un caso especial del caracol de Pascal estudiado por Eti-
enne Pascal (1588-1640), padre de Blaise Pascal (1623-1662). Tambin es un
caso especial de las curvas cicloidales estudiadas por Roemer (1674) en una
investigacin de la mejor forma de los engranes([3], [7] pp. 34-43, [14] pp. 4-7,
[6] pp. 118-120).
El nombre de cardioide (del griego cardi, corazn, y eidos, forma) fue usa-
do primero por Johann Castillon (1704-1791) en The Philosophical Transac-
tions of the Royal Society de 1741. Su longitud fue encontrada por Philippe
de La Hire (1640-1718) en 1708.
La cardioide es la curva que dibuja un punto jo P en un crculo que
rueda sobre el exterior de un crculo jo de igual tamao (gura 3.9 A).
Figura 3.9: (A) Cardioide; (B) Generacin doble de la cardioide
O bien, es el lugar geomtrico de un punto jo P en un crculo de radio 2a
que rueda en el interior de un crculo jo de radio a, esta descripcin recibe
el nombre de generacin doble (gura 3.9 B).
La cardioide tambin puede obtenerse como:
La inversa de la parbola, con foco en el origen, con respecto a su foco
5
.
La pedal de un crculo con respecto a un punto en su circunferencia.
La custica de un crculo con un punto radiante en su circunferencia.
5
Considere el crculo con centro 0 y radio k. Dos puntos A y A, colineales con 0,
son mutuamente inversos con respecto a este crculo si (0A)(0A) = k
2
. En coordenadas
polares con 0 como polo (origen), esta relacin es r = k
2
([14] pp. 127-134, [7] pp.
177-181).
3.3. CARDIOIDE 43
Figura 3.10: Generacin de cremona de la cardioide
Figura 3.11: La cardioide como envolvente de crculos
Adems la curva puede ser vista como una espiral sinusoidal (con p =
1
2
)
o, como se dijo al inicio, como un caso especial del caracol de Pascal.
La cardioide es tambin la envoltura de cuerdas de un crculo. Sean 36
puntos igualmente espaciados en un crculo, etiquetados del 0 al 35. Conecte
los puntos 1 y 2, 2 y 4, 4 y 8, ...; 3 y 6, 6 y 12, ...; etctera. Esta construccin
se llama generacin de Cremona (gura 3.10).
Asimismo, la cardioide es la envoltura de los crculos que se describen a
continuacin. Se dibuja un crculo base y se marca en el un punto jo A. Con
centro en cualquier punto Q en el crculo base y radio QA, se dibuja otro
crculo. Se repite lo anterior para puntos Q uniformemente espaciados en el
crculo base. El punto A es el vrtice de esta cardioide (gura 3.11).
44 CAPTULO 3. GALERA DE CURVAS
Ecuaciones
La ecuacin cartesiana de la cardioide es:
(x
2
+y
2
2ax)
2
= 4a
2
(x
2
+y
2
)
Las ecuaciones polares de la cardioide son:
r = 2a(1 cos ), r = 2a(1 sin )
Las ecuaciones paramtricas de la cardioide son:
6
x = 2a cos t a cos 2t
y = 2a sin t a sin2t
Propiedades de la cardioide:
Longitud: 16a
rea: 6a
2
Supercie de revolucin respecto al eje x:
128
5
a
2
Volumen de revolucin respecto al eje x:
64
3
a
3
Su evoluta es otra cardioide (la ms pequea), ver gura 3.12.
La custica de una cardioide con un punto radiante en el vrtice es una
nefroide.
Figura 3.12: Evoluta de la cardioide
La cardioide puede ser usada como leva
7
. Si la cardioide es montada sobre
un eje en el vrtice y rotada con velocidad angular constante, una clavija,
3.3. CARDIOIDE 45
Figura 3.13: Leva en forma de cardioide
sujeta a un poste jo y sostenida en la cardioide, se mover con un movimiento
armnico simple, ver gura 3.13 ([14] p. 6).
Existen cardioides de billar. Las rbitas peridicas de la catica cardioide
de billar son estudiadas para introducir una dinmica binaria simblica.
Figura 3.14: Conjunto de Mendelbrot
La cardioide es la gura central grande del conjunto de Mandelbrot, ver
la gura 3.14, la cual se adopt tambin de la red de internet. El conjunto
de Mandelbrot es un fractal que esta denido como el conjunto de puntos c
en el plano complejo tales que:
z
o
= 0 y z
n+1
= z
2
n
+c converge.
6
Estas se dedujeron en la seccin 2.3.2, con b = a en las ecuaciones (2.17).
7
Rueda provista de un resalte o de una muesca, destinada a transmitir o a accionar el
movimiento de una mquina.
46 CAPTULO 3. GALERA DE CURVAS
3.4. Catenaria
Figura 3.15: Catenaria
La catenaria (del latn catena que signica cadena), tambin conocida
como Cadeneta o curva Funicular, describe la forma asumida por una cadena
perfectamente exible e inextensible de densidad uniforme colgando de dos
soportes y accionada por la gravedad. Fue investigada primero por Galileo
Galilei (1564-1642), quien arm que la curva era una parbola. Su error
fue detectado experimentalmente en 1669 por Joachim Jungius (1587-1657),
gemetra alemn ([9] pp. 287-289, [4] p. 654, [3], [14] pp. 12-14, [7] pp. 118-
124, [6] p. 195).
La verdadera ecuacin de la curva fue obtenida hasta 1690-1691 por Leib-
niz, Huygens y Johann Bernoulli, en respuesta a un desafo puesto por Jakob
Bernoulli para encontrar la ecuacin de la curva cadena. David Gregory,
profesor de Oxford, escribi un extenso tratado sobre la catenaria en 1697.
Huygens fue el primero en usar el trmino catenaria en una carta a Leibniz
en 1690.
Cuando la vela de un buque esta sujeta a dos barras horizontales y el
viento sopla en direccin perpendicular a las barras, la vela forma una cate-
naria.
Como antes se dijo, la catenaria es la forma asumida por una cadena
inextensible de densidad uniforme que est en reposo.
Asimismo, la catenaria puede obtenerse como la evoluta de la tractriz.
3.4. CATENARIA 47
Figura 3.16: Arco situado en el corazn de la ciudad de St. Louis Missouri,
Estados Unidos. En la fotografa de la izquierda, aparece adems el Antiguo
Palacio de Justicia.
En St. Louis, Missouri, Estados Unido existe un arco con la forma de
una catenaria invertida que mide 192 metros, tanto de alto como de ancho.
El interior del arco es hueco, contiene un sistema de transporte, escaleras
de emergencia y un rea de observacin en la cima. Fue diseado por el
arquitecto nlands-americano Eero Saarinen, en 1947. La construccin del
arco empez en febrero de 1963 y termin en octubre de 1965. La forma
del arco no es exactamente el de una catenaria invertida, Saarinen preri
una forma que fuera ligeramente alargada y ms delgada en la cima, para
transferir ms peso de la estructura abajo en lugar de en el exterior en la base.
Ver la gura 3.16 que se adopt de un documento publicado en la Wikipedia
de la red de internet.
La longitud de arco s medida desde el punto ms bajo (el cual situamos
en (0, a)) a cualquier punto en la catenaria, es proporcional a la tangente del
ngulo que forman la tangente horizontal (ya que la tangente en el punto
ms bajo es horizontal) con la tangente en el extremo superior. En cualquier
punto de la catenaria
s = a
dy
dx
(3.1)
48 CAPTULO 3. GALERA DE CURVAS
La longitud de arco tiene como base un tringulo rectngulo, en el cual dx y
dy son los lados, as ds
2
= dx
2
+dy
2
, por lo que para la ecuacin de la curva
debemos tener
s
2
+a
2
= a
2
ds
2
dx
2
dx
2
a
2
=
ds
2
s
2
+a
2
dx
a
=
ds

s
2
+a
2
(3.2)
Resolviendo esta ecuacin tenemos
x
a
= ln
_
s +

s
2
+a
2
_
+k
Sea k = ln
1
a
, as
x
a
= ln
_
s +

s
2
+a
2
_
+ ln
_
1
a
_
(3.3)
e
x
a
=
_
s +

s
2
+a
2
_
_
1
a
_
(3.4)
Por otro lado, multiplicando por 1 cada lado de la ecuacin 3.3 obtenemos

x
a
= ln
_
s +

s
2
+a
2
_
ln
_
1
a
_

x
a
= ln
_
s +

s
2
+a
2
_
1
+ ln
_
1
a
_
1

x
a
= ln
_
1
s +

s
2
+a
2
_
+ ln (a)
e

x
a
=
a
s +

s
2
+a
2
s

s
2
+a
2
s

s
2
+a
2
e

x
a
=
s +

s
2
+a
2
a
(3.5)
Sumando las ecuaciones 3.4 y 3.5 resulta que
e
x
a
+e

x
a
=
2

s
2
+a
2
a
(3.6)
3.4. CATENARIA 49
Ahora, despejando dy de la ecuacin 3.1 tenemos
dy =
sdx
a
Substituyendo en esta ecuacin el lado derecho de la ecuacin 3.2 obtenemos
dy =
sds

s
2
+a
2
resolviendo esta ecuacin llegamos a que
y =

s
2
+a
2
substituyendo el valor de

s
2
+a
2
en la ecuacin 3.6 obtenemos la ecuacin
cartesiana de la catenaria
e
x
a
+e

x
a
=
2y
a
y =
_
a
2
_
_
e
x
a
+e

x
a
_
La ecuacin cartesiana de la catenaria es:
y = a cosh
_
x
a
_
=
_
a
2
_ _
e
x
a
+e

x
a
_
Propiedades de la catenaria:
Leonhard Euler (1707- 1783) mostr en 1744 que una catenaria rotada
alrededor de su asntota genera un catenoide, la nica supercie de
revolucin mnima.
Su evoluta es la tractriz.
50 CAPTULO 3. GALERA DE CURVAS
3.5. Cicloide
Figura 3.17: Cicloide
Nicholas de Cusa (1401-1464) fue el primero en estudiar la cicloide, cuan-
do estaba intentando encontrar el rea de un crculo por integracin ([3], [14]
pp. 65-70, [9] pp. 275-278, [7] pp. 80-89, [6] pp. 192, 195).
Marin Mersenne (1588-1648) dio la primera denicin formal de la cicloide
en 1599 y estableci propiedades obvias tales como que la longitud de la base
es igual a la circunferencia del crculo que rueda. Intent encontrar el rea
bajo la curva por integracin pero fracas.
En 1599 Galileo Galilei dio nombre a esta curva. Trat de encontrar el
rea por comparacin de esta rea con la del crculo generador. Despus de
fallar, recurri a introducir cortes de pedazos de pesos de metal dentro de
la forma de la cicloide. Encontr que la razn de las pesos era aproximada-
mente tres a uno, pero decidi que no era exactamente tres, de hecho crey
(equivocadamente) que la razn no era racional.
Mersenne propuso el problema del rea al francs Gilles Personne de
Roberval (1602-1675) en 1628. ste fue resuelto por Roberval en 1634. Si
a = h entonces el rea bajo la curva de un arco es 3a
2
. Roberval orgulloso
de su resultado, le escribi a Ren Descartes (1596-1650) dndoselo. Descartes
replic que el resultado era uno bueno del cual no me haba dado cuenta
antes, que no causa dicultad a ningn gemetra moderadamente hbil.
Descartes ret a Roberval a encontrar un mtodo para dibujar una tan-
gente a la cicloide habiendo descubierto l mismo como construir una. Rober-
val fracas, pero Fermat, quien estaba incluido en el reto, tuvo xito.
Vale la pena notar que de manera independiente: Evangelista Torricelli
(1608-1647) descubri el rea de la cicloide; y Vincenzo Viviani (1622-1703)
encontr un mtodo para construir una tangente.
En 1658 Blaise Pascal resolvi los problemas del rea y el centro de
gravedad de cualquier segmento de la cicloide. Tambin resolvi los pro-
3.5. CICLOIDE 51
blemas del volumen y el rea de la supercie del slido de revolucin formado
por la rotacin de la cicloide respecto al eje x.
Pascal (bajo el nombre de Dettonville) public un reto ofreciendo dos
premios por la solucin de los dos primeros problemas antes mencionados.
El ingls John Wallis (1616-1703) y Antoine de Lalouvre (1600-1664) se en-
teraron. La solucin de Lalouvre fue errnea. Wallis no tuvo xito. Ren
de Sluze (1622-1685), Michelangelo Ricci (1619-1682), Huygens, Sir Chisto-
pher Wren (1632-1723) y Fermat comunicaron sus descubrimientos a Pascal
sin estar enterados de la competencia. La contribucin de Wren fue la ms
notable, encontr que la longitud de un arco es 8a.
El fsico holands Huygens descubri en 1659 que la cicloide es tautcrona
(llamada tambin iscrona), lo que signica que dos partculas de la misma
masa que caen en un arco cicloidal invertido de diferentes alturas alcanzan
el punto ms bajo en el mismo instante. El problema de la tautocrona es
la determinacin del tipo de curva a lo largo de la cual debe moverse una
partcula sujeta a una fuerza especca para producir un movimiento armni-
co. El perodo de este movimiento es 2. En 1673 Huygens demostr que la
cicloide es tautcrona, y determin su evoluta.
En 1692 Jakob Bernoulli y Johann Bernoulli mostraron que la cicloide es
la catacustica (custica por reexin) de un crculo cuando los rayos de luz
provienen de un punto en la circunferencia.
El problema de la braquistcronia (del griego brachistos, el menor, y
cronos, tiempo) es la determinacin de un camino a lo largo del cual una
partcula se mueve de un punto en un plano a otro, sujeta a una fuerza es-
pecca, en el menor tiempo posible. En junio de 1696 Johann Bernoulli ret
a su hermano Jakob Bernoulli (eran rivales) a resolver el problema. En di-
ciembre de 1696 Johann repiti su reto en el Acta eruditorum, pidiendo le
enviarn soluciones antes de la pascua de 1697. l ya saba que la cicloide era
braquistcrona y public su solucin en 1697. Adems de Johann y Jakob
Bernoulli tambin Leibniz, Newton y LHpital resolvieron el problema. ste
fue uno de los primeros problemas variacionales y su investigacin fue el
punto de arranque para el desarrollo del clculo de variaciones.
La cicloide puede obtenerse como la catacustica de un crculo en la que
la fuente de luz proviene de un punto en la circunferencia.
Asimismo la cicloide es el lugar geomtrico de un punto jo P a distancia
h del centro de un crculo de radio a que rueda, sin resbalar, a lo largo de
una lnea recta, si h = a (ver gura 3.17). Si h < a es una cicloide acortada
(ver gura 3.18), mientras que si h > a es una cicloide alargada (ver gura
52 CAPTULO 3. GALERA DE CURVAS
Figura 3.18: Cicliode acortada
Figura 3.19: Cicloide alargada
3.19).
Cabe sealar que mientras un tren se dirige de Mxico a Quertaro, hay
momentos en que las ruedas retroceden. Las ruedas de los trenes no son slo
discos, hay una saliente especial en cada una de ellas, ver gura 3.20. La
saliente evita que el tren se salga de la va. La parte ms baja de la rueda
es la que por momentos se mueve en direccin opuesta al rumbo del tren.
La curva por la que se mueve la parte ms baja de la rueda es una cicloide
alargada.
Figura 3.20: Rueda de un tren
3.5. CICLOIDE 53
Ecuaciones paramtricas de la cicloide:
8
x = at hsin t
y = a hcos t
Propiedades de la cicloide:
La longitud de un arco es 8a, y fue calculada por Sir Christopher Wren
en 1658.
Si a = h, el rea bajo un arco es 3a
2
, como lo determin Roberval en
1628.
Su evoluta es una cicloide en una posicin diferente.
Su involuta tambin es una cicloide en otra posicin.
Es tautcrona, esto es, dos partculas de la misma masa que caen en
un arco cicloidal invertido de diferentes alturas alcanzan el punto ms
bajo en el mismo instante.
Es braquistcrona, es decir, es la curva del ms rpido descenso. O bien,
el camino que une dos puntos jos que debe seguir una partcula para
recorrerlo en un tiempo mnimo es el de una cicloide.
La catacustica de un arco cicloidal cuando los rayos de luz son per-
pendiculares a su base est compuesta de dos arcos cicloidales ms
pequeos.
Huygens diseo un reloj con un pndulo de longitud variable. El pndulo
se mova entre dos molduras, ambas tenan la forma de una cicloide. Huygens
uso el hecho de que la involuta de una cicloide es la cicloide misma. En su
experimento Huygens uso tambin la involuta de un crculo en el pndulo
del reloj para aproximar la trayectoria de la cicloide. Sin embargo, el uso del
principio de tautocrona en el diseo del reloj plante demasiados problemas
mecnicos para hacerlo prctico.
Hay ruedas de engranes que tienen la forma de una cicloide.
8
Se dedujeron en la seccin 2.3.1.
54 CAPTULO 3. GALERA DE CURVAS
Con un propulsor Voith-Schneider, probado primero en 1927, un buque
puede maniobrar de manera precisa y moverse al lado. El propulsor gira
alrededor de un eje, vertical al movimiento, as el buque sigue la trayectoria
de una cicloide. La posicin de la hoja determina la direccin del buque, est
basado en el mismo principio que el mecanismo de la aleta de un pez. El
propulsor es llamado cicloidal o propulsor trocoidal.
3.6. Crculo
El estudio del crculo se remonta ms all de la historia registrada. Los
primeros teoremas relacionados con crculos se atribuyeron a Tales de Mileto
(624- 547 antes de J. C. aproximadamente) alrededor del ao 650 antes de
J. C. ([14] pp. 21-25, [6] pp. 65-66).
Uno de los problemas de los matemticos griegos fue el de encontrar un
cuadrado con la misma rea que un crculo dado. Anaxgoras (499-428 antes
de J. C.) en 450 a. de J. C. es el primer matemtico registrado que estudi
este problema.
El libro III de los Elementos de Euclides (325-265 antes de J. C. aproxi-
madamente) del ao 300 antes de J. C., trata de las propiedades del crculo.
El problema de encontrar el rea de un crculo condujo a la integracin.
El crculo es una seccin cnica. Menaechmus (380-320 antes de J. C.
aproximadamente) es famoso por su descubrimiento de las secciones cnicas.
l fue el primero en mostrar que las elipses, parbolas e hiprbolas se obtienen
cortando un cono con un plano no paralelo a la base. Menaechmus descubri
las secciones cnicas mientras intentaba resolver el problema de la duplicacin
del cubo.
Figura 3.21: Crculo
3.6. CRCULO 55
El crculo es la elipse cuyos ejes son de igual longitud. O bien la coleccin
de puntos en el plano que equidistan de un punto jo llamado centro.
Como se dijo antes, el crculo es la seccin cnica que se obtiene cortando
un cono con un plano paralelo a la base.
El crculo es la pedal de una hiprbola con respecto a uno (u otro) de sus
focos.
El crculo es una rosa de un ptalo. Las rosas son un tipo de hipotrocoides.
La rosa de un ptalo se obtiene haciendo c = 0 en la ecuacin paramtrica
del hipotrocoide.
Si en la ecuacin polar de la espiral sinusoidal p = 1, la espiral sinusoidal
en cuestin es un crculo.
Ecuaciones
La ecuacin cartesiana del crculo es:
x
2
+y
2
= a
2
Las ecuaciones paramtricas del crculo son:
x = a cos t, y = a sint
Propiedades del crculo:
La cardioide es la catacustica (custica por reexin) de un crculo
con un punto radiante es su circunferencia.
La catacustica de un crculo en el que se reejan rayos paralelos es la
nefroide.
El caracol de Pascal es la catacustica de un crculo en el que punto
radiante no est en su circunferencia.
La envoltura de crculos con centro en un crculo C, donde cada crculo
pasa a travs de un punto jo A en C, es la cardioide.
La forma de un crculo permanece intacta mientras damos una vuelta,
lo que la hace muy til como tapa para frascos. Y tambin para relojes con
manecillas que dan vuelta. La cabeza de un tornillo tambin es un crculo.
El hombre obtuvo grandes ventajas con el uso de la rueda.
56 CAPTULO 3. GALERA DE CURVAS
3.7. Cisoide de Diocles
sta curva fue descubierta por el griego Diocles (240 180 antes de J.
C. aproximadamente) para resolver la duplicacin del cubo o problema de
Delian: cunto debe incrementarse la arista de un cubo para duplicar el
volumen del cubo? Diocles tambin estudi el problema de Arqumedes de
cortar una esfera con un plano de manera que los volmenes de los segmentos
estuviesen en una proporcin dada. ([14] pp.26-30, [3], [7] pp.130-133, [4] p.
653.)
El nombre de cisoide (viene de una palabra griega que signica en forma
de hiedra) se mencion por el griego Geminus (10 antes de J. C. - 60 des-
pus de J. C. aproximadamente) en el siglo primero antes de J. C., esto es,
aproximadamente un siglo despus de la muerte de Diocles. Posteriormente
el mtodo usado para generar esta curva se generaliz, llamamos a las curvas
generadas de este modo cisoides.
En los comentarios del trabajo de Arqumedes On the Sphere and the
Cylinder la cisoide es atribuida a Diocles.
Roberval y Fermat construyeron la tangente de la cisoide (1634).
En 1658 Huygens y Wallis encontraron que el rea entre la curva y su
asntota es 3a
2
.
Figura 3.22: P es un punto de la cisoide de las dos curvas con respecto a O
Dadas dos curvas y un punto jo O. Sean Q y R las intersecciones de una
recta variable a travs de O con las curvas dadas. El lugar geomtrico de P
en esta recta tal que
OP = OR OQ = QR
es la cisoide de las dos curvas con respecto a O, ver gura 3.22.
3.7. CISOIDE DE DIOCLES 57
Figura 3.23: Cisoide generada por un crculo que se mueve a lo largo de una
recta
As la cisoide de dos crculos concntricos de radios r
1
, r
2
, con respecto a
su centro comn es un crculo con el mismo centro y radio |r
1
r
2
| .
La cisoide de un crculo de dimetro OA (radio a) y una recta tangente
al crculo en A con respecto al punto jo O es la cisoide de Diocles.
Se puede generar la cisoide de Diocles como el conjunto de puntos de
interseccin P de la recta OR con un crculo de radio a tangente en R a la
recta L que se obtienen cuando el crculo se mueve rgidamente a lo largo de
la recta L, ver gura 3.23.
Segn algunas consideraciones modernas en comn (Morris Kline, Thomas
L. Heath) aqu est cmo construy Diocles la curva en su libro Sobre Espe-
jos Ardientes: sean AB y CD dimetros perpendiculares de un crculo, ver
gura 3.24. Sea E un punto en el arco BC y Z un punto en el arco BD tal
que BE y BZ son iguales. Dibuje ZH perpendicular a CD. Dibuje ED. Sea
P la interseccin de ZH y ED. La cisoide es el lugar geomtrico de todos
los puntos P determinados por todas las posiciones de E en el arco BC y Z
en el arco BD con arco BE igual al arco BZ (la porcin de la curva que cae
fuera del crculo es una ltima generalizacin).
Tambin se puede generar la cisoide de Diocles de la siguiente manera:
considere dos parbolas iguales, pngalas vrtice con vrtice y ruede una a
lo largo de la otra. El vrtice de la parbola que rueda traza una cisoide de
Diocles.
Newton dio la siguiente construccin para la descripcin de esta curva por
58 CAPTULO 3. GALERA DE CURVAS
Figura 3.24: Construccin de la cisoide dada por Diocles
un movimiento continuo: Un ngulo recto tiene un lado GF de longitud ja,
el punto F se mueve a lo largo de la recta ja CI, mientras que el lado GH
pasa a travs del punto jo E; un lpiz en el punto medio de GF describir
la cisoide de Diocles, ver gura 3.25 ([9] pp. 182-183).
Figura 3.25: Construccin de la cisoide dada por Newton
Ecuaciones
La ecuacin cartesiana de la cisoide de Diocles es:
y
2
=
x
3
2ax
La ecuacin polar de la cisoide de Diocles es:
r = 2a tan sin
3.7. CISOIDE DE DIOCLES 59
Las ecuaciones paramtricas de la cisoide de Diocles son:
x =
2at
2
1+t
2
, y =
2at
3
1+t
2
Propiedades de la cisoide de Diocles:
La recta x = 2a es una asntota de la curva.
El rea entre la curva y su asntota es 3a
2
.
La cisoide es la inversa de la parbola y
2
= bx con respecto al origen
(radio de inversin

2ab ).
La pedal de una cisoide de Diocles con respecto a un punto P es la
cardioide. Si la asntota de la cisoide es la recta x = 1 y su vrtice el
origen, entonces P = (4, 0).
La custica de la cisoide cuando el punto radiante es (8a, 0) es una
cardioide.
La pedal de una parbola con respecto a su vrtice es la cisoide de
Diocles.
Si los puntos P y Q en la cisoide son tales que el ngulo POQ es recto
entonces el lugar geomtrico de interseccin de las tangentes a P y Q
cae en el crculo con dimetro (
a
2
, 0), (2a, 0).
Construccin de la tangente. Ver gura 3.26, A tiene la direccin de la
recta AC mientras que el punto de la escuadra en B se mueve en la
direccin BQ. Normales a AC y BQ en A y B respectivamente se en-
cuentran en el centro de rotacin, D. DP es as normal a la trayectoria
de P.
Duplicacin del cubo. Dado un segmento CB, con la ayuda de la cisoide
de Diocles, podemos construir un segmento CM tal que (longitud CM)
3
=
2(longitud CB)
3
.
60 CAPTULO 3. GALERA DE CURVAS
Figura 3.26: Construccin de la tangente a un punto P de la cisoide
Figura 3.27: Duplicacin del cubo con ayuda de la cisoide de Diocles
Descripcin paso a paso, ver gura 3.27
1. Dados dos puntos C y B.
2. Construya un crculo un con centro en C que pase por B.
3. Sean O y A en el crculo tales que la recta OA es perpendicular a la
recta CB.
4. Construya la cisoide de Diocles que se genera con el crculo antes dado
y la recta tangente al crculo en el punto A con respecto a O.
5. Construya un punto D tal que B sea el punto medio del segmento CD.
3.8. DELTOIDE 61
6. Construya la recta que pasa por A y D. Sea Q la interseccin de la
cisoide y la recta AD. (La interseccin no puede ser encontrada con
regla y comps.)
7. Sea M la interseccin de la recta CD y la recta OQ, (longitud CM)
3
=
2(longitud CB)
3
.
3.8. Deltoide
La tricspide o deltoide fue concebida primero por Leonhard Euler, matemti-
co suizo (1707- 1783), en 1745 en relacin con un estudio de curvas custicas.
E investigado en 1856 por otro matemtico suizo Jakob Steiner (1796-1863).
A veces es llamada hipocicloide de Steiner. El nombre de deltoide (de forma
de la letra griega delta mayscula) no es usado en todas partes ([3], [7] pp.
72-79, [14] pp. 71-74, [6] pp. 131-135).
Ecuaciones
La ecuacin cartesiana de la deltoide es:
(x
2
+y
2
+ 12ax + 9a
2
)
2
4a(2x + 3a)
3
= 0
Las ecuaciones paramtricas de la deltoide son:
9
x = 2a cos t +a cos 2t
y = 2a sin t a sin 2t
La deltoide es un hipocicloide de tres vrtices formada por un punto en
un crculo de radio a o 2a que rueda en el interior de un crculo jo de radio
3a. Se le llama generacin doble a la que ocurre cuando el radio del crculo
que rueda es 2a.
La deltoide tambin puede obtenerse como la envoltura de un dimetro
de un crculo de radio 2a que rueda en el interior de un crculo jo de radio
3a.
Steiner descubri en 1856 que la deltoide es la envoltura de las rectas de
Simson de un tringulo
10
. El centro de la deltoide es el centro del crculo de
9
Se dedujeron en la seccin 2.3.3.
10
Se dibuja un crculo y se inscribe en el un tringulo. Se toma un punto P en el crculo
y se marca el pie de las perpendiculares de P a los lados del tringulo. Estos tres puntos
se encuentran sobre una recta, la cual es conocida como recta de Simson.
62 CAPTULO 3. GALERA DE CURVAS
los nueve puntos de dicho tringulo
11
, ver gura 3.28, asimismo el crculo de
los nueve puntos esta inscrito en la deltoide.
Figura 3.28: La deltoide como envolvente de las rectas de Simpson de un
tringulo
Adems, la deltoide es la envoltura de las rectas que se describen a con-
tinuacin. Se dibuja un crculo base con centro en O y dimetro DOD.
Comenzando en D se marcan puntos a intervalos de 10

en sentido contrario
al de las manecillas del reloj, y se los numera 0,1, 2, ..., el punto D es el
nmero 0. Comenzando en D, en el sentido de las manecillas del reloj, se
marcan puntos cada 20

y se los numera 0,1,2, etc. Se unen los pares de pun-


tos con el mismo nmero. Si el radio del crculo base es a, la deltoide queda
inscrita en un crculo de radio 3a. Ver gura 3.29.
Propiedades de la deltoide:
Cuando la deltoide es generada como la envoltura de las rectas de
Simpson de un tringulo, el radio del crculo de los nueve puntos es
1
2
del radio r del crculo en el que esta contenido el tringulo original.
Asimismo el radio del crculo en que esta contenida la deltoide es
3
2
r.
11
El ortocentro es el punto donde concurren las alturas de un tringulo ([10], p. 156).
Los puntos medios de los lados de un tringulo, los puntos de interseccin de las alturas
con los lados y los puntos medios de los segmentos que unen el ortocentro con los vrtices
estn sobre un crculo llamado el crculo de los nueve puntos ([10], p. 172).
3.8. DELTOIDE 63
Figura 3.29: Deltoide generada por rectas
La tangente a la tricspide en un punto P corta a ste en dos puntos
E y H. Las normales a la tricspide en E, P y H son concurrentes y
su lugar geomtrico esta en el crculo que contiene a la tricspide, ver
gura 3.30.
Figura 3.30: Propiedades de la deltoide
Las tangentes en E y H se encuentran en ngulo recto en el punto K,
el cual esta sobre el crculo que esta inscrito en la deltoide
La longitud de la tangente interceptada por la curva (es decir, la lon-
gitud de EH) es constante e igual a 4a.
El lugar geomtrico del punto medio D del segmento tangente EH esta
en el crculo que esta contenido en la deltoide.
64 CAPTULO 3. GALERA DE CURVAS
Si J corta a EH en ngulo recto y esta en el crculo que esta contenido
en la deltoide, J es otra tangente a la deltoide.
Longitud:
16
3
a
rea:
2
9
a
2
La astroide es la custica de la deltoide con rayos paralelos en cualquier
direccin.
La evoluta de la deltoide es otra deltoide, ver gura 3.31.
Figura 3.31: Evoluta de la deltoide
La deltoide puede actuar como un rotor dentro de una astroide estator
12
,
ver gura 3.32.
Figura 3.32: Deltoide rotor dentro de una astroide estator
El motor rotatorio Wankel (ver gura 3.33 que se adopt de un documento
publicado en la Wikipedia de la red de internet) fue inventado por el ingeniero
12
Parte ja de una mquina rotatoria por oposicin a la parte mvil o rotor.
3.9. EPICICLOIDE 65
Figura 3.33: Motor Wankel el cual se encuentra en el museo Deutsches de
Munich, Alemania.
alemn Flix Wankel alrededor de 1951. El rotor de este motor es semejante
al deltoide y se mueve dentro de una epitrocoide.
3.9. Epicicloide
Ecuaciones paramtricas de la epicicloide:
Si el eje x pasa a travs de un vrtice son:
13
x = (a +b) cos t b cos
(a+b)t
b
y = (a +b) sint b sin
(a+b)t
b
Si el eje x biseca el arco entre dos vrtices sucesivos son:
x = (a +b) cos t +b cos
(a+b)t
b
y = (a +b) sint +b sin
(a+b)t
b
Hay cuatro curvas estrechamente relacionadas entre si: la epicicloide, la
hipocicloide, la epitrocoide, y la hipotrocoide. Todas ellas son trazadas por
13
Las ecuaciones correspondientes se dedujeron en la seccin 2.3.2.
66 CAPTULO 3. GALERA DE CURVAS
Figura 3.34: (A) Epicicloide; (B) Generacin doble de la epicicloide
un punto jo P a distancia h del centro de un crculo de radio b el cual rueda
en un circulo jo de radio a. Las dos primeras ocurren cuando h = b, las
restantes cuando h = b ([3], [14] pp. 81-85, [9] pp. 278-283, [6] pp. 168-170).
Estas curvas fueron estudiadas por Alberto Durero (1471-1528 en alemn
Albrecht Drer) en 1525, Girard Desargues (1591-1661) en 1640, Roemer a
quien se atribuye la invencin de estas curvas (1674), Huygens (1679), Leib-
niz, Newton (1686), LHpital (1690), Jakob Bernoulli (1690), La Hire (1694),
Johann Bernoulli (1695), Daniel Bernoulli (1725) y Euler (1745, 1781).
Daniel Bernoulli fue el primero en darse cuenta de la generacin doble.
Apolonio de Perga (262-190 antes de J. C. aproximadamente) gemetra
griego (200 antes de J. C.) tuvo la idea de describir los movimientos celestes
como combinacin de movimientos circulares. Fue Hiparco de Nicea (190-120
antes de J. C.) el ms grande astrnomo de la Antigedad, quien elabor esta
teora en detalle (150 antes de J. C.). Los resultados llegaron a ser famosos
(150 despus de J. C.) por los libros del astrnomo griego Claudio Ptolomeo
(85-165 despus de J. C.). Se pens en la Tierra colocada como centro celeste,
alrededor del cual los otros cuerpos celestes rotan. La combinacin de la
rotacin de la Tierra y la rotacin de los planetas alrededor de ella forman una
epicicloide. Esta teora geocntrica debi ser la teora aceptada por casi 2000
aos. La teora heliocntrica (como la construy Nicols Coprnico (1473-
1543)), tambin se discuti por los griegos.
3.9. EPICICLOIDE 67
Los astrnomos encuentran formas de las curvas cicloidales en varias coro-
nas
14
. Tambin ocurren como custicas.
La longitud de estas curvas fue dada por Newton.
Casos especiales:
Si a = b se obtiene una cardioide.
Si a = 2b se genera una nefroide.
La epicicloide es la curva generada por un punto jo P en un crculo de
radio b que rueda en el exterior de un circulo jo de radio a, ver gura 3.34
(A).
O bien es la curva trazada por un punto jo en un crculo de radio a +b
que rueda dentro de un crculo jo de radio a, ver gura 3.34 (B). Esta
descripcin recibe el nombre de generacin doble.
Propiedades de la epicicloide:
Si a = (m1)b con m N, m > 1 el rea y la longitud de la epicicloide
son respectivamente:
area = b
2
m(m + 1)
longitud =
_

_
8mb
m1
si m = 2n con n N
16mb
m1
si m = 4n 1 con n N
8mb si m = 4n + 1 con n N
Cuando a/b es un nmero racional la curva es cerrada y algebraica.
Cuando dicho cociente esta en su forma ms simple (es decir, cuando
numerador y denominador no tienen factores en comn), el numerador
es el nmero de veces que el crculo que rueda toca al crculo jo.
Cuando a/b no es racional la curva es trascendente.
La evoluta de una epicicloide es una epicicloide similar, pero menor en
tamao (ver evoluta cardioide gura 3.12).
14
Halo luminoso que suele rodear al Sol y a la Luna.
68 CAPTULO 3. GALERA DE CURVAS
Figura 3.35: (A) Hipocicloide; (B) Generacin doble de la hipocicloide
La pedal con respecto al centro es una rosa: r = c sin n.
Las ecuaciones paramtricas de la epicicloide se transforman en las de
la hipocicloide al reemplazar b por b en ellas. Si b Z, b = 0 cuando
a = 2b se obtiene un segmento de recta.
a = 3b se obtiene una deltoide.
a = 4b se obtiene una astroide.
3.10. Hipocicloide
Hay cuatro curvas estrechamente relacionadas: la epicicloide, la epitro-
coide, la hipocicloide y la hipotrocoide. Todas ellas son trazadas por un punto
jo en un crculo que rueda en un crculo jo.
La hipocicloide es la curva trazada por un punto jo P en la circunfer-
encia de un crculo de radio b el cual rueda sin resbalar en el interior de un
crculo jo de radio a, ver gura 3.35 (A). Cuando el punto no est sobre la
circunferencia la curva generada es una hipotrocoide.
Generacin doble. Si el radio del crculo que rueda sin resbalar en el
prrafo anterior es ab, ver gura 3.35 (B), se genera la misma la hipocicloide
del prrafo anterior.
3.10. HIPOCICLOIDE 69
Varios tamaos de crculos generan diferentes hipocicloides (epicicloides).
Sean a el radio del crculo jo, y b el radio del crculo que rueda. La razn
a/b dene la forma de la curva, consideremos b = 1 siempre. As las hipoci-
cloides (epicicloides) son curvas de un parmetro a, con la propiedad de que
cuando a es positivo se genera una hipocicloide. Y cuando a es negativo se
obtiene una epicicloide. Las curvas que tienen los vrtices hacia el centro son
tradicionalmente identicadas como epicicloides, an cuando son tambin
hipocicloides. Asimismo las curvas cuyos vrtices apuntan fuera del centro
son identicadas como hipocicloides, an cuando son tambin epicicloides.
Estas curvas fueron estudiadas por Alberto Durero (1471-1528) en 1525,
Girard Desargues (1591-1661) en 1640, Roemer a quien se atribuye la in-
vencin de estas curvas (1674), Huygens (1679), Leibniz, Newton (1686),
LHpital (1690), Jakob Bernoulli (1690), La Hire (1694), Johann Bernoulli
(1695), Daniel Bernoulli (1725) y Euler (1745, 1781).
Daniel Bernoulli fue el primero en darse cuenta de la generacin doble.
Los astrnomos encuentran formas de las curvas cicloidales en varias coro-
nas. Tambin ocurren como custicas.
Ecuaciones paramtricas de la hipocicloide:
Si el eje x pasa a travs de un vrtice son:
15
x = (a b) cos t +b cos
ab
b
t
y = (a b) sin t b sin
ab
b
t
Si el eje x biseca el arco entre dos vrtices sucesivos son:
x = (a b) cos t b cos
ab
b
t
y = (a b) sin t +b sin
ab
b
t
Casos especiales:
Si a = 2b se obtiene un segmento de recta.
Si a = 3b se obtiene una deltoide.
Si a = 4b se obtiene una astroide.
15
Las ecuaciones correspondientes se dedujeron en la seccin 2.3.3
70 CAPTULO 3. GALERA DE CURVAS
Propiedades de la hipocicloide:
La curva es cerrada y algebraica cuando a/b es racional. Cuando a/b
no es racional la curva es trascendente.
La evoluta de una hipocicloide es una hipocicloide similar aunque de
mayor tamao (ver la evoluta de la astroide o de la deltoide guras 3.5
o 3.31 respectivamente).
La pedal con respecto al centro es una rosa (r = c sin n).
Si a = (n+1)b donde n es un entero, entonces el rea de la hipocicloide
es b
2
n(n 1).
3.11. Espiral de Arqumedes
Figura 3.36: Una rama de la espiral de Arqumedes
La ecuacin polar de la espiral de Arqumedes es:
r = a
Esta espiral fue estudiada por Arqumedes (287-212 antes de J. C.) alrede-
dor del ao 225 antes de J. C. en su tratado On Spirals. Pero se debe a Conon
(280-220 antes de J. C. aproximadamente), amigo de Arqumedes ([3], [14]
pp. 209-211, [7] pp. 173-174, [6] p. 186, [4] p. 656).
3.11. ESPIRAL DE ARQUMEDES 71
Fue la primera curva mecnica (es decir, trazada por un punto en movimien-
to) considerada por un matemtico griego. Supongamos que un canal gira
sobre uno de sus extremos y que desde este extremo es lanzada una canica a
velocidad constante. La trayectoria de la canica, vista desde arriba, trazar
una espiral de Arqumedes.
En la espiral de Arqumedes hay una distancia ja entre ramas sucesivas
igual a 2a si es medido en radianes.
Tiene dos ramas (gura 3.37), una para > 0 y otra para < 0. Slo se
muestra una rama en la gura 3.36.
Figura 3.37: Espiral de Arqumedes
r
m
= a
m
es una generalizacin de la espiral de Arqumedes.
La cual incluye cuatro casos especiales:
Espiral de Arqumedes (m = 1);
Espiral de Fermat (m = 2);
Espiral hiperblica o recproca (m = 1);
Lituus (m = 2).
Fue Sacchi en 1854 quien distingui este grupo de espirales por vez primera.
Esta curva es la pedal de la involuta de un crculo.
Propiedades de la espiral de Arqumedes:
La longitud de arco de 0 a es:
72 CAPTULO 3. GALERA DE CURVAS
Figura 3.38: Leva generada por un arco de una espiral de Arqumedes
s =
a
2
_

_
1 +
2
+ ln
_
+
_
1 +
2
__
La curva inversa con respecto al origen (o polo) es la espiral hiperblica
o recproca.
Arqumedes poda encontrar la longitud de varias tangentes de la espiral.
Lo que puede ser usado para la triseccin de un ngulo y cuadrar un crculo.
Esta espiral encontr amplio uso como leva, para convertir un movimiento
angular uniforme en movimiento lineal uniforme. La leva consiste de un arco
de espiral arriba del eje x junto con su reejo con respecto al eje x. La leva
es montada sobre un eje en el polo (origen) y rueda con velocidad angular
constante. El pistn que mantiene contacto con un mecanismo de resorte
tiene como resultado un movimiento lineal uniforme (gura 3.38). Esta leva
se uso en las viejas maquinas de coser.
3.12. Espiral de Cornu
Tambin conocida como clotoide o espiral de Euler, este ltimo nombre
debido a que fue Euler quien empez a estudiar la curva (1744) en una
investigacin sobre la elasticidad de un resorte. Es la curva cuya curvatura
es funcin de la longitud. Esto es, la curvatura crece con la distancia desde
el origen ([3], [14] p. 215).
3.12. ESPIRAL DE CORNU 73
Figura 3.39: Espiral de Cornu
Esta curva se descubri en la era de la geometra diferencial (1700), donde
se hizo precisa la nocin de curvatura como la proporcin en que la curva
cambia de direccin (o una medida de como se tuerce una curva en un punto
dado). El Teorema Fundamental de las Curvas Planas establece que una
curva plana esta en esencia denida por su curvatura.
A la espiral de Cornu se le asign este nombre por el cientco francs
Marie Alfred Cornu (1841-1902), quien la estudio en relacin con la difraccin
de la luz. A partir de los trabajos de Cornu esta curva se uso con amplitud
en el clculo de la difraccin de la luz.
Esta curva puede ser parametrizada por las integrales de Fresnel, las
cuales son bien conocidas en la teora de difraccin.
Cabe mencionar que Agustin Jean Fresnel (1788-1827) fue uno de los
fundadores de la teora de ondas de luz.
Las ecuaciones paramtricas de la espiral de Cornu son:
x =
_
t
0
cos
s
2
2a
ds
y =
_
t
0
sin
s
2
2a
ds
Propiedad de la espiral de Cornu:
Los puntos asintticos son
_

a
2
,

a
2
_
y
_

a
2
,

a
2
_
.
Se utiliza en el trazado de carreteras y ferroviarios como curva de transi-
cin, con el n de evitar discontinuidades en la aceleracin de los vehculos.
El tipo de curva ms usual en carreteras es: tramo recto, clotoide, circular,
clotoide, tramo recto.
74 CAPTULO 3. GALERA DE CURVAS
3.13. Espiral Equingular
Mi hermano, profesor en Basle, ha tomado esta oportunidad para
investigar varias curvas que la naturaleza pone ante nuestros ojos
cada da... Johann Bernoulli 1692 [5]
Figura 3.40: Espiral equingular
Tambin conocida como espiral logartmica o logstica fue descubierta por
Ren Descartes (1596-1650) en 1638 en un estudio de dinmica ([3], [14] pp.
206-209, [7] pp. 98-109, [6] p. 184, [4] p. 656).
Evangelista Torricelli (1608-1647) trabaj en la curva de manera indepen-
diente y encontr su longitud.
Entre los primeros matemticos griegos, los pitagricos crean rmemente
que todas las cosas podan ser explicadas en trminos de nmeros. Insistan
en que hay siempre alguna ley involucrando nmeros la cual esta representada
tanto en obras de arte, como en formas vivientes, creaciones de la naturaleza.
Una de estas ideas fue la ley de la razn urea.
Encontramos esta proporcin en geometra cuando dividimos un segmento
dado en dos partes a y b tales que la razn b/a es igual a la razn (a +b)/b,
donde a < b. Se llama phi a la razn b/a y es igual a la raz positiva de
la ecuacin x
2
x 1 = 0, la cual es = (1 +

5)/2. sta fue llamada


proporcin divina por Luca Pacioli (1445-1517), matemtico italiano del
siglo quince en su libro Divina proportione, las guras de este texto fueron
dibujadas por Leonardo da Vinci (1452-1519).
Esta proporcin se representa con la letra griega en honor a Fidias, el
escultor ms famoso de la Grecia antigua.
La razn urea aparece en muchos giros inesperados, en la serie de Fi-
bonacci, en la gura del pentgono (ver gura 3.41), en las dimensiones del
3.13. ESPIRAL EQUINGULAR 75
cuerpo humano, en la concha de moluscos o en el arreglo de las hojas en el
tallo de las ores.
Figura 3.41: Pentgono
Leonardo da Vinci escribi:
Las hojas siempre vuelven su lado superior hacia el cielo as
pueden recibir mejor el roco sobre toda su supercie; las hojas
estn arregladas en las plantas de tal modo que una cubre a otra lo
menos posible. Esta alternacin provee espacios abiertos a travs
de los cuales el sol y el aire pueden penetrar. El arreglo es tal
que gotea de la primera hoja descendiendo a la cuarta hoja en
algunos casos y a la sexta hoja en otros.
Esta observacin llama la atencin sobre el fascinante fenmeno matemti-
co que ocurre naturalmente: la lotaxia folial y los nmeros de Fibonacci.
La lotaxia folial explica como las hojas estn ordenadas en las ramas,
porque son opuestas, en verticilo o alternantes:
Las hojas opuestas son opuestas con respecto a otras, usualmente hileras
adyacentes cruzan en ngulo recto a las hojas opuestas originales. Son ejem-
plos la hierbabuena, el arce, el fresno y el castao de indias.
Verticilo signica tres o ms hojas en un nodo. Un ejemplo es la cola de
caballo comn.
Las hojas alternantes se distribuyen a lo largo de la rama en una espiral.
Si dibujamos una lnea del punto de unin de una hoja a la siguiente esta
lnea se enrollar y elevar alrededor de la rama. Una misma especie siempre
produce el mismo nmero de hojas por vuelta alrededor de la rama. Una
porcin igual de la circunferencia del tallo siempre separar a unas hojas de
otras. As es creada una espiral equingular.
76 CAPTULO 3. GALERA DE CURVAS
El arreglo alternante de hojas en cada especie es explicado en trminos
de una clasicacin jerrquica.
La clasicacin dos describe aquellas especies que tienen hojas que se al-
ternan 180 grados en los dos lados de la rama. Esto signica que la tercera
hoja se encuentra directamente sobre la primera hoja y que la cuarta hoja
esta del otro lado de la rama directamente sobre la segunda hoja. Si una
lnea en espiral es dibujada desde la primera hoja pasando por la segunda
y tercera hojas, la lnea habr dado una vuelta a la rama una vez. La clasi-
cacin dos se describe con la fraccin 1/2. El numerador es el nmero de
revoluciones alrededor de la rama y el denominador representa las dos hojas
que se encontraron en esta espiral de 360 grados (sin contar la primera hoja).
Ejemplos: maz, pasto, sicmoro, abedul y olmo.
La clasicacin tres se describe con 1/3, en ella esta el falso hellebore.
La clasicacin cinco es 2/5, la ms comn entre las maderas duras como
el roble, cerezo, tulipero, nogal, nogal americano y otros. Aqu en dos vueltas
alrededor de la rama se encuentran cinco hojas.
La clasicacin ocho es 3/8 en ella estn el manzano, el acebo y el helecho
dulce.
La clasicacin trece es 5/13. Son ejemplos el peral, el sauce y el almendro.
Estas razones (1/2, 1/3, 2/5, 3/8, 5/13, 8/21,...) son la divergencia espiral
angular de una hoja a otra. Analizando estas razones se observa de que cada
nmero del numerador y cada nmero del denominador es la suma de los dos
nmeros precedentes (2 + 3 = 5, 3 + 5 = 8, 8 + 13 = 21 y as). Esta serie de
nmeros tom su nombre del hombre que los analiz por primera vez en el
siglo trece, Leonardo de Pisa (1170-1250), ms conocido por su sobrenombre:
Fibonacci. En 1753 Robert Simpson (1687-1768) observ por primera vez que
el lmite del cociente de un nmero de Fibonacci entre el anterior tiende a
cuando n tiende a innito.
En 1202 Fibonacci public su libro Liber abaci, el cual presenta en su
tercera seccin un problema que lleva a la introduccin de los nmeros de
Fibonacci:
Un hombre puso un par de conejos en un cuarto cerrado.
Cuntos pares de conejos pueden ser producidos por ese par en
un ao si suponemos que cada mes cada par engendra un nuevo
par el cual a partir del segundo mes puede reproducirse?
La sucesin resultante es 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ... (Fibonacci omiti
el primer trmino en su Liber abaci ). Esta sucesin, en la cual cada nmero
3.13. ESPIRAL EQUINGULAR 77
es la suma de los dos nmeros precedentes, ha probado ser extremadamente
fructfera y aparece en muchas diferentes reas de las matemticas y la cien-
cia.
En biologa, estructuras aproximadamente iguales a la espiral equingular
ocurren frecuentemente a organismos donde el crecimiento es proporcional al
tamao, por ejemplo en la tela de araa y en la concha de los moluscos.
Como seal DArcy Thompson en su libro On growth and form ([12] p.
757):
En el crecimiento de una concha no puede concebirse una ley
ms simple que esta, a saber que se ensanchar y alargar en
las mismas proporciones invariables. Y esta simpleza de leyes es
lo que la naturaleza tiende a seguir. La concha, como la criatu-
ra dentro de ella, crece en tamao pero no cambia su forma; y
la existencia de esta constante relatividad de crecimiento, o con-
stante similitud de forma, es esencial y puede ser la base de una
denicin de la espiral equingular.
Jakob Bernoulli (1654-1705) encontr las propiedades de autoreproduc-
cin de esta curva y la llam spira mirabilis (espiral admirable). Pidi que la
curva fuese grabada en su lpida mortuoria con la frase en latn Eadem mu-
tata resurgo (Aunque transformado reaparezco). En la lpida fue grabada
una curva que parece ms una espiral de Arqumedes.
Figura 3.42: A la izquierda Jakob Bernoulli, junto a l Johann Bernoulli
Los halcones se aproximan a su presa en la forma de una espiral equin-
gular: su aguda visin esta en un ngulo de su direccin de vuelo; este ngulo
es el de inclinacin de la espiral.
78 CAPTULO 3. GALERA DE CURVAS
Figura 3.43: Espiral equingular
Los ojos de los insectos son compuestos, se acercan a una fuente de luz
sin perderla de vista, por lo que su vuelo forma una espiral equingular.
Las ramas de las espirales de las galaxias son aproximadamente espirales
equingulares. Nuestra propia galaxia, la Va lctea, se cree tiene cuatro
ramas principales, cada una de las cuales es una espiral equingular con
inclinacin de doce grados aproximadamente.
La espiral equingular es llamada tambin espiral urea porque puede
ser derivada de un rectngulo ureo: la longitud de los ejes cortados por la
espiral se ajusta a la razn urea (gura 3.45).
Supongamos que un canal gira sobre uno de sus extremos y que sobre
el canal, desde el extremo sobre el que gira, es lanzada una canica con acel-
eracin constante. La trayectoria de la canica trazar una espiral equingular.
Curva que corta todos los radio vectores de un punto jo 0 en un ngulo
constante , ver gura 3.43. Cualquier radio desde el centro 0 a cualquier
punto de tangencia en la espiral equingular formar el mismo ngulo entre
el radio y la recta tangente.
Ecuaciones
Las ecuaciones paramtricas de la espiral equingular son:
x = ae
t cot
cos t
y = ae
t cot
sin t
La ecuacin polar de la espiral equingular es:
r = ae
cot
3.13. ESPIRAL EQUINGULAR 79
La espiral equingular se distingue porque la distancia entre sus ramas
aumenta en progresin geomtrica.
Una espiral equingular con inclinacin =

2
es un crculo.
Propiedades de la espiral equingular:
= (1+

5)/2 es solucin de la ecuacin 1+x = x


2
. La sucesin ge-
omtrica: .....
3
,
2
,
1
, 1, ,
2
,
3
..... es una sucesin de Fibonacci
ya que tiene la propiedad de que cada trmino es la suma de los dos
anteriores y el cociente de cada trmino entre el anterior es igual a . Es
la nica sucesin geomtrica que es tambin una sucesin de Fibonacci.
Los nmeros de Fibonacci pueden ser representados geomtricamente
en dos dimensiones por la espiral equingular con longitud de los suce-
sivos radio vectores 0R0 =
0
, 0R1 =
1
, 0R2 =
2
,... (ver gura 3.44)
Una ecuacin polar de la espiral equingular correspondiente a esta
sucesin de Fibonacci es: r = e

2
Figura 3.44: Espiral equingular con longitud de los sucesivos radio vectores
0R0 =
0
, 0R1 =
1
, 0R2 =
2
,...
Puede ser derivada de un rectngulo ureo (un rectngulo tal que la
longitud de los ejes cortados por la espiral se ajusta a la razn urea.
Lado mayor entre lado menor igual a razn urea = ). Una ecuacin
80 CAPTULO 3. GALERA DE CURVAS
Figura 3.45: Espiral equingular derivada de un rectngulo ureo
polar de una espiral equingular as obtenida es: r = e
a
donde
a = 2 ln
__
1 +

5
_
/2
_
/ La longitud de los radio vectores 0R0 =
0
,
0R1 =
1
, 0R2 =
2
,... en la gura 3.45 coincide con la sucesin de
Fibonacci.
La curva pedal derivada de una espiral equingular, cuando el punto
pedal es el origen (o polo), es otra espiral equingular.
La evoluta de una espiral equingular es otra espiral equingular.
La custica de una espiral equingular, cuando el polo es el punto
radiante, es otra espiral equingular.
La inversa con respecto al polo de una espiral equingular (r = ae
cot
)
es otra espiral equingular ( = ae
cot
, radio de inversin a). Ver
gura 3.46, la espiral gruesa es la inversa con respecto al crculo pun-
teado de la espiral delgada.
La espiral logartmica, llamada por Bernoulli la curva de vida puede
tambin, literalmente, estar en la muerte. Un reporte reciente sugiere al
3.14. ESPIRAL DE FERMAT 81
Figura 3.46: Inversa de la espiral equingular
ataque de brilacin como un preludio del paro cardaco esta marcado por
una interrupcin en el patrn espiral estable del msculo del corazn en una
serie de espirales excitables en los meandros del corazn. La geometra frac-
tal provee modelos generados por computadora de esos patrones y la medicina
preventiva puede beneciarse.
3.14. Espiral de Fermat
Figura 3.47: Espiral de Fermat
Fue discutida por Pierre de Fermat (1601-1665) en 1636. Tambin es
conocida como parablica por su analoga con y
2
= a
2
x ([3], [14] p. 212, [6]
p. 186, [7] p. 175).
La gente que practica omphaloskepsis adopt la curva como su smbolo.
La omphaloskepsis es un estilo de vida alrededor del acto de la contemplacin
del propio ombligo como un mtodo para alcanzar la meditacin superior.
82 CAPTULO 3. GALERA DE CURVAS
La ecuacin polar de la espiral de Fermat es:
r
2
= a
2

Para cualquier valor positivo de , r puede tomar valores positivos o


negativos, por lo que la grca es simtrica respecto al polo.
La espiral de Fermat es la inversa con respecto al polo de una Lituus.
3.15. Espiral Hiperblica
Figura 3.48: Espiral hiperblica o reciproca
Llamada as por su analoga con la ecuacin yx = a, es conocida tambin
como espiral Reciproca. Fue creada por Pierre Varignon en 1704 y estudiada
en detalle por Johann Bernoulli (entre 1710-1713) y Roger Cotes (1682-1716)
en 1722 ([3], [14] pp. 211-212, [6] p. 186, [7] p. 175, [4] p. 656).
La ecuacin polar de la espiral hiperblica es:
r = a
La espiral hiperblica puede obtenerse como la inversa con respecto al
polo de una espiral de Arqumedes.
Propiedad de la espiral hiperblica:
Esta curva tiene como asntota una lnea recta que dista a unidades del
polo, ver gura 3.49.
3.16. LITUUS 83
Figura 3.49: Espiral hiperblica y su asntota
Figura 3.50: Lituus
3.16. Lituus
Roger Cotes (1682-1716) fue el primero en estudiar la curva. Profesor
designado en Cambridge a la edad de 24 aos, su trabajo fue publicado slo
despus de su muerte([3], [14] pp. 212-213, [6] p. 186, [7] p. 175, [4] p. 656).
Cotes descubri un importante teorema sobre las races n-simas de la
unidad; anticip el mtodo de mnimos cuadrados y descubri un mtodo de
integracin de fracciones racionales que tienen por denominador un binomio.
Colin Maclaurin (1698-1746) dio nombre a la curva en el libro Harmo-
nia Mensurarum de 1722. Lituus signica garo, por ejemplo un bculo de
obispo.
Si slo se gracan valores positivos de r, el resultado se parece a la espiral
en el capitel de una columna inica.
Es el lugar geomtrico de un punto P movindose de manera que el rea
del sector circular OPA permanece constante.
84 CAPTULO 3. GALERA DE CURVAS
O bien, es la inversa con respecto al origen de una espiral de Fermat.
La ecuacin polar de la espiral lituus es:
r
2
= a
2
Propiedad de la espiral lituus:
El eje horizontal es su asntota.
3.17. valos de Cassini
Figura 3.51: valos de Cassini
Esta curva llamada tambin Cassinian o Elipse Cassinian fue concebida
por Giovanni Domenico Cassini (1625-1712) astrnomo italiano a quien el
rey de Francia, Luis XIV, otorg la ciudadana francesa. Estudi esta familia
de curvas en relacin con los movimientos relativos del Sol y la Tierra en
1680. El crea que estas curvas podan representar rbitas planetarias mejor
que las elipses de Kepler. Cassini concibi estas curvas catorce aos antes
de que Jakob Bernoulli describiera su lemniscata ([3], [14] pp. 8-11, [6] pp.
153-155, [15] pp. 10-11).
Gian Francesco Malfatti (1731-1807) estudi estas curvas en 1781.
3.17. VALOS DE CASSINI 85
Cassini realiz trabajos de hidrulica, entre cuyas aportaciones se encuen-
tra el estudio de las inundaciones causadas por las crecidas del ro Po, en el
norte de Italia. Contribuy a la medida del meridiano de Pars, que muchos
aos despus servira para denir al metro como la unidad de longitud.
En 1675 Cassini descubri la divisin existente entre los anillos de Sat-
urno, separacin que en su honor lleva su nombre. Ms tarde, descubri
cuatro satlites de ese mismo planeta: Japeto, Rea, Tetis y Dione.
Como resultado de sus observaciones, en particular las que realiz del Sol,
Cassini qued ciego, al igual que Galileo.
Para rendir homenaje a Christiaan Huygens y a Giovanni Domenico
Cassini, la NASA utiliz sus apellidos para nombrar a una misin que se
acerca a Saturno.
Es el lugar geomtrico de un punto el producto de cuyas distancias a dos
puntos jos F1, F2 es constante (c
2
).
Ecuaciones
La ecuacin cartesiana de los valos de Cassini es:
(x
2
+y
2
)
2
2a
2
(x
2
y
2
) +a
4
= c
4
La ecuacin polar de los valos de Cassini es:
r
4
+a
4
2r
2
a
2
cos 2 = c
4
F1 = (a, 0) F2 = (a, 0)
La forma de la curva depende de c/a. Si c < a la curva consta de dos
lazos. Si c > a la curva esta formada por un solo lazo. Cuando c = a la curva
se vuelve la lemniscata de Bernoulli. El nmero de focos puede ser mayor a
dos. El lugar geomtrico de un punto el producto de cuyas distancias a tres
o ms puntos jos es constante da lugar a otras curvas.
Propiedad de los valos de Cassini:
Si ba es el radio interior de un toro cuyo crculo generador tiene radio
a. La seccin formada por un plano paralelo al eje del toro y que dista
a unidades de el es un valo de Cassini. Si b = 2a este plano es una
tangente interior a la supercie y la seccin es una Lemniscata. Cortes
arbitrarios del toro no son valos de Cassini. La interseccin de un toro
y un plano paralelo al eje del toro se llama seccin spiric.
86 CAPTULO 3. GALERA DE CURVAS
Figura 3.52: Tractriz
3.18. Tractriz
La tractriz surge del siguiente problema propuesto a Leibniz por el mdico
francs Claude Perrault (1613 -1688). Cul es la trayectoria de un objeto
(P) arrastrado por una cuerda de longitud constante (a) cuando el extremo
que se jala (A) se mueve a lo largo de una recta horizontal (ver gura 3.52)?
Leibniz encontr la curva usando el hecho de que el eje x es una asntota a
la tractriz ([14] pp. 221-224, [7] pp. 119-124, [4] p. 659, [9] p. 289, [3]).
Sin embargo, el problema fue resuelto primero y generalizado por Huygens
en 1692, quien le dio el nombre de tractriz, y despus por Leibniz, Johann
Bernoulli, Joseph Liouville (1809 -1882) y Eugenio Beltrami (1835 -1900). La
tractriz es conocida tambin como curva equitangencial.
El nombre de tractriz viene del latn tractus que signica tirar, jalar,
arrastrar.
En la gura 3.52 se observa que
dy
dx
=
y
_
a
2
y
2
resolviendo esta ecuacin tenemos
x = a ln

a +
_
a
2
y
2
y

_
a
2
y
2
(3.7)
Si y = a cos t en 3.7, entonces
x = a ln(sec t + tan t) a sin t

2
< t <

2
3.18. TRACTRIZ 87
Mientras que si y =
a
cosh
t
a
en 3.7, entonces
x = t a tanh
t
a
Ecuaciones
La ecuacin cartesiana de la tractriz es:
x = a ln
_
a+

a
2
y
2
y
_

_
a
2
y
2
Las ecuaciones paramtricas de la tractriz son:
x = a ln(sec t + tan t) a sin t, y = a cos t o bien
x = t a tanh
t
a
, y =
a
cosh
t
a
Como ya se dijo, la tractriz es la trayectoria de un objeto (P) arrastrado
por una cuerda de longitud constante (a) cuando el extremo que se jala (A)
se mueve a lo largo de una recta horizontal (ver gura 3.52).
La tractriz tambin puede obtenerse como una involuta de la catenaria.
Se pueden dibujar la tractriz y la catenaria de la siguiente manera: sobre
el eje de las x partiendo de x = 0 se marcan 20 puntos a distancia d entre
cualesquiera dos de ellos (d = 5 milmetros o menos). Numerar estos puntos
0, 1, 2, 3, ..., de derecha a izquierda. A travs de los puntos 1, 3, 5, ...,
dibujar rectas paralelas al eje y. Con los puntos 0, 2, 4, ..., como centros
dibujar cuartos de crculo de radio jo 9d, como se muestra en la gura 3.53,
en la recta vertical en 1 marcar P
1
= 9d cosh
_
19d
9d
_
(ordenada de la catenaria
correspondiente a la abscisa x = 19d), desde este punto dibujar las tangentes
P
1
T
0
y P
1
T
2
a los crculos con centro en los puntos 0 y 2 respectivamente.
Con P
1
como centro, dibujar un arco de T
0
a T
2
. Sea P
3
el punto donde P
1
T
2
corta a la recta vertical en 3, desde este punto dibujar la tangente P
3
T
4
al
crculo con centro en 4. Con centro en P
3
dibujar un arco de T
2
a T
4
. Sea P
5
el punto donde P
3
T
4
corta a la recta vertical en 5, desde este punto dibujar
la tangente P
5
T
6
al crculo con centro en 6. Con centro en P
5
dibujar un arco
de T
4
a T
6
; seguir as hasta terminar.
La curva que resulta de unir los arcos T
0
, T
2
, T
4
, T
6
, ...,forma aproxi-
madamente la tractriz con parmetro a = 9d. Los puntos P
1
, P
3
, P
5
, ...,caen
aproximadamente en la catenaria con parmetro a = 9d.
88 CAPTULO 3. GALERA DE CURVAS
Figura 3.53: Tractriz y catenaria
Cabe sealar que en esta construccin de la tractriz y la catenaria P
1
T
0
=
P
1
T
2
, P
3
T
2
= P
3
T
4
, ..., as T
2
puede obtenerse como la interseccin de la
tangente P
1
T
2
con el crculo con centro en 2 como una de las intersecciones
de crculo con centro en P
1
y radio P
1
T
0
con el crculo con centro en 2. Lo
mismo ocurre para cualquier T
i
con i > 0.
La tractriz es la curva que corta en ngulo recto a todos los crculos de
radio constante cuyos centros caen en una lnea recta.
La supercie de revolucin de la tractriz alrededor de su asntota es lla-
mada pseudoesfera en virtud de que si la longitud de la tangente es a (ver
gura 3.52) el rea de esta supercie de revolucin coincide con el rea de
la esfera de radio a y su volumen es la mitad del volumen de dicha esfera.
La pseudoesfera tiene una curvatura negativa constante, esta propiedad per-
miti a Bertrami en 1868 construir un modelo de geometra hiperblica (no
euclidiana), en el que un plano es representado por su supercie.
La tractriz fue propuesta por Schiele como la forma ideal de un eje rotativo
que mantiene la produccin y distribuye uniformemente el gasto.
3.18. TRACTRIZ 89
Propiedades de la tractriz:
El eje x es una asntota de la curva.
En la tractriz cualquier segmento tangente del punto de tangencia a la
asntota es de longitud constante.
La envoltura de las normales de la tractriz, es decir, la evoluta de la
tractriz es la catenaria.
90 CAPTULO 3. GALERA DE CURVAS
Captulo 4
Conclusiones
Los matemticos de los siglos pasados fueron muy hbiles calculistas.
Hubo integrales difciles de calcular, como la que se requiere para calcular el
rea de la supercie generada por la revolucin de la cardioide respecto al
eje x, en la que emplee Maple 9 y an con estos recursos los resultados eran
difciles de interpretar.
Existen frmulas para determinar la evoluta de una curva y varias in-
terpretaciones para sta. Sin embargo para la involuta, con excepcin de la
involuta de un crculo, no encontr una frmula para calcularla. Todas las
curvas tienen una nica evoluta. En cambio hay tantas involutas a una curva
como puntos en sta.
Maple 9 no grca lo que se espera en grcas implcitas, es decir, las
grcas implcitas de Maple 9 no siempre son correctas, por ejemplo en Maple
9 se dio la siguiente instruccin:
> with(plots):
implicitplot(4*y^2-3*x^(2/3)+4*x^(8/3)=1,x=-1..1,y=-1..1,
scaling=constrained);
La ecuacin dada corresponde a una nefroide, Maple dibujo poco menos
de la mitad de la nefroide. Se pudo dibujar la nefroide completa despus de
realizar las operaciones necesarias para obtener las ecuaciones paramtricas
de la misma, esto es, con las siguientes instrucciones Maple 9 dibujo completa
la nefroide:
> plot([(sin(t))^3,-cos(t)*(.5+(sin(t))^2),t=0..2*Pi],
scaling=constrained);
Scientic WorkPlace en cambio no presenta problemas para gracar ecua-
ciones implcitas. Asimismo, Maple 9 dibuja con huecos algunas grcas en
91
92 CAPTULO 4. CONCLUSIONES
coordenadas polares que no debieran tener huecos, ejemplo:
> with(plots):
polarplot(sqrt(2*cos(2*t)),t=-Pi..Pi);
La anterior es la ecuacin polar de los valos de Cassini con parmetros
a = c = 1, por alguna razn que desconozco Maple 9 no dibuja la parte
central de la grca. La misma ecuacin polar con t en el mismo intervalo de
valores en Scientic WorkPlace traza la grca completa, sin huecos.
La inversa con respecto a un crculo tiene sentido sobre todo para las
curvas en coordenadas polares. Identicar quien es la inversa de una u otra
curva en coordenadas polares es fcil.
Los libros que ms se utilizaron para este trabajo fueron [14], [7] y [9]. El
libro de consulta que menos me gust fue el [6]. El estilo del libro que ms
me gust fue el de [5].
La historia nunca me gusto, sin embargo, la historia de las matemticas
que he estudiado un poco a partir de este trabajo me parece muy interesante.
Este trabajo me llev a aprender Scientic WorkPlace 4 y Maple 9. Como
siempre pasa en computacin ahora me vendra bien aprender otro procesador
de texto, pero siempre es bueno aprender. He visto que ya hay otra versin
de Maple muy distinta de la versin 9, habr que aprenderla.
Bibliografa
[1] Anton, Howard. Calculus with Analytic Geometry. Nueva York, John
Wiley and Sons, 1992.
[2] Boltianski, V. G. . La envolvente. Mosc, Mir, (Lecciones populares de
matemticas) 1977.
[3] Encyclopaedia Britannica, Inc. 1973 (CURVES, SPECIAL).
[4] Granville William Anthony, Percey F. Smith y William Raymond Lon-
gley. Clculo diferencial e integral. Unin Tipogrca Editorial Hispano
Americana, 1974. (pp. 570-577, 653-659).
[5] Hairer E. and G. Wanner. Analysis by Its History. Undergraduate Texts
in Mathematics. Readings in Mathematics. Springer. Corrected second
printing, 1997. (pp. 98-106).
[6] Lawrence, J. Dennis. A Catalog of Special Plane Curves. Dover Publi-
cations, Inc. 1972.
[7] Lockwood, E. H. . A Book of Curves. Cambridge at the University Press,
1971.
[8] Pita Ruiz, Claudio. Clculo vectorial. Mxico. Prentice-Hall Hispanoa-
maricana. 1995.
[9] Salmon George, D. D., D. C. L.,LL. D., F. R. S. A treatise on the HIGH-
ER PLANE CURVES: intended as a sequel to a treatise on conic sec-
tions, 3th edition, New York, Chelsea Publishing Company, 1879.
[10] Smart, James R. Modern Geometries, 5th edition, United States of
America, Brooks/Cole Publishing Company a division of Internation-
al Thomson Publishing Inc. 1998.
93
94 BIBLIOGRAFA
[11] Tartaglia, La nueva Ciencia. Coleccin MATHEMA. Servicios Editoria-
les de la Facultad de Ciencias, UNAM. Ciudad Universitaria. 1998.
[12] Thompson, DArcy Wentworth. On Growth and Form. Dover Publica-
tions, Inc. 1992.
[13] Vasliev, N. B. y V. L. Guntenmjer. Rectas y curvas. Mosc, Mir, 1980.
[14] Yates, R. C. Curves and Their Properties. The National Council of
Theachers of Mathematics. Classics in Mathematics Education. A Se-
ries. 1974.
[15] Zrate Mndez Yassir. "Historia de la ciencia, Cassini y Huygens pio-
neros de la observacin de los anillos de saturno", en El faro, la luz de
la ciencia Nmero 40. Ciudad Universitaria. 2004.
Se obtuvo informacin muy relevante para este trabajo principalmente de
tres sitios de la red de internet:
http://www-groups.dcs.st-and.ac.uk/~history/Curves
http://xahlee.org/SpecialPlaneCurves_dir/specialPlaneCurves.html
http://www.2dcurves.com
En todos ellos aparecen las curvas de las que trata esta tesis. En el primero
de estos sitios se encuentra adems la biografa de muchos matemticos.
Apndice A
Cdigo en Maple 9 de las
grcas
Se presenta aqu el cdigo en Maple 9 de las grcas que se elaboraron
en el Captulo 3.
Figura 3.1, la astroide
> plot([(cos(t))^3,(sin(t))^3,t=0..2*Pi],x=-1.25..1.25,
y=-1.25..1.25,thickness=2);
Figura 3.2, dos formas de generar la astroide como hipocicloide
Se elaboraron animaciones en Maple 9 para visualizar la generacin de
hipocicloides y epicicloides. La astroide es un hipocicloide en el que el radio
del crculo que rueda es b =
a
4
o b =
3a
4
y el radio del crculo jo es a. El
comando para llevar a cabo una animacin en Maple 9 es animated. Si entre
los parmetros de este comando se incluye la opcin frame = n, el nmero de
imgenes de la animacin es n. Sin embargo, si no se incluye la opcin frame,
el nmero de imgenes de la animacin es 25. El procedimiento hipoAnimaEj-
eXporVertice(a,b) realiza las animaciones del hipocicloide, las cuales constan
de 25 imgenes. Las guras 3.2 (A) y (B) son la imagen 22 ( theta = 5,4978 y
theta = 16,493 respectivamente) de las animaciones hipoAnimaEjeXporVer-
tice(4,1) e hipoAnimaEjeXporVertice(4,3) respectivamente. A continuacin
se presenta el procedimiento (en Maple 9) hipoAnimaEjeXporVertice(a,b):
> hipoAnimaEjeXporVertice:=proc(a,b)
95
96 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
local p,x,y,curva,F;
if frac(a/b)<>0 then p:=b*2*Pi else p:=2*Pi end if:
x:=t->(a-b)*cos(t)+b*cos((a-b)*t/b):
y:=t->(a-b)*sin(t)-b*sin((a-b)*t/b):
with(plots):
curva:=plot([a*cos(t),a*sin(t),t=0..2*Pi],color=gray):
F:=proc(t)
plots[display](
plot([x,y,0..t],color=green),
plot([(a-b)*cos(t)+b*cos((a-b)*u/b),(a-b)*sin(t)+
-b*sin((a-b)*u/b),u=0..2*Pi*b/(a-b)],color=blue),
# ((a-b)*cos(t),(a-b)*sin(t)) coordenadas del
# centro del crculo que rueda
# (b*cos((a-b)*u/b),-b*sin((a-b)*u/b)) crculo de
# radio b que rueda sobre el crculo de radio a
pointplot([[(a-b)*cos(t)+b*cos((a-b)*t/b),
(a-b)*sin(t)-b*sin((a-b)*t/b)]],symbol=
circle,symbolsize=6,color=red));
end:
animate(F,[theta],theta=0..p,background=curva,
scaling=constrained);
end;
Figura 3.4, la astroide como envoltura de elipses
> with(plots):
astroelip:=proc(n)
local j,grafo:
for j from 1 to n do
grafo[j]:=plot([.2*j*cos(t),(1-.2*j)*sin(t),t=0..2*Pi],
color=red):
od:
grafo[n+1]:=plot([(cos(t))**3,(sin(t))**3,t=0..2*Pi],
color=green):
display(seq(grafo[k],k=1..n+1));
end;
> astroelip(4);
97
Figura 3.5, evoluta de la astroide
> x:=t->a*(cos(t))^3; # Se dan las ecuaciones paramtricas
y:=t->a*(sin(t))^3; # de la curva
a:=1; # Se le asigna un valor al parmetro
> pdx:=D(x); # pdx = primera derivada de x
pdy:=D(y); # pdy = primera derivada de y
> sdx:=D(D(x)); # sdx = segunda derivada de x
sdy:=D(D(y)); # sdy = segunda derivada de y
> x2:=x-pdy*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
y2:=y+pdx*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
> with(plots):
g1:=plot([x(t),y(t),t=0..2*Pi],scaling=constrained):
# g1 es la grfica de la curva
g2:=plot([x2(t),y2(t),t=0..2*Pi],color=blue):
# g2 es la grfica de la evoluta de la curva g1
display([g1,g2]);
Figura 3.6, la astroide como envoltura de una barra que resbala
> for j from 1 to 4 do
indi[j]:=.2*j:
od:
indi[5]:=.9:
indi[6]:=.98:
with(plots):
for j from 1 to 6 do
grafo[j]:=plot(indi[j]*(1-x/sqrt(1-(indi[j])^2)),
x=0..sqrt(1-(indi[j])^2)):
grafo[6+j]:=plot(indi[j]*(-1+x/sqrt(1-(indi[j])^2)),
x=0..sqrt(1-(indi[j])^2)):
grafo[12+j]:=plot(indi[j]*(1+x/sqrt(1-(indi[j])^2)),
x=-sqrt(1-(indi[j])^2)..0):
grafo[18+j]:=plot(indi[j]*(-1-x/sqrt(1-(indi[j])^2)),
x=-sqrt(1-(indi[j])^2)..0):
od:
grafo[25]:=plot([(cos(t))^3,(sin(t))^3,t=0..2*Pi],
color=blue):
98 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
# grafo[25] es la grfica de la astroide
display(seq(grafo[k],k=1..25));
Figura 3.8, bruja de Agnesi
> with(plots):
g1:=plot([2*tan(t),2*(cos(t))^2,t=-1.2..1.2]):
# g1 es la Bruja de Agnesi
g2:=plot([cos(t),1+sin(t),t=0..2*Pi]):
g3:=plot([x,2,x=-5..5]):
g4:=plot([x,2*x/3,x=0..3]):
g5:=plot([x,8/13,x=0.9231..5]):
g6:=plot([3,y,y=0..2],scaling=constrained):
g7:=plot([12*t/13,1-5*t/13,t=0..1]):
g8:=plot([t,1,t=0..1]):
g9:=plot([.2*cos(t),1+.2*sin(t),t=0..(2*Pi-arccos(12/13))]):
display([g1,g2,g3,g4,g5,g6,g7,g8,g9]);
Figura 3.9, dos formas de general a la cardioide
La gura 3.9 (A) es la imagen 37 (theta= 4.7124) de la animacin
epiAnimaEjeXporVertice(1,1). El siguiente es el procedimiento en Maple 9
de epiAnimaEjeXporVertice(a,b).
> epiAnimaEjeXporVertice:=proc(a,b)
local p,x,y,curva,F;
if frac(a/b)<>0 then p:=b*2*Pi else p:=2*Pi end if:
x:=t->(a+b)*cos(t)-b*cos((a+b)*t/b):
y:=t->(a+b)*sin(t)-b*sin((a+b)*t/b):
with(plots):
curva:=plot([a*cos(t),a*sin(t),t=0..2*Pi],color=gray):
F:=proc(v)
plots[display](
plot([x,y,0..v],color=green),
plot([(a+b)*cos(v)-b*cos((a+b)*u/b),(a+b)*sin(v)-
b*sin((a+b)*u/b),u=0..2*Pi*b/(a+b)],color=blue),
pointplot([[(a+b)*cos(v)-b*cos((a+b)*v/b),
(a+b)*sin(v)-b*sin((a+b)*v/b)]],
symbol=circle,symbolsize=6,color=red));
99
end:
animate(F,[theta],theta=0..p,background=curva,
scaling=constrained,frames=49);
end;
La gura 3.9 (B) es la imagen 19 (theta=9.4248) de la animacin
hipoAnimaEjeXporVertice(1,2). El procedimiento correspondiente a esta an-
imacin se dio en la gura 3.2.
Figura 3.10, generacin de cremona de la cardioide
> with(plots):
for i from 0 to 35 do
p[i]:=[cos(Pi*i/18),sin(Pi*i/18)]:
g[i]:=plot([p[i]],style=point):
od:
p[36]:=p[0]:
with(plottools,line):
inicio:=1:
for i from 1 to 5 do
g[35+i]:=line(p[inicio],p[inicio*2]);
inicio:=inicio*2;
od:
inicio:=3:
for i from 1 to 3 do
g[40+i]:=line(p[inicio],p[inicio*2]):
inicio:=inicio*2;
od:
for i from 1 to 2 do
g[43+i]:=line(p[5*i],p[10*i]):
g[45+i]:=line(p[7*i],p[14*i]):
g[47+i]:=line(p[9*i],p[18*i]):
od:
for i from 5 to 8 do
g[45+i]:=line(p[2*i+1],p[4*i+2]):
od:
for i from 0 to 35 do
p[i]:=[cos(-Pi*i/18),sin(-Pi*i/18)]:
od:
100 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
inicio:=1:
for i from 1 to 5 do
g[53+i]:=line(p[inicio],p[inicio*2]);
inicio:=inicio*2;
od:
inicio:=3:
for i from 1 to 3 do
g[58+i]:=line(p[inicio],p[inicio*2]):
inicio:=inicio*2;
od:
for i from 1 to 2 do
g[61+i]:=line(p[5*i],p[10*i]):
g[63+i]:=line(p[7*i],p[14*i]):
od:
for i from 4 to 8 do
g[62+i]:=line(p[2*i+1],p[4*i+2]):
od:
display(seq(g[k],k=0..70),axes=none);
Figura 3.11, la cardioide como envoltura de crculos
> with(plots):
g[9]:=plot([cos(t),sin(t),t=0..2*Pi],color=blue):
for i from 0 to 8 do
r:=sqrt((cos(Pi*i/9)+1)^2+(sin(Pi*i/9))^2):
g[i]:=plot([r*cos(t)+cos(Pi*i/9),r*sin(t)+sin(Pi*i/9),
t=0..2*Pi]):
od:
for i from 10 to 17 do
r:=sqrt((cos(Pi*i/9)+1)^2+(sin(Pi*i/9))^2):
g[i]:=plot([r*cos(t)+cos(Pi*i/9),r*sin(t)+sin(Pi*i/9),
t=0..2*Pi]):
od:
display(seq(g[k],k=0..17),scaling=constrained);
Figura 3.12 evoluta de la cardioide
101
> # Se dan las ecuaciones paramtricas de la curva
> x:=t->2*a*cos(t)-a*cos(2*t);
y:=t->2*a*sin(t)-a*sin(2*t);
# Se le asigna un valor al parmetro
a:=1;
> pdx:=D(x); # pdx = primera derivada de x
pdy:=D(y); # pdy = primera derivada de y
> sdx:=D(D(x)); # sdx = segunda derivada de x
sdy:=D(D(y)); # sdy = segunda derivada de y
> x2:=x-pdy*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
y2:=y+pdx*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
> with(plots):
# Verificar el dominio del parmetro de curva y su evoluta
g1:=plot([x(t),y(t),t=0..2*Pi],scaling=constrained):
g2:=plot([x2(t),y2(t),t=0..2*Pi],color=blue): # Evoluta
display([g1,g2]);
Figura 3.15, la catenaria
> plot([x,cosh(x),x=-2..2],view=[-2.5..2.5,-1.5..4.5],
scaling=constrained);
Figura 3.17, la cicloide
> with(plots):
g[1]:=plot([t-sin(t),1-cos(t),t=-2.3562..8.3776],
color=green):
g[2]:=plot([x,0,x=-2.3562..10],color=plum):
g[3]:=plot([8.3776-sin(t),1-cos(t),t=0..2*Pi],color=blue):
g[4]:=plot([8.3776-t*sin(8.3776),1-t*cos(8.3776),t=0..1],
color=black):
g[5]:=plot([[8.3776-sin(8.3776),1-cos(8.3776)]],
style=point,symbol=circle):
display(seq(g[k],k=1..5),axes=none,scaling=constrained);
Figura 3.18, cicloide acortada
102 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
> with(plots):
# g1 es la cicloide acortada
g1:=plot([2*t-sin(t),2-cos(t),t=Pi..5*Pi],color=green):
# g2 es el crculo que rueda
g2:=plot([2*(9.9377-sin(t)),2*(1-cos(t)),t=0..2*Pi]):
# g3 es el segmento que une el centro del crculo que
# rueda con el punto fijo
g3:=plot([2*9.9377-t*sin(9.9377),2-t*cos(9.9377),t=0..1],
color=blue):
# g4 punto fijo al crculo que rueda
g4:=plot([[2*9.9377-sin(9.9377),2-cos(9.9377)]],
style=point):
# g5 es la recta por la que rueda sin resbalar el crculo
g5:=plot([x,0,x=6.5..32]):
display([g1,g2,g3,g4,g5],scaling=constrained,axes=none);
Figura 3.19, cicloide alargada
> with(plots):
# g1 es la cicloide alargada
g1:=plot([2*t-3*sin(t),2-3*cos(t),t=Pi..5*Pi],
color=green):
# g2 es el crculo que rueda
g2:=plot([2*(9.9377-sin(t)),2*(1-cos(t)),t=0..2*Pi]):
# g3 es el segmento que une el centro del crculo que
# rueda con el punto fijo
g3:=plot([2*9.9377-3*t*sin(9.9377),2-3*t*cos(9.9377),
t=0..1],color=blue):
# g4 punto fijo al crculo que rueda
g4:=plot([[2*9.9377-3*sin(9.9377),2-3*cos(9.9377)]],
style=point):
# g5 es la recta por la que rueda sin resbalar el crculo
g5:=plot([x,0,x=6.5..32]):
display([g1,g2,g3,g4,g5],scaling=constrained,axes=none);
Figura 3.21, crculo
> plot([cos(x),sin(x),x=0..2*Pi],view=[-1.5..1.5,-1.5..1.5],
thickness=2);
103
Figura 3.22, punto en la cisoide de las dos curvas respecto al origen
> with(plots):
g[1]:=plot([[1-1/sqrt(2),1-1/sqrt(2)]],style=point,
color=blue):
g[2]:=plot([cos(t),sin(t),t=0.6109..0.9599]):
g[3]:=plot([x,(x-1)^2+1,x=0.8..1.2]):
g[4]:=plot([x,x,x=0..1.1]):
display(seq(g[k],k=1..4),axes=none,scaling=constrained);
Figura 3.23, cisoide generada por un crculo que se mueve a lo largo de
una recta
> with(plots):
g[1]:=plot([4*t^2/(1+t^2),4*t^3/(1+t^2),t=-1.1..2]):
g[2]:=plot([4,t,t=-2.4..6.5]):
g[3]:=plot([2+2*cos(t),3+2*sin(t),t=0..2*Pi]):
g[4]:=plot([4*t,3*t,t=0..1]):
g[5]:=plot([x,3,x=2..4]):
display(seq(g[k],k=1..5),scaling=constrained);
Figura 3.24, construccin de la cisoide dada por Diocles
> with(plots):
g[1]:=plot([cos(t),sin(t),t=0..2*Pi]):
g[2]:=plot([x,(sin(3*Pi/8))*(x+1)/(cos(3*Pi/8)+1),
x=-1..0.8]):
g[3]:=plot([cos(5*Pi/8),y,y=-1.2..1.2]):
g[4]:=plot([x,sqrt(((x+1)^3)/(2-(x+1))),x=-1..0.1]):
g[5]:=plot([x,-sqrt(((x+1)^3)/(2-(x+1))),x=-1..0.1]):
g[6]:=plot([[cos(5*Pi/8),(sin(3*Pi/8))*(cos(5*Pi/8)+1)/
(cos(3*Pi/8)+1)]],style=point,color=blue):
g[7]:=plot([0,y,y=-1.2..1.2]):
g[8]:=plot([x,0,x=-1.2..1.4]):
display(seq(g[k],k=1..8),scaling=constrained,axes=none);
Figura 3.25, construccin de la cisoide dada por Newton
104 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
> with(plots):
g[1]:=plot([(2*t^2)/(1+t^2),(2*t^3)/(1+t^2),t=0..2]):
g[2]:=plot([1,t,t=0..3]):
g[3]:=plot([1+t*cos(Pi+2*arctan(3/4)),
1.5+t*sin(Pi+2*arctan(3/4)),t=0..2]):
g[4]:=plot([.44+1.44*t,-.42-.42*t,t=-2..0]):
g[5]:=plot([t,0,t=-2.5..1.5]):
display(seq(g[k],k=1..5),scaling=constrained);
Figura 3.26, construccin de la tangente a un punto P de la cisoide
> # Para la construccin de la tangente se emplea la
# construccin de la cisoide dada por Newton.
# En dicha construccin el punto medio del lado(coral
# cuyas ecuaciones paramtricas (x,y) se dan a
# continuacin) traza la cisoide, en este caso el punto
# medio es P=(x(1),y(1))
x:=t->1+t*cos(Pi+2*arctan(3/4));
y:=t->1.5+t*sin(Pi+2*arctan(3/4));
evalf(x(1));
evalf(y(1));
> #Se calcula la interseccin D de las normales verde y azul
solve((x+1)*sin(Pi+2*arctan(3/4))/cos(Pi+2*arctan(3/4))=
1.5,x);
> with(plots):
# g[1] rama de la cisoide
g[1]:=plot([x,sqrt((x^3)/(2-x)),x=0..1.7],color=violet):
# g[2] recta vertical que pasa por x=1
g[2]:=plot([1,t,t=0..3]):
# g[3] lado coral de la escuadra.
# El punto medio de ste traza la cisoide
g[3]:=plot([1+t*cos(Pi+2*arctan(3/4)),
1.5+t*sin(Pi+2*arctan(3/4)),t=0..2],
color=coral):
# g[4] lado azul claro de la escuadra
g[4]:=plot([.44+1.44*t,-.42-.42*t,t=-2..0],color=cyan):
# g[5] eje x
g[5]:=plot([t,0,t=-2.5..1.5]):
105
# g[6] normal al lado azul claro
g[6]:=plot([-1+t*cos(Pi+2*arctan(3/4)),
t*sin(Pi+2*arctan(3/4)),t=-2..0],color=blue):
# g[7] normal a la recta por la que se desliza lado coral
g[7]:=plot([t,1.5,t=-2..1],color=green):
with(plottools,line):
# g[8] normal al punto P=(.72,.54) de la cisoide
g[8]:=line([-.5625,1.5],[.72,.54]):
# g[9] tangente al punto P=(.72,.54) de la cisoide
g[9]:=plot([.72+.96*t,.54+1.2825*t,t=-1..1],color=brown):
display(seq(g[k],k=1..9),scaling=constrained);
Figura 3.27, duplicacin del cubo con ayuda de la cisoide de Diocles
> with(plots):
g[1]:=plot([(4*t^2)/(1+t^2),(4*t^3)/(1+t^2),t=-2..2]):
g[2]:=plot([2+2*cos(t),2*sin(t),t=0..2*Pi]):
g[3]:=plot([4,t,t=-6.5..6.5]):
g[4]:=plot([2,t,t=-6.5..6.5]):
g[5]:=plot([4-2*t,4*t,t=0..1.6]):
g[6]:=plot([2.454*t,3.0919*t,t=0..2]):
display(seq(g[k],k=1..6),scaling=constrained);
Figura 3.28, la deltoide como envoltura de las rectas de Simpson de un
tringulo
> # g[1] dibuja un crculo de radio uno con centro en el
# origen.
# A, B y C son los vrtices de un tringulo inscrito
# en el crculo de radio uno. En este caso particular
# los valores de A, B y C se dan a continuacin,
# adecuadamente estos valores pueden modificarse.
# Se requiere que los lados del tringulo que se
# da no sean paralelos a los ejes coordenados.
A[1]:=cos(Pi/3);A[2]:=sin(Pi/3);
B[1]:=cos(3*Pi/4);B[2]:=sin(3*Pi/4);
C[1]:=0;C[2]:=-1;
> # P[1,1] punto en el crculo repecto al cual se
106 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
# determina una recta de Simpson correspondiente
# al tringulo dado.
theta:=arccos(A[1]);
P[1,1]:=cos(theta/2);P[1,2]:=sin(theta/2);
# Pendientes de las rectas AB, AC y BC.
mab:=(B[2]-A[2])/(B[1]-A[1]):
mac:=(C[2]-A[2])/(C[1]-A[1]):
mbc:=(C[2]-B[2])/(C[1]-B[1]):
# Ecuaciones de las rectas AB, AC y BC.
Rab:=x->A[2]+(x-A[1])*mab:
Rac:=x->A[2]+(x-A[1])*mac:
Rbc:=x->B[2]+(x-B[1])*mbc:
> # Ecuaciones de las rectas perpendiculares a los
# segmentos AB, AC y BC respectivamente que pasan
# por el punto P[1]=(P[1,1],P[1,2]).
Pab:=x->P[1,2]-(x-P[1,1])/mab:
Pac:=x->P[1,2]-(x-P[1,1])/mac:
Pbc:=x->P[1,2]-(x-P[1,1])/mbc:
# Q1=(xq1,Rab(xq1))es el pie de la perpendicular de P
# al lado AB del tringulo.
xq1:=solve(A[2]+(x-A[1])*mab=P[1,2]-(x-P[1,1])/mab):
xiab:=min(A[1],B[1],xq1):
xfab:=max(A[1],B[1],xq1):
# Q2=(xq2,Rac(xq2)), Q3=(xq3,Rbc(xq3)) son los pies de
# las perpendiculares de P a los lados AC y BC del
# tringulo.
xq2:=solve(Rac(x)=Pac(x)):
xiac:=min(A[1],C[1],xq2):
xfac:=max(A[1],C[1],xq2):
xq3:=solve(Rbc(x)=Pbc(x)):
xibc:=min(B[1],C[1],xq3):
xfbc:=max(B[1],C[1],xq3):
> # Ecuacin de la recta que pasa por Q1 y Q2.
RQ12:=x->Rab(xq1)+(x-xq1)*(Rac(xq2)-Rab(xq1))/(xq2-xq1):
# RQ12(xq3)=Rbc(xq3), la aparente diferencia entre ellos
# se debe al "evalf". Que RQ12(xq3)=Rbc(xq3) significa que
# Q3 es colineal con Q1 y Q2.
evalf(RQ12(xq3));
107
evalf(Rbc(xq3));
> for i from 2 to 20 do
P[i,1]:=cos(theta/2+(i-1)*Pi/10);
P[i,2]:=sin(theta/2+(i-1)*Pi/10);
x1[i]:=solve(Rab(x)=P[i,2]-(x-P[i,1])/mab);
evalf( %);
x2[i]:=solve(Rac(x)=P[i,2]-(x-P[i,1])/mac);
# R[i] es la recta de Simpson del tringulo ABC con
# respecto al punto P[i]=[P[i,1],P[i,2]].
R[i]:=Rab(x1[i])+
(x-x1[i])*(Rac(x2[i])-Rab(x1[i]))/(x2[i]-x1[i]);
evalf(Rab(x1[i]));
evalf((Rac(x2[i])-Rab(x1[i]))/(x2[i]-x1[i]));
# g[i] dibuja la recta R[i].
g[i]:=plot([x,R[i](x),x=-2..2],x=-2..2,y=-2..2,
color=cyan):
od:
> # Crculo de los nueve puntos.
# E, F y G son los puntos medios de los lados del
# tringulo ABC.
E[1]:=(B[1]+C[1])/2:
E[2]:=(B[2]+C[2])/2:
F[1]:=(A[1]+C[1])/2:
F[2]:=(A[2]+C[2])/2:
G[1]:=(A[1]+B[1])/2:
G[2]:=(A[2]+B[2])/2:
# A continuacin se determinan el centro y radio del
# crculo que pasa por E, F y G.
xpmgf:=(G[1]+F[1])/2:
ypmgf:=(G[2]+F[2])/2:
xpmef:=(E[1]+F[1])/2:
ypmef:=(E[2]+F[2])/2:
medgf:=x->ypmgf-(x-xpmgf)/mbc:
medef:=x->ypmef-(x-xpmef)/mab:
xcentro:=solve(medgf(x)=medef(x)):
radio:=sqrt((E[1]-xcentro)^2+(E[2]-medgf(xcentro))^2):
# A continuacin se determinan J, K y L, los puntos de
# interseccin de las alturas del tringulo ABC con los
108 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
# lados.
xj:=solve(Rab(x)=C[2]-(x-C[1])/mab):
xk:=solve(Rbc(x)=A[2]-(x-A[1])/mbc):
xl:=solve(Rac(x)=B[2]-(x-B[1])/mac):
# Se determinan H, M y N, los puntos medios de los
# segmentos que unen el ortocentro con los vrtices
# del tringulo ABC.
xortocentro:=solve(C[2]-(x-C[1])/mab=A[2]-(x-A[1])/mbc):
yortocentro:=A[2]-(xortocentro-A[1])/mbc:
xh:=(xortocentro+A[1])/2:
yh:=(yortocentro+A[2])/2:
xm:=(xortocentro+B[1])/2:
ym:=(yortocentro+B[2])/2:
xn:=(xortocentro+C[1])/2:
yn:=(yortocentro+C[2])/2:
> with(plots):
with(plottools,line):
# g[1] dibuja un crculo.
g[1]:=plot([cos(t),sin(t),t=0..2*Pi]):
# g[21], g[22] y g[23] dibujan los segmentos AB, AC y BC.
# que incluyen respectivamente a Q1, Q2 y Q3.
g[21]:=line([xiab,Rab(xiab)],[xfab,Rab(xfab)]):
g[22]:=line([xiac,Rac(xiac)],[xfac,Rac(xfac)]):
g[23]:=line([xibc,Rbc(xibc)],[xfbc,Rbc(xfbc)]):
# g[24] dibuja los pies de las perpendiculares de P a los
# lados del tringulo, es decir, Q1, Q2 y Q3.
g[24]:=plot([[xq1,Rab(xq1)],[xq2,Rac(xq2)],[xq3,Rbc(xq3)]],
style=point):
# g[25], g[26] y g[27] dibujan los segmentos que unen
# Q1, Q2 y Q3 con P[1]=[P[1,1],P[1,2]].
g[25]:=line([P[1,1],P[1,2]],[xq1,Rab(xq1)]):
g[26]:=line([P[1,1],P[1,2]],[xq2,Rac(xq2)]):
g[27]:=line([P[1,1],P[1,2]],[xq3,Rbc(xq3)]):
# g[28] es la recta que pasa por Q1, Q2 y Q3.
g[28]:=plot([x,RQ12(x),x=-2..1]):
# g[29] dibuja los puntos medios de los lados del triangulo.
g[29]:=plot([[E[1],E[2]],[F[1],F[2]],[G[1],G[2]]],
style=point,color=blue):
109
# g[30] es el crculo de los nueve puntos.
g[30]:=plot([xcentro+radio*cos(t),medgf(xcentro)
+radio*sin(t),t=0..2*Pi]):
# g[31] J, K y L,puntos de interseccin de las alturas con
# los lados de ABC.
g[31]:=plot([[xj,Rab(xj)],[xk,Rbc(xk)],[xl,Rac(xl)]],
style=point,color=coral):
# g[32] H, M y N, puntos medios de los segmentos que unen
# el ortocentro con los vrtices de ABC.
g[32]:=plot([[xh,yh],[xm,ym],[xn,yn]],style=point,
color=violet):
# g[33] dibuja el crculo en el que esta contenida la
# deltoide.
g[33]:=plot([xcentro+3*radio*cos(t),medgf(xcentro)
+3*radio*sin(t),t=0..2*Pi]):
display(seq(g[k],k=1..33),scaling=constrained);
Figura 3.29, deltoide generada por rectas
> for i from 0 to 35 do
P[i,1]:=cos(i*Pi/18);
P[i,2]:=sin(i*Pi/18);
od:
> for i from 0 to 35 do
Q[i,1]:=cos(Pi-i*Pi/9);
Q[i,2]:=sin(Pi-i*Pi/9);
od:
> # Los puntos P y Q 6, 18 y 30 coinciden, por eso no se
# graficaron las rectas que los unen.
with(plots):
for i from 0 to 5 do
g[i]:=plot([x,P[i,2]+(x-P[i,1])*(Q[i,2]-P[i,2])/
(Q[i,1]-P[i,1]),x=-2..3.5]):
od:
for i from 7 to 17 do
g[i-1]:=plot([x,P[i,2]+(x-P[i,1])*(Q[i,2]-P[i,2])/
(Q[i,1]-P[i,1]),x=-2..3.5],x=-2.5..3.2,
y=-3.2..3.2):
110 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
od:
for i from 19 to 29 do
g[i-2]:=plot([x,P[i,2]+(x-P[i,1])*(Q[i,2]-P[i,2])/
(Q[i,1]-P[i,1]),x=-2..3.5],x=-2.5..3.2,
y=-3.2..3.2):
od:
for i from 31 to 35 do
g[i-3]:=plot([x,P[i,2]+(x-P[i,1])*(Q[i,2]-P[i,2])/
(Q[i,1]-P[i,1]),x=-2..3.5],x=-2.5..3.2,
y=-3.2..3.2):
od:
g[33]:=plot([cos(t),sin(t),t=0..2*Pi]):
display(seq(g[k],k=0..33),scaling=constrained);
Figura 3.30, propiedades de la deltoide
> y1:=x->sqrt(-x^2-12*a*x-9*a^2+sqrt(4*a*(2*x+3*a)^3));
y2:=x->-sqrt(-x^2-12*a*x-9*a^2+sqrt(4*a*(2*x+3*a)^3));
y3:=x->sqrt(-x^2-12*a*x-9*a^2-sqrt(4*a*(2*x+3*a)^3));
y4:=x->-sqrt(-x^2-12*a*x-9*a^2-sqrt(4*a*(2*x+3*a)^3));
> dy1:=D(y1);
dy2:=D(y2);
dy3:=D(y3);
dy4:=D(y4);
> a:=1;
# P=(1,y1(1))=(1,sqrt(10*sqrt(5)-22))
# dy1(1)=(-7+3*sqrt(5))/sqrt(10*sqrt(5)-22)
y1(1);
dy1(1);
> # La siguiente es la ecuacin cartesiana de la
# tangente al punto P de la deltoide.
ytp:=x->sqrt(10*sqrt(5)-22)+(x-1)*dy1(1);
> # E=(xe,y3(xe)) y H=(xh,y2(xh)) son las interseccin de
# la tangente ytp con la deltoide.
xe:=solve(sqrt(10*sqrt(5)-22)+(x-1)*(-7+3*sqrt(5))/
sqrt(10*sqrt(5)-22)=
sqrt(-x^2-12*a*x-9*a^2-sqrt(4*a*(2*x+3*a)^3)));
xh:=solve(sqrt(10*sqrt(5)-22)+(x-1)*(-7+3*sqrt(5))/
111
sqrt(10*sqrt(5)-22)=
-sqrt(-x^2-12*a*x-9*a^2+sqrt(4*a*(2*x+3*a)^3)));
> # Ecuaciones de las tangentes a los puntos
# E y H de la deltoide
yte:=x->y3(xe)+(x-xe)*dy3(xe);
yth:=x->y2(xh)+(x-xh)*dy2(xh);
# El producto de las pendientes de yte y yth
# es igual a -1 (la aparente diferencia de
# este producto con -1 se debe al evalf), por
# lo que yte y ytp se encuentran en ngulo
# recto.
evalf(dy3(xe)*dy2(xh));
# K=(xk,yte(xk)) es el punto donde se intersectan
# yte y yth.
xk:=solve(yte(x)=yth(x)):
# La norma de K es uno (la aparente diferencia de
# de la norma de K con uno es por el evalf), lo que
# significa que K esta en el crculo que esta inscrito
# en la deltoide.
evalf(sqrt(xk^2+(yte(xk))^2));
> # ynE, ynH, ynP son las ecuaciones de las normales a los
# puntos de la deltoide E, H, P respectivamente.
ynE:=x->y3(xe)-(x-xe)/dy3(xe);
ynH:=x->y2(xh)-(x-xh)/dy2(xh);
ynP:=x->y1(1)-(x-1)/dy1(1);
> # Se verifica que las normales ynE, ynH, ynP son
# concurrentes, es decir, que se intersectan en
# C=(xc,yc) y que este punto esta en el crculo
# que contiene al tricspide.La instruccin evalf
# origina aparentes pequeas diferencias con respecto
# a los valores reales.
xc:=evalf(solve(ynE(x)=ynP(x),x));
yc:=evalf(ynP(xc));
evalf(ynE(xc));
evalf(ynH(xc));
sqrt(xc^2+yc^2);
> # Se verifica que la longitud de EH es 4a.
longitud:=evalf(sqrt((xh-xe)^2+(y2(xh)-y3(xe))^2));
112 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
> # D=(xd,yd) es el punto medio del segmento EH. Se verifica
# que D esta en el crculo que esta contenido en el del-
# toide. Se puede verificar que yd=sqrt(sqrt(5)/2-.5) y
# que D esta en el crculo de radio uno con centro en el
# origen.
xd:=(xe+xh)/2;yd:=ytp(xd);
evalf(sqrt(xd^2+yd^2));
> # J=(xj,ytp(xj)) es la interseccin de la tangente ytp y
# el crculo que esta contenido en la deltoide. Sea rj la
# recta que pasa por J y es perpendicular a ytp, esta
# recta debe ser tangente a la deltoide. Como al determinar
# donde se intersectan rj y la deltoide se obtiene una
# nica solucin Q, rj resulta ser tangente a la deltoide.
# Otra forma de verificar que rj y la deltoide son tan-
# gentes es comprobar que la pendiente de rj es igual a
# la derivada de la deltoide valuada en Q.
S:=solve(sqrt(10*sqrt(5)-22)+(x-1)*(-7+3*sqrt(5))/
sqrt(10*sqrt(5)-22)=sqrt(1-x^2));
> xj:=sqrt(5)-2;
ytp(xj);
rj:=x->ytp(xj)-(x-xj)*sqrt(10*sqrt(5)-22)/(-7+3*sqrt(5));
Q:=solve((14-6*sqrt(5))/sqrt(-22+10*sqrt(5))-
(x-(sqrt(5)-2))*sqrt(10*sqrt(5)-22)/(-7+3*sqrt(5))
=-sqrt(-x^2-12*a*x-9*a^2-sqrt(4*a*(2*x+3*a)^3)));
evalf(-sqrt(10*sqrt(5)-22)/(-7+3*sqrt(5)));
evalf(dy4(Q));
> with(plots):
g[1]:=plot([x,y1(x),x=-1.5..3],color=violet):
g[2]:=plot([x,y2(x),x=-1.5..3]):
g[3]:=plot([x,y3(x),x=-1.5..-1],color=blue):
g[4]:=plot([x,y4(x),x=-1.5..-1],color=green):
g[5]:=plot([x,ytp(x),x=-2..3]):
g[6]:=plot([x,ynE(x),x=-2..3]):
g[7]:=plot([x,ynH(x),x=1.6..3]):
g[8]:=plot([x,ynP(x),x=0..2.4]):
g[9]:=plot([3*cos(t),3*sin(t),t=0..2*Pi]):
g[10]:=plot([cos(t),sin(t),t=0..2*Pi]):
g[11]:=plot([[xd,yd]],style=point,color=blue):
113
g[12]:=plot([x,rj(x),x=-2..1.5]):
g[13]:=plot([x,yte(x),x=-1.5..0],color=cyan):
g[14]:=plot([x,yth(x),x=-1..3],color=cyan):
display(seq(g[k],k=1..14),scaling=constrained);
Figura 3.31, evoluta de la deltoide
> # Se dan las ecuaciones paramtricas de la curva
> x:=t->2*a*cos(t)+a*cos(2*t);
y:=t->2*a*sin(t)-a*sin(2*t);
# Se le asigna un valor al parmetro
a:=1;
> pdx:=D(x); # pdx = primera derivada de x
pdy:=D(y); # pdy = primera derivada de y
> sdx:=D(D(x)); # sdx = segunda derivada de x
sdy:=D(D(y)); # sdy = segunda derivada de y
> x2:=x-pdy*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
y2:=y+pdx*((pdx)^2+(pdy)^2)/(pdx*sdy-sdx*pdy);
> with(plots):
# Verificar el dominio del parmetro de curva y su evoluta
g1:=plot([x(t),y(t),t=0..2*Pi],scaling=constrained):
g2:=plot([x2(t),y2(t),t=0..2*Pi],color=blue): # Evoluta
display([g1,g2]);
Figura 3.32, deltoide rotor
> with(plots):
g1:=plot([32*(cos(t))^3,32*(sin(t))^3,t=0..2*Pi],
thickness=2):
g2:=plot([8+16*cos(t)+8*cos(2*t),16*sin(t)-8*sin(2*t),
t=0..2*Pi]):
display([g1,g2]);
Figura 3.34, dos formas de generar una epicicloide
La gura 3.34 (A), epicicloide, es la imagen 45 (theta = 11.519) de
la animacin epiAnimaEjeXporVertice(3,2), cuyo procedimiento se dio en la
gura 3.9.
La gura 3.34 (B), generacin doble de la epicicloide, es la imagen 23
(theta = 28.798) de la animacin hipoAnimaEjeXporVertice(3,5), el proced-
imiento correspondiente se dio en la gura 3.2.
114 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
Figura 3.35, dos formas de generar una hipocicloide
La gura 3.35 (A), hipocicloide, es la imagen 24 (theta = 11.519) de la
animacin hipoAnimaEjeXporVertice(7,2), cuyo procedimiento se dio en la
gura 3.9.
La gura 3.35 (B), generacin doble de la hipocicloide, es la imagen 24
(theta = 28.798) de la animacin hipoAnimaEjeXporVertice(7,5), el proced-
imiento correspondiente se dio en la gura 3.2.
Figura 3.36, una rama de la espiral de Arqumedes
> with(plots):
polarplot(2*t,t=0..18.85,scaling=constrained);
Figura 3.37, espiral de Arqumedes
> with(plots):
polarplot(t,t=-8..8,scaling=constrained);
Figura 3.39, espiral de Cornu
> x:=t->int(cos((v^2)/(2*a)),v=0..t);
> y:=t->int(sin((v^2)/(2*a)),v=0..t);
> a:=.2;
with(plots):
g1:=plot([x(t),y(t),t=0..2.45]):
g2:=plot([-x(t),-y(t),t=0..2.45]):
display([g1,g2],scaling=constrained);
Figura 3.40, espiral equingular
> with(plots):
polarplot((exp(t*cot(5*Pi/12)))/144,t=0..15.708,
scaling=constrained);
Figura 3.41, pentgono
115
> xintersec:=solve(sqrt(1-(x-1)^2)=
sqrt(((1+sqrt(5))/2)^2-x^2),x);
evalf( %);
yintersec:=sqrt(1-(xintersec-1)^2);
evalf( %);
y2:=yintersec+sqrt(1-(.5-xintersec)^2);
evalf( %);
> with(plots):
with(plottools,line):
g1:=plot([x,0,x=0..1]):
g2:=plot([x,x/2,x=0..2]):
g3:=plot([1+cos(t),sin(t),t=0.4..Pi/2],color=green):
g4:=plot([(1+sqrt(5))*cos(t)/2,
(1+sqrt(5))*sin(t)/2,t=0.4..Pi/2],color=blue):
g5:=line([0,0],[xintersec,yintersec]):
g6:=line([1,0],[xintersec,yintersec]):
g7:=line([xintersec,yintersec],[0.5,y2]):
g8:=line([0.5,y2],[1-xintersec,yintersec]):
g9:=line([1-xintersec,yintersec],[0,0]):
g10:=plot([1,y,y=0..0.5]):
display([g1,g2,g3,g4,g5,g6,g7,g8,g9,g10],
scaling=constrained,axes=none);
Figura 3.43, espiral equingular
> with(plots):
g1:=plot([(cos(t))*exp(t*cot(5*Pi/12)),
(sin(t))*exp(t*cot(5*Pi/12)),t=0..3*Pi]):
g2:=plot([t*(cos(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3),
t*(sin(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3),t=0..1]):
g3:=plot([(cos(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3)+
t*cos(3*Pi/4),(sin(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3)
+t*sin(3*Pi/4),t=-4..4]):
g4:=plot([(cos(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3)+2*cos(t),
(sin(7*Pi/3))*exp(7*Pi*cot(5*Pi/12)/3)+2*sin(t),
t=4*Pi/3..7*Pi/4]):
g5:=plot([t*(cos(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3),
t*(sin(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3),t=0..1]):
116 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
g6:=plot([(cos(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3)+
t*cos(Pi/12),(sin(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3),
+t*sin(Pi/12)t=-4..4]):
g7:=plot([(cos(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3)+2*cos(t),
(sin(8*Pi/3))*exp(8*Pi*cot(5*Pi/12)/3)+2*sin(t),
t=-Pi/3..Pi/12]):
display([g1,g2,g3,g4,g5,g6,g7],scaling=constrained);
Figura 3.44, espiral equingular con longitud de los sucesivos radio
vectores 0R0 =
0
, 0R1 =
1
, 0R2 =
2
,...
> # Las siguientes son las ecuaciones paramtricas de la
# espiral equingular
x:=t->(cos(t))*exp(4*t/((1+sqrt(5))^2));
y:=t->(sin(t))*exp(4*t/((1+sqrt(5))^2));
> # La ecuacin polar de la espiral equingular anterior
# es r=exp(4*t/((1+sqrt(5))^2))
tau:=(1+sqrt(5))/2;
t1:=solve(exp(4*t/((1+sqrt(5))^2))=tau);
t2:=solve(exp(4*t/((1+sqrt(5))^2))=tau^2);
t3:=solve(exp(4*t/((1+sqrt(5))^2))=tau^3);
t4:=solve(exp(4*t/((1+sqrt(5))^2))=tau^4);
> with(plots):
with(plottools,line):
g1:=plot([x(t),y(t),t=0..t4]):
g2:=line([0,0],[x(t1),y(t1)]):
g3:=line([0,0],[x(t2),y(t2)]):
g4:=line([0,0],[x(t3),y(t3)]):
g5:=line([0,0],[x(t4),y(t4)]):
display([g1,g2,g3,g4,g5],scaling=constrained);
Figura 3.45, espiral equingular derivada de un rectngulo ureo
> tau:=(1+sqrt(5))/2;
with(plots):
with(plottools,line):
g1:=polarplot(exp(t*2*ln((1+sqrt(5))/2)/Pi),t=0..29*Pi/8):
g2:=line([1,tau],[-tau^2,tau]):
117
g3:=line([-tau^2,tau],[-tau^2,-tau^3]):
g4:=line([-tau^2,-tau^3],[1,-tau^3]):
g5:=line([1,-tau^3],[1,tau]):
g6:=line([tau^4,tau^5],[-tau^6,tau^5]):
g7:=line([-tau^6,tau^5],[-tau^6,-tau^7]):
g8:=line([-tau^6,-tau^7],[tau^4,-tau^7]):
g9:=line([tau^4,-tau^7],[tau^4,tau^5]):
display([g1,g2,g3,g4,g5,g6,g7,g8,g9],scaling=constrained);
Figura 3.46, inversa de la espiral equiangular
> with(plots):
g1:=polarplot(exp(-t*cot(5*Pi/12)),t=-Pi..5):
g2:=polarplot(exp(t*cot(5*Pi/12)),t=-5..Pi,color=green,
thickness=2):
g3:=polarplot(1,t=0..2*Pi,color=cyan):
display([g1,g2,g3]);
Figura 3.47, espiral de Fermat
> with(plots):
g1:=polarplot(t^.5,t=0..3*Pi):
g2:=polarplot(-(t^.5),t=0..3*Pi):
display([g1,g2],scaling=constrained);
Figura 3.48, espiral hiperblica o reciproca
> with(plots):
g1:=polarplot(2/t,t=-13*Pi/4..-Pi/4):
g2:=polarplot(2/t,t=Pi/4..13*Pi/4):
display([g1,g2],scaling=constrained);
Figura 3.49, espiral hiperblica y su asntota
> r:=t->a/t;
> a:=2;
> with(plots):
g1:=polarplot(r(t),t=-13*Pi/4..-0.55):
g2:=polarplot(r(t),t=0.55..13*Pi/4):
g3:=plot([t,a,t=-3.1..3.1]):
display([g1,g2,g3],scaling=constrained);
118 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
Figura 3.50, lituus
> with(plots):
g1:=plot([2*cos(t)/sqrt(t),2*sin(t)/sqrt(t),
t=Pi/36..21*Pi/4]):
g2:=plot([t*cos(Pi/6),t*sin(Pi/6),t=0..2/sqrt(Pi/6)]):
g3:=plot([(sqrt(24/Pi))*cos(t),(sqrt(24/Pi))*sin(t),
t=0..Pi/6]):
display([g1,g2,g3],scaling=constrained);
Figura 3.51, valos de Cassini
> with(plots):
# Cuando Maple grfica g1 por alguna razn que
# desconozco no dibuja la parte central de la grfica.
# La misma ecuacin polar con t en el mismo intervalo
# de valores (t entre -Pi y Pi) en Scientific
# WorkPlace traza la grfica completa.
g1:=polarplot(sqrt(2*cos(2*t)),t=-Pi..Pi):
# g2 es la grfica de la ecuacin polar de los ovalos de
# Cassini con parmetros a=1 y c=1.5
g2:=polarplot(sqrt(cos(2*t)+sqrt(1.5^4-1+(cos(2*t))^2)),
t=-Pi..Pi,color=violet):
# g3 es la grfica de la ecuacin polar de los ovalos de
# Cassini con a=1 y c=1.2
g3:=polarplot(sqrt(cos(2*t)+sqrt(1.2^4-1+(cos(2*t))^2)),
t=-Pi..Pi,color=cyan):
# g4 y g5 son las grficas azul fuerte y verde
# respectivamente de la ecuacin polar de los ovalos
# de Casini con parmetros a=1 y c=0.9, en Scientific
# WorkPlace, las mismas ecuacines
# con t en el mismo intervalo de valores da grficas
# continuas, sin huecos.
g4:=polarplot(sqrt(cos(2*t)+sqrt(.9^4-1+(cos(2*t))^2)),
t=-Pi..Pi,color=blue):
g5:=polarplot(sqrt(cos(2*t)-sqrt(.9^4-1+(cos(2*t))^2)),
t=-Pi..Pi,color=green):
g6:=plot([[-1,0],[1,0]],style=point): # Focos
display([g1,g2,g3,g4,g5,g6],scaling=constrained);
119
Figura 3.52, tractriz
> x:=t->a*ln(sec(t)+tan(t))-a*sin(t);
y:=t->a*cos(t);
> a:=1;
x(1.1);y(1.1);
# Sabemos que la tangente a la tractriz en el punto
# P=(x(1.1),y(1.1))=(x(1.1),a*cos(1.1))
# tiene pendiente -y(1.1)/sqrt(a^2-((y(1.1))^2)
#
# y=a*cos(t) entonces sqrt(a^2-((y(1.1))^2)=a*sin(1.1)
#
# As la tangente a la tractriz en el punto (x(1.1),y(1.1))
# tiene como vector de direccin a (a*sin(1.1),-a*cos(1.1)).
# El punto en donde la tangente corta el eje x es:
#
# A=(x,0)=(x(1.1),a*cos(1.1))+t(a*sin(1.1),-a*cos(1.1))
#
# De donde resulta que t=1
#
# Q=(x(1.1),a*cos(1.1))+t(a*sin(1.1),-a*cos(1.1))
# Q=(a*ln(sec(1.1)+tan(1.1)-a*sin(1.1)+t*a*sin(1.1),
# a*cos(1.1)-t*a*cos(1.1))
#
# Si t=0, Q=P y si t=1, Q=A. As que si en la
# ecuacin de la tangente t se mueve entre cero
# y uno dibujamos el segmento que va de P a Q
> with(plots):
g1:=plot([x(t),y(t),t=-1.4..1.4]):
g2:=plot([[x(1.1),y(1.1)]]):
g3:=plot([ln(sec(1.1)+tan(1.1))-sin(1.1)+t*sin(1.1),
cos(1.1)-t*cos(1.1),t=0..1]):
g4:=plot([x(1.1),y,y=0..y(1.1)]):
display([g1,g2,g3,g4],scaling=constrained);
Figura 3.53, tractriz y catenaria
120 APNDICE A. CDIGO EN MAPLE 9 DE LAS GRFICAS
> # rectas verticales
for i from 1 to 10 do
g[i]:=plot([.3+(i-1)*.6,x,x=0..12],scaling=constrained):
od:
> # cuartos de crculo
for i from 1 to 8 do
g[i+10]:=plot([1.8+(i-1)*.6+2.7*cos(t),2.7*sin(t),
t=Pi/2..Pi],scaling=constrained):
od:
> # de los siguientes dos crculos slo se dibuja hasta
# donde cortan estos al eje y
g[19]:=plot([1.2+2.7*cos(t),2.7*sin(t),
t=Pi/2..arccos(-1.2/2.7)]):
g[20]:=plot([.6+2.7*cos(t),2.7*sin(t),
t=Pi/2..arccos(-.6/2.7)]):
> # P[1] es un punto de la catenaria con parmetro a=2.7
P[1]:=[5.7,2.7*cosh(5.7/2.7)]:
> # T[0] punto en que la recta P[1]T[0] es tangente al
# crculo con centro en el punto al que se nombro "0"
t0:=arccos(2.7/sqrt((.3)^2+(P[1][2])^2))+
arccos(-1/sqrt(1+(P[1][2]/.3)^2)):
T[0]:=[6+2.7*cos(t0),2.7*sin(t0)]:
> with(plottools,line):
g[21]:=line(P[1],T[0]):
g[22]:=line([-5.7,2.7*cosh(5.7/2.7)],
[-6-2.7*cos(t0),2.7*sin(t0)]):
> u[0]:=-arccos((T[0][1]-P[1][1])/sqrt((T[0][1]-P[1][1])^2+
(T[0][2]-P[1][2])^2)):
for i from 0 to 8 do
radio[i]:=sqrt((T[2*i][1]-P[2*i+1][1])^2+
(T[2*i][2]-P[2*i+1][2])^2):
f[i]:=x->P[2*i+1][2]-sqrt(radio[i]^2-(x-P[2*i+1][1])^2):
h[i]:=x->sqrt(2.7^2-(x-5.4+.6*i)^2):
S:=solve(sqrt(2.7^2-(x-5.4+.6*i)^2)=P[2*i+1][2]-
sqrt(radio[i]^2-(x-P[2*i+1][1])^2)):
if S[1]<S[2] then T[2*(i+1)][1]:=S[1];
else T[2*(i+1)][1]:=S[2] end if;
T[2*(i+1)][2]:=f[i](T[2*(i+1)][1]):
121
r[i]:=x->T[2*(i+1)][2]+(P[2*i+1][2]-T[2*(i+1)][2])*
(x-T[2*(i+1)][1])/(P[2*i+1][1]-T[2*(i+1)][1]):
P[2*(i+1)+1][1]:=5.1-.6*i:
P[2*(i+1)+1][2]:=r[i](P[2*(i+1)+1][1]):
g[23+i]:=line([P[2*i+1][1],P[2*i+1][2]],
[T[2*(i+1)][1],T[2*(i+1)][2]]):
g[32+i]:=line([-P[2*i+1][1],P[2*i+1][2]],
[-T[2*(i+1)][1],T[2*(i+1)][2]]):
u[2*(i+1)]:=-arccos((T[2*(i+1)][1]-P[2*i+1][1])/radio[i]):
g[41+i]:=plot([P[2*i+1][1]+radio[i]*cos(t),P[2*i+1][2]+
radio[i]*sin(t),t=u[2*(i+1)]..u[2*i]]):
g[50+i]:=plot([-P[2*i+1][1]+radio[i]*cos(t),P[2*i+1][2]+
radio[i]*sin(t),t=Pi-u[2*i]..Pi-u[2*(i+1)]]):
od:
> with(plots):
display(seq(g[k],k=1..58));