По определению точка К симметрична точке М относительно прямой а, если прямая а проходит через середину отрезка МК и перпендикулярна к нему.