Como los segmentos formula_31 y formula_32 son iguales, en esta simetría, los puntos formula_2 y formula_3 son uno la imagen del otro.