Чтобы доказать, что каждая точка, равноудаленная от концов отрезка, лежит на серединном перпендикуляре к этому отрезку, начнем с определения основных элементов и свойств.
Дано:
Пусть \( A \) и \( B \) — концы отрезка, а \( M \) — произвольная точка, равноудаленная от \( A \) и \( B \).
Цель:
Доказать, что точка \( M \) лежит на серединном перпендикуляре к отрезку \( AB \).
Определения:
- Серединный перпендикуляр к отрезку \( AB \) — это прямая, проходящая через середину отрезка \( AB \) и перпендикулярная к нему.
- Равноудаленность — точка \( M \) равноудалена от \( A \) и \( B \), если \( MA = MB \).
Шаги доказательства:
Обозначим точку середины отрезка \( AB \):
- Обозначим середину отрезка \( AB \) как \( O \). Тогда по определению: \( OA = OB \) и \( O \) — это середина отрезка, соответственно, \( O \) делит отрезок пополам.
Изобразим треугольник:
- Рассмотрим треугольник \( OMA \) и \( OMB \).
- По условиям задачи, точка \( M \) равноудалена от точек \( A \) и \( B \), следовательно, \( MA = MB \).
Сравнение треугольников:
- У нас есть два треугольника: \( OMA \) и \( OMB \).
- Углы \( OMA \) и \( OMB \) по определению равны (усл. 90°), так как обе линии, \( OA \) и \( OB \), пересекаются под прямым углом.
- Также стороны \( OA \) и \( OB \) равны, так как \( O \) — середина отрезка \( AB \).
Применение теоремы о равенстве треугольников:
- Мы имеем равные 2 стороны ( \( OA = OB \) ) и угол между ними ( \( \angle OAM = \angle OBM \)).
- По теореме о равенстве треугольников (по двум сторонам и углу между ними), треугольники \( OMA \) и \( OMB \) равны.
Следствия из равенства треугольников:
- Из равенства треугольников следует, что \( OM \) является общей стороной, и соответственно, стороны \( AM \) и \( BM \) также равны.
Заключение:
Так как точка \( M \) равноудалена от точек \( A \) и \( B \) и находится на серединном перпендикуляре \( AB \), мы можем утверждать, что каждая такая точка \( M \) будет находиться на серединном перпендикуляре к отрезку \( AB \).
Таким образом, мы доказали, что каждая точка, равноудаленная от концов отрезка, лежит на серединном перпендикуляре.