Симетрія відносно прямої

Нехай а — фіксована пряма. Візьмемо довільну точку Х і опустимо перпендикуляр AX на пряму а. На продовженні цього перпендикуляра за точку А відкладемо відрізок . Точка називається симетричною точці X відносно прямої а.

Якщо точка X лежить на прямій а, то вона симетрична сама собі відносно прямої а.
Очевидно, що точка, симетрична точці , є точка X.
Перетворення фігури F у фігуру , при якому кожна точка X фігури F переходить у точку , симетричну відносно даної прямої а, називається перетворенням симетрії відносно прямоїа. Отримані фігури називаються симетричними відносно прямоїа.
Якщо перетворення симетрії відносно прямої а переводить фігуру F у себе, то така фігура називається симетричною відносно прямоїа.
На рисунках наведені приклади осей симетрії фігур.


Теорема. Перетворення симетрії відносно прямої є рухом.