Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EN EL PLANO.
J. Lafuente
Enero de 1998
ndice
1. Introduccin a la teora de curvas planas 4
1.1. Definiciones bsicas . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1. Curvas en el plano . . . . . . . . . . . . . . . . . . . . 4
1.1.2. Curvas regulares . . . . . . . . . . . . . . . . . . . . . 4
1.1.3. Ejemplos: . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.4. Curvas cerradas . . . . . . . . . . . . . . . . . . . . . . 7
1.1.5. Curvas simples . . . . . . . . . . . . . . . . . . . . . . 7
1.1.6. Reparametrizaciones . . . . . . . . . . . . . . . . . . . 8
1.1.7. Trayectorias y trayectorias orientadas. . . . . . . . . . 8
1.1.8. Sobre la geometra de las curvas . . . . . . . . . . . . . 8
1.1.9. Curvas regulares a pedazos. . . . . . . . . . . . . . . . 9
1.1.10. La Cicloide . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.11. Longitud de una Curva. . . . . . . . . . . . . . . . . . 12
1.1.12. Parametrizacin por el arco . . . . . . . . . . . . . . . 12
1.1.13. Desigualdad isoperimtrica . . . . . . . . . . . . . . . . 12
1.2. Curvas en implcitas . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1. Teorema (breve) de la funcin implcita . . . . . . . . . 13
1.2.2. Puntos singulares y regulares. . . . . . . . . . . . . . . 13
1.2.3. Direccin normal y la tangente en un punto regular . . 14
1.3. Curvas en coordenadas polares . . . . . . . . . . . . . . . . . . 14
1.3.1. Coordenadas polares del plano . . . . . . . . . . . . . . 14
1.3.2. Ecuaciones polares de una curva . . . . . . . . . . . . . 15
1.4. Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.1. Definicin focal de las Cnicas . . . . . . . . . . . . . . 15
1.4.2. Ecuaciones implcitas reducidas . . . . . . . . . . . . . 16
1.4.3. Ecuacion polar reducida de las cnicas . . . . . . . . . 17
1.5. Lugares geomtricos . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.1. valos y Lemniscatas . . . . . . . . . . . . . . . . . . . 20
1
NDICE 2
1.5.2. Cisoide . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5.3. Cicloides alargadas y acortadas . . . . . . . . . . . . . 22
1.5.4. Epicicloides e hipocicloides . . . . . . . . . . . . . . . . 23
1.5.5. Tractiz . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.5.6. Caracoles (o limaon) de Pascal . . . . . . . . . . . . . 29
1.5.7. Rosaceas . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.8. Espirales . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.5.9. Curvas podarias . . . . . . . . . . . . . . . . . . . . . . 34
2. Envolventes 36
2.1. Parbola de seguridad . . . . . . . . . . . . . . . . . . . . . . 36
2.2. Haces de curvas planas . . . . . . . . . . . . . . . . . . . . . . 37
2.2.1. Ecuaciones de un haz de curvas . . . . . . . . . . . . . 37
2.3. Envolvente de un haz . . . . . . . . . . . . . . . . . . . . . . . 38
2.3.1. Primeros ejemplos . . . . . . . . . . . . . . . . . . . . 39
2.3.2. Las cnicas como envolventes de haces de rectas. . . . . 39
2.4. Determinacin de la envolvente . . . . . . . . . . . . . . . . . 42
2.4.1. Interseccin entre lineas prximas . . . . . . . . . . . . 42
2.4.2. Linea discriminante . . . . . . . . . . . . . . . . . . . . 42
2.4.3. Determinacin analtica local de la envolvente . . . . . 43
2.5. Haces y envolventes notables . . . . . . . . . . . . . . . . . . . 44
2.5.1. Zona de audibilidad de un avin supersnico . . . . . . 44
2.5.2. La podaria como envolvente de circunferencias . . . . . 45
2.5.3. El haz tangente de la Astroide . . . . . . . . . . . . . . 47
3. Evolutas y evolventes 48
3.1. Evoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.1.1. La evoluta de una Cicloide . . . . . . . . . . . . . . . . 48
3.1.2. Determinacin paramtrica de la evoluta. . . . . . . . . 49
3.1.3. Determinacin implcita de la evoluta . . . . . . . . . . 49
3.1.4. Evoluta de algunas curvas famosas . . . . . . . . . . . 50
3.1.5. Frmulas de Frenet: Curvatura. . . . . . . . . . . . . . 51
3.1.6. Centro y radio de curvatura . . . . . . . . . . . . . . . 52
3.2. Evolventes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2.1. Clculo de evolventes . . . . . . . . . . . . . . . . . . . 55
3.2.2. Significado geomtrico de la evolvente . . . . . . . . . . 56
3.2.3. El pndulo de Huygens . . . . . . . . . . . . . . . . . . 56
3.2.4. La tractriz como evolvente de la catenaria . . . . . . . 57
REFERENCIAS 3
Referencias
[1] T. M. Apostol. Calculus (Vol 1 pgs 612-660. Editorial Revert, 1973.
Recta tangente y recta normal Por un punto regular (t0 ) de una curva
diferenciable , pueden trazarse dos rectas destacadas:
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 5
x x(t0 ) y y(t0 )
0
=
x (t0 ) y 0 (t0 )
x x(t0 ) y y(t0 )
0
=
y (t0 ) x0 (t0 )
1.1.3. Ejemplos:
La parbola de un proyectil Supongamos situado en el origen de coor-
denadas un can que lanza proyectiles a una velocidad (escalar) de salida v0
m/seg. Sea el ngulo de inclinacin respecto al suelo (eje x) 0 < < /2.
Supongamos que en el instante t = 0 dispara. Por las leyes de la dinmica
la curva (t) = (x(t), y(t)) descrita por el proyectil, dbe verificar x00 (t) = 0,
y 00 (t) = g siendo g = 9, 80 m/seg 2 la aceleracin de la gravedad. Teniendo
en cuenta que se satisfacen las condiciones iniciales:
se concluye que
1
x(t) = v0 t cos , y(t) = gt2 + v0 t sin
2
y la trayectoria descrita es la grfica de la funcin:
g
y= x2 + (tan )x (1)
2v02 cos2
v02
xmax () = sin(2) (2)
g
v02 sin2
ymax () = (3)
2g
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 6
1.1.6. Reparametrizaciones
Cuando : I R2 es una curva, y t : J 3 s t = t(s) I es un
difeomorfismo entre intervalos, entonces = t es tambin una curva y se
verifica:
0 (s) = t0 (s)0 (t(s)) s J
en particular, si es regular, tambin lo es.
Curvas conguentes Dos curvas (t) = (x(t), y(t)) y (t) = (x(t), y(t)),
, : I R2 , se dicen congruentes, si existe un movimiento
A : R2 3 (x, y) (x, y) R2
de forma que
A(t) = (t), t I
Cuando la aplicacin A se interpreta como las ecuaciones de un cambio
de coordenadas cartesianas:
x = a1 + b1 x + c1 y
y = a2 + b2 x + c2 y
1.1.10. La Cicloide
Hay curvas perfectamente diferenciables, que sin embargo presentan pi-
cos en su traza. Este es el caso de la cicloide.
L() = L( t)
son ecuaciones polares para , si (t), (t), son funciones diferenciables tales
que
x(t) = (t) cos (t)
y(t) = (t) sin (t)
A veces es posible encontrar unas las ecuaciones polares de de la forma
= (t)
=t
diremos entonces que = () es la ecuacin polar (reducida) de .
1.4. Cnicas
1.4.1. Definicin focal de las Cnicas
Fijados dos puntos F1 y F2 del plano (que denominamos focos) situados
a una distancia 2c. podemos definir la elipse como el lugar geomtrico de los
puntos, cuya suma de distancias d1 y d2 a los focos F1 y F2 es una constante
2a (a > c 0). Si los focos coinciden la elipse se reduce a una circunferencia.
La hiprbola es el lugar de todos los puntos para los cuales |d1 d2 | es
constante 2a (0 < a < c). Al cociente
c
e=
a
se denomina excentricidad de la cnica (0 e < 1, en la elipse, y e > 1 en
la hiprbola)
Finalmente, la parbola es el lugar geomtrico de los puntos cuya distancia
a un punto fijo F (llamado foco), es igual a su distancia a un recta fija D
(llamada directriz).
De tales definiciones, se deducen fcilmente las conocidas construcciones
materiales por trazo continuo que se indican en las figuras.([6] pgs 11, 17,
20)
Hay un razonamiento muy elegante que prueba que la propiedad focal
de la elipse y la hiprbola es consecuencia de su definicin clsica como
seccin de un cono por un plano. Esta demostracin fu descubierta por un
un matemtico belga G. P. Dandeln en 1882, y puede verse por ejemplo en
[1] (pg 611) o tambin [?] (pgs 207-215)
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 16
d1 = a + ex
(6)
d2 = a ex
elevando al cuadrado ambos miembros de la primera ecuacin y usando
(5), se obtiene:
a2 c2 2
2
x + y 2 = a2 c2
a
de donde sale la conocida ecuacin:
x2 y2
+ = 1, con b2 = a2 c2 (7)
a2 b2
Realmente solo hemos probado que todo punto P = (x, y)de la cnica
(x 0) verifica la ecuacin (7)
Ejercicio 1 Demostrar que si un punto P = (x, y) (x > 0) verifica la ecua-
cin (7) entonces verifica tambin la condicin d1 + d2 = 2a, y est por
tanto en la cnica.
Como el eje de las y es evidentemente eje de simetra de la cnica, y la
ecuacin (7) permanece invariante al cambiar x por x, se concluye que (7)
determina exactamente el conjunto de puntos de la cnica.
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 17
cos = x c
= a ex
donde la segunda identidad es consecuencia de (6) . Multiplicando por e la
primera ecuacin, y sumandola a la segunda queda
(1 + e cos ) = (a ec)
pero
(a2 c2 ) b2
(a ec) = = =p
a a
ya que por (7) b2 = (a2 c2 ).Se denomina a p = b2 /a parmetro de la
cnica. Su ecuacin polar reducida es por tanto:
p
= (10)
(1 + e cos )
Curiosamente, esta ecuacin es tambin vlida para la parbola de pa-
rmetro p, cuando se toma e = 1. En efecto, se tiene en este caso = d, y
sando la expresin de d en (8) se concluye
p
cos = x + 2
= x + p2
Por tanto,
p ep p
a= 2
, c= 2
, b= p
|1 e | |1 e | |1 e2 |
Por otra parte, dos cnicas son semejantes si y solo si tienen la misma ex-
centricidad e,. As resulta que e determina la forma de la cnica, mientras
que p determina su tamao. Por ltimo, la condicin necesaria y suficiente
para que dos cnicas sean afnmente equivalentes, es que tengan el mismo
signo .
El hecho de que todas las parbolas tengan la misma excentricidad e = 1,
demuestra que todas ellas tienen exactamente la misma forma.
o de forma equivalente
(x2 + y 2 + a2 )2 = b4 + 4a2 x2
En las figuras que siguen aparecen distintos valos, para diferentes valores
de a y b.
a2 = 1 b2 = 4 a2 = 2, b2 = 4
a2 = 3,96, b2 = 4 a2 = b2 = 4
a2 = 4,04, b2 = 4
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 21
1.5.2. Cisoide
Para construir una cisoide necesitamos una circunferencia C , y una recta
L tangente a ella. Sea S es el punto de tangencia, y A es el punto diametral-
mente opuesto, se define la cisoide de la siguiente manera:
Si R es un punto movil a lo largo de L, y Q es la interseccin de C con el
segmento AR, ls cisoide es el lugar geomtrico de los puntos P en AR tales
que d(A, P ) = d(Q, R).
Figura 1:
Ejemplos de epicicloides
Nefroide (R = 2r)
Tiene por ecuaciones:
x = 3r cos t r cos (3t)
y = 3r sin t r sin (3t)
La nefroide, fu estudiada por Huygens en su Tratado de a luz (1690)
como solucin del problema de determinacin de la envolvente de los rayos
reflejados por un circulo a partir de un haz de rayos paralelos. Ver [7] [566-
568]
Cardioide (R = r)
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 26
Ejercicio 9 Probar que las tangentes a la cardioide por los extremos de una
cuerda cualquiera que pasa por el punto de retroceso, son ortogonales.
Ejemplos de hipocicloides
Deltoide (R = 3r)
[7] [569]Tiene por ecuaciones
x = 2r cos t + r cos (2t)
y = 2r sin t r sin (2t)
Ha sido llamada la hipocicloide tricspide o de Steiner, y fu la curva
solucin al siguiente problema de reflexin de rayos de luz propuesto en 1745
y resuelto por Euler:
Determinar la curva tal que los rayos luminosos que parten de un foco, vuel-
van a l despues de dos reflexiones.
Ms tarde en 1857 esta curva fu estudiada por Steiner
Figura 2:
1.5.5. Tractiz
La determinacin de otros muchos lugares geomtricos, requieren del uso
de una tcnica ms avanzada. Por ejemplo:
Se plantea el problema de determinar una curva tal que los segmentos de
tangentes comprendidos entre los puntos de contacto y una recta fija, sean
iguales a una constante c > 0. Este lugar geomtrico fu llamado por Leibnitz
tractoria,y en castellano se conoce por el nombre de tractriz .
Tomando como eje de las y la recta fija, y supuesto que pasa por el punto
C = (c, 0) en donde tiene tangente horizontal, la funcin y(x) cuya grafo es
la tractriz debe verificar la ecuacin diferencial
dy c2 x2
= ,0<xc
dx x
Una parametrizacin posible es:
x = c sin t
y = c(cos t + log(tan(t/2)))
= a cos h
= 2r(1 cos )
1.5.7. Rosaceas
[7] [604] Haciendo en la ecuacin de las epicicloides alargadas a = R + r,
y pasando a las coordenadas polares x = cos , y = sin , se obtiene:
R
= 2(R + r) sin
R + 2r
es decir: = c sin m. La forma de cada roscea depende del valor de m
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 32
1.5.8. Espirales
[7] (Tomo II pg 59 Cap VIII)
Figura 3:
= m
Espiral logartmica [7] [476- ..] Se sabe que el ngulo formado por el
radio vector de un punto, (t) de una curva con la tangente en dicho punto
a la curva, es constante. Entonces, la curva se llama espiral logartmica.
En coordenadas polares, la condicin se expresa:
d 1
=
d a
lo que da = Cea .
1 INTRODUCCIN A LA TEORA DE CURVAS PLANAS 34
es decir
(x(t) a, y(t) b).(y 0 (t), x0 (t))
(t) = (a, b) + (y 0 (t), x0 (t))
x0 (t)2 + y 0 (t)2
Podarias de la circunferencia
Ejercicio 17 [7] [218] (pg 80) La podaria de una espiral logartmica res-
pecto a su polo es otra espiral logartmica
Podaria de un epicicloide
2. Envolventes
2.1. Parbola de seguridad
Supongamos situado en el origen de coordenadas un can que lanza
proyectiles a una velocidad (escalar) de salida v0 m/seg que supondremos una
caracterstica (constante) del arma. Sea el ngulo de inclinacin respecto al
suelo (eje x) 0 < < /2. Supongamos que en el instante t = 0 dispara. Como
vimos en el epgrafe 1.1.3 la familia de trayectorias descritas por el proyectil,
para los diferentes ngulos de lanzamiento son las parbolas invertidas
dadas en (1 )que podemos escribir en la forma
g
y= 2
(1 + tan2 )x2 + (tan )x , 0 < < /2
2v0
Nuestro problema ahora es determinar cual es la zona del cuadrante posi-
tivo del plano en la que nos podamos sentir seguros de no ser alcanzados
por los proyectiles. Esta zona, veremos que est limitada por una parbola
denominada parbola de seguridad.
1 + 2 2
y= x + x , 0 < < + (16)
4h
Proponemos como parbola P de seguridad, una parbola invertida con
vrtice en (0, h) pasando por (2h, 0), es decir:
1 2
y= x + h , 0 < x < 2h (17)
4h
debe observarse ahora que nuestra eleccin ha sido adecuada, ya que para
cada valor concreto de , la ecuacin :
1 + 2 2 1
x + x = x2 + h
4h 4h
admite solucin (doble) nica x = 2h/., es decir, las parbolas P con
0 < 1, no atraviesan P y para 1 < se tiene:
2h 2 1
P P = {T } con T = ,h
as por razones intuitivo-topolgicas, se concluye que P no puede atravesar
al otro lado de la frontera P pues en ese caso P debera cortar ms tarde
otra vez a P. Se tiene as:
La parbola de seguridad P es tangente a cada P , 1 < en un punto
T ,y P={T : 1 < }
[2] pg 7- 19 [4] pg 113-114.
f (x, y, , ) = 0
(20)
g(, ) = 0
.
La ecuacin de la familia puede ser:
(x R cos )2 + (y R sin )2 = r2 , 0 2
(x ) + (x ) = 0
2 + 2 = 1
Caso de la elipse Si el punto F 0 est dentro del crculo definido por (es
decir c a) entonces:
La elipse con focos F y F 0 y eje 2a, es la envolvente del haz {R : }
(0 , 0 + ) 3 P C0
f (x, y, ) f (x, y, 0 )
f (x, y, 0 ) = 0, =0
0
cuando 0 P tiende P , por tanto sus coordenadas (x0 , y0 ) satisfacen,
por paso al lmite:
f (x0 , y0 , 0 ) = 0
f (x0 , y0 , 0 ) = 0
donde f denota la derivada parcial de f respecto a
f (x, y, ) = 0
(21)
f (x, y, ) = 0
Los puntos que verifican las ecuaciones anteriores, constituyen la lnea D
discriminante, que necesariamente contiene a la envolvente.E .
f (x, y, , ) = 0
g(, ) = 0
Figura 4:
demostraremos que:
La podaria de es la envolvente del haz de circunferencias {Ct : t I}
donde Ct es la circunferencia con dimetro O(t). Adems la parametrizacin
de est adaptada al haz.
3. Evolutas y evolventes
3.1. Evoluta
[4] pg114-117 . Recordemos que dada una curva (t) = (x(t), y(t)), t I,
y I un punto regular de , la recta normal a en , que es la recta N
que pasa por (), y tiene la direccin de 0 (). Sus ecuaciones son:
x x() y y()
0
= (25)
y () x0 ()
La familia {N : I} constituye un haz de rectas, y su envolvente se
denomina evoluta de
x2 y 2
+ =1
a2 b2
es una astroide de afnmente deformada:
Evoluta de la astroide
Evoluta de la cardioide
C = lm C(s1 , s2 , s3 )
si s0
comparando con la frmula de Frenet (34) se concluye que k(s) = 0 (s), por
lo que Z s
(s) = 0 + k()d (38)
0
y as nuestra curva (s) = (x(s), y(s)) tendr que satisfacer x0 (s) = cos (s),
y 0 (s) = sin (s) con lo que:
Z s Z s
x(s) = x0 + cos ()d, y(s) = y0 + sin ()d (39)
0 0
las igualdades (38) y (39) permiten construir una nica solucin cada
vez que elijamos condiciones iniciales
3.2. Evolventes
La operacin de determinar evolventes de una curva se puede considerar
como la inversa de la operacin de clculo de la evoluta, en el mismo sentido
que la integral indefinida lo es a la derivada. As al igual que sucede con la
integral indefinida, la determinacin de la evolvente incluye una constante
arbitraria.
h0 = 1
En efecto, se verifica (s) c(s) = ( s)c0 (s) y como |c0 (s)| = 1 se tiene:
as que:
sinh(t) 1
(t) = ((t, cosh(t)) (1, sinh(t)) = t tanh(t),
cosh(t) cosh(t)