Пусть A(x1;y1) и B(x2;y2) — две произвольные точки, C(x;y) — середина отрезка AB.
Чтобы найти координаты середины отрезка через координаты его концов используется формула:
Доказательство:
I. Если отрезок AB не пересекает ось Ox.
1) При x2>x1.
Проведём через точки A, B и C прямые AA1, BB1, CC1, перпендикулярные оси Ox.
Прямые AA1, BB1 и CC1 параллельны оси Oy (по признаку параллельности прямых). Эти прямые пересекают ось Ox соответственно в точках A1(x1;0), B1(x2;0) и C1(x;0).
Так как AC=CB и прямые AA1, BB1 и CC1 параллельны, то A1C1=C1B1 (по теореме Фалеса).
откуда
2) При x2<x1
рассуждения аналогичны.
3) При x1=x2 абсциссы точек A, B и C одинаковы:
x1=x2=x.
Формула
также выполняется:
II. Если отрезок AB пересекает ось абсцисс,
рассуждения повторяются.
Формула
доказывается аналогично.
Что и требовалось доказать.