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