Взаимность и контрапозиция в теореме Пифагора

Взаимность теоремы Пифагора - это то же самое что объяснить что треугольник прямоугольный. Например рассмотрим треугольник длины которого равны 3 4 и 5. Чтобы объяснить что этот треугольник является прямоугольным нужно использовать обратную сторону теоремы Пифагора. С одной стороны у нас есть 32+42=9+16=25. С другой стороны верно что 52=25. Значит 32+42=52 и по обратной теореме Пифагора мы имеем прямоугольный треугольник. Если мы хотим объяснить что треугольник является прямоугольным нам нужно сложить квадраты двух наименьших длин и проверить что эта сумма равна квадрату самой длинной стороны.