Существование: пусть даны точки с координатами
, а координата точки
есть
. Тогда получаем систему линейных уравнений:
, откуда
.
Единственность: пусть нашлась вторая такая точка
. Тогда
. Сумма последнего равенства с исходным в условии дает
.