Rotación
Cada punto gira el mismo ángulo alrededor del origen. Una circunferencia sigue siendo una circunferencia y ambos vectores de base permanecen perpendiculares y con longitud 1.
Durante todo el proceso se conservan longitudes, ángulos y áreas. Un ángulo negativo indica giro horario.
Construimos la matriz de rotación a partir de sus dos columnas. Un vector unitario es una flecha de longitud 1. En el círculo unidad, después de girar desde el eje horizontal positivo, la coordenada horizontal del punto se llama y la vertical, . Así, el primer vector de base (1,0) llega a (,).
El segundo vector de base está inicialmente un cuarto de vuelta por delante del primero. Al girar ambos el mismo ángulo, esa diferencia se mantiene. Un cuarto de vuelta antihorario transforma la derecha en arriba y un desplazamiento hacia arriba en otro hacia la izquierda. Aplicándolo a (,), obtenemos (−,). Estos dos destinos forman las dos columnas de la matriz.
Podemos comprobar por cálculo que la longitud no cambia. Para abreviar, escribimos y . El círculo unidad tiene radio 1, así que Pitágoras da . Al elevar al cuadrado las dos coordenadas nuevas aparecen términos cruzados de signos opuestos, que se cancelan exactamente.
El cuadrado de la longitud no cambia; al tomar la raíz no negativa, tampoco cambia la longitud. Tomamos ahora dos flechas, y , para comprobar el ángulo. El producto escalar es la suma de los productos de coordenadas correspondientes. Al desarrollar el producto después del giro, dos pares de términos cruzados se cancelan exactamente.
Ya demostramos que girar las direcciones de coordenadas no cambia el producto escalar ni las longitudes. Elegimos como horizontal la dirección de . Si las longitudes son y y el ángulo entre ellas es , la definición mediante el círculo unidad da y . El producto escalar es . Solo podemos dividir por UV cuando ambas flechas son no nulas.
Para dos flechas no nulas, dividir el producto escalar por el producto de sus longitudes da el coseno del ángulo entre ellas: mide la componente de una flecha unitaria en la dirección de la otra. Como ni numerador ni denominador cambian, el coseno permanece igual y también el ángulo entre 0 y π. La base del paralelogramo conserva su longitud; la altura, igual a la longitud del otro lado por el seno del ángulo, también se conserva. Por tanto, el área, base por altura, no cambia.
