Punkty symetryczne względem prostej

Niech dana będzie prosta $k$k oraz punkt $A$A nieleżący na tej prostej. Wówczas punkt $A'$A' nazywamy punktem symetrycznym do punktu $A$A względem prostej $k$k jeżeli punkty $A$A i $A'$A' leżą na prostej prostopadłej do prostej $k$k oraz prosta $k$k jest symetralna odcinka $AA'$AA' (tj. punkty $A$A i $A'$A' leżą po przeciwnej stronie prostej $k$k i w równiej odległości od niej). Mówimy, że punkty $A$A i $A'$A' są symetryczne względem prostej $k$k.