Точки, симметричные относительно прямой

Две точки A и A1 называются симметричными относительно прямой a, если эта прямая проходит через середину отрезка AA1 и перпендикулярна ему. Любая точка прямой симметрична сама себе относительно этой прямой.