A Lista 2 inteira — as quatro séries — é um teorema só, vestido de quatro fantasias. Este módulo monta o teorema do zero e o veste pela primeira vez: o triedro de Frenet.
Antes de qualquer conta, vale saber para onde você está indo. Olhe o que a sua lista pede, série por série:
Parecem quatro assuntos. São quatro consequências da mesma frase:
Se um conjunto de vetores mantém comprimentos e ângulos mútuos constantes, então a única coisa que ele pode estar fazendo é girar. E existe um único vetor \(\vec\omega\) tal que, para qualquer vetor \(\vec u\) desse conjunto,
$$\frac{d\vec u}{dt} = \vec\omega \wedge \vec u$$Trocando as fantasias:
| Série | Quem é o conjunto rígido de vetores | Quem é o \(\vec\omega\) |
|---|---|---|
| 1 | o triedro t̂ n̂ b̂, que anda grudado na partícula | vetor de Darboux \(\;\vec\omega = \tau\,\hat t + \kappa\,\hat b\) |
| 1 | a base cilíndrica \((\hat u, \vec\tau)\), grudada no raio | \(\vec\omega = \dot\theta\,\hat\imath\) (o eixo do cilindro) |
| 2 | três direções quaisquer gravadas no corpo rígido | o vetor rotação \(\vec\omega\) do corpo |
| 3 | idem, no plano | \(\vec\omega = \omega\,\hat k\) — e o CIR é onde \(\vec v\) se anula |
| 4 | a base do referencial móvel | \(\vec\omega\) do referencial → daí sai Coriolis |
Se você entender uma vez, direito, por que a derivada de um versor é um produto vetorial, você não vai precisar decorar nenhuma das fórmulas das quatro séries. Elas se deduzem em três linhas cada. É isso que este módulo vai fazer.
Cada seção tem um código (§2.4, V2, P-C). Quando algo não fechar, me chame pelo código: "não entendi o §2.4", "refaz o V3 com β = 10°", "me dá o padrão P-C aplicado no L2-1.5". Fica rápido e a gente não se perde.
As caixas "Confira depois de tentar" escondem resultados. A ideia é que você tente primeiro — quem lê a resposta antes aprende a reconhecer, não a fazer.
Existe ainda uma camada transversal, os Complementos de álgebra linear, que serve aos quatro módulos. Ela usa códigos próprios (§A a §E, R1–R17) e reconstrói, com você, a maquinaria que este módulo usa pronta: matriz ortogonal, antissimetria, \(SO(3)\), exponencial. Os links marcados → Complementos ao longo desta página apontam para a seção exata.
A trajetória de um ponto \(P\) é uma função que leva tempo em ponto do espaço. Fixando uma origem \(O\), ela vira uma função vetorial \(\vec r(t) = P - O\). Numa base fixa \((\hat\imath, \hat\jmath, \hat k)\),
$$\vec r(t) = x(t)\,\hat\imath + y(t)\,\hat\jmath + z(t)\,\hat k$$e, porque os versores são constantes, derivar é derivar componente a componente:
$$\vec v = \dot x\,\hat\imath + \dot y\,\hat\jmath + \dot z\,\hat k, \qquad \vec a = \ddot x\,\hat\imath + \ddot y\,\hat\jmath + \ddot z\,\hat k$$Repare no porque. A regra do produto diz \(\frac{d}{dt}(x\,\hat\imath) = \dot x\,\hat\imath + x\,\dot{\hat\imath}\). O segundo termo some porque \(\dot{\hat\imath} = \vec 0\). Essa é a única coisa especial da base cartesiana fixa: ela não se mexe.
Guarde esse termo que você acabou de jogar fora. Quando a base também girar — que é exatamente o caso de um referencial móvel — ele volta, e é ele que produz a velocidade de arrastamento e a aceleração de Coriolis. Toda a Série 4 é a contabilidade de \(x\,\dot{\hat\imath}\).
Este é o pilar. Seja \(\vec u(t)\) um vetor de módulo constante. Então:
Três linhas. E a intuição é ainda mais curta: se a ponta do vetor está presa a uma esfera de raio fixo, ela só pode se mover tangente à esfera — qualquer componente radial mudaria o raio. Derivada = velocidade da ponta. Tangente à esfera = perpendicular ao raio.
Mexa no comprimento. Enquanto \(|\vec u|\) fica constante, o produto escalar \(\vec u\cdot\dot{\vec u}\) fica cravado em zero — e a derivada sai perpendicular. Solte o comprimento e a perpendicularidade quebra na hora.
Agora a mesma coisa com três vetores de uma vez. Ponha um triedro ortonormal móvel nas colunas de uma matriz \(Q(t)\). "Ortonormal" é exatamente a equação matricial
$$Q^{\mathsf T} Q = I$$Derive dos dois lados: \(\dot Q^{\mathsf T}Q + Q^{\mathsf T}\dot Q = 0\). Chamando \(\Omega = Q^{\mathsf T}\dot Q\), isso diz \(\Omega^{\mathsf T} = -\Omega\): \(\Omega\) é antissimétrica. Não é escolha, é consequência. O conjunto das matrizes que preservam comprimentos e ângulos é o grupo \(SO(3)\), e a "velocidade" permitida dentro dele é sempre antissimétrica — a álgebra de Lie \(\mathfrak{so}(3)\).
Uma matriz antissimétrica \(3\times 3\) tem só três números livres:
$$\Omega=\begin{pmatrix} 0 & -\omega_3 & \omega_2\\ \omega_3 & 0 & -\omega_1\\ -\omega_2 & \omega_1 & 0\end{pmatrix} \qquad\Longrightarrow\qquad \Omega\,\vec u = \vec\omega \wedge \vec u$$com \(\vec\omega=(\omega_1,\omega_2,\omega_3)\). Confira multiplicando: dá o produto vetorial linha por linha. É por isso que aparece um produto vetorial na Mecânica inteira. Não é uma convenção nem um truque de notação — é que em \(\mathbb R^3\), e só em \(\mathbb R^3\), o espaço das matrizes antissimétricas tem dimensão 3 e pode ser identificado com os próprios vetores.
Toda base móvel ortonormal tem um \(\vec\omega\). Derivar qualquer versor dela é fazer \(\vec\omega\wedge(\text{versor})\). O que muda de um problema para o outro é quem é o \(\vec\omega\) — e achar isso é metade da Lista 2.
Uma matriz \(3\times3\) tem 9 entradas. A condição \(Q^{\mathsf T}Q = I\) impõe: 3 equações de norma (\(|c_i|=1\)) e 3 de ortogonalidade (\(c_i\cdot c_j=0\), \(i\lt j\)) — 6 vínculos. Sobram \(9-6=3\) graus de liberdade. São os três ângulos de uma rotação, e são os três componentes de \(\vec\omega\). Em \(\mathbb R^n\) sobram \(n(n-1)/2\); só em \(n=3\) isso é igual a \(n\), e só por isso o "vetor rotação" existe como vetor.
→ Complementos: esta seção é a versão curta. A dedução completa, feita passo a passo com você — inclusive por que \(Q^{\mathsf T}Q\) é a tabela de produtos escalares, e por que o eixo existe porque 3 é ímpar — está em §B1 a §B7, com a matriz \(\Omega\) se preenchendo ao vivo na visualização W3.
Até aqui a trajetória foi descrita por uma base que não sabe nada sobre ela. A ideia de Frenet é o oposto: construir a base a partir da própria curva. E o jeito de fazer isso é parar de usar o tempo como parâmetro.
Defina \(s(t)\) como a distância percorrida ao longo da trajetória. Como a distância percorrida em \(dt\) é \(|\vec v|\,dt\),
$$\frac{ds}{dt} = |\vec v| \;\equiv\; v \qquad\text{(a "velocidade escalar")}$$Aqui mora uma confusão que custa nota: \(v\) sem seta é \(|\vec v|\), o módulo — nunca uma componente com sinal. E \(s\) é uma coordenada geométrica: ela existe na curva mesmo que ninguém esteja andando nela. Reparametrizar por \(s\) é separar o desenho da trajetória (geometria) de como você a percorre (horário).
Derive \(\vec r(s(t))\) pela regra da cadeia:
$$\vec v = \frac{d\vec r}{dt} = \frac{d\vec r}{ds}\,\frac{ds}{dt} = \frac{d\vec r}{ds}\,v$$E \(\frac{d\vec r}{ds}\) é automaticamente unitário: é um deslocamento dividido pelo comprimento desse mesmo deslocamento. Batize-o de \(\hat t\). Resultado:
$$\boxed{\;\vec v = v\,\hat t\;}$$Ou seja: "a velocidade é tangente à trajetória" não é um fato empírico sobre movimento — é o que a regra da cadeia devolve quando você parametriza pelo arco. A direção tangente é definida pelo vetor velocidade.
\(\hat t\) tem módulo 1. Pelo Lema (§1.2), \(\dfrac{d\hat t}{ds} \perp \hat t\). Defina
$$\frac{d\hat t}{ds} = \kappa\,\hat n, \qquad \kappa = \left|\frac{d\hat t}{ds}\right| \ge 0, \qquad \rho = \frac{1}{\kappa}$$\(\hat n\) é a normal principal, unitária por construção, e \(\kappa\) é a curvatura. Leia as unidades: \(\hat t\) é adimensional, \(s\) é metro, então \(\kappa\) é radiano por metro. Curvatura é a taxa de giro da direção por unidade de distância percorrida — não por unidade de tempo. Uma curva não fica mais curva porque você acelera nela.
Teste no círculo de raio \(R\): para girar a direção de \(\Delta\theta\) você percorre \(\Delta s = R\,\Delta\theta\). Então \(\kappa = \Delta\theta/\Delta s = 1/R\), e \(\rho = R\). O raio de curvatura de um círculo é o raio do círculo — como tinha que ser. Para uma reta, a direção nunca gira: \(\kappa = 0\), \(\rho=\infty\).
Note que \(\kappa \ge 0\) por definição, e \(\hat n\) aponta para onde a curva está virando — sempre para o lado côncavo. Não existe "normal para fora". Isso vai ter uma consequência forte em §3: a componente normal da aceleração nunca é negativa. Se der negativa na sua conta, tem erro.
Agora é só derivar \(\vec v = v\,\hat t\) pela regra do produto:
$$\vec a = \frac{d}{dt}\big(v\,\hat t\big) = \dot v\,\hat t + v\,\frac{d\hat t}{dt}$$E \(\dfrac{d\hat t}{dt} = \dfrac{d\hat t}{ds}\dfrac{ds}{dt} = \kappa\,\hat n \cdot v\). Substituindo:
$$\boxed{\;\vec a = \underbrace{\dot v}_{a_t}\,\hat t \;+\; \underbrace{\frac{v^2}{\rho}}_{a_n}\,\hat n\;}$$Leia o que isso diz, em português:
E os dois efeitos são independentes: dá para acelerar em linha reta (\(a_n=0\)), virar sem acelerar (\(a_t=0\), movimento circular uniforme — o caso do L2-1.4), ou os dois juntos.
Dobrar a velocidade faz duas coisas ao mesmo tempo: você precisa girar a direção pelo mesmo ângulo em metade do tempo (fator 2), e o vetor que precisa ser girado é duas vezes maior (outro fator 2). \(2\times 2 = 4\). Daí o quadrado. Não é álgebra — é que velocidade entra duas vezes no problema.
Entre todos os círculos que passam por \(P\), existe um único que encosta na curva com a mesma tangente e a mesma curvatura: raio \(\rho\), centro em \(P + \rho\,\hat n\). É o círculo osculador ("osculador" = que beija).
A leitura física: naquele instante, o movimento é indistinguível de um movimento sobre esse círculo, com aquela velocidade. Por isso \(a_n = v^2/\rho\) é literalmente a fórmula do movimento circular \(v^2/R\) — com \(R\) sendo o raio do círculo que a curva está imitando ali. A trajetória é uma sucessão de pedacinhos de círculos de raios diferentes.
Complete a base: \(\hat b = \hat t \wedge \hat n\), o binormal. Ele é normal ao plano \((\hat t,\hat n)\), que é o plano osculador — o plano onde a curva "mora localmente".
Se a curva for plana, o plano osculador é sempre o mesmo, logo \(\hat b\) é constante. Se a curva sair do plano, \(\hat b\) tem que girar, e a taxa desse giro é a torção \(\tau\):
$$\frac{d\hat b}{ds} = -\tau\,\hat n$$(O sinal é convenção; o \(\hat n\) do lado direito vem do Lema de novo — \(\hat b\) é unitário, então \(d\hat b/ds \perp \hat b\); e é possível mostrar que também é \(\perp \hat t\), sobrando só a direção \(\hat n\).) Portanto:
Movimento plano \(\iff\) \(\hat b\) constante \(\iff\) \(\tau=0\) \(\iff\) \((\vec v\wedge\vec a)\cdot\dot{\vec a}=0\). Na prática, num exercício como o L2-1.4 costuma ser mais rápido achar a combinação linear das coordenadas que dá constante — isso é a equação do plano.
Junte as três derivadas. Com \(\hat n = \hat b \wedge \hat t\), sai \(\frac{d\hat n}{ds} = -\kappa\,\hat t + \tau\,\hat b\), e o sistema completo é:
$$\frac{d}{ds}\begin{pmatrix}\hat t\\ \hat n\\ \hat b\end{pmatrix} = \begin{pmatrix} 0 & \kappa & 0\\ -\kappa & 0 & \tau\\ 0 & -\tau & 0\end{pmatrix} \begin{pmatrix}\hat t\\ \hat n\\ \hat b\end{pmatrix}$$Olhe a matriz. Antissimétrica — exatamente como §1.3 previu, sem que a gente tenha imposto nada. E como toda antissimétrica em \(\mathbb R^3\) é um produto vetorial, existe um vetor que faz o serviço: o vetor de Darboux
$$\vec\omega_{\text{Darboux}} = \tau\,\hat t + \kappa\,\hat b \qquad\Longrightarrow\qquad \frac{d\hat t}{ds} = \vec\omega\wedge\hat t,\quad \frac{d\hat n}{ds}=\vec\omega\wedge\hat n,\quad \frac{d\hat b}{ds}=\vec\omega\wedge\hat b$$Pare e olhe para isso: o triedro de Frenet é um corpo rígido minúsculo montado na partícula, e \(\vec\omega_{\text{Darboux}}\) é o vetor rotação dele. \(\kappa\) é o quanto ele guina (giro em torno de \(\hat b\)); \(\tau\) é o quanto ele rola (giro em torno de \(\hat t\)). Quando a Série 2 introduzir "o vetor rotação \(\vec\omega\) do corpo rígido" como se fosse novidade, você já o encontrou aqui.
→ Complementos: em §C1 essa matriz é montada do zero e o Darboux é lido dela pela tabela "casa da matriz ↔ plano de giro", em vez de decorado.
Arraste para girar a cena. Escolha a curva, ande no tempo e veja t̂, n̂, b̂, o círculo osculador e a decomposição de \(\vec a\). As três curvas paramétricas são exatamente as da sua lista.
Some \(y\) e \(z\) das equações dadas: \(y+z = 4\), constante. A trajetória mora no plano \(y+z=4\) — isso já responde o item (b) sem calcular torção nenhuma.
Mas tem mais. Meça a distância até o ponto \(C=(2,\sqrt2,4-\sqrt2)\): dá exatamente \(1\), para todo \(t\). E \(|\vec v| = 1\) constante, \(a_t = 0\), \(a_n = 1\), \(\rho = 1\). É movimento circular uniforme de raio 1 num plano inclinado — escrito em coordenadas cartesianas de um jeito que esconde isso. Reconhecer a figura por trás das equações é metade do trabalho.
Moral: antes de sair derivando, gaste 30 segundos procurando combinações lineares constantes e distâncias constantes. Elas revelam a geometria.
Na prática, você quase nunca tem \(s(t)\). Você tem \(\vec v\) e \(\vec a\) em coordenadas cartesianas. Então precisa extrair \(a_t\), \(a_n\), \(\rho\) e o triedro a partir desses dois vetores. Toda a mecânica disso é: produto escalar projeta, produto vetorial elimina o que é paralelo.
\(a_t\) é a componente de \(\vec a\) na direção \(\hat t = \vec v / v\). Projeção é produto escalar com o versor:
$$a_t = \vec a\cdot\hat t = \frac{\vec v\cdot\vec a}{v}$$Mesma coisa por outro caminho, que vale conhecer: \(v = \sqrt{\vec v\cdot\vec v}\), então pela regra da cadeia \(\dot v = \dfrac{\vec v\cdot\dot{\vec v}}{\sqrt{\vec v\cdot\vec v}} = \dfrac{\vec v\cdot\vec a}{v}\). Os dois batem, como tinham que bater — \(a_t\) é \(\dot v\).
Este é literalmente um exercício da sua lista, e a demonstração tem duas linhas. Escreva os dois vetores na base intrínseca e cruze:
$$\vec v\wedge\vec a = (v\,\hat t)\wedge\Big(\dot v\,\hat t + \tfrac{v^2}{\rho}\,\hat n\Big) = \underbrace{v\dot v\,(\hat t\wedge\hat t)}_{=\,\vec 0} + \frac{v^3}{\rho}\,\underbrace{(\hat t\wedge\hat n)}_{=\,\hat b} = \frac{v^3}{\rho}\,\hat b$$Tomando módulos e lembrando que \(v\gt0\) e \(\rho\gt0\):
$$\frac{|\vec v\wedge\vec a|}{v^3} = \frac{1}{\rho} = \kappa \qquad \blacksquare$$O que o produto vetorial fez: ele matou a parte tangencial de \(\vec a\) (porque \(\hat t\wedge\hat t=\vec 0\)) e guardou só a parte que vira. É um filtro. Se você lembrar disso, não precisa lembrar a fórmula: "cruzar \(\vec v\) com \(\vec a\) apaga a aceleração e deixa a curvatura".
E de brinde, o cálculo acima entrega o binormal de graça, com sinal e tudo:
$$\hat b = \frac{\vec v\wedge\vec a}{|\vec v\wedge\vec a|}, \qquad \hat t = \frac{\vec v}{v}, \qquad \hat n = \hat b\wedge\hat t$$Essa é a rota de cálculo. Você nunca precisa derivar \(\hat t\) na mão para achar \(\hat n\).
→ Complementos: "projetar" é aplicar a matriz \(\hat t\hat t^{\mathsf T}\), e as três fórmulas deste kit saem de uma conta só. Veja §D1.
Tudo o mais se reconstrói. Se você esquecer \(|\vec v\wedge\vec a| = v^3/\rho\) no meio da prova, refaça as duas linhas do §3.2 — leva menos tempo do que tentar lembrar.
| Você quer | A partir de \(\vec v,\vec a\) cartesianos | A partir de dados intrínsecos |
|---|---|---|
| \(v\) | \(\sqrt{\vec v\cdot\vec v}\) | dado |
| \(a_t\) | \((\vec v\cdot\vec a)/v\) | \(|\vec a|\cos\varphi\), com \(\varphi=\angle(\vec v,\vec a)\) |
| \(a_n\) | \(|\vec v\wedge\vec a|/v\) | \(|\vec a|\sin\varphi\) |
| \(\rho\) | \(v^3/|\vec v\wedge\vec a|\) | \(v^2/a_n\) |
| \(\hat t,\hat b,\hat n\) | \(\vec v/v\); \((\vec v\wedge\vec a)/|\vec v\wedge\vec a|\); \(\hat b\wedge\hat t\) | — |
A coluna da direita é o L2-1.1 inteiro: dão \(|\vec v|=20\) m/s, \(|\vec a|=1{,}4\) m/s² e o ângulo entre eles na figura. Decompõe e acabou.
Com \(\vec r = (t^3/3,\;\tfrac{\sqrt2}{2}t^2,\;t)\): \(\vec v = (t^2,\;\sqrt2\,t,\;1)\) e \(\vec a = (2t,\;\sqrt2,\;0)\).
Agora repare: \(|\vec v|^2 = t^4+2t^2+1 = (t^2+1)^2\). É quadrado perfeito — foi por isso que o enunciado escolheu \(\sqrt2/2\) e não outro número. Logo \(v = t^2+1\), limpo, e daí \(a_t = \dot v = 2t\).
\(\vec v\wedge\vec a = (-1,\;\sqrt2\,t,\;-t^2)\), cujo módulo é \(\sqrt{1+2t^2+t^4} = t^2+1\). Então \(a_n = (t^2+1)/(t^2+1) = \sqrt2\)… opa — confira você: o módulo do produto vetorial dá \(\sqrt{2}\,(t^2+1)\), e é isso que faz \(a_n=\sqrt2\) constante e \(\rho = v^3/|\vec v\wedge\vec a| = (t^2+1)^2/\sqrt2\).
Quando um enunciado tem \(\sqrt2/2\), \(1/3\) e outros coeficientes esquisitos, quase sempre é para alguma raiz sair exata. Procure o quadrado perfeito — ele confirma que você não errou a conta.
O triedro de Frenet segue a trajetória. A base cilíndrica segue a simetria do problema. São coisas diferentes e é muito comum confundi-las.
Pense no L2-1.5, o carro dentro do túnel. O vínculo do problema é "o ponto está na superfície de um cilindro de raio \(R\)". Em cartesianas isso vira \(y^2+z^2=R^2\) — uma equação chata que você carrega em todas as contas. Numa base adaptada ao cilindro, vira uma coordenada constante: \(r = R\). O trabalho algébrico simplesmente evapora.
Escolha a base em que os vínculos do problema viram coordenadas constantes. Círculo ou cilindro → polares/cilíndricas. Movimento sobre um trilho dado → intrínsecas. Nada de especial → cartesianas. O preço de uma base móvel é ter que derivar os versores; o prêmio é não carregar o vínculo.
Com o eixo do cilindro na direção \(\hat\imath\) (como na figura do L2-1.5), defina o versor radial e o transversal:
Derive no tempo, pela cadeia:
$$\dot{\hat u} = \dot\theta\,\vec\tau, \qquad \dot{\vec\tau} = -\dot\theta\,\hat u$$Você pode decorar esse par. Mas não precisa: é o teorema do §1.3 com \(\vec\omega = \dot\theta\,\hat\imath\). Confira — \(\dot\theta\,\hat\imath\wedge\hat u = \dot\theta\,\vec\tau\) e \(\dot\theta\,\hat\imath\wedge\vec\tau = -\dot\theta\,\hat u\). A base cilíndrica é um triedro rígido girando em torno do eixo do cilindro com velocidade angular \(\dot\theta\). Só isso.
→ Complementos: a conta completa \(Q^{\mathsf T}\dot Q\) para esta base — em que todo seno e cosseno se cancela — está em §C2.
Posição genérica: \(\vec r = x\,\hat\imath + r\,\hat u\). Derive duas vezes usando a regra do produto e as derivadas acima:
$$\vec v = \dot x\,\hat\imath + \dot r\,\hat u + r\dot\theta\,\vec\tau$$ $$\vec a = \ddot x\,\hat\imath + \big(\ddot r - r\dot\theta^2\big)\hat u + \big(r\ddot\theta + 2\dot r\dot\theta\big)\vec\tau$$Os quatro termos do plano têm nomes e origens distintas:
O \(2\dot r\dot\theta\) que você acabou de deduzir com regra do produto é exatamente \(2\vec\omega\wedge\vec v_{\text{rel}}\) da Série 4, com \(\vec\omega=\dot\theta\,\hat\imath\) e \(\vec v_{\text{rel}} = \dot r\,\hat u\). Confira: \(2\dot\theta\,\hat\imath\wedge\dot r\,\hat u = 2\dot r\dot\theta\,\vec\tau\). Coriolis não é um tópico novo lá na frente — é este termo, generalizado. Se você entender aqui, a Série 4 vira contabilidade.
O carro percorre uma hélice de passo constante num cilindro de raio \(R\). O único vínculo extra é que o ângulo de avanço \(\beta\) (entre a trajetória e o eixo do túnel) é constante — é isso que "não derrapa lateralmente" significa geometricamente.
O truque de visualização: desenrole o cilindro num plano. A hélice de passo constante vira uma reta, inclinada de \(\beta\) em relação ao eixo. Isso torna a relação entre avanço axial e avanço circunferencial imediata:
$$\tan\beta = \frac{\text{avanço circunferencial}}{\text{avanço axial}} = \frac{R\,\theta}{x} \qquad\Longrightarrow\qquad x = \frac{R(\theta-\theta_0)}{\tan\beta}$$que é exatamente a resposta do item (a). Daí:
$$\vec v = R\dot\theta\left[\frac{1}{\tan\beta}\,\hat\imath + \vec\tau\right], \qquad v = \frac{R\dot\theta}{\sin\beta}, \qquad a_n = R\dot\theta^{\,2}$$(\(a_n = R\dot\theta^2\) porque, com \(r=R\) constante, o único termo normal à trajetória é a centrípeta do giro.) Portanto
$$\rho = \frac{v^2}{a_n} = \frac{R^2\dot\theta^2/\sin^2\beta}{R\dot\theta^2} = \boxed{\;\frac{R}{\sin^2\beta}\;}$$\(R\) é o raio do túnel. \(\rho\) é o raio de curvatura da trajetória. São diferentes, e \(\rho \ge R\) sempre — a hélice é mais "esticada", logo menos curva, do que o círculo que ela projeta. Só quando \(\beta = 90^\circ\) (o carro anda em círculo, sem avançar) é que \(\rho=R\). Escrever \(a_n = v^2/R\) é o erro clássico aqui.
Arraste \(\beta\). À esquerda, o túnel aberto em folha plana: a hélice vira uma reta, e o triângulo de velocidades é a própria inclinação dela. À direita, o círculo do túnel (raio \(R\)) contra o círculo osculador (raio \(\rho\)), tangentes no mesmo ponto e em escala real. Nos rótulos, \(\omega\) é a taxa angular \(\dot\theta\).
Observe os dois limites: com \(\beta\to90^\circ\) o carro só gira, e \(\rho\to R\). Com \(\beta\to0\) ele quase só avança em linha reta, e \(\rho\to\infty\). Os limites são a sua melhor checagem de fórmula.
Todo exercício desta série cai numa de quatro caixas. A triagem leva 15 segundos:
| Se o enunciado te dá… | Rota | Padrão | Na sua lista |
|---|---|---|---|
| módulos de \(\vec v\) e \(\vec a\) e o ângulo entre eles, num instante | decomposição intrínseca direta | P-A |
L2-1.1 |
| as equações paramétricas \(x(t),y(t),z(t)\) | derivar duas vezes, depois \(\vec v\cdot\vec a\) e \(\vec v\wedge\vec a\) | P-B |
L2-1.3, L2-1.4 |
| um ponto preso a uma superfície/curva com simetria | trocar de base (cilíndricas/polares), escrever o vínculo, derivar | P-C |
L2-1.5 |
| um pedido de "mostre que" | escrever tudo na base intrínseca e usar o Lema | P-D |
L2-1.2, L2-1.4(b) |
P-A · Decomposição num instanteSanidade: se \(\vec a\) aponta "para a frente e para dentro", \(a_t\gt0\) (acelerando). Se aponta "para trás e para dentro", \(a_t\lt0\) (freando) — e \(a_n\) continua positivo nos dois casos.
P-B · Das paramétricas ao triedroP-C · Vínculo geométrico e base adaptadaP-B — as fórmulas valem em qualquer base, desde que você seja consistente.P-D · "Mostre que…"Praticamente todas as demonstrações da Lista 2 — incluindo o L2-2.3 e o L2-2.4 lá na Série 2 — caem nesses três passos.
L2-1.5: \(\rho = R/\sin^2\beta \ne R\).Na Série 3, ao calcular a aceleração de um ponto de um mecanismo, você vai constantemente escrever \(\vec a = \vec a_t + \vec a_n\) sobre trajetórias circulares — é a mesma decomposição, com \(\rho\) igual ao raio do círculo e \(a_n = \omega^2 r\). E a "aceleração do centro instantâneo" do L2-3.1 só faz sentido para quem entendeu que o CIR tem velocidade nula mas aceleração não nula — coisa que fica natural depois do §2.5.
Recomendação honesta: não saia colecionando material. Use um livro como referência, um conjunto de animações para intuição, e venha discutir comigo o que não fechar. Abaixo, o que vale a pena, com a função de cada um.
Coleção de animações separadas por tópico: coordenadas intrínsecas e polares, rolamento sem escorregar, centros instantâneos em quatro-barras e biela-manivela, referenciais móveis e Coriolis.
É o recurso que mais casa com a sua lista inteira — guarde para as Séries 3 e 4 também.
purdue.edu/freeform/me274 · animationsApplet em que você escolhe a curva e vê \(\hat t,\hat n,\hat b\) e o círculo osculador correndo sobre ela, em 3D manipulável.
Use depois do V2 acima, colocando as suas próprias paramétricas do L2-1.3.
geogebra.org/m/atzkvupeVersão 2D, mais limpa, para fixar "curvatura = quanto a direção gira por metro".
Bom para sentir por que \(\rho\) explode em trechos quase retos.
geogebra.org/m/V5VkEV4EBiblioteca digital de modelos cinemáticos históricos (Reuleaux), com vídeos dos mecanismos reais funcionando.
Para a Série 3, quando as figuras de guilhotina e quatro-barras ficarem abstratas demais.
digital.library.cornell.edu/collections/kmoddlSérie de 5 vídeos deduzindo a fórmula da curvatura, incluindo o caso da hélice — feita pelo autor do 3Blue1Brown, com a mesma ênfase em intuição.
É literalmente a dedução do §2.3 e do §3.2, em vídeo. Se algo aqui não fechou, comece por aqui.
khanacademy.org · curvature formulaEspecificamente os episódios sobre transformações lineares, determinante e produto vetorial.
O episódio do produto vetorial explica por que ele é um vetor em 3D — é o argumento do §1.3 por outro caminho.
3blue1brown.com/topics/linear-algebraCurso completo em vídeo no OCW, com um módulo inteiro sobre cinemática em referenciais que transladam e giram.
A melhor fonte em vídeo para a Série 4. Notação diferente da brasileira, mas o conteúdo é o mesmo.
ocw.mit.edu · 2.003SCO texto brasileiro que usa exatamente esta notação: vetor rotação \(\vec\omega\), centro instantâneo, triedro \((\hat t,\hat n,\hat b)\), composição de movimentos.
Se for ter um livro só, é este — porque a notação bate com a da sua lista, e notação diferente custa horas.
Blucher, 2ª/3ª ed.
Muitíssimos exercícios resolvidos, com figuras excelentes. Capítulos 12 (cinemática da partícula) e 16 (cinemática plana do corpo rígido).
Use como banco de exercícios extra, não como fonte de teoria — ele é mais operacional que conceitual.
A origem matemática do triedro: comprimento de arco, curvatura, torção, Frenet–Serret com rigor.
Opcional, mas é onde o §2 deste guia "mora de verdade". Leia se você gostou da parte do \(SO(3)\).
O guia foi escrito para virar conversa. Algumas formas de pergunta que rendem muito mais que "não entendi":
Sem consultar nada, explique em voz alta:
Se as quatro saírem redondas, o Módulo 1 está fechado e a gente parte para a Série 2 — campo de velocidades do corpo rígido, onde o \(\vec\omega\) deixa de ser um acessório do triedro e vira o personagem principal. É só me chamar.
→ Antes disso, se você quiser entrar na Série 2 com a maquinaria já montada, o caminho é os Complementos §B. Lá a fórmula \(\vec v_B = \vec v_A + \vec\omega\wedge(B-A)\) já está deduzida em três linhas — §C3.