RADE95

Теорема Пифагора же.

Гуглить "соотношения сторон в прямоугольном треугольнике".
Обычно такую задачу решают не через координаты точек, а через длины отрезков, но одно в другое легко переводится.