Para girar una recta basta girar dos de sus puntos el mismo ángulo. Si la recta corta el eje, el punto de intersección de ambas recta no se mueve tras el giro, por lo que es suficiente con girar un punto y unirlo con el punto de intersección.
Giro de una recta alrededor de un eje con el que se cruza
En este caso hay que girar dos puntos de la recta, ambos el mismo ángulo. Una vez girados unimos sus proyecciones para obtener la recta girada.
Giro de una recta alrededor de un eje que la corta
El punto de corte permanece inmóvil. Giramos cualquier otro punto de la recta, como el P (p’,p), el ángulo que queramos y unimos con el punto de corte A (a’,a).
Clicar sobre el dibujo para comenzar/detener la animación. Ver dibujo en la página de Monnge.