En «Movimientos… directo u opuesto?» hemos establecido una clasificación de los movimientos del plano. A pesar de que se expresó allí que nuestra mayor preocupación se centra en los movimientos directos, podemos obtener una visión más profunda de ellos mediante el estudio de los movimientos opuestos a partir de los cuales se construyen los movimientos directos. Este será entonces el objetivo aquí. Más precisamente,
Cada movimiento directo es la composición de dos reflexiones.
Tenga en cuenta que la segunda frase dada al caracterizar un movimiento opuesto en «Movimientos… directo u opuesto?»:
Por otra parte, seguida de la
reflexión respecto de la recta )
implica entonces que cada movimiento opuesto es la composición de tres reflexiones. Más brevemente, cada movimiento es la composición de dos o tres reflexiones, un resultado que se conoce como el Teorema de las Tres Reflexiones.
Hemos tratado de demostrar también en la entrada anterior que el conjunto de los movimientos forma un grupo, pero no estaba claro que cada movimiento tiene una inversa. El Teorema de las Tres Reflexiones afirma esto de forma clara y explícita, pues la inversa de una sucesión de reflexiones se obtiene invirtiendo el orden en el que se realizan las reflexiones.
En lo que sigue, sea la reflexión respecto de la recta
. Por lo tanto, la reflexión respecto de
seguida por la reflexión respecto de
se escribe como
. Dado que «Cada movimiento directo es una rotación, o de lo contrario (excepcionalmente) una traslación», de lo enunciado anteriormente resulta que toda rotación (y toda traslación) es de la forma
. Esto es una consecuencia inmediata de los siguientes hechos:
Si y
se intersectan en
, y el ángulo entre
y
es
, entonces
es una rotación de ángulo
alrededor de
.
y
Si y
son paralelas, y
es el vector perpendicular que conecta
con
, entonces
es una traslación por
Ambos resultados son bastante fáciles de demostrar directamente, pero lo que sigue quizás resulte más elegante.
En primer lugar, como es un movimiento directo (porque invierte ángulos dos veces), o bien es una rotación o es una traslación. En segundo lugar, debemos tener en cuenta que las rotaciones y las traslaciones pueden ser distinguidas por sus curvas invariantes, es decir, las curvas que se mapean a sí mismas. Para una rotación alrededor de un punto
, las curvas invariantes son los círculos centrados en
, mientras que para una traslación son rectas paralelas a la traslación.
Ahora veamos la Figura 1. Claramente deja invariante cualquier círculo con centro en
, por lo que es una rotación alrededor de
. Para ver que el ángulo de la rotación es
, consideremos la imagen
de cualquier punto
en
. Listo!!!

Figura 1
Ahora miremos la Figura 2. Claramente deja invariante cualquier recta perpendicular a
y
, por lo que es una traslación paralela a dichas rectas. Para ver que la traslación es de
, consideremos la imagen
de cualquier punto
en
. Listo!!!

Figura 2
Tenga en cuenta que una rotación de ángulo se puede representar como
, donde
,
es cualquier par de rectas que pasan a través del centro de rotación y que contienen un ángulo
. Del mismo modo, una traslación por
corresponde a cualquier par de rectas paralelas separadas
. Esta circunstancia da un método muy elegante para componer rotaciones y traslaciones.
Por ejemplo, consideremos la Figura 3. Aquí una rotación alrededor de con ángulo
está siendo representada como
, y una rotación alrededor de
de ángulo
se representa como
.

Figura 3
Para encontrar el efecto neto de rotar alrededor de y luego alrededor de
, elegimos
como la recta a través de
y
. Si
, entonces
y
se cortarán en algún punto
, como en la Figura 4. Por lo tanto la composición de las dos rotaciones está dada por
que es una rotación en torno a de ángulo
!!!

Figura 4
Información más detallada del Teorema de las Tres Reflexiones puede encontrarse en el libro Geometry of Surfaces de John Stillwell.
Fuente bibliográfica:
- Tristan Needham (1997) Visual Complex Analysis. Oxford University Press