Posts tagged 'Egyptian triangle'

W.06 Law I: Pythagoras’ Theorem & Right Triangle Invariants

For any three non-collinear points A_1, A_2, A_3 over a field F (char F != 2) with non-null lines A_1 A_3 and A_2 A_3, the lines A_1 A_3 and A_2 A_3 are perpendicular (s_3 = 1) if and only if Q(A_2, A_3) + Q(A_1, A_3) = Q(A_1, A_2), in which case the hypotenuse midpoint M_3 is equidistant in quadrance (Q_3 / 4) from all three vertices.