Deje $\mathbb{X}^\prime$ ser la imagen de cuerpo $\mathbb{X}$ (un conjunto de puntos en el espacio Euclidiano), bajo una adecuada Euclidiana isometría $E$. Para averiguar cómo encontrar la rotación y el desplazamiento, voy a hablar de la transformación en general, entonces reformular la discusión general en una declaración de Chasles teorema.
El pensamiento general de una adecuada Euclidiana Isometría
Elija cualquier punto de $X_0$ dentro de ese conjunto y deje $X_0^\prime$ ser su imagen bajo la transformación. Sin pérdida de generalidad, establecer el origen de nuestro sistema de coordenadas en $X_0$. Ahora hay un homogénea de la rotación $R$ (es decir, uno con eje que pasa por el origen) que alinea los dos cuerpos; después de impartir esta rotación debemos traducir a través del vector $X_0^\prime-X_0$ para completar la totalidad de la transformación. Llame a esta traducción, $T$ y, a continuación, toda la transformación es $T\,R$.
Para encontrar la rotación, elija tres ortonormales de vectores definidos por las combinaciones lineales (que se encuentra a través de las bacterias Gram-Schmidt proceso) de los desplazamientos de los puntos en cada cuerpo en relación a los "orígenes" $X_0,\,X_0^\prime$. Ya que por supuesto los cuerpos son congruentes, esto es el mismo de Gram-Schmidt proceso (es decir, con la misma resta de los coeficientes en cada paso) en ambos casos. Luego simplemente impartir el único, definido de rotación a la que se asigna el correspondiente a tres vectores ortonormales en el otro.
Ahora la reformulación de la anterior para demostrar Chasles Teorema de
Descomponer la traducción de $T$ arriba en el único de los componentes de la $T_\parallel$ paralelo y $T_\perp$ ortogonal al eje de rotación de la $R$. Tenga en cuenta que $R$ viajes con $T_\parallel$, pero no con $T_\perp$. Por otra parte, el vector representado por $T_\perp$ es en el plano de rotación, y este vector de la imagen en $R$ está en el mismo plano. Así que si lo primero que imparto $R$, $T_\parallel$ (como el teorema de Chasles requeriría), todavía tenemos más pura traducción de $T_\perp$ en el plano de rotación para completar la totalidad de la transformación.
Pero ahora, en lugar de un homogénea $R$, pensamos de la misma rotación alrededor de un origen punto del eje. Deje $T_3$ ser cualquier traducción en el plano de rotación (es decir, ortogonal a $T_\parallel$): luego de la no homogénea de la rotación sobre el punto de desplazados por $T_3$ desde el origen es $T_3\,R\,T_3^{-1}$. Por lo tanto, buscamos $T_3$ tal que $T_\parallel\,T_3^{-1}\,R\,T_3 = T_\perp\,T_\parallel\,R \Rightarrow T_3^{-1}\,R\,T_3 = T_\perp\,R$ (desde traducciones conmutan). Con un poco de trabajo, usted puede mostrar esta es la traducción de $T_3$ definido por el vector $Y$$R\,Y - Y = T_\perp$, que tiene una única solución a $Y_\perp$ en el plano de rotación (desde $\ker(R-\mathrm{id})$ es cualquier vector a lo largo del eje de rotación). Así que el total de la transformación es la rotación alrededor de un eje a través del punto de desplazados $Y_\perp$$X_0$, seguido por la traducción de $T_\parallel$ a lo largo del eje de rotación; también se puede cambiar el orden de traslación y rotación, ya que una rotación siempre los viajes con una traducción a lo largo de su eje de rotación.