Формула Эйлера и поныне составляет одну из жемчужин математического анализа. В середине XX в. даже выяснилось, что и процитированным «странным» утверждениям Эйлера можно придать точный смысл на основе так называемого
Мы видим, таким образом, что само понимание того, что является, а что не является доказательством, меняется со временем. Если вдуматься, ничего удивительного в этом нет. Ведь понятие доказательства основано на представлении об убедительности, а это представление исторически обусловлено. Для средневековых судов, например, убедительными были весьма своеобразные, с нашей точки зрения, доказательства виновности и невиновности: если человек мог держать в руке раскалённое железо, то он признавался невиновным; если брошенная в воду связанная женщина не тонула, то её объявляли ведьмой. Понятие математического доказательства имеет те же психологические основы, что и понятие доказательства юридического, и потому так же зависимо от исторических обстоятельств.
Для математических текстов средневековой Индии, например, были характерны такие (возможно, восходящие к более древним временам) способы доказывания геометрических утверждений: предлагался чертёж, под которым стояло всего одно слово «Cмотри!». На рис. 4 воспроизведено подобное индийское доказательство формулы, выражающей площадь круга
Таким образом, площадь круга равна площади прямоугольника, основанием которого служит отрезок, равный по длине полуокружности этого круга, а высотой – его радиус. Именно это наглядно показывает индийский чертёж, одновременно демонстрируя и доказательство. Сперва круг делится диаметром пополам, а потом каждый полукруг разрезается на большое и одинаковое для каждого полукруга количество равных секторов. Затем каждая из полуокружностей распрямляется, секторы превращаются в треугольники, и возникают две равные фигуры, по форме напоминающие пилу. Наконец, эти «пилы» вставляются друг в друга, так чтобы зубцы одной «пилы» полностью вошли в промежутки между «зубцами» другой. Возникает прямоугольник, равный по площади исходному кругу и имеющий требуемые длины сторон. «Что за чушь?! – скажет педант XXI в. – При распрямлении дуг секторы превратятся бог знает во что и не смогут совпасть с промежутками между "зубцами", да и площади их исказятся. И прямоугольник выйдет кривобокий. Так что никакое это не доказательство». Однако для индийцев это было доказательством. И минувшие века не лишили его убедительности, ведь при разбиении на