Последняя формула и доказывается чертежом, приведенным на рис. 5[142]. Слева на рис. 5 – квадрат с площадью c², составленный из четырёх одинаковых треугольников и квадрата со стороной a − b. Справа – тот же квадрат со стороной a – b, а треугольники уложены так, что образовались два одинаковых прямоугольника со сторонами a и b. Заметим, что, в отличие от предыдущего, это рассуждение полностью приемлемо и сегодня.

Наш рис. 5 с подписью «Смотри!» встречается в трудах индийского астронома и математика XII в. Бхáскары. Можно предположить, что он содержался в ещё более ранних индийских текстах. В пользу такого предположения говорит, в частности, то, что левый чертёж с рис. 5 мы находим в китайском трактате, датируемом не позже чем III в. Китайский автор, однако, не довольствуется призывом «Смотри!», а заменяет его алгебраическим пояснением. В упомянутом трактате предлагалось и другое, пожалуй, ещё более простое и наглядное доказательство теоремы Пифагора. Это второе доказательство иллюстрирует рис. 6. Китайский автор и в этом случае сопровождал чертёж необходимым пояснением; мы же на индийский манер ограничимся призывом «Смотри!». Для точности укажем, что китайский чертёж состоял из наложенных друг на друга чертежей, показанных на рис. 5 и 6, давая таким образом одновременно два доказательства теоремы Пифагора.

В древних египетских текстах описываются приёмы оперирования с простыми дробями – не со всеми, а с некоторыми избранными: аликвотными (так принято называть дроби с числителем единица) и дробью 2/3. Встречаются также способы вычисления простейших площадей. Но все они приводятся без какого бы то ни было обоснования. По-видимому, в то время в нём не ощущалось психологической необходимости. Убедительность способа проистекала из того, что он, во-первых, исходил из авторитетного источника (как правило, от жреца) и, во-вторых, был записан. (Не так ли подчас и мы относимся к медицинским предписаниям?) Жившие в советское время помнят, что любое утверждение считалось полностью доказанным, коль скоро его удавалось обнаружить в каком-либо из текстов Маркса или Ленина; в сталинское же время ещё более неоспоримыми были тексты Сталина. (Так что официальная ментальность того времени недалеко ушла от ментальности Древнего Египта.)

Первые математические доказательства в современном их понимании приписывают древнегреческим мыслителям Фалéсу и Пифагору. Считается, что именно в Древней Греции в VII–VI вв. до н. э. возник новый, до того не встречавшийся обычай сопровождать математический факт его обоснованием. Появилась потребность не просто сообщать факт, но и убеждать слушателя в его истинности, т. е. проводить доказательство. По-видимому, сама идея необходимости убеждать слушателей появилась в дискуссиях на народных собраниях и в судах. (В этом смысле математика – младшая сестра юриспруденции.)