Точки, симметричные относительно прямой, являются изображениями друг друга при отражении относительно данной прямой. То есть, если точка A симметрична относительно прямой k точке B, это означает, что отрезок AB перпендикулярен прямой k и делится ею пополам. В этом случае точки A и B симметричны относительно прямой k.