Kwadrat długości odcinka w układzie współrzędnych wynosi
d² = (xa-xb)² + (ya-yb)²
|AB|² = (5-17)²+(-2-2)²=144+16=160
|AC|² = (5-2)²+(-2-7)² = 9 + 81 = 90
|BC|² =(17-2)²+(2-7)²=225+25=250
Trójkąt jest prostokątny, gdy suma kwadratów krótszych boków jest równa kwadratowi najdłuższego boku (a²+b²=c²)
|AB|² + |AC|² = 160 + 90 = 250 = |BC|²
|AB|² + |AC|² = |BC|²
Tak udowodniłem, że trójkąt ABC jest prostokątny
