Важнейшей научной заслугой Пифагора считается систематическое введение доказательства в математику, и, прежде всего, в геометрию. Строго говоря, только с этого момента математика и начинает существовать как наука, а не как собрание древнеегипетских и древневавилонских практических рецептов. С рождением же математики зарождается и наука вообще, ибо «ни одно человеческое исследование не может называться истинной наукой, если оно не прошло через математические доказательства» (Леонардо да Винчи).
Так вот, заслуга Пифагора и состояла в том, что он, по-видимому, первым пришел к следующей мысли: в геометрии, во-первых, должны рассматриваться абстрактные идеальные объекты, и, во-вторых, свойства этих идеальных объектов должны устанавливаться не с помощью измерений на конечном числе объектов, а с помощью рассуждений, справедливых для бесконечного числа объектов. Эта цепочка рассуждений, которая с помощью законов логики сводит неочевидные утверждения к известным или очевидным истинам, и есть математическое доказательство.
Открытие теоремы Пифагором окружено ореолом красивых легенд. Прокл, комментируя последнее предложение 1 книги «Начал» Евклида, пишет: «Если послушать тех, кто любит повторять древние легенды, то придется сказать, что эта теорема восходит к Пифагору; рассказывают, что он в честь этого открытия принес в жертву быка». Впрочем, более щедрые сказители одного быка превратили в одну гекатомбу, а это уже целая сотня. И хотя еще Цицерон заметил, что всякое пролитие крови было чуждо уставу пифагорейского ордена, легенда эта прочно срослась с теоремой Пифагора и через две тысячи лет продолжала вызывать горячие отклики.
Михаил Ломоносов по этому поводу писал: «Пифагор за изобретение одного геометрического правила Зевесу принес на жертву сто волов. Но ежели бы за найденные в нынешние времена от остроумных математиков правила по суеверной его ревности поступать, то едва бы в целом свете столько рогатого скота сыскалось».
А.В.Волошинов в своей книге о Пифагоре отмечает: «И хотя сегодня теорема Пифагора обнаружена в различных частных задачах и чертежах: и в египетском треугольнике в папирусе времен фараона Аменемхета I (около 2000 года до нашей эры), и в вавилонских клинописных табличках эпохи царя Хаммурапи (XVIII веке до нашей эры), и в древнейшем китайском трактате „Чжоу-би суань цзинь“ („Математический трактат о гномоне“), время создания которого точно не известно, но где утверждается, что в XII веке до нашей эры китайцы знали свойства египетского треугольника, а к VI веку до нашей эры — и общий вид теоремы, и в древнеиндийском геометрическо-теологическом трактате VII–V веках до нашей эры „Сульва сутра“ („Правила веревки“), — несмотря на все это, имя Пифагора столь прочно сплавилось с теоремой Пифагора, что сейчас просто невозможно представить, что это словосочетание распадется. То же относится и к легенде о заклании быков Пифагором. Да и вряд ли нужно препарировать историко-математическим скальпелем красивые древние предания.
Сегодня принято считать, что Пифагор дал первое доказательство носящей его имя теоремы. Увы, от этого доказательства также не сохранилось никаких следов. Поэтому нам ничего не остается, как рассмотреть некоторые классические доказательства теоремы Пифагора, известные из древних трактатов. Сделать это полезно еще и потому, что в современных школьных учебниках дается алгебраическое доказательство теоремы. При этом бесследно исчезает первозданная геометрическая аура теоремы, теряется та нить Ариадны, которая вела древних мудрецов к истине, а путь этот почти всегда оказывался кратчайшим и всегда красивым».
Теорема Пифагора гласит: «Квадрат, построенный на гипотенузе прямоугольного треугольника, равновелик сумме квадратов, построенных на его катетах». Простейшее доказательство теоремы получается в простейшем случае равнобедренного прямоугольного треугольника. Вероятно, с него и начиналась теорема. В самом деле, достаточно просто посмотреть на мозаику равнобедренных прямоугольных треугольников, чтобы убедиться в справедливости теоремы.
Во II веке до нашей эры в Китае была изобретена бумага и одновременно начинается создание древних книг. Так возникла «Математика в девяти книгах» — главное из сохранившихся математико-астрономических сочинений. В IX книге «Математики» помещен чертеж, доказывающий теорему Пифагора. Ключ к этому доказательству подобрать нетрудно. В самом деле, на древнекитайском чертеже четыре равных прямоугольных треугольника с катетами и гипотенузой. С уложены так, что их внешний контур образует квадрат со стороной А+В, а внутренний — квадрат со стороной С, построенный на гипотенузе. Если квадрат со стороной с вырезать и оставшиеся 4 затушеванных треугольника уложить в два прямоугольника, то ясно, что образовавшаяся пустота, с одной стороны, равна С в квадрате, а с другой — А+В, т. е. С=А+В. Теорема доказана.