x – x1 = x2 – x,
откуда находим:
x = (x1 + x2) / 2,
что и требовалось доказать.
Замечание. В дальнейшем мы будем рассматривать и такие «отрезки», концы которых совпадают, т. е. отрезок состоит из одной точки. Серединой такого «отрезка» назовем саму эту точку. В этом случае x = x1 = x2, поэтому полученная формула остается верной.