Introducción

En una recta, el vector unitario tangente $T$ no cambia su dirección y por tanto $T^{\prime }=0$. Si la curva no es una linea recta, la derivada $T^{\prime }$ mide la tendencia de la tangente a cambiar su dirección. El coeficiente de variación o derivada de la tangente unitaria respecto a la longitud de arco se denomina vector curvatura de la curva. Se designa por ${\displaystyle dT/ds}$ donde s representa la
longitud de arco.

Sea $f:[a,b]\subset \mathbb{R}\to {\mathbb{R}}^n$ una curva dos veces diferenciable parametrizada por longitud de arco y T su vector tangente unitario. La curvatura de f es la función
$$\kappa =\Vert \frac{dT}{ds}\Vert =\Vert f^{\prime \prime }(s)\Vert$$
La letra $\kappa$ es la letra griega kappa. La curvatura mide la flexión de la curva.
Mostraremos que una recta, es una curva que no se flexiona, tiene curvatura 0
Ejemplo. Calcule la curvatura en todo punto de la recta $f(t)=(x_0,y_0,z_0)+t(u_1,u_u,u_3)$ donde $\Vert u\Vert =1$
tenemos:
$$f^{\prime }(t)=(u_1,u_2,u_3)\text{y}\Vert f^{\prime }(t)\Vert =\Vert u\Vert =1$$
Por lo tanto la curva esta parametrizada por longitud de arco
Por lo tanto $\kappa =\Vert f^{\prime \prime }(t)\Vert =0$, por lo tanto
$\kappa =0$.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Ejemplo Calcule la curvatura de una circunferencia. Para un círculo de radio $R$ dado por la ecuación
$$f(t)=(R\cos t,R\sin t)$$
tenemos:
La parametrizacion por longitud de arco es:
$$s={\int }_0^t\Vert f^{\prime }(u)\Vert du={\int }_0^{t}Rdt=Rt\to s=Rt\Rightarrow t=\frac{s}{R}$$
de esta manera se tiene
$$\begin{array}{rl}\bar{f}(s)& =f\left(\frac{s}{R}\right)=(R\cos \left(\frac{s}{R}\right),R\sin \left(\frac{s}{R}\right))\\ {\bar{f}}^{\prime }(s)& =(-\sin \left(\frac{s}{R}\right),\cos \left(\frac{s}{R}\right))\\ {\bar{f}}^{\prime \prime }(s)& =(-\frac{1}{R}\cos \left(\frac{s}{R}\right),-\frac{1}{R}\sin \left(\frac{s}{R}\right))\end{array}$$
Por lo tanto ${\displaystyle \kappa =\Vert {\bar{f}}^{\prime \prime }(s)\Vert =\frac{1}{R}}$.
Esto prueba que una circunferencia tiene curvatura constante.
El siguiente teorema nos proporciona otras fórmulas que nos permiten calcular la
curvatura parametrizada por otro parámetro t, que no es necesariamente la longitud
de arco.
Teorema. Sea $f(t)$ una curva dos veces diferenciable. Entonces
$$\kappa (t)=\frac{\Vert T^{\prime }(t)\Vert }{\Vert f^{\prime }(t)\Vert }$$
Demostración. Sabemos que ${\displaystyle s^{\prime }(t)=\Vert f^{\prime }(t)\Vert }$. Además usando la regla de la cadena
$\begin{array}{rl}{T}^{\prime }(t)& =\frac{dT}{dt}=\frac{dT}{ds}\frac{ds}{dt}=\frac{dT}{ds}\Vert f^{\prime }(t)\Vert \\ & \Rightarrow \frac{dT}{ds}=\frac{T^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\\ & \Rightarrow \Vert \frac{dT}{ds}\Vert =\frac{\Vert T^{\prime }(t)\Vert }{\Vert f^{\prime }(t)\Vert }\\ & \Rightarrow \kappa (t)=\frac{\Vert T^{\prime }(t)\Vert }{\Vert f^{\prime }(t)\Vert }.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}\end{array}$
Ejemplo.
Calcule la curvatura $\kappa$ de la hélice
$x(t)=a\cos (wt)$, $y(t=a\sin (wt))$, $z(t)=bt$.
Solución. Tenemos que: $$f^{\prime }(t)=(-wa\sin (wt),aw\cos (wt),b)\Rightarrow \Vert f^{\prime }(t)\Vert =\sqrt{a^2{w}^2+b^2}$$ Por lo tanto $$T=(-aw\sin (wt),aw\cos (wt),b)\frac{1}{\sqrt{a^2{w}^2+b^2}}$$ Por lo tanto $$k=\frac{\Vert T^{\prime }\Vert }{\Vert f^{\prime }\Vert }=\Vert -a{w}^2\cos (wt),-a{w}^2\sin (wt),0\Vert \frac{1}{\sqrt{a^2{w}^2+b^2}}=$$ $$=\sqrt{(a{w}^2{)}^2({\cos }^2(wt)+{\sin }^2(wt))}\frac{1}{\sqrt{a^2{w}^2+b^2}}=\frac{a{w}^2}{\sqrt{a^2{w}^2+b^2}}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Teorema . Sea $f(t)$ una curva dos veces diferenciable. Entonces
$$\kappa (t)=\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^3}$$
Demostración. Si $$T=\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\Rightarrow T\Vert f^{\prime }(t)\Vert =f^{\prime }(t)\Rightarrow T\frac{ds}{dt}=f^{\prime }(t)$$Por lo tanto
$$f^{\prime \prime }(t)=T\frac{d^{2}s}{d{t}^2}+\frac{ds}{dt}{T}^{\prime }$$
Haciendo el producto cruz $$f^{\prime }(t)\times f^{\prime \prime }(t)=T\frac{ds}{dt}\times (T\frac{d^{2}s}{d{t}^2}+\frac{ds}{dt}{T}^{\prime })=\cancel{T\frac{ds}{dt}\times T\frac{d^{2}s}{d{t}^2}}+T\frac{ds}{dt}\times \frac{ds}{dt}{T}^{\prime }$$Por lo tanto
$$\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert =\Vert T\frac{ds}{dt}\times \frac{ds}{dt}{T}^{\prime }\Vert =\left(\frac{ds}{dt}\right)\Vert T\Vert \left(\frac{ds}{dt}\right)\Vert T^{\prime }\Vert \sin (T,T^{\prime })={\left(\frac{ds}{dt}\right)}^2\Vert T^{\prime }\Vert$$En
cosecuencia$$\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{{\left(\frac{ds}{dt}\right)}^2}=\Vert T^{\prime }|\Rightarrow \Vert T^{\prime }\Vert =\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^2}$$ sustituimos en
$$k(t)=\frac{\Vert T^{\prime }(t)\Vert }{\Vert f^{\prime }(t)\Vert }\Rightarrow \kappa (t)=\frac{\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^2}}{\Vert f^{\prime }(t)\Vert }\Rightarrow \kappa (t)=\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^3}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$
Ejemplo. Hallar la función curvatura $\kappa (t)$ de la curva
$$f(t)=(t^2,t,\frac{2t^3}{3})$$
Solución. Según la fórmula anterior
$$\begin{array}{rl}{f}^{\prime }(t)& =(2t,1,2t^2)\\ f^{\prime \prime }(t)& =(2,0,4t)\\ \Vert f^{\prime }(t)\Vert & =\sqrt{4t^2+1+4t^4}=2t^2+1\end{array}$$
Por lo que
$$\begin{array}{rl}{f}^{\prime }(t)\times f^{\prime \prime }(t)& =\left|\begin{array}{ccc}i& j& k\\ 2t& 1& 2t^2\\ 2& 0& 4t\end{array}\right|\\ & =2(2t,-2t^2,-1)\\ \Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert & =2\sqrt{4t^2+4t^4+1}=2(2t^2+1)\end{array}$$
Luego
$$\kappa (t)=\frac{\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^3}=\frac{2(2t^2+1)}{(2t^2+1{)}^3}=\frac{2}{(2t^2+1{)}^2}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$
Ejemplo. Para el caso especial de una curva plana con ecuación $y=f(x)$ podemos escoger $x$ como el parámetro y escribir $r(x)=x\hat{i}+f(x)\hat{j}$ entonces
$$\begin{array}{rl}{r}^{\prime }(x)& =\hat{i}+f^{\prime }(x)\hat{j}\\ r^{\prime \prime }(x)& =f^{\prime \prime }(x)\hat{j}\end{array}$$ y al efectuar:
$$r^{\prime }(x)\text{x}{r}^{\prime \prime }(x)=\left|\begin{array}{ccc}\hat{i}& \hat{j}& \hat{k}\\ 1& f^{\prime }(x)& 0\\ 0& f^{\prime \prime }(x)& 0\end{array}\right|=f^{\prime \prime }(x)\hat{k}$$

