Giro o rotación

Esta actividad pertenece al libro de GeoGebra Cambio de sistema de referencia. Comando GeoGebra asociado: Rota Otro tipo de isometría es el giro o rotación de un ángulo t alrededor de una recta. Si la recta es un eje de coordenadas, las correspondientes matrices son:

En general, para una recta que pasa por (0,0,0) de vector director unitario u, la matriz de giro es:

El determinante de la matriz de cambio Mg siempre vale 1. En la construcción, observa cómo varían los vectores a, b y c y el poliedro F al variar el valor del ángulo t. Puedes variar la dirección de la recta moviendo el punto R.
Autor de la actividad y construcción GeoGebra: Rafael Losada.