Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Las envolventes son siempre de igual o menor dimensión que la familia de curvas que la
genera. En este tema sólo veremos envolvente de curvas y no de superficies.
Para determinar las envolventes conocida la familia de curvas hay dos métodos diferentes:
a partir de diferenciación de la familia de curvas o por intersección de curvas de la familia
infinitamente próximas. La mayoría de las envolventes se pueden ver de forma visual o
geométrica, pues como veremos en el tema las envolventes son tangentes a cada curva de la
familia.
2. Definiciones previas.
En este apartado definiremos lo que son familia de curvas o superficies, o de manera más
general familia de funciones de dimensión k. Veamos previamente función vectorial de
dimensión k y tangentes a las mismas en un punto dado.
f : [a, b] : → R k
t → x = f (t )
La curva es el conjunto de los puntos P que cumplen que ∃ t0∈[a,b] tal que f(t0)= OP ,
siendo O el origen de coordenadas.
x1 = f 1 (t )
- Paramétricas: expresando coordenada por separado. ...
x = f (t )
k k
F1 ( x1 ,..., x k ) = 0
- Implícitas o algeraicas: eliminando t de una variable: ...
F ( x ,..., x ) = 0
k −1 1 k
f (t o + h) − f (t 0 )
- Vector director f '(t 0 ) = lim
h →0 h Vectorial: x = f (t 0 ) + λ f ' (t 0 )
- Punto de la subvariedad afín P= f (t 0 )
x1= f1 (t 0 ) + λ· f 1 '(t 0 )
x1 − f1 (t 0 ) x − f k (t 0 )
Paramétricas: … Algebraica: = ... = k
f '1 (t 0 ) f ' k (t 0 )
Xk= f k (t 0 ) + λ· f k '(t 0 )
f : [a, b] : → R 2
Caso particular en el espacio (2d):
t → x = ( f 1 (t ), f 2 (t ) )
x = f1 (t )
En paramétricas: , explícita y=f(x) y algebraica F(x,y)=0
y = f 2 (t )
Familia de curvas de dimensión k: es una función vectorial que depende de dos variables,
uno de ellos es el parámetro de la familia, λ, y el otro es el parámetro de la función, t.
f λ : R × [a, b] : → R k
de esta forma fijado el valor del parámetro
λ, t → f (λ , t ) = f λ (t )
tendremos una curva diferente. Ejemplos:
3) Las envolventes de las rectas que distan R de un punto (centro) es una circunferencia:
1) Rectas paralelas como envolvente circunferencias de igual radio y centro en una recta:
por sencillez pondremos al eje OX como el lugar de los centros (por traslación y
rotación podemos obtener la recta que deseemos):
Cλ :(x-λ)2+y2=r2
(1) ( x − λ ) 2 + y 2 = r 2 (1) ( x − λ ) 2 + y 2 = r 2 2 y=r
y =r
2
2
(2) ( x − λ − ε ) + y = r (2) − (1) x = λ
2 2
y = −r
2) Circunferencia como envolvente de rectas que equidistan R de un punto P: por
sencillez tomaremos el punto P como el origen (0,0):
Cλ: xcos(λ)+ysen(λ)=R con λ[0,2π) (veremos luego que la distancia al origen es R)
(1) x·cos(λ ) + ysen(λ ) = R
(2) x·cos(λ + ε ) + ysen(λ + ε ) = R
(1) x·cos(λ ) + ysen(λ ) = R
(2) x·(cos(λ ) cos(ε ) − sen(λ ) cos(ε ) + y ( sen(λ ) cos(ε ) + cos(λ ) sen(ε )) = R
Tomando ε → 0 (2) x·(cos(λ ) − εsen(λ ) ) + y (ε cos(λ ) + sen(λ ) ) = R
(1) x·cos(λ ) + ysen(λ ) = R sen 2 (λ )
→ y = x·tg ( λ ) → x·cos(λ ) + = R : x = R cos(λ )
(2) − (1) − ε/xsen(λ ) + yε/ cos(λ ) = 0 cos(λ )
x = R cos(λ )
circunferencia en paramétricas
y = R·sen(λ )
Para ver la distancia de Cλ al origen la cortamos por x·sen(λ)-y·cos(λ)=0 (perpendicular
por el origen) y el punto de corte es Pλ(R·cos(λ), R·sen(λ)) y se cumple d(0,Pλ )=R.
3) Hipérbola como envolvente de las rectas cuyo producto e los valores con los cortes
con los ejes es constante:
x −α y−0
Cλ : =
0 −α β − 0
αy+βx=α·β
y tal que α·β=2k (constante conocida).
(2) 2ky + ( β + ε ) x − 2k ( β + ε ) = 0
2
2
k k k k
Tomando ε0 β = y sustituyendo en (1) 2ky + x − 2k = 0 y =
x x x x
4) Parábola como envolvente de las rectas que forman ángulo recto con los segmentos
que une un punto F (foco) y el otro punto en una recta (eje parábola).
y
y sustituyendo en (1) : y = 4·P·x
2
Tomando ε0 se tiene que y=2·λ, por lo que λ=
2
5) El astroide como envolvente de rectas que cortan ejes coordenados en puntos
separados una distancia constante (2d):
Los puntos de los ejes a igual distancia serán P(2d·sen(λ),0) y Q(2·d·cos(λ),0). La recta
x y
que pasa por P y Q es + = 1Cλ:x·cos(λ)+y·sen(λ)=2dsen(λ)·cos(λ)
2d·sen(λ) 2·d·cos(λ)
(1) x·cos(λ ) + y·sen(λ ) = d·sen(2λ )
Tomando ε0 y el coseno y
(2) x·cos(λ + ε ) + y·sen(λ + ε ) = d·sen(2λ + 2ε )
seno de la suma:
(2) x·(cos λ − senλ·ε ) + y·(senλ + ε ·cos λ ) = d (sen(2λ ) + ε cos(2λ ) )
cos(2λ )
(2)-(1) − x·ε/ ·senλ + y·ε/ cos λ = d·ε/ ·cos(2λ ) y = d · + x·tgλ
cos(λ )
sen 2 λ sen3 λ x = 2dsen3λ 32 3 3
∂ f (λ , t ) dx ∂ f ∂f ∂λ ∂ f ∂f ∂λ ∂f ∂f ∂f ∂λ
∝ = + · − · = k· (k − 1) = ·
∂t dt ∂t ∂λ ∂t ∂t ∂λ ∂t ∂t ∂t ∂λ ∂t
∂f ∂f ∂f ∂f
luego proporcional con , luego rango , = 1 .
∂t ∂λ ∂t ∂λ
∂f ∂f
rango , = 1
La solución al sistema ∂t ∂λ nos da la envolvente. Veamos la envolvente
x = f (t , λ )
en distintas representaciones:
∂x ∂x
∂x ∂y ∂x ∂y ∂λ = 0
a) Paramétricas: x λ = ( x(λ , t ), y(λ , t )) rang , , , = 1 ∂t
∂t ∂t ∂λ ∂λ ∂y ∂y
∂t ∂λ
∂x ∂y ∂x ∂y
(1) · − · =0
∂t ∂λ ∂λ ∂t
(2) ( x, y ) = ( x(t , λ ), y (t , λ ) )
1 0 (1) y = f ( x, λ )
∂f
∂f ∂f = = 0 , la envolvente será la solución al sistema ∂f
∂λ ( 2) =0
∂t ∂λ ∂λ
Teorema: la envolvente contiene el lugar geométrico de los puntos singulares de las curvas
de la familia.
Demostración: dada la familia de curvas definida como f(x,y,λ)=0 los puntos singulares
∂f ∂f
vienen definidas por las condiciones =0 y = 0 . Si despejamos en estas ecuaciones x e
∂x ∂y
y en función de λ tendremos x(λ), y(λ) como lugar geométrico puntos singulares la igualdad
∂f ∂x ∂f ∂y ∂f ∂f
f(x(λ), y(λ), λ)=0, que derivando respecto de λ: · + · + = = 0 que es la
∂x ∂λ ∂y ∂λ ∂λ ∂λ
ecuación de la envolvente.
Por lo general las envolventes son más fáciles de calcular por derivación que por
intersección de curvas infinitesimalemente juntas. Veamos los casos hechos en apartado A):
(1) ( x − λ ) 2 + y 2 = R 2
∂f de (2) x = λ y sustituyendo en (1) y = ± R
(2) = −2( x − λ ) = 0
∂λ
4. Evoluta.
La evoluta es un caso particular de envolvente, ocurre cuando la familia de curvas que
genera la envolvente es el conjunto de rectas perpendiculares a una curva dada.
La recta perpendicular a una curva en un punto P de la misma es una recta que pasa por el
punto formando un ángulo de 90o con la recta tangente. Por tanto la recta perpendicular a la
curva en el punto P se calcula:
1
a) Explícita: y=f(x) en P(x0 , y=f(x0)) r: y − f ( x0 ) = − ( x − x0 )
f ' ( x0 )
x' (t 0 )
b) Paramétricas (x(t),y(t)) en P(x(t0),y(t0)) r : y − y (t 0 ) = − ( x − x(t 0 ))
y ' (t 0 )
El ejemplo más clásico es la evoluta de la elipse centrada en el origen y por tanto con
x = a cos(t )
ecuaciones paramétricas definidas como c :
y = b·sen(t )
5. Coclusiones.
Las envolventes es una parte de la geometría descriptiva, método por el cual se pueden
definir muchas de las curvas más importantes.