Por lo tanto $\Vert r^{\prime }(x)\times r^{\prime \prime }(x)\Vert =|f^{\prime \prime }(x)|$.
Por lo tanto, para una curva plana
$$\kappa (x)=\frac{\Vert r^{\prime }(t)\times r^{\prime \prime }(t)\Vert }{\Vert r^{\prime }(t){\Vert }^3}=\frac{|f^{\prime \prime }(x)|}{{(1+[f^{\prime }(x){]}^2)}^{3/2}}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$
Ejemplo. Calcular la curvatura del gráfico $f(x)=e^{-x}$.
Solución. Tenemos que: $f^{\prime }(x)=-e^{-x}$ y $f^{\prime \prime }(x)=e^{-x}$. Luego
$$\kappa (x)=\frac{|f^{\prime \prime }(x)|}{{[1+{(f^{\prime }(x))}^2]}^{\frac{3}{2}}}=\frac{e^{-x}}{{[1+{(-e^{-x})}^2]}^{\frac{3}{2}}}=\frac{e^{-x}}{{[e^{-2x}+1]}^{\frac{3}{2}}}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Circunferencia y radio de curvatura

Sea $f:[a,b]\to {\mathbb{R}}^2$ una curva plana y un punto $P$ sobre una curva plana donde $\kappa \ne 0$. Se llama circunferencia de curvatura o circunferencia osculadora de la curva en el punto P a la circunferencia que cumple las siguientes condiciones:
(a) Es tangente a la curva en P. (la circunferencia y la curva tienen la misma recta tangente en el punto P).
(b) Tiene la misma curvatura ($\kappa$) que la curva en P.
(c) Se encuentra hacia el lado concavo o interior de la curva.
(d) El radio de la curvatura de la curva P es el radio del círculo de curvatura o círculo osculador. $$\rho (t)=\frac{1}{\kappa (t)}$$

