Пусть, как указано на рисунке, основания перпендикуляров, опущенных из точек Р, и Р.2 на оси координат,—это точки М и N 1 , ЛТ> и ІѴ2, далее, Р — точка, в которой пересекаются горизон тальная прямая, проходящая через Ри и вертикальная прямая, проходящая через Р.,. Тогда по теореме Пифагора
(ЛЛ)* = (ЛЯ)' + (ЯЛ)*.
Так как противоположные стороны прямоугольника конгруэнтны,
РіР = МіМа. По той же причине и РР2 =
Следовательно,
(Р^гУ = ( М , М ^ + (Ы^,у.
Но из аксиомы линейки мы знаем, что
— I х%—Xi j
и
N — I у.2—yt
Поэтому
{Р\Рз)2—\хі Х\ |2-(- Iу-і—г/, [3.
Так как квадрат числа совпадает с квадратом его абсолютной ве личины, это равенство можно переписать так:
(ЛЛ)® = (х9 —Хі)2+ (y-i—y i f .
Теперь уже почти все сделано. Поскольку Л Л 5 * 0 , мы полу
чаем
ЛЛ= Л(хг—Хі)14- (у.г—у,)2.
Это и есть формула, которую мы хотели вывести. Таким об разом, мы доказали следующую теорему: