Teorema de rotación de Euler


Teorema de rotación de Euler

En geometría el Teorema de la rotación de Euler dice que, en un espacio tridimensional, cualquier movimiento de un sólido rígido que mantenga un punto constante, también debe dejar constante un eje completo. Esto también quiere decir que cualquier composición de rotaciones sobre un sólido rígido con ejes arbitrarios es equivalente a una sola rotación sobre un nuevo eje, llamado Polo de Euler. Al ser la combinación de rotaciones otra rotación, el conjunto de las operaciones de rotación tiene una estructura algebraica conocida como grupo. En concreto al grupo de rotaciones se le conoce como "grupo especial ortogonal de dimensión 3" o SO(3)

El teorema toma su nombre de Leonhard Euler, que lo demostró en 1775 con un argumento geométrico. La extensión de este concepto a la cinemática da el concepto de Eje instantáneo de rotación.

En términos de álgebra lineal, esto también quiere decir que el producto de dos matrices de rotación es también una matriz de rotación y que todas ellas tienen un único autovalor real que debe ser la unidad.

Teorema de Rotación de Euler(1776)

Construcción mostrando los puntos del teorema para una esfera cuyos ángulos de Euler son [ψ,θ,φ]. El triedro azul es solidario a la esfera fija y el rojo a la rotada. La linea de nodos N muestra el punto A del teorema. Los arcos Aa y son necesariamente iguales

Euler enuncia su teorema de la siguiente forma:[1]

Theorema. Quomodocunque sphaera circa centrum suum conuertatur, semper assignari potest diameter, cuius directio in situ translato conueniat cum situ initiali.

que en traducción libre sería:

Rotando una esfera de forma arbitraria alrededor de su centro, siempre es posible encontrar un diametro cuya posición tras la rotación es igual que la inicial

Para probar esto Euler primero toma un círculo máximo de la esfera fija y el círculo máximo correspondiente tras la rotación en la esfera rotada. Estos dos círculos se intersecan en dos puntos opuestos. Escogemos uno cualquiera A. Este punto está en el círculo inicial luego es transportado a otro punto a del segundo círculo. Pero también, A está en el círculo transportado, y por tanto corresponde a un punto α en el círculo inicial. En este punto, nótese que el arco aA debe ser igual al arco Aα.

Ahora Euler necesita un punto O en la superficie de la esfera situado de forma simétrica respecto de a y A. Si tal punto existe debe cumplir:

  • Las distancias OA y Oa son iguales; los arcos Oa y OA también.
  • Los arcos OA y Oa deben estar igualmente inclinados hacia los círculos y los arcos OAa y OAα deben ser iguales.

Euler define dos planos:

  • El de simetría del ángulo αAa (que pasa por el centro C de la esfera), y
  • El de simetría del arco Aa (que también pasa por C).

Proposición. Estos dos planos se intersecan en un diámetro de la esfera, el cual permanece fijo tras el movimiento.

Dem. Los planos se intersecan en un diámetro porque ambos pasan por el centro de la esfera. Sea O cualquiera de los puntos (hay dos) de corte del diámetro con la superficie de la esfera. Como αA se mueve a Aa y los triángulos tienen los mismos ángulos, el triangulo OαA se convierte en el triangulo OAa. Por tanto O debe permanecer fijo tras el movimiento. Lo mismo para el centro de la esfera y el punto antípoda de O.

Demostración algebraica

Una demostración matricial es posible teniendo en cuenta que una rotación se representa por una matriz ortogonal, es decir una tal que:


\mathbf{R}^\mathrm{T}\mathbf{R} = \mathbf{R}\mathbf{R}^\mathrm{T} = \mathbf{E},

donde E es la identidad y T indica la traspuesta. Una matriz ortogonal tiene determinante ±1, siendo el +1 el caracteristico de las de rotación.


1=\det(\mathbf{E})=\det(\mathbf{R}^\mathrm{T}\mathbf{R}) = \det(\mathbf{R}^\mathrm{T})\det(\mathbf{R})
= \det(\mathbf{R})^2 \quad\Longrightarrow \quad \det(\mathbf{R}) = \pm 1.

La matriz de rotación R tiene al menos un autovector n con autovalor λ = 1.


\det(-\mathbf{R}) = (-1)^3 \det(\mathbf{R}) = - \det(\mathbf{R})
\quad\hbox{and}\quad\det(\mathbf{R}^{-1} ) = 1,

tenemos


\begin{align}
\det(\mathbf{R} - \mathbf{E}) =& \det\big((\mathbf{R} - \mathbf{E})^{\mathrm{T}}\big)
=\det\big((\mathbf{R}^{\mathrm{T}} - \mathbf{E})\big)
= \det\big((\mathbf{R}^{-1} - \mathbf{E})\big) = \det\big(-\mathbf{R}^{-1} (\mathbf{R} - \mathbf{E}) \big) \\
=&  -  \det(\mathbf{R}^{-1} ) \; \det(\mathbf{R} - \mathbf{E})
= - \det(\mathbf{R}  - \mathbf{E})\quad \Longrightarrow\quad  \det(\mathbf{R}  - \mathbf{E}) = 0
\end{align}

luego λ = 1 es raíz de la ecuación


\det(\mathbf{R}  - \lambda \mathbf{E}) = 0\quad \hbox{for}\quad \lambda=1.

Habrá al menos un vector n, para el que


(\mathbf{R} - \mathbf{E}) \mathbf{n} = \mathbf{0} \quad \Longleftrightarrow \quad \mathbf{R}\mathbf{n} =  \mathbf{n}

La línea dada por el espacio de todos los autovectores del autovalor 1 es el eje de Euler.

Notes

  1. Novi Commentarii academiae scientiarum Petropolitanae 20, 1776, pp. 189-207 (E478)

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Rotación — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Teorema de Noether — El teorema de Noether es un resultado central en física teórica. Expresa que la existencia de ciertas simetrías abstractas en un sistema físico comporta la existencia de las leyes de conservación. El teorema se denomina así por la matemática Emmy …   Wikipedia Español

  • Leonhard Euler — Retrato de Leonhard Euler, pintado por Johann Georg Bruck …   Wikipedia Español

  • Sistema de referencia en rotación — Un sistema de referencia en rotación es un caso especial de un sistema de referencia no inercial, que gira en respecto a un sistema de referencia inercial. Un ejemplo cotidiano de un sistema de referencia rotatorio es la superficie de la Tierra.… …   Wikipedia Español

  • Ángulos de Euler — Este artículo trata de los ángulos de Euler de la teoría matemática de rotaciones. Para el uso de la palabra en aeronáutica ver ángulos de navegación Los ángulos de Euler constituyen un conjunto de tres coordenadas angulares que sirven para… …   Wikipedia Español

  • Orientación (geometría) — Cambiar la orientación es equivalente a girar los ejes coordenados. Una orientación de un objeto en el espacio es cada una de las posibles elecciones para colocarlo sin cambiar un punto fijo de referencia. Puesto que el objeto con un punto fijo… …   Wikipedia Español

  • Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Turbomáquina — Ventilador de escritorio Westinghouse antiguo, fácilmente se puede identificar que es una turbomáquina, obsérvese que intercambia energía con el aire que impulsa y que su parte principal es una rueda con palas …   Wikipedia Español

  • Transformada de Fourier discreta — Para otros usos de este término, véase Transformación (desambiguación). En matemáticas, la transformada discreta de Fourier o DFT (del inglés, discrete Fourier transform) es un tipo de transformada discreta utilizada en el análisis de Fourier.… …   Wikipedia Español


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.