Asi el centro del círculo osculador (llamado centro de curvatura)
debe estar en:

$$c(t)=f(t)+\frac{1}{k(t)}N(t)$$
Ejemplo. Determine los vectores $T$ y $N$, la curvatura $k$, el centro de la curvatura y la circunferencia osculadora de la parábola $y=x^2$ en el punto $(1,1)$.
Solución. Si la parábola esta
parametrizada por $x=t$ y por $y=t^2$, entonces su vector de
posición es $f(t)=(t,t^2)$, por lo tanto
$$\begin{array}{rl}f(t)=(t,t^2)& \Rightarrow f^{\prime }(t)=(1,2t)\\ & \Rightarrow \Vert f^{\prime }(t)\Vert =\sqrt{1+4t^2}\\ & \Rightarrow f^{\prime \prime }(t)=(0,2)\end{array}$$
por lo tanto:
$$T(t)=\frac{(1,2t)}{\sqrt{1+4t^2}}T(1)=(\frac{1}{\sqrt{5}},\frac{2}{\sqrt{5}})N(1)=(\frac{-2}{\sqrt{5}},\frac{1}{\sqrt{5}})$$ la curvatura $\kappa$, $$k=\frac{\Vert f^{\prime \prime }(t)\Vert }{{\left(\sqrt{1+[f^{\prime }(t){]}^2}\right)}^3}=\frac{2}{{\left(\sqrt{1+4t^2}\right)}^3}k(1)=\frac{2}{5\sqrt{5}}\Rightarrow \rho =\frac{5\sqrt{5}}{2}$$ Por lo tanto el centro de la curvatura es $$c(t)=f(1,1)+\frac{1}{\frac{2}{5\sqrt{5}}}(\frac{-2}{\sqrt{5}},\frac{1}{\sqrt{5}})=(-4,\frac{7}{2})$$ Y la ecuación del círculo osculador a la parábola es, por tanto: $$(x+4{)}^2+{(y-\frac{7}{2})}^2={\left(\frac{5\sqrt{5}}{2}\right)}^2=\frac{125}{4}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Torsión

