Hola,
gracias por tu respuesta. Es válido para a (o, como en tu geogebra, para b, si no tienes a), pero no puedo hacer este composición y usar E3 para hacer la simetría compuesta para otros puntos (b). Para verificar, lo hacé con GeoGebra, así todo debe ser precisionado, pero no funciona.
Voy a escribir en el ejercicio lo como está.