Professional Documents
Culture Documents
1. Introducción 1
2. Familias de curvas 5
2.1. Envolturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1. Determinación de las envolturas . . . . . . . . . . . . . 15
2.2. Cáusticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1. Un ejemplo del cálculo de una cáustica . . . . . . . . . 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 círculo . . . . . . . . . . . . 32
2.4.4. Curvas pedal . . . . . . . . . . . . . . . . . . . . . . . 33
3. Galería 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. Círculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 Arquímedes . . . . . . . . . . . . . . . . . . . . . . 70
3.12. Espiral de Cornu . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.13. Espiral Equiángular . . . . . . . . . . . . . . . . . . . . . . . . 74
3.14. Espiral de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.15. Espiral Hiperbólica . . . . . . . . . . . . . . . . . . . . . . . . 82
3.16. Lituus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.17. Óvalos de Cassini . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.18. Tractriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4. Conclusiones 91
ÍNDICE DE FIGURAS
2.23. Evoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.24. Parábola y su evoluta . . . . . . . . . . . . . . . . . . . . . . . 31
2.25. La catenaria y su involuta . . . . . . . . . . . . . . . . . . . . 31
2.26. Involuta Aproximada . . . . . . . . . . . . . . . . . . . . . . . 32
2.27. Inversa con respecto a un círculo . . . . . . . . . . . . . . . . 33
2.28. Pedal positiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.29. A la izquierda la pedal positiva de la parábola 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) Generación doble de la astroide . . . . . . . 36
3.3. Trasmallo de Arquímedes . . . . . . . . . . . . . . . . . . . . . 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) Generación doble de la cardioide . . . . . . 42
3.10. Generación de cremona de la cardioide . . . . . . . . . . . . . 43
3.11. La cardioide como envolvente de círculos . . . . . . . . . . . . 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 corazón de la ciudad de St. Louis Mis-
souri, Estados Unidos. En la fotografía de la izquierda, aparece
además 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. Círculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 círculo que se mueve a lo largo de
una recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.24. Construcción de la cisoide dada por Diocles . . . . . . . . . . 58
3.25. Construcción de la cisoide dada por Newton . . . . . . . . . . 58
ÍNDICE DE FIGURAS
La humanidad fue fascinada por las curvas mucho antes de que estas
fueran vistas como objetos matemáticos. Como evidencia están la forma de
olas y espirales en la alfarería prehistórica, o los espléndidos pliegues de las
esculturas griegas y góticas. Fueron los geómetras griegos quienes iniciaron el
estudio de curvas definidas geométricamente como, por ejemplo, el contorno
de la intersección de un plano con un cono. La recta y el círculo 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 Arquímedes (287-212
antes de J. C.) fue de este tipo. Una clasificación en curvas “geométricas”
y “mecánicas” (la cual no corresponde al uso moderno de estos términos)
quedó fija hasta el siglo diecisiete cuando la geometría analítica hizo posible
distinguir con precisión que debemos (siguiendo a Gottfried Wilhelm Leibniz
(1646-1716)) llamar ahora curvas algebraicas1 y trascendentes2 .
1
Aquellas que pueden ser expresadas por potencias racionales de x y y vinculadas por
operaciones de suma, resta, multiplicación y división; por ejemplo: y 2 = x/(x + y).
2
Una curva o ecuación trascendental es aquella que no es algebraica; por ejemplo:
y = 2x , y = sin x.
1
2 CAPÍTULO 1. INTRODUCCIÓN
dicho Capítulo.
Una de las razones para elaborar esta tesis fue el hecho de que no existía
en español un texto que hablara de estas curvas.
Dentro de los propósitos de esta tesis estuvo incluir al menos las curvas
que se consideran más importantes.
Otro de los propósitos 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-
putación, 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 CAPÍTULO 1. INTRODUCCIÓN
Capítulo 2
Familias de curvas
2.1. Envolturas
La noción de envoltura1 se encuentra en las diversas partes de la matemáti-
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 François Antonie, Marquis de L’Hôpital (1661-1704).
En calidad de envolturas aparecen curvas notables que encontramos fre-
cuentemente en la matemática y en las aplicaciones de ésta: la parábola, la
hipérbola, la astroide, la cicloide, la cardioide, etcétera. A continuación se
presentan la parábola y la hipérbola como ejemplos de envolturas.
5
6 CAPÍTULO 2. FAMILIAS DE CURVAS
gt2
y(t) = (vo sin ϕ)t − (2.5)
2
De la ecuación 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 ascendía; después de este momento es negativa
y el cuerpo desciende. Así, cuando t = vo sin g
ϕ
, el cuerpo alcanza su altura
máxima de ascensión, que según la ecuación 2.5 es igual a
vo2
ymáx =
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 raíces de la ecuación 2.5
gt2
(vo sin ϕ)t − =0
2
vo2
xmáx =
g
2.1. ENVOLTURAS 9
x(t) = vo t (2.6)
v 2 gt2
y(t) = o −
2g 2
vo2 gt2 1
y(t) − y1 (t1 ) = − (vo sin ϕ)t1 + 1 (1 − cos2 ϕ) = (v0 − gt1 sin ϕ)2 ≥ 0
2g 2 2g
Figura 2.5: Curva balística (línea continua) y trayectoria del proyectil bajo
la influencia única de la fuerza de gravedad.
2.1. ENVOLTURAS 11
Tomando círculos para todas las posiciones posibles del avión obten-
dremos la zona de audibilidad. Sea l cierta semirrecta que parte del punto
O y u, v, h (u < v) tres números positivos. Supongamos que A es un punto
arbitrario de la semirrecta l, y que t es un número positivo tal que la longitud
del segmento OA es√igual a vt. Designemos por KA al círculo con centro en
el punto A y radio u2 t2 − h2 . Hallar en el plano la región de todos los cír-
culos KA que se obtienen para todas las posiciones posibles del punto A en la
semirrecta l. En la figura 2.7 se exponen varios de estos círculos y una línea
gruesa que limita la región rellena por estos círculos, es decir, la línea que es
el límite de la zona de audibilidad. Al examinar esta figura podemos concluir
que el límite de la zona de audibilidad es la envoltura de tales círculos.
Todos los círculos KA posibles llenan la región de audibilidad, así que
para que un punto M en el plano pertenezca a la zona de audibilidad es
necesario que pertenezca a√algún círculo KA . Sean A = (vt, 0), M = (x, y)
y KA el círculo de radio u2 t2 − h2 y centro en el punto A. Para que M
pertenezca al círculo KA es necesario que se cumpla la desigualdad
(x − vt)2 + y 2 ≤ u2 t2 − h2
que es equivalente a
b2 − 4ac ≥ 0
4v 2 x2 − 4(v 2 − u2 )(x2 + y 2 + h2 ) ≥ 0
4u2 x2 − 4(v 2 − u2 )y 2 ≥ 4(v 2 − u2 )h2
u2 x2 y2
− ≥1
(v 2 − u2 )h2 h2
x2 y2
(v 2 −u2 )h2
− ≥1 (2.9)
h2
u2
x2 y2
(v 2 −u2 )h2
− =1 (2.10)
h2
u2
AE ut u
sin ϕ = = =
OA vt v
AE ut u
tan ϕ = = √ =√
OE 2
t v −u 2 v − u2
2
f (x, y, a) = 0 (2.11)
fa′ (x, y, a) = 0
f (x, y, a, b) = 0
g(a, b) = 0
f (x, y, a, b) = 0
g(a, b) = 0 (2.12)
fa · gb − ga′ · fb′ = 0
′ ′
gbx2 − a(a2 + b2 )x = 0
gbx2 − avo2 x = 0
gbx − avo2 = 0
vo2 gx2
y= − 2
2g 2vo
2.2. Cáusticas
Cuando una luz se refleja desde un espejo en otra superficie frecuente-
mente se observa una curva de luz brillante en la superficie, esta curva es
llamada cáustica, de la idea de quemar.
Un basto ejemplo de envolturas son las curvas cáusticas, que aunque pare-
cen producto de la óptica, pertenecen completamente a la teoría de curvas.
Son de interés histórico por hacer surgir las primeras preguntas.
Una curva cáustica es la envoltura de rayos de luz emitidos de un punto
reflejados (catacáustica) o refractados (diacáustica) en una curva dada.
Los rayos de luz pueden estar a una distancia finita (como una llama) o
prácticamente a distancia infinita (como el sol).
Las curvas cáusticas fueron introducidas en 1682 por el matemático alemán
Ehrenfried Walter von Tschirnhaus (1651-1708), quien trabajó en geometría
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), L’Hôpital (1661-1704), Adolphe
Quételet (1796-1874), Joseph Louis Lagrange (1736-1813) y otros.
Son ejemplos de éstas: las curvas luminosas que se ven en la superficie de
una taza de leche (ver figura 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 reflejados en una taza de
leche.
de donde
x = sin3 α (2.15)
substituyendo en la ecuación 2.14 llegamos a
1 1 sin4 α 2 1 2
y= − + − sin α cos α = − cos α + sin α (2.16)
2 cos α cos α 2
esta ecuación junto con la ecuación 2.15 son las ecuaciones paramétricas de
la cáustica. Para quitar el parámetro despejamos sin α de la ecuación 2.15,
de la relación sin2 α + cos2 α = 1 despejamos cos α y los substituimos en la
ecuación 2.16, obtenemos
2 1 2
y = − 1 − x3 + x3
2
que es la ecuación cartesiana de la cáustica y representa una nefroide, como
se dijo antes en esta sección (ver figura 2.11).
y
0.5
0
-1 -0.5 0 0.5 1
x
-0.5
2.3.1. Cicloides
Un círculo de radio a rueda, sin resbalar, sobre una recta. ¿Por qué curva
se mueve un punto fijo P = (x, y) a distancia h, h > a del centro del círculo
que rueda?
Así la coordenada y de H es
y = GD − GK = (a + b) sin ϕ − c sin(ϕ + ψ)
si a + b = mb
a = (m − 1)b
(m − 1)bϕ = bψ
ψ = (m − 1)ϕ
ϕ+ψ = mϕ
x = mb cos ϕ − c cos mϕ
y = mb sin ϕ − c sin mϕ
a+b
x = (a + b) cos ϕ − b cos ϕ (2.17)
b
a+b
y = (a + b) sin ϕ − b sin ϕ
b
x = OA + EF = (a − b) cos ϕ + d cos(ψ − ϕ)
y = GA − GE = (a − b) sin ϕ − d sin(ψ − ϕ)
si a − b = mb, entonces
x = mb cos ϕ + d cos mϕ
y = mb sin ϕ − d sin mϕ
a−b
x = (a − b) cos ϕ + b cos ϕ (2.18)
b
a−b
y = (a − b) sin ϕ − b sin ϕ
b
Si en estas ecuaciones se reemplaza b por −b, se obtienen las ecuaciones
paramétricas de la epicicloide y viceversa.
2.3. RODAMIENTOS Y RESBALAMIENTOS 25
Todas las curvas antes mencionadas fueron trazadas por un punto rígida-
mente sujeto a un círculo que rueda sin resbalar sobre una recta, sobre un
círculo, o en el interior de un círculo. Es una extensión natural pensar en
qué curva trazará un punto fijo sujeto a un círculo, si el círculo rueda sobre
alguna otra curva. Se observa que esta forma de generar curvas producirá
una infinidad de ellas.
Figura 2.18: Varias posiciones de la escalera en las que está señalado el punto
medio de ésta
2
2 2 d
x +y =
2
El conjunto de puntos que satisfacen esta ecuación es una circunferencia.
Formulemos la pregunta anterior más ampliamente. ¿Por qué curva se
moverá un peldaño de la escalera que no esté en el centro de la escalera?
En la figura 2.19 A están dibujados algunos puntos de la curva que des-
cribe el peldaño (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 figura 2.19 B). Como antes, determinamos las
coordenadas de (x, y), y = b sin ϕ y x = a cos ϕ para 0 ≤ ϕ ≤ π2 .
x2 y 2
+ 2 =1
a2 b
En este caso el conjunto de puntos cuyas coordenadas satisfacen esta
2.3. RODAMIENTOS Y RESBALAMIENTOS 27
0
0 1
Figura 2.20: Barra de longitud uno que resbala en una pared vertical
0
-1 0 1
-1
x2
y = (a − c) 1 −
c2
Para obtener la ecuación de la envoltura empleemos el sistema (2.11) de
la sección 2.1.1
x2
f (x, y, c) = (a − c) 1 − 2
−y = 0
c
(a − c)x2 x2
fc′ (x, y, c) = − 1− 2 =0
c 1 − xc2
3 2 c
2.4. PROPIEDADES GENERALES 29
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 año 200 antes de J. C. donde aparece en el libro V de sus Secciones Cónicas
([14] p. 86, [3]).
α = x − R. sin φ
β = y + R cos φ
30 CAPÍTULO 2. FAMILIAS DE CURVAS
4
Un camino es regular si la primera derivada de las funciones coordenadas de f son
continuas y f’(t)
= 0 (vector 0 de R2 ) para toda t ∈ I.
2.4. PROPIEDADES GENERALES 31
2.4.2. Involutas
La involuta de un círculo fue discutida y utilizada por Huygens en 1673
en relación con sus estudios de un reloj sin péndulo para el servicio de barcos
en el mar.
Para obtener la involuta de una curva con respecto a un punto en ésta,
considérese la tangente a la curva en ese punto. Sea ese punto un punto fijo
sobre la recta tangente. La involuta es la trayectoria del punto fijo 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 ecuación cartesiana es
y = cosh x
ver figura 2.25, en ella están la catenaria y su involuta con línea gruesa.
32 CAPÍTULO 2. FAMILIAS DE CURVAS
(0A)(0B) = k 2
r.ρ = k 2
2.4. PROPIEDADES GENERALES 33
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 parábola y 2 = √ bx es la inversa de la cisoide
x3
y = 2a−x con respecto al círculo de radio 2ab con centro en el origen
2
x = r cos θ
y = r sin θ
rρ = 2ab
3.1. Astroide
Buscando la mejor forma para los dientes de los engranes Olaf Roemer
(1644-1710), astrónomo danés, descubrió en 1674 las curvas cicloidales ([9]
p. 284), una de las cuales es la astroide. La generación 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
tamaño 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 según la pági-
na de internet http://www.daviddarling.info/encyclopedia/A/astroid.html el
libro se publicó en 1836 por Karl Ludwing von Littrow. Aún después de la
35
36 CAPÍTULO 3. GALERÍA DE CURVAS
publicación de dicho libro fue conocida por otros nombres como cubocicloide,
paracicloide, curva de cuatro vértices, etc. Johann Bernoulli y Jean Le Rond
d’Alembert (1717-1783) trabajaron con esta curva en 1691 y 1748 respectiva-
mente. La ecuación cartesiana de la astroide se encontró en correspondencia
de Leibniz de 1715.
Ecuaciones
1
Las ecuaciones paramétricas de la astroide son:
Propiedades de la astroide:
Longitud: 6a
38 CAPÍTULO 3. GALERÍA DE CURVAS
3πa2
Área: 8
Dado un círculo fijo con centro en (0, a2 ) y radio a2 y dos rectas paralelas
y = 0 y y = a, las rectas son tangentes al círculo en 0 y K respectivamente.
Una secante 0A a través del punto fijo 0 corta al círculo en Q. Construya QP
perpendicular al diámetro 0K y AP paralelo a él. El punto P es un punto
de la Bruja de Agnesi (ver figura 3.8).
a cos θ
x=
1 + sin θ
3
Dada una curva C1 , un punto 0 y una recta L1 , el hiperbolismo de C1 es la curva C2
formada por los puntos P tales que: si Q es un punto de C1 , entonces la recta L2 a través
de 0Q intersecta a L1 en A; si L3 es una recta paralela a L1 a través de Q; entonces P es
la proyección de A en L3 .
3.2. BRUJA DE AGNESI 41
y(x2 + a2 ) = a3
x = a tan t, y = a cos2 t
([1] p. 258).
42 CAPÍTULO 3. GALERÍA 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). También es un
caso especial de las curvas cicloidales estudiadas por Roemer (1674) en una
investigación 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, corazón, 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 fijo P en un círculo que
rueda sobre el exterior de un círculo fijo de igual tamaño (figura 3.9 A).
Además la curva puede ser vista como una espiral sinusoidal (con p = 12 )
o, como se dijo al inicio, como un caso especial del caracol de Pascal.
La cardioide es también la envoltura de cuerdas de un círculo. Sean 36
puntos igualmente espaciados en un círculo, etiquetados del 0 al 35. Conecte
los puntos 1 y 2, 2 y 4, 4 y 8, ...; 3 y 6, 6 y 12, ...; etcétera. Esta construcción
se llama generación de Cremona (figura 3.10).
Asimismo, la cardioide es la envoltura de los círculos que se describen a
continuación. Se dibuja un círculo base y se marca en el un punto fijo A. Con
centro en cualquier punto Q en el círculo base y radio QA, se dibuja otro
círculo. Se repite lo anterior para puntos Q uniformemente espaciados en el
círculo base. El punto A es el vértice de esta cardioide (figura 3.11).
44 CAPÍTULO 3. GALERÍA DE CURVAS
Ecuaciones
x = 2a cos t − a cos 2t
y = 2a sin t − a sin 2t
Propiedades de la cardioide:
Longitud: 16a
Área: 6πa2
6
Estas se dedujeron en la sección 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 máquina.
46 CAPÍTULO 3. GALERÍA DE CURVAS
3.4. Catenaria
Propiedades de la catenaria:
Leonhard Euler (1707- 1783) mostró en 1744 que una catenaria rotada
alrededor de su asíntota genera un catenoide, la única superficie de
revolución mínima.
Su evoluta es la tractriz.
50 CAPÍTULO 3. GALERÍA DE CURVAS
3.5. Cicloide
3.19).
Cabe señalar que mientras un tren se dirige de México a Querétaro, hay
momentos en que las ruedas retroceden. Las ruedas de los trenes no son sólo
discos, hay una saliente especial en cada una de ellas, ver figura 3.20. La
saliente evita que el tren se salga de la vía. La parte más baja de la rueda
es la que por momentos se mueve en dirección opuesta al rumbo del tren.
La curva por la que se mueve la parte más baja de la rueda es una cicloide
alargada.
8
Ecuaciones paramétricas de la cicloide:
x = at − h sin t
y = a − h cos t
Propiedades de la cicloide:
3.6. Círculo
El estudio del círculo se remonta más allá de la historia registrada. Los
primeros teoremas relacionados con círculos se atribuyeron a Tales de Mileto
(624- 547 antes de J. C. aproximadamente) alrededor del año 650 antes de
J. C. ([14] pp. 21-25, [6] pp. 65-66).
Uno de los problemas de los matemáticos griegos fue el de encontrar un
cuadrado con la misma área que un círculo dado. Anaxágoras (499-428 antes
de J. C.) en 450 a. de J. C. es el primer matemático registrado que estudió
este problema.
El libro III de los Elementos de Euclides (325-265 antes de J. C. aproxi-
madamente) del año 300 antes de J. C., trata de las propiedades del círculo.
El problema de encontrar el área de un círculo condujo a la integración.
El círculo es una sección cónica. Menaechmus (380-320 antes de J. C.
aproximadamente) es famoso por su descubrimiento de las secciones cónicas.
Él fue el primero en mostrar que las elipses, parábolas e hipérbolas se obtienen
cortando un cono con un plano no paralelo a la base. Menaechmus descubrió
las secciones cónicas mientras intentaba resolver el problema de la duplicación
del cubo.
Ecuaciones
x2 + y 2 = a2
x = a cos t, y = a sin t
OP = OR − OQ = QR
es la cisoide de las dos curvas con respecto a O, ver figura 3.22.
3.7. CISOIDE DE DIOCLES 57
Figura 3.23: Cisoide generada por un círculo que se mueve a lo largo de una
recta
Ecuaciones
r = 2a tan θ sin θ
3.7. CISOIDE DE DIOCLES 59
La cisoide es la inversa
√ de la parábola y = bx con respecto al origen
2
5. Construya un punto D tal que B sea el punto medio del segmento CD.
3.8. DELTOIDE 61
3.8. Deltoide
La tricúspide o deltoide fue concebida primero por Leonhard Euler, matemáti-
co suizo (1707- 1783), en 1745 en relación con un estudio de curvas cáusticas.
E investigado en 1856 por otro matemático suizo Jakob Steiner (1796-1863).
A veces es llamada hipocicloide de Steiner. El nombre de deltoide (de forma
de la letra griega delta mayúscula) no es usado en todas partes ([3], [7] pp.
72-79, [14] pp. 71-74, [6] pp. 131-135).
Ecuaciones
La ecuación cartesiana de la deltoide es:
(x2 + y 2 + 12ax + 9a2 )2 − 4a(2x + 3a)3 = 0
9
Las ecuaciones paramétricas de la deltoide son:
x = 2a cos t + a cos 2t
y = 2a sin t − a sin 2t
La deltoide es un hipocicloide de tres vértices formada por un punto en
un círculo de radio a o 2a que rueda en el interior de un círculo fijo de radio
3a. Se le llama generación doble a la que ocurre cuando el radio del círculo
que rueda es 2a.
La deltoide también puede obtenerse como la envoltura de un diámetro
de un círculo de radio 2a que rueda en el interior de un círculo fijo de radio
3a.
Steiner descubrió en 1856 que la deltoide es la envoltura de las rectas de
Simson de un triángulo10 . El centro de la deltoide es el centro del círculo de
9
Se dedujeron en la sección 2.3.3.
10
Se dibuja un círculo y se inscribe en el un triángulo. Se toma un punto P en el círculo
y se marca el pie de las perpendiculares de P a los lados del triángulo. Estos tres puntos
se encuentran sobre una recta, la cual es conocida como recta de Simson.
62 CAPÍTULO 3. GALERÍA DE CURVAS
los nueve puntos de dicho triángulo11 , ver figura 3.28, asimismo el círculo de
los nueve puntos esta inscrito en la deltoide.
Propiedades de la deltoide:
Área: 29 πa2
La astroide es la cáustica de la deltoide con rayos paralelos en cualquier
dirección.
La evoluta de la deltoide es otra deltoide, ver figura 3.31.
3.9. Epicicloide
Ecuaciones paramétricas de la epicicloide:
Propiedades de la epicicloide:
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
fijo en un círculo que rueda en un círculo fijo.
La hipocicloide es la curva trazada por un punto fijo P en la circunfer-
encia de un círculo de radio b el cual rueda sin resbalar en el interior de un
círculo fijo de radio a, ver figura 3.35 (A). Cuando el punto no está sobre la
circunferencia la curva generada es una hipotrocoide.
Generación doble. Si el radio del círculo que rueda sin resbalar en el
párrafo anterior es a−b, ver figura 3.35 (B), se genera la misma la hipocicloide
del párrafo anterior.
3.10. HIPOCICLOIDE 69
Casos especiales:
Propiedades de la hipocicloide:
r = aθ
Esta espiral fue estudiada por Arquímedes (287-212 antes de J. C.) alrede-
dor del año 225 antes de J. C. en su tratado On Spirals. Pero se debe a Conon
(280-220 antes de J. C. aproximadamente), amigo de Arquímedes ([3], [14]
pp. 209-211, [7] pp. 173-174, [6] p. 186, [4] p. 656).
3.11. ESPIRAL DE ARQUÍMEDES 71
Fue la primera curva mecánica (es decir, trazada por un punto en movimien-
to) considerada por un matemático 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 Arquímedes.
En la espiral de Arquímedes hay una distancia fija entre ramas sucesivas
igual a 2πa si θ es medido en radianes.
Tiene dos ramas (figura 3.37), una para θ > 0 y otra para θ < 0. Sólo se
muestra una rama en la figura 3.36.
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 círculo.
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 equiángular.
Las ramas de las espirales de las galaxias son aproximadamente espirales
equiángulares. Nuestra propia galaxia, la Vía láctea, se cree tiene cuatro
ramas principales, cada una de las cuales es una espiral equiángular con
inclinación de doce grados aproximadamente.
La espiral equiángular es llamada también espiral áurea porque puede
ser derivada de un rectángulo áureo: la longitud de los ejes cortados por la
espiral se ajusta a la razón áurea (figura 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-
eración constante. La trayectoria de la canica trazará una espiral equiángular.
Curva que corta todos los radio vectores de un punto fijo 0 en un ángulo
constante α, ver figura 3.43. Cualquier radio desde el centro 0 a cualquier
punto de tangencia en la espiral equiángular formará el mismo ángulo entre
el radio y la recta tangente.
Ecuaciones
r = aeθ cot α
3.13. ESPIRAL EQUIÁNGULAR 79
Figura 3.44: Espiral equiángular con longitud de los sucesivos radio vectores
0R0 = τ 0 , 0R1 = τ 1 , 0R2 = τ 2 ,...
polar deuna √
espiral
equiángular 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 figura 3.45 coincide con la sucesión de
Fibonacci.
ataque de fibrilación como un preludio del paro cardíaco “esta marcado por
una interrupción en el patrón espiral estable del músculo del corazón en una
serie de espirales excitables en los meandros del corazón”. La geometría frac-
tal provee modelos generados por computadora de esos patrones y la medicina
preventiva puede beneficiarse.
r 2 = a2 θ
Para cualquier valor positivo de θ, r puede tomar valores positivos o
negativos, por lo que la gráfica es simétrica respecto al polo.
La espiral de Fermat es la inversa con respecto al polo de una Lituus.
rθ = a
La espiral hiperbólica puede obtenerse como la inversa con respecto al
polo de una espiral de Arquímedes.
Esta curva tiene como asíntota una línea recta que dista a unidades del
polo, ver figura 3.49.
3.16. LITUUS 83
3.16. Lituus
Roger Cotes (1682-1716) fue el primero en estudiar la curva. Profesor
designado en Cambridge a la edad de 24 años, su trabajo fue publicado sólo
después de su muerte([3], [14] pp. 212-213, [6] p. 186, [7] p. 175, [4] p. 656).
Cotes descubrió un importante teorema sobre las raíces n-ésimas de la
unidad; anticipó el método de mínimos cuadrados y descubrió un método de
integración 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 significa garfio, por ejemplo un báculo de
obispo.
Si sólo se grafican valores positivos de r, el resultado se parece a la espiral
en el capitel de una columna iónica.
r2 θ = a2
3.18. Tractriz
La tractriz surge del siguiente problema propuesto a Leibniz por el médico
francés Claude Perrault (1613 -1688). ¿Cuál 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 figura 3.52)?
Leibniz encontró la curva usando el hecho de que el eje x es una asíntota 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 después por Leibniz, Johann
Bernoulli, Joseph Liouville (1809 -1882) y Eugenio Beltrami (1835 -1900). La
tractriz es conocida también como curva equitangencial.
El nombre de tractriz viene del latín tractus que significa tirar, jalar,
arrastrar.
En la figura 3.52 se observa que
dy y
=−
dx a − y2
2
Mientras que si y = a
cosh t en 3.7, entonces
a
t
x = t − a tanh
a
Ecuaciones
Propiedades de la tractriz:
Conclusiones
91
92 CAPÍTULO 4. CONCLUSIONES
[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
matemáticas) 1977.
[3] Encyclopaedia Britannica, Inc. 1973 (“CURVES, SPECIAL”).
[4] Granville William Anthony, Percey F. Smith y William Raymond Lon-
gley. Cálculo diferencial e integral. Unión Tipográfica 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. Cálculo vectorial. México. 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 BIBLIOGRAFÍA
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 además la biografía de muchos matemáticos.
Apéndice A
Código en Maple 9 de las
gráficas
> plot([(cos(t))^3,(sin(t))^3,t=0..2*Pi],x=-1.25..1.25,
y=-1.25..1.25,thickness=2);
> hipoAnimaEjeXporVertice:=proc(a,b)
95
96 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
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 círculo que rueda
# (b*cos((a-b)*u/b),-b*sin((a-b)*u/b)) círculo de
# radio b que rueda sobre el círculo 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;
> 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
> 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]);
end:
animate(F,[theta],theta=0..p,background=curva,
scaling=constrained,frames=49);
end;
La figura 3.9 (B) es la imagen 19 (theta=9.4248) de la animación
hipoAnimaEjeXporVertice(1,2). El procedimiento correspondiente a esta an-
imación se dio en la figura 3.2.
> 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 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
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);
> 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);
> plot([x,cosh(x),x=-2..2],view=[-2.5..2.5,-1.5..4.5],
scaling=constrained);
> 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);
> 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 círculo 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 círculo 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 círculo 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 círculo
g5:=plot([x,0,x=6.5..32]):
display([g1,g2,g3,g4,g5],scaling=constrained,axes=none);
> 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 círculo 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 círculo 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 círculo 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 círculo
g5:=plot([x,0,x=6.5..32]):
display([g1,g2,g3,g4,g5],scaling=constrained,axes=none);
> plot([cos(x),sin(x),x=0..2*Pi],view=[-1.5..1.5,-1.5..1.5],
thickness=2);
103
> 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);
> 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);
> 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);
> 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);
> 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);
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 triángulo 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:
> # Círculo de los nueve puntos.
# E, F y G son los puntos medios de los lados del
# triángulo 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 continuación se determinan el centro y radio del
# círculo 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 continuación se determinan J, K y L, los puntos de
# intersección de las alturas del triángulo ABC con los
108 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
# 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 vértices
# del triángulo 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 círculo.
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 triángulo, 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
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);
> 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 ecuación 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 intersección 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 círculo 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 círculo
# que contiene al tricúspide.La instrucción evalf
# origina aparentes pequeñas 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 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
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 paramétricas 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 parámetro
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 parámetro 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 figura 3.34 (A), epicicloide, es la imagen 45 (theta = 11.519) de
la animación epiAnimaEjeXporVertice(3,2), cuyo procedimiento se dio en la
figura 3.9.
La figura 3.34 (B), generación doble de la epicicloide, es la imagen 23
(theta = 28.798) de la animación hipoAnimaEjeXporVertice(3,5), el proced-
imiento correspondiente se dio en la figura 3.2.
114 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
> with(plots):
polarplot(2*t,t=0..18.85,scaling=constrained);
> with(plots):
polarplot(t,t=-8..8,scaling=constrained);
> 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);
> with(plots):
polarplot((exp(t*cot(5*Pi/12)))/144,t=0..15.708,
scaling=constrained);
> 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);
> 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 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
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);
> 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 hiperbólica 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 hiperbólica y su asíntota
> 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 APÉNDICE A. CÓDIGO EN MAPLE 9 DE LAS GRÁFICAS
> 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);
> 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 dirección 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
# ecuación 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);
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));