Комментарии 8
Начнём с того, что достроим прямоугольный треугольник со сторонами a, b и c (он показан персиковым цветом) до равнобедренного. После чего проведём две вспомогательные линии. Одну, продолжающую гипотенузу зелёного треугольника, а другую — перпендикулярную гипотенузе персикового
… и получим необходимость отдельного доказательства для частного случая когда a = b. Гипотенузы персикового и зелёного треугольников получаются перпендикулярны, а вспомогательные линии — параллельны, так что никакой убывающей геометрической прогрессии не выходит.
Был у нас на матфаке профессор, у которого доказательства всех теорем сводились к одному слову: "очевидно!"
В разных изощрëнных доказательствах теоремы Пифагора на основе других продвинутых инструментов математики надо быть осторожным, т.к. они могут сами где-то глубоко под капотом опираться на теорему Пифагора неочевидным образом.
Например основное тригонометрические тождество sin^2 + cos^2 = 1 это и есть теорема Пифагора. А это тождество используется при выводе большинства тригонометрических формул, и я не уверена, что доказательства теоремы Пифагора с использованием тригонометрических формул "стерильны" в этом смысле. Возможно это так, но призываю тут быть внимательными и аккуратными.
Мне самому очень нравится этот подход. В том простом аналитическом доказательстве, что я привёл, из пропорций сторон в подобных треугольников следует, что , . Эта система уже позволяет получить решение в виде формальных рядов, а дальше, действительно, несложно получить "тригонометрическую единицу".
Математическая продлёнка. Из чего сделаны Пифагоровы штаны