Una rotación alrededor del origen es una transformación lineal cuya matriz tiene la forma