Симметрия относительно оси

Пусть на плоскости заданы прямая l и точка A. Проведи перпендикуляр AB из A к прямой l и продолжи его за точку B на отрезок BA1, равный AB; тогда A1 — точка, симметричная точке A относительно l, а l — ось симметрии. Точка, лежащая на оси, считается симметричной самой себе. Если каждая точка фигуры F1 симметрична относительно l некоторой точке фигуры F, то фигуры F и F1 симметричны относительно l и они равны. Теорема: при симметрии относительно оси расстояния между точками фигуры сохраняются. В координатах: относительно оси Ox точка (x; y) переходит в (x; −y), а относительно оси Oy — в (−x; y).