Suponhamos que temos uma curva, em $\R^n$ parametrizada pela função $$\gamma:I\subseteq \R \to \R^n$$ Rigorosamente, gosto de chamar a estas curvas linhas parametrizadas mas percebi que cada um chama o que lhe apetecer.
Se $I$ for um intervalo limitado e fechado $[a,b]$, chamamos à curva caminho e o comprimento do caminho é dado por
Por exemplo, a circunferência de centro $(a,b)$ e raio $r>0$ pode ser parametrizada por \[ \gamma \left( t \right) = \left( {a + r\cos t,b + r\sen t} \right),t \in \left[ {0,2\pi } \right] \] e o comprimento da circunferência (ou se preferirem, o perímetro da circunferência) é dado por: \[ \begin{eqnarray*} {L\left( \gamma \right)}&{ = }&{\int\limits_0^{2\pi } {\left\| {\gamma '\left( t \right)} \right\|} dt } \\ { }&{ = }&{\displaystyle\int\limits_0^{2\pi } {\left\| {\left( { - r\sen t,r\cos t} \right)} \right\|} dt } \\ { }&{ = }&{ \int\limits_0^{2\pi } {\sqrt {\left( { - r\sen t} \right)^2 + \left( {r\cos t} \right)^2 } } dt } \\ { }&{ = }&{ \int\limits_0^{2\pi } {\sqrt {r^2 \left( {\sen t} \right)^2 + r^2 \left( {\cos t} \right)^2 } } dt } \\ %{ }&{ = }&{ \int\limits_0^{2\pi } {\sqrt {r^2 \left( \senEL{2} t + \cos ^2 t} \right)} } dt }\\ { }&{ = }&{ \int\limits_0^{2\pi } {\sqrt {r^2 } } dt }\\ { }&{ = }&{ \int\limits_0^{2\pi } r dt }\\ { }&{ = }&{2\pi r} \end{eqnarray*} \] É óbvio que o centro não poderia interferir no perímetro da circunferência, e dada a definição história de $\pi$, este exercício é bem estúpido. Mas pronto, é uma verificação, e vou repetir a estupidez mais uma vez neste post.
O gráfico de uma função $f$ contínua no intervalo $[a,b]$ é um caminho que pode ser parametrizado pela parametrização canónica:
\[\gamma(t)=(t,f(t)),t\in[a,b]\] e o seu comprimento é, naturalmente \[ L\left( \gamma \right) = \int\limits_a^b {\left\| {\gamma '\left( t \right)} \right\|} dt = \int\limits_a^b {\left\| {\left( {1,f'\left( t \right)} \right)} \right\|} dt = \int\limits_a^b {\sqrt {1 + \left( {f'\left( t \right)} \right)^2 } } dt \] Fórmula que já usei aqui neste blog, no post $P$, o primo do $\pi$
(é por causa desse texto, que estou a escrever este... é que eu tenciono usar isto, para, bem, depois se tiverem curiosidade, virão cá ver)
Uma curva em coordenadas polares, $r=\rho\left(\theta\right), \theta\in\left[\theta_1,\theta_2\right]$ pode ser parametrizada por \[ \gamma \left( t \right) = \left( {\rho \left( t \right)\cos t,\rho \left( t \right)\sen t} \right),t \in \left[ {\theta _1 ,\theta _2 } \right] \] E o seu comprimento é então \[ \begin{array}{l} L\left( \gamma \right) = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\left\| {\gamma '\left( t \right)} \right\|} dt = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\left\| {\left( {\rho '\left( t \right)\cos t - \rho \left( t \right)\sen t,\rho '\left( t \right)\sen t + \rho \left( t \right)\cos t} \right)} \right\|} dt \\ = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\sqrt {\left( {\rho '\left( t \right)\cos t - \rho \left( t \right)\sen t} \right)^2 + \left( {\rho '\left( t \right)\sen t + \rho \left( t \right)\cos t} \right)^2 } } dt \\ = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\sqrt {\left( {\rho '\left( t \right)\cos t} \right)^2 - 2\rho '\left( t \right)\rho \left( t \right)\cos t\sen t + \left( {\rho \left( t \right)\sen t} \right)^2 + \left( {\rho '\left( t \right)\sen t} \right)^2 + 2\rho '\left( t \right)\rho \left( t \right)\cos t\sen t + \left( {\rho \left( t \right)\cos t} \right)^2 } } dt \\ = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\sqrt {\left( {\rho '\left( t \right)\cos t} \right)^2 + \left( {\rho \left( t \right)\sen t} \right)^2 + \left( {\rho '\left( t \right)\sen t} \right)^2 + \left( {\rho \left( t \right)\cos t} \right)^2 } } dt \\ % = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\sqrt {\left( {\rho '\left( t \right)} \right)^2 \cos ^2 t + \left( {\rho \left( t \right)} \right)^2 \sen ^2 t + \left( {\rho '\left( t \right)} \right)^2 \sen ^2 t + \left( {\rho \left( t \right)} \right)^2 \cos ^2 t} } dt \\ = \displaystyle\int\limits_{\theta _1 }^{\theta _2 } {\sqrt {\left( {\rho \left( t \right)} \right)^2 + \left( {\rho '\left( t \right)} \right)^2 } } dt \end{array} \] (Eu gosto do aspecto desta fórmula...)
Vamos a mais um exempo "estúpido"? Uma circunferência de raio $R$ ($R>0$), e centro na origem, tem como equação,em coordenadas polares, $r=R$, ou seja $\rho(\theta)=R$ com $\theta\in[0,2\pi]$ então, (risos) \[L(\gamma)=\int\limits_{0 }^{2\pi } {\sqrt {\left( {\rho \left( t \right)} \right)^2 + \left( {\rho '\left( t \right)} \right)^2 } } dt=\int\limits_{0 }^{2\pi } {\sqrt {R^2 + 0^2 }} =2\pi R \] Daqui a uns tempos uso isto para coisas mais engraçadas.