Доказательство теоремы пифагора / наука :: Пифагор

Для полной строгости доказательства теоремы экспериментом необходимо доказать не только A => B, но и !A => !B.
Перебрав все прямоугольные треугольники, мы действительно докажем, что для любого прямоугольного треугольника теорема выполняется. Однако для того, чтобы утверждать, что теорема Пифагора устанавливает соотношение между сторонами треугольника тогда и только тогда, когда он прямоугольный, нам необходимо перебрать все треугольники (для опровержения предположения, что т. Пифагора распростроняется на все треугольники, достаточно всего одного непрямоугольного - это будет !A =/> B).