.)
лю Хуэй
Генри Дьюдени
Леонардо да Винчи
Особо динамичное доказательство придумал в начале XX века нью-йоркский профессор математики Герман фон Баравалле. На рисунке показано, как большой квадрат, подобно амебе, делится на два меньших. Затемненные участки сохраняют свою площадь на каждом шаге. На шаге 4 два параллелограмма «скашиваются» за пределы области, а далее на шаге 5 эти параллелограммы преобразуются в квадраты, и — зри! — теорема доказана.
Доказательство Баравалле подобно наиболее общепринятому в математической литературе — тому, которое пошло от Евклида (около 300 года до н. э.).
Доказательство теоремы Пифагора, предложенное Германом фон Баравалле
Евклид — самый знаменитый греческий математик после Пифагора — жил в Александрии. В его шедевре «Начала» содержится 465 теорем, которые отражали объем знаний, доступных грекам того времени. Греческая математика почти целиком состояла из геометрии — слово это происходит от греческих слов, означавших «земля» и «измерение»,— хотя содержание «Начал» и не имело отношения к устройству реального мира. Евклид действовал в абстрактном мире точек и линий. Средства, которыми он разрешал себе пользоваться, представляли собой лишь карандаш, линейку и циркуль, — по каковой причине именно они стали основным содержимым детских пеналов на протяжении столетий.
Первая задача Евклида — книга 1, предложение 1 — состояла в том, чтобы показать, что по любому заданному отрезку можно построить равносторонний треугольник (то есть треугольник с тремя равными сторонами), причем со стороной, равной заданному отрезку. Он использовал следующий метод:
Шаг 1
Поставим острие циркуля в один из концов заданного отрезка и нарисуем окружность, проходящую через другой его конец.
Шаг 2
Повторим предыдущий шаг, поставив циркуль в другой конец отрезка. Получатся две пересекающиеся окружности.
Шаг 3
Проведем два отрезка, соединяющие одну из точек пересечения двух окружностей с концами исходного отрезка.
Затем Евклид методично продвигается от предложения к предложению, для чего требуется установление немалого числа свойств линий, треугольников и окружностей. Например, предложение 9 показывает, как провести «биссектрису» угла — построить угол, который есть в точности половина данного угла. Предложение 32 утверждает, что внутренние углы треугольника в сумме всегда дают два прямых угла, или 180 градусов. «Начала» — это гимн педантичности и строгости. Ничто никогда не принимается на веру. Каждая строчка логически следует из предыдущих. И тем не менее, исходя из всего нескольких основных аксиом (о них мы будем говорить позже), Евклид приводит впечатляющий набор неопровержимых результатов.