then AC^2 + BC^2 = AB^2.