Sea $f:I\subset \mathbb{R}\to {\mathbb{R}}^3$ una curva tres veces diferenciable parametrizada por longitud de arco. Nuestro objetivo consistira en estimar con que rapidez una curva se aleja de su plano osculador

La forma de medir la rapidez de alejamiento de la curva f de su plano osculador es por medio del vector binormal $B(s)=T(s)\times N(s)$, que sabemos es un vector unitario ortogonal al plano osculador de f en P. Puesto que $\Vert B(s)\Vert =1$, $\mathrm{\forall }s\in I$, la magnitud de la derivada $\Vert B^{\prime }(s)\Vert$ de $B(s)$ medirá precisamente la rapidez con la que el vector binormal $B(s)$ está cambiando de dirección en los alrededores del punto estudiado.
Puesto que $B(s)=T(s)\times N(s)$, tenemos, derivando
$$B^{\prime }(s)=T(s)\times N^{\prime }(s)+T^{\prime }(s)\times N(s)$$
El sumando $T^{\prime }(s)\times N(s)$ que aparece en esta expresión es igual a cero, ya que $T^{\prime }(s)=f^{\prime \prime }(s)$ es un vector en la dirección de $N(s)$ (y por lo tanto son colineales; por lo que su producto cruz es cero). Entonces nos queda
$$B^{\prime }(s)=T(s)\times N^{\prime }(s)$$
También tenemos que
$$\Vert B\Vert =1\Rightarrow \frac{d\Vert B{\Vert }^2}{ds}=0\Rightarrow \frac{d(B\cdot B)}{ds}=0\Rightarrow B\cdot B^{\prime }+B^{\prime }\cdot B=0\Rightarrow B^{\prime }\cdot B=0\Rightarrow B^{\prime }\mathrm{\perp }B$$ Esto nos permite concluir que $B^{\prime }(s)$ es un vector en el plano osculador de f en s. Por otro lado $$B\cdot T=0\Rightarrow (B\cdot T{)}^{\prime }=0\Rightarrow B^{\prime }\cdot T+T^{\prime }\cdot B=0\underset{T^{\prime }\cdot B=N\Vert T^{\prime }\Vert \cdot B=0}{\underbrace{\Rightarrow }}{B}^{\prime }\cdot T=0\Rightarrow B^{\prime }\mathrm{\perp }T$$
De lo anterior podemos concluir que $B^{\prime }$ tiene la dirección del vector $N$. Debe entonces existir un escalar $\tau (s)$ tal que
$$B^{\prime }(s)=\tau (s)N(s)$$
Definición. Sea $f:I\subset \mathbb{R}\to {\mathbb{R}}^3$ una curva tres veces diferenciable parametrizada por longitud de arco tal que $f»(s)\ne 0$ $\mathrm{\forall }s\in I$. El número $\tau (s)$ tal que $B^{\prime }(s)=-\tau (s)N(s)$ se llama torsión de f en s.
Notese que
$$\Vert B^{\prime }(s)\Vert =|\tau (s)|$$
Ejemplo. Dada la función
$$f(t)=(\cos (t),\sin (t),t)$$
cuya reparametrización por longitud de arco es:
$$\bar{f}(s)=(\cos \left(\frac{s}{\sqrt{2}}\right),\sin \left(\frac{s}{\sqrt{2}}\right),\frac{s}{\sqrt{2}})$$
cuyo vector normal es
$$N(s)=(-\cos \left(\frac{s}{\sqrt{2}}\right),-\sin \left(\frac{s}{\sqrt{2}}\right),0)$$
cuyo vector binormal es
$$B(s)=\frac{1}{\sqrt{2}}(\sin \left(\frac{s}{\sqrt{2}}\right),-\cos \left(\frac{s}{\sqrt{2}}\right),1)$$
de modo que
$$B^{\prime }(s)=\frac{1}{2}(\cos \left(\frac{s}{\sqrt{2}}\right),\sin \left(\frac{s}{\sqrt{2}}\right),0)$$
y por lo tanto se tiene
$$|\tau (s)|=\Vert B^{\prime }(s)\Vert =\frac{1}{2}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$
Una curva es plana (es decir, es la imagen de un camino $f:[a,b]\to {\mathbb{R}}^3$ tal que f(s) se encuentra en un plano en ${\mathbb{R}}^3$ para toda $s\in [a,b]$) si y sólo si su torsión es igual a cero $(\mathrm{\forall }s\in [a,b])$.
En efecto, si $\tau (s)=0$, se tiene que $B^{\prime }(s)=0$, por lo que el vector binormal $B(s)$ debe ser constante, es decir $B(s)=v$ para todo $s\in [a,b]$. De aquí se tiene que
$$f^{\prime }(s)\cdot B(s)=f^{\prime }(s)\cdot v=0\mathrm{\forall }s\in [a,b]$$
(pues $f^{\prime }(s)$ es ortogonal a $B(s)$), o sea
$$\frac{d(f(s)\cdot v)}{ds}=0$$
de donde $f(s)\cdot v=cte\mathrm{\forall }s\in [a,b]$, y por lo tanto, concluimos que $f(s)$ se encuentra en el plano cuyo vector normal es v, $\mathrm{\forall }s\in [a,b]$.

Recíprocamente, si $f(s)$ se encuentra en un plano para toda s en $[a,b]$, entonces dicho plano es el plano osculador de la curva en todo punto de ella, por tanto el vector unitario $B(s)$ no cambia de dirección, por lo que $B^{\prime }(s)=0$. de donde $\tau (s)=0$ para toda s en $[a,b]$. $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Fórmula para calcular la Torsión en términos de la parametrización por longitud de arco

La torsión representa una variación en la dirección del vector binormal, procederemos ahora a desarrollar una fórmula para calcularla
Sea $\bar{f}:[a,b]\to {\mathbb{R}}^3$ la reparametrización por longitud de arco de f, $\bar{f}=f\circ \phi$. Queremos calcular la torsión de f en t, donde $t=\phi (s)$. Sabemos que
$$\begin{array}{rl}T(s)& ={\bar{f}}^{\prime }(s)=\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\\ T^{\prime }(s)& =\bar{f}»(s)=\frac{d\left(\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)}{ds}\\ & =\frac{d\left(\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)}{dt}\frac{dt}{ds}=\frac{d\left(\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)}{dt}\frac{1}{\frac{ds}{dt}}\\ & =\frac{d\left(\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)}{dt}\frac{1}{{\phi }^{\prime }(s)}\\ & =\frac{d\left(\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)}{dt}\frac{1}{\Vert f^{\prime }(t)\Vert }\\ & =\left(\frac{\Vert f^{\prime }(t)\Vert f^{\prime \prime }-f^{\prime }(t)\frac{d(\Vert f^{\prime }(t)\Vert )}{dt}}{\Vert f^{\prime }(t){\Vert }^2}\right)\frac{1}{\Vert f^{\prime }(t)\Vert }\\ & =\left(\frac{\Vert f^{\prime }(t)\Vert f^{\prime \prime }-f^{\prime }(t)\frac{f^{\prime }\cdot f^{\prime \prime }}{\Vert f^{\prime }(t)\Vert }}{\Vert f^{\prime }(t){|}^2}\right)\frac{1}{\Vert f^{\prime }(t)\Vert }(\frac{d(\Vert f^{\prime }(t)\Vert )}{dt}=\frac{d\sqrt{f^{\prime }(t)\cdot f^{\prime }(t)}}{dt}=\frac{f^{\prime }(t)\cdot f^{\prime \prime }(t)}{\Vert f^{\prime }(t)\Vert })\\ & =\left(\frac{\Vert f^{\prime }(t){\Vert }^2{f}^{\prime \prime }-(f^{\prime }(t)\cdot f^{\prime \prime }(t))f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\right)\frac{1}{\Vert f^{\prime }(t){\Vert }^3}\\ & =\frac{1}{\Vert f^{\prime }(t){\Vert }^4}(\Vert f^{\prime }(t){\Vert }^2{f}^{\prime \prime }(t)-(f^{\prime }(t)\cdot f^{\prime \prime }(t))f^{\prime }(t))\\ N(s)& =\frac{{\bar{f}}^{\prime \prime }(s)}{\kappa (s)}=\frac{{\bar{f}}^{\prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s)\Vert }\end{array}$$
calculemos
$$B^{\prime }(s)=T(s)\times N^{\prime }(s)$$ en este caso
$$\begin{array}{rl}{N}^{\prime }(s)& =\frac{\Vert {\bar{f}}^{\prime \prime }(s)\Vert {\bar{f}}^{\prime \prime \prime }(s)-{\bar{f}}^{\prime \prime }(s)\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s)\Vert }\right)}{\Vert {\bar{f}}^{\prime \prime }(s){\Vert }^2}\\ & =\frac{{\bar{f}}^{\prime \prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s)\Vert }-{\bar{f}}^{\prime \prime }(s)\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s){\Vert }^3}\right)\end{array}$$
Luego si $B^{\prime }(s)=T(s)\times N^{\prime }(s)$ entonces se tiene que
$$\begin{array}{rl}{B}^{\prime }(s)& ={\bar{f}}^{\prime }(s)\times (\frac{{\bar{f}}^{\prime \prime \prime }(s)}{|{\bar{f}}^{\prime \prime }(s)|}-{\bar{f}}^{\prime \prime }(s)\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{|{\bar{f}}^{\prime \prime }(s){|}^3}\right))\\ & =\frac{1}{|{\bar{f}}^{\prime \prime }(s)|}{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime \prime }(s)-\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{|{\bar{f}}^{\prime \prime }(s){|}^3}\right){\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime }(s)\end{array}$$
La torsión esta dada por
$$\begin{array}{rl}{B}^{\prime }(s)& =\tau (s)N(s)\\ & \Rightarrow B^{\prime }(s)\cdot N(s)=\tau (s)N(s)\cdot N(s)\\ & \Rightarrow B^{\prime }(s)\cdot N(s)=\tau (s)\Vert N(s){\Vert }^2\\ & \Rightarrow B^{\prime }(s)\cdot N(s)=|\tau (s)|\end{array}$$
Entonces
$$\begin{array}{rl}\tau (s)& =B^{\prime }(s)\cdot N(s)\\ & =(\frac{1}{\Vert {\bar{f}}^{\prime \prime }(s)\Vert }{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime \prime }(s)-\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{|{\bar{f}}^{\prime \prime }(s){|}^3}\right)f^{\prime }(s)\times {\bar{f}}^{\prime \prime }(s))\cdot \frac{{\bar{f}}^{\prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s)\Vert }\\ & =\frac{1}{\Vert {\bar{f}}^{\prime \prime }(s){\Vert }^2}{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime \prime }(s)\cdot {\bar{f}}^{\prime \prime }(s)-\cancel{\left(\frac{{\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{\Vert {\bar{f}}^{\prime \prime }(s){\Vert }^4}\right){\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime }(s)}\\ & =\frac{1}{\Vert {\bar{f}}^{\prime \prime }(s){\Vert }^2}{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime \prime }(s)\cdot {\bar{f}}^{\prime \prime }(s)\end{array}$$
La cancelación es porque $${\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime }(s)=0$$ y como $$k(s)=\Vert {\bar{f}}^{\prime \prime }\Vert$$ se
tiene entonces que $$\boxed{{\displaystyle \tau (s)=\frac{{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime \prime }(s)\cdot {\bar{f}}^{\prime \prime }(s)}{k(s{)}^2}=-\frac{{\bar{f}}^{\prime }(s)\times {\bar{f}}^{\prime \prime }(s)\cdot {\bar{f}}^{\prime \prime \prime }(s)}{k(s{)}^2}}}$$

Fórmula para calcular la Torsión en términos del parámetro t

Ahora vamos a expresar la torsión en términos de t. Ya hemos visto que
$$\begin{array}{rl}{\bar{f}}^{\prime }(s)& =\frac{f^{\prime }(t)}{|f^{\prime }(t)|}\\ f^{\prime \prime }(s)& =\frac{1}{\Vert f^{\prime }(t){\Vert }^4}(|f^{\prime }(t){|}^2{f}^{\prime \prime }(t)-(f^{\prime }(t)\cdot f^{\prime \prime }(t))f^{\prime }(t))\end{array}$$
Por lo tanto
$$\begin{array}{rl}{f}^{\prime }(s)\times f^{\prime \prime }(s)& =\frac{f^{\prime }(t)}{\Vert f^{\prime }(t)\Vert }\times \left(\frac{1}{\Vert f^{\prime }{\Vert }^4}(\Vert f^{\prime }(t){\Vert }^2{f}^{\prime \prime }(t)-(f^{\prime }(t)\cdot f^{\prime \prime }(t))f^{\prime }(t))\right)\\ & =\left(\frac{1}{\Vert f^{\prime }(t){\Vert }^3}\right)f^{\prime }(t)\times f^{\prime \prime }(t)-\left(\frac{f^{\prime }(t)\cdot f^{\prime \prime }(t)}{\Vert f^{\prime }(t){\Vert }^5}\right)\cancel{f^{\prime }(t)\times f^{\prime }(t)}\\ & =\left(\frac{1}{\Vert f^{\prime }(t){\Vert }^3}\right)f^{\prime }(t)\times f^{\prime \prime }(t)\end{array}$$
Mientras que
$$\begin{array}{rl}{f}^{\prime \prime \prime }(s)& =\frac{d{f}^{\prime \prime }(s)}{ds}=\left(\frac{d{f}^{\prime \prime }(s)}{dt}\right)\frac{dt}{ds}=\left(\frac{d{f}^{\prime \prime }(s)}{dt}\right)\frac{1}{\frac{ds}{dt}}\\ & =\left(\frac{d{f}^{\prime \prime }(s)}{dt}\right)\frac{1}{\Vert f^{\prime }(t)\Vert }\\ & =\frac{1}{\Vert f^{\prime }(t)\Vert }\frac{d}{dt}\left(\frac{1}{\Vert f^{\prime }{\Vert }^4}(\Vert f^{\prime }(t){\Vert }^2{f}^{\prime \prime }(t)-(f^{\prime }(t)\cdot f^{\prime \prime }(t))f^{\prime }(t))\right)\\ & =\left(\frac{1}{\Vert f^{\prime }(t)\Vert }\right)[(\frac{1}{\Vert f^{\prime }(t){\Vert }^2}{f}^{\prime \prime }(t))+{\left(\frac{1}{\Vert f^{\prime }(t){\Vert }^2}\right)}^{\prime }{f}^{\prime \prime }(t)\\ & -\left(\frac{f^{\prime }(t)\cdot f^{\prime \prime }(t)}{\Vert f^{\prime }(t){\Vert }^4}\right)f^{\prime \prime }(t)-f^{\prime }(t){\left(\frac{f^{\prime }(t)\cdot f^{\prime \prime }(t)}{\Vert f^{\prime }(t){\Vert }^4}\right)}^{\prime }]\end{array}$$
Por lo tanto
$$\begin{array}{rl}{f}^{\prime }(s)\times f^{\prime \prime }(s)\cdot f^{\prime \prime \prime }(s)& =\left(\frac{1}{\Vert f^{\prime }(t){\Vert }^3}\right)f^{\prime }(t)\times f^{\prime \prime }(t)\cdot \left(\frac{1}{\Vert f^{\prime }(t)\Vert }\right)[(\frac{1}{\Vert f^{\prime }(t){\Vert }^2}{f}^{\prime \prime }(t))\\ & +\cancel{{\left(\frac{1}{\Vert f^{\prime }(t){\Vert }^2}\right)}^{\prime }{f}^{\prime \prime }(t)}-\cancel{\left(\frac{f^{\prime }(t)\cdot f^{\prime \prime }(t)}{\Vert f^{\prime }(t){\Vert }^4}\right)f^{\prime \prime }(t)}-\cancel{f^{\prime }(t){\left(\frac{f^{\prime }(t)\cdot f^{\prime \prime }}{\Vert f^{\prime }(t){\Vert }^4}\right)}^{\prime }}]\\ & =\frac{1}{\Vert f^{\prime }(t){\Vert }^3}{f}^{\prime }(t)\times f^{\prime \prime }(t)\cdot \frac{1}{\Vert f^{\prime }(t){\Vert }^3}{f}^{\prime \prime \prime }(t)\\ & =\frac{1}{\Vert f^{\prime }(t){\Vert }^6}{f}^{\prime }(t)\times f^{\prime \prime }(t)\cdot f^{\prime \prime \prime }(t)\end{array}$$
finalmente
$$\begin{array}{rl}\tau (t)& =\frac{f^{\prime }(s)\times f^{\prime \prime \prime }(s)\cdot f^{\prime \prime }(s)}{k(s{)}^2}\\ & =-\frac{f^{\prime }(s)\times f^{\prime \prime }(s)\cdot f^{\prime \prime \prime }(s)}{k(s{)}^2}\\ & =-\frac{1}{\Vert f^{\prime }(t){\Vert }^6}\frac{f^{\prime }(t)\times f^{\prime \prime }(t)\cdot f^{\prime \prime \prime }}{{\left(\frac{\Vert f^{\prime }\times f^{\prime \prime }(t)\Vert }{\Vert f^{\prime }(t){\Vert }^3}\right)}^2}\end{array}$$
Tenemos que
la torsión esta dada por $$\boxed{{\displaystyle \tau (t)=-\frac{f^{\prime }(t)\times f^{\prime \prime }(t)\cdot f^{\prime \prime \prime }(t)}{{(\Vert f^{\prime }(t)\times f^{\prime \prime }(t)\Vert )}^2}}}$$
Ejemplo. Probar que la torsión de la hélice $f(t)=(a\cos (t),a\sin (t),bt)$ es
$$\tau (t)=\frac{b}{a^2+b^2}$$
Solución. En este caso
$$\begin{array}{rl}{f}^{\prime }(t)& =(-a\sin (t),a\cos (t),b)\\ f^{\prime \prime }(t)& =(-a\cos (t),-a\sin (t),0)\\ f^{\prime \prime \prime }(t)& =(a\sin (t),-a\cos (t),0)\end{array}$$
Por lo que
$$f^{\prime }(t)\times f^{\prime \prime }(t)=\left|\begin{array}{ccc}i& j& k\\ -a\sin (t)& a\cos (t)& b\\ -a\cos (t)& -a\sin (t)& 0\end{array}\right|=(ab\sin (t),-ab\cos (t),a^2)$$
tenemos entonces
$$f^{\prime }(t)\times f^{\prime \prime }(t)\cdot f^{\prime \prime \prime }(t)=(ab\sin (t),-ab\cos (t),a^2)\cdot (a\sin (t),-a\cos (t),0)=a^{2}b$$
$$\Vert f^{\prime }(t)\times f»(t)\Vert =\Vert (ab\sin (t),-ab\cos (t),a^2)\Vert =\sqrt{a^2{b}^2+a^4}=|a|\sqrt{a^2+b^2}$$
luego,
$$\tau (t)=\frac{[f^{\prime }(t)\times f^{\prime \prime }(t)]\cdot f^{\prime \prime \prime }(t)}{\Vert f^{\prime }(t)\times f^{\prime \prime }(t){\Vert }^2}=\frac{a^{2}b}{{\left(|a|\sqrt{a^2+b^2}\right)}^2}=\frac{b}{a^2+b^2}.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Más adelante

En la siguiente entrada veremos cómo las curvaturas de las ecuaciones polares determinadas por los vectores tangente, normal y binormal dan origen a las fórmulas de Frenet-Serret. En la geometría de las curvas dichas fórmulas juegan un papel importante.

Tarea Moral

1.- Determine la curvatura de la parábola: $y=4p{x}^2$

2.- Demuestra que $N´=-kl´T´+t{l}^{\prime }B$

3.- Determina la torsión de la cúbica descrita por $f(t)=(t,t^2,t^3)$

4.-Determina la torsión de la hélice cónica descrita por $f(t)=(tcost,tsent,t)$ en el punto $(0,0,0)$.

5.- Determina la torsión de la curva descrita por $f(t)=(t-sent,1-cost,t)$ en los puntos: $t=0$, $t={\displaystyle \frac{\pi }{2}}$, $t=\pi$