Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Curvas II
Curvas II
Curvas en R3 – Parte II
Observemos que si se considera la parametrización por longitud de arco ~r0 : [0, L(Γ)] → R3 ,
entonces la rapidez es constante igual a 1 y luego
d~r0
T̂ (s) = (s),
ds
es la fórmula para el vector tangente en el punto ~r0 (s) ∈ Γ.
Observación 1. Notemos que el vector tangente sólo depende del punto de la curva en
cuestión y no de la parametrización regular ~r de Γ, salvo por la orientación.
1
Definición 1. Sea Γ una curva y sea ~r0 su parametrización por longitud de arco. Se define
la curvatura de Γ en el punto ~r0 (s) como
dT~
d2~
r
0
κ(s) :=
(s)
=
(s)
.
ds
ds 2
T̂ (s)
~r0 (s)
N̂ (s)
Ejemplo 1. Para la circunferencia de radio a y centro (0, 0) del plano parametrizada por
~r(t) = (a cos(t), asen(t)), t ∈ [2π] calcular la curvatura en todo punto y el vector normal en
el punto (0, 1).
2
Solución: Basta aplicar las fórmulas anteriores. Se tiene que d~r
dt (t) = (−asen(t), a cos(t))
con
d~
r dT̂
dt (t) = a
. Luego T̂ (t) = (−sen(t), cos(t)) y entonces dt (t) = (− cos(t), −sen(t)) de
donde κ(t) = 1/a. Es decir, la curvatura de una circunferencia es constante (!). Ahora, el
punto (0, 1) de la curva corresponde a t = π/2, y luego el vector normal en (0, 1) está dado
por
dT~
(π/2)
N̂ (π/2) =
dt
= (0, −1).
dT~
dt (π/2)
En este caso particular, también conocemos la parametrización por longitud de arco (ver
Parte I de estas notas) ~r0 (s) = a cos as , asen as , s ∈ [0, 2πa]. Luego, podemos calcular
(otra vez) el vector normal usando ~r0 : El punto (0, 1) corresponde a s = πa/2, es decir
~r0 (πa/2) = (0, 1). Luego,
dT~ d2 ~
r0
(s) (s)
N̂ (s) =
ds
=
ds2
= (− cos (s/a) , −sen (s/a)).
dT̂
d2~r0
ds (s)
ds2 (s)
~
Evaluando en s = πa/2 se obtiene que N̂ = (0, −1). Como
ddsT (s)
= a1 , (re)obtenemos el
valor de la curvatura en todo punto de la curva.
Vector binormal y torsión. Si nos restringimos al estudio de curvas en R3 , dada una curva
regular Γ y su parametrización por longitud de arco ~r0 , podemos definir el vector binormal
B̂(s) a la curva Γ en el punto ~r0 (s) como
1 para todo s puesto que T̂ y N̂ son unitarios. Al trı́o de vectores {T̂ , N̂ , B̂} se le conoce
1
como triedro de Frenet.
Si derivamos la ecuación que define el vector binormal con respecto al parámetro s y usamos
la definición de la curvatura de Γ,
dB̂ dT̂ dN̂ dN̂ dN̂
(s) = (s) × N̂ (s) + T̂ (s) × (s) = κ(s)N̂ (s) × N (s) + T̂ (s) × (s) = T̂ (s) × (s).
ds ds ds ds ds
~
2
~
Esto implica que ddsB (s) ⊥ T̂ (s) para todo s. Además, si derivamos la ecuación
B(s)
=1
dB̂
(tal como hicimos con T̂ ), podremos concluir que ds ⊥ B̂(s). Dado que el triedro de Frenet
dB̂
forma una base (móvil) de R3 podemos conlcuir que ds (s) es paralelo al vector N̂ (s) y luego
la variación del vector B̂ respecto de s es un múltiplo del vector N̂ . Todo lo anterior motiva
la siguiente definición, donde la torsión de la curva se define exactamente como ese factor
multiplicativo (con un signo menos por conveción).
1Una visualización interesante del triedro móvil se puede ver en https://es.wikipedia.org/wiki/
Geometria_diferencial_de_curvas#/media/Archivo:Frenet-Serret-frame_helix_around_torus.gif .
3
Definición 2. Sea Γ ⊆ R3 una curva y sea ~r0 su parametrización por longitud de arco. Se
define la torsión de Γ en el punto ~r0 (s) como el valor τ (s) tal que
dB̂
(s) = −τ (s)N̂ (s).
ds
Dado que la igualdad de la definición es vectorial, haciendo producto escalar con el vector
unitario N̂ (s) se obtiene que
dB̂
τ (s) = −hN̂ (s),
(s)i.
ds
Usando la regla de la cadena, se obtiene que para una parametrización regular cualquiera
~r(·), la torsión en el punto ~r(t) ∈ Γ está dada por
1 dB̂
τ (t) = −
d~r
hN̂ (t), dt (t)i.
dt (t)
Intuitivamente, la torsión nos dice cuál es la variación del vector binormal, es decir, cuanto
se tuerce el plano instantáneo que contiene a la curva. Esa intuición nos dice que si una curva
tiene torsión nula en todo punto, entonces deberá estar contenida en un plano.
donde B̂0 es el vector binormal (que, como discutimos, es constante si la torsión es nula).
Fórmulas. A continuación se entregan fórmulas útiles de los elementos de una curva regular
Γ parametrizada por ~r : [a, b] → R3 en un punto ~r(t). Todas éstas provienen de aplicaciones
simples de la regla de la cadena para expresar todo en función de ~r(·).
4
~r 0 (t) ~r 0 (t) × ~r 00 (t)
T̂ (t) = , B̂(t) = ,
k~r 0 (t)k k~r 0 (t) × ~r 00 (t)k
k~r 0 (t) × ~r 00 (t)k h~r 0 (t) × ~r 00 (t), ~r 000 (t)i
(∗) κ(t) = , τ (t) = ,
k~r 0 (t)k3 k~r 0 (t) × ~r 00 (t)k2
(~r 0 (t) × ~r 00 (t)) × ~r 0 (t)
N̂ (t) = .
k(~r 0 (t) × ~r 00 (t)) × ~r 0 (t)k
Observación 3. Es posible que la utilización de las fórmulas dadas más arriba compliquen
más de lo previsto los cálculos. Por ejemplo, puede ser más sencillo calcular directamente
dT̂
(t)
N̂ (t) =
dt
dT̂
en algunos casos.
dt (t)
Calcular la curvatura y la torsión en todo punto y deducir que la curva es plana. Encontrar
la ecuación del plano que la contiene.
Solución: Calculemos todos los elementos necesarios (usando la notación de las fórmulas
anteriores):
~r 0 (t) = (−sen(t), cos(t), sen(t) − cos(t)) ,
~r 0 (t)×~r 00 (t) = (−sen(t), cos(t), sen(t) − cos(t))×(− cos(t), −sen(t), cos(t) + sen(t)) = (1, 1, 1).
Entonces h~r 0 (t) ×~r 00 (t), ~r 000 (t)i = 0. Esto implica que la torsión es cero en todo punto y luego
√
la curva es plana. Para la curvatura: k~r 0 (t) × ~r 00 (t)k = 3 y k~r 0 (t)k3 = (2−2 cos(t)sen(t))3/2 .
Entonces, la curvatura en el punto ~r(t) es
√
3
κ(t) = .
(2 − sen(2t))3/2
Calculemos la ecuación del plano que contiene a la curva. Usando la fórmula y los cálculos
√
anteriores, el vector binormal es B̂ = (1/ 3)(1, 1, 1), constante como sabemos pues la curva
es plana. Debemos escoger un punto de referencia cualquiera de la curva, por ejemplo en
t = 0, ~r(0) = (1, 0, 0). Finalmente, la ecuación del plano está dada por
5
Planos de Frenet. Sea Γ ⊆ R3 una curva regular y consideremos una parametrización
regular ~r : [a, b] → R3 . Definamos entonces los planos siguientes:
(a) El plano osculador es aquél que contiene al vector tangente y al normal (y que por lo
tanto es perpendicular al vector binormal). Entonces, la ecuación del plano osculador
que pasa por el punto ~r(t) es
(b) El plano normal es aquél que contiene al vector normal y al binormal (y por lo tanto
es perpendicular al vector tangente). Entonces, la ecuación del plano normal que pasa
por el punto ~r(t) es
h(x, y, z) − ~r(s), T̂ (t)i = 0.
(c) El plano rectificante es aquél que contiene al vector tangente y al binormal ( y por lo
tanto es perpendicular al vector normal). Entonces, la ecuación del plano rectificante
que pasa por el punto ~r(t) es
B̂(t)
Plano Normal
Plano
Rectificante Γ
~r(t)
Plano Osculador N̂ (t)
T̂ (t)
Recta Tangente. Corresponde a la recta que pasa por ~r(t) ∈ Γ que es paralela al vector
T̂ (t). Luego, su ecuación paramétrica es P~ (λ) = ~r(t) + λT̂ (t), λ ∈ R.
Recta Normal. Corresponde a la recta que pasa por ~r(t) ∈ Γ que es paralela al vector N̂ (t).
Luego, su ecuación paramétrica es P~ (λ) = ~r(t) + λN̂ (t), λ ∈ R.
Recta Binormal. Corresponde a la recta que pasa por ~r(t) ∈ Γ que es paralela al vector
B̂(t). Luego, su ecuación paramétrica es P~ (λ) = ~r(t) + λB̂(t), λ ∈ R.