Решение 

Легко заметить, что `+`(`*`(`^`(AB, 2)), `*`(`^`(BC, 2))) = `*`(`^`(AC, 2)) 

Следовательно, точки являются вершинами прямоугольного треугольника.