Какие две точки называются симметричными относительно данной прямой?

Две точки называются симметричными относительно прямой, если прямая является перпендикулярной серединной перпендикулярной к отрезку, соединяющему эти точки. Это означает, что прямая делит отрезок пополам под прямым углом, и каждая из точек находится на одинаковом расстоянии от этой прямой. При этом для каждой из точек существует другая точка, которая является её зеркальным отражением относительно прямой.