«Начала»: определение, аксиома, доказательство

ок. 300 до н.э. Число и мера метод

Поделиться

Учебник, собравший всю известную грекам геометрию и теорию чисел в одну цепочку вывода: сначала двадцать три определения, затем пять постулатов и пять общих понятий, которые принимаются без доказательства, а дальше каждое утверждение выводится только из уже доказанного. Так был записан целиком приём, который позже назвали аксиоматическим методом (построением всей теории из немногих принятых начал).

Автор, Евклид, работал около 300 года до н.э. С этого момента спор о правильности перестаёт быть спором мнений и становится проверкой шагов вывода. Книга оставалась главным учебником больше двух тысяч лет.

Она задала форму, в которой потом писали и физику, и философию: Ньютон открыл свой труд определениями и «аксиомами, или законами движения», Спиноза изложил этику «в геометрическом порядке». Отсюда в европейскую науку пришла привычка считать, что утверждение чего-то стоит ровно настолько, насколько к нему есть доказательство.

Почему такая дата

приблизительная. Точных дат жизни Евклида нет. Единственное раннее свидетельство о времени, Прокл (около 450 года), помещает его при первом Птолемее; Британника даёт «расцвет около 300 года до н. э.», MacTutor осторожно предлагает годы жизни около 325 и 265 до н. э. Для оси взято 300 до н. э. Дошедший текст прошёл через позднейшие редакции, прежде всего Теона Александрийского (IV век), так что «Начала» в известном нам виде отчасти реконструкция.

Что из него выросло

• Аналитическая геометрия

  повлияло на · Уверенность: средняя

  Аналитическая геометрия выросла на греческой задаче о построении, которую кодифицировали «Начала»: Декарт делит задачи по тем же классам, что и античные геометры, ссылается на построения Евклида и ставит алгебраическим действиям в соответствие геометрические построения, снимая старое требование, по которому произведение двух отрезков обязано быть площадью.

  Спор: Историки расходятся, продолжение это античной геометрии или разрыв с ней. Декарт сам подчёркивал, что древние напрасно ограничивали геометрию циркулем и линейкой, и требовал допустить любые кривые, вычерчиваемые непрерывным движением; в этом чтении «Начала» для него скорее задача, которую он перерос. Бос в исследовании о Декарте прямо называет это преобразованием самого понятия построения. При обратном чтении связь остаётся: перерасти можно только то, что уже есть, и разбор Декарта ведётся в терминах, заданных греческой традицией.

  Источники связи

  • «La Géométrie», Encyclopaedia Britannica (античные задачи, решённые алгеброй) Сверено 20.09.2026

    geometric problems, previously unsolved since ancient Greek times, to be tackled using algebraic techniques

  • «La Géométrie», Encyclopaedia Britannica (соответствие действий и построений) Сверено 20.09.2026

    established equivalences between algebraic operations and geometric constructions

  • Domski M. «Descartes' Mathematics», Stanford Encyclopedia of Philosophy (классификация задач у Декарта опирается на построения Евклида) Сверено 20.09.2026

    The problem of bisecting a given angle is counted among planar problems, because, as detailed by Euclid in Elements I.9, to construct the line segment that divides a given angle into two equal parts, we construct (by compass) three circles of equal radius, and then (by straightedge) join the vertex of the angle with the point at which the circles intersect

  • Domski M., там же (Декарт читал «Начала» в издании Клавия и ссылается на него в письме Мерсенну 1629 года) Сверено 20.09.2026

    Moreover, in a 13 November 1629 letter written to Mersenne, Descartes refers to the second (1589) edition of Clavius's annotated version of Euclid's Elements

  • Mahoney M. S. «Descartes: Mathematics and Physics», Dictionary of Scientific Biography (via Encyclopedia.com), о греческом соответствии сложения и приложения отрезков Сверено 20.09.2026

    the Greek mathematicians had established the correspondence between addition and the geometrical operation of laying line lengths end to end

  • Descartes R. «Discours de la méthode», часть 2 (пер. Cottingham, Stoothoff, 1985; о цепочках рассуждений геометров как образце метода) (1637) Сверено 20.09.2026

    Ces longues chaînes de raisons, toutes simples et faciles, dont les géomètres ont coutume de se servir pour parvenir à leurs plus difficiles démonstrations, m'avoient donné occasion de m'imaginer que toutes les choses qui peuvent tomber sous la connoissance des hommes s'entresuivent en même façon

  «Сверено» значит, что в этот день цитата была найдена по указанному адресу дословно. Отсутствие даты значит, что мы пока не смогли открыть источник, а не что цитата неверна.

• «Математические начала натуральной философии»

  повлияло на · Уверенность: высокая

  «Математические начала натуральной философии» построены в евклидовой форме: сначала раздел определений, потом «аксиомы, или законы движения», а дальше утверждения, выведенные из них и помеченные, как у Евклида, теоремами или задачами.

  Спор: Заглавие книги отсылает не к Евклиду, а к Декарту. По Стэнфордской энциклопедии, Ньютон в 1686 году изменил название на «Philosophiae Naturalis Principia Mathematica» в отсылке к «Principia Philosophiae» Декарта, то есть в спор с картезианской физикой. Евклидово здесь устройство книги, определения, аксиомы, теоремы и задачи, а не её имя; распространённое утверждение, будто и само название отсылает к «Началам» Евклида, источниками не подтверждается.

  Источники связи

  • Grabiner J. «How Euclid once ruled the world», Plus Magazine (Millennium Mathematics Project, Кембридж), 9 мая 2016 (2016) Сверено 20.09.2026

    In science, Isaac Newton's famous work Principia Mathematica clearly demonstrates Euclid's influence.

  • Grabiner J., там же (законы движения названы аксиомами) (2016) Сверено 20.09.2026

    Newton called his famous laws of motion 'axioms' and deduced his law of gravitation in the form of two mathematical theorems.

  • Smith G. «Newton's Philosophiae Naturalis Principia Mathematica», Stanford Encyclopedia of Philosophy (евклидова традиция в устройстве книги) Сверено 20.09.2026

    In keeping with the Euclidean tradition, the propositions mathematically derived from the laws of motion are labeled either as theorems or as problems.

  • Smith G., там же (книга открывается разделом определений) Сверено 20.09.2026

    The Principia opens with a section called 'Definitions' that includes Newton's discussion of absolute space, time, and motion.

  «Сверено» значит, что в этот день цитата была найдена по указанному адресу дословно. Отсутствие даты значит, что мы пока не смогли открыть источник, а не что цитата неверна.

• Неевклидова геометрия: отрицание пятого постулата

  повлияло на · Уверенность: высокая

  Пятый постулат «Начал» и многовековые попытки вывести его из остальных аксиом задали ту самую задачу, которую Лобачевский и Бойяи в 1820-х решили противоположным ходом, приняв отрицание постулата и не встретив противоречия.

  Спор: Приоритет спорен, причём первенство публикации и первенство открытия расходятся. Лобачевский напечатал первым (1829-1830), Бойяи в 1832, а Гаусс с 1790-х держал свои выводы при себе, и Стэнфордская философская энциклопедия объясняет это так: «he refrained from publishing for fear of scandal». «Dictionary of Scientific Biography» отдаёт первенство Лобачевскому именно по факту печати: «Since Gauss did not publish his work on the subject, and since Bolyai published only at a later date, Lobachevsky clearly holds priority». Вольф разводит эти две вещи: Лобачевский опубликовал раньше, но само открытие, по Вольфу, сделал позже Бойяи, «But there is ample evidence that he made his discoveries later than Bolyai made his», и местоимение здесь относится к Лобачевскому, а не к Гауссу. Об осведомлённости друг о друге важна привязка ко времени. К моменту казанской публикации 1829-1830 годов о ней за пределами Казани не знали: MacTutor пишет «Neither Bolyai nor Gauss knew of Lobachevsky's work, mainly because it was only published in Russian in the Kazan Messenger a local university publication». Позже положение изменилось: немецкое изложение 1840 года дошло до Гаусса, «This last publication greatly impressed Gauss», а Бойяи прочёл Лобачевского в 1848 году и заподозрил за этим Гаусса. Лобачевский же, по Вольфу, о Бойяи так и не узнал: «there seems to be no evidence that Lobachewsky ever heard of Bolyai». Спорна и роль предшественников: Саккери (1733) и Ламберт (1766) вывели значительную часть теорем этой геометрии, и Пападопулос с Тере называют текст Ламберта самым близким к гиперболической геометрии из всего, что было написано до Лобачевского, однако своей самостоятельной системой ни тот ни другой её не признал.

  Источники связи

  • Roberto Torretti, Nineteenth Century Geometry, Stanford Encyclopedia of Philosophy (2016) Сверено 20.09.2026

    In the 1820's, Nikolai I. Lobachevsky (b. 1793, d. 1856) and Janos Bolyai (b. 1802, d. 1860) independently tackled this question in a radically new way.

  • Roberto Torretti, Nineteenth Century Geometry, Stanford Encyclopedia of Philosophy (2016) Сверено 20.09.2026

    Girolamo Saccheri (b. 1667, d. 1733) tried reductio. He inferred a long series of propositions from the negation of Euclid's Postulate, until he reached one which he pronounced 'repugnant to the nature of the straight line'.

  • Harold E. Wolfe, Introduction to Non-Euclidean Geometry, ch. 3 (Dryden Press) (1945) Сверено 20.09.2026

    Slowly but surely they had directed the speculations of geometers to the point where the discovery of Non-Euclidean Geometry could not long be delayed.

  • Mathematicians Reconsider Euclid's Parallel Postulate, Science and Its Times (via Encyclopedia.com) (2001) Сверено 20.09.2026

    Work on the parallel postulate in the eighteenth century set the stage for the development of non-Euclidean geometries in the nineteenth century.

  • Nikolai Ivanovich Lobachevsky, MacTutor History of Mathematics Archive (2000) Сверено 20.09.2026

    This last publication greatly impressed Gauss but much has been written about Gauss's role in the discovery of non euclidean geometry which is just simply false.

  «Сверено» значит, что в этот день цитата была найдена по указанному адресу дословно. Отсутствие даты значит, что мы пока не смогли открыть источник, а не что цитата неверна.

Источники узла

• «Elements», Encyclopaedia Britannica (дата и структура) Сверено 20.09.2026

  Elements, treatise on geometry and mathematics written by the Greek mathematician Euclid (flourished 300 bce).

• «Elements», Encyclopaedia Britannica (определения, постулаты, общие понятия) Сверено 20.09.2026

  a foundation that Euclid began in Book I with 23 definitions (such as "A point is that which has no part" and "A line is a length without breadth"), five unproved assumptions that Euclid called postulates (now known as axioms), and five further unproved assumptions that he called common notions.

• «Elements», Encyclopaedia Britannica (образец дедуктивного рассуждения) Сверено 20.09.2026

  It set a standard for deductive reasoning and geometric instruction that persisted, practically unchanged, for more than 2,000 years.

• MacTutor History of Mathematics, «Euclid of Alexandria» (свидетельство Прокла) Сверено 20.09.2026, цитата собрана из фрагментов

  Not much younger than these [pupils of Plato] is Euclid, who put together the 'Elements'... This man lived in the time of the first Ptolemy

• MacTutor History of Mathematics, «Euclid of Alexandria» (постулаты и общие понятия) Сверено 20.09.2026

  The Elements begins with definitions and five postulates.

• Grabiner J. «How Euclid once ruled the world», Plus Magazine (Millennium Mathematics Project, Кембридж), 9 мая 2016 (2016) Сверено 20.09.2026

  In science, Isaac Newton's famous work Principia Mathematica clearly demonstrates Euclid's influence.

• Grabiner J., там же (Спиноза и геометрический порядок) (2016) Сверено 20.09.2026

  even wrote an Ethics Demonstrated in Geometrical Order, with explicitly labelled axioms and definitions

«Сверено» значит, что в этот день цитата была найдена по указанному адресу дословно. Отсутствие даты значит, что мы пока не смогли открыть источник, а не что цитата неверна. «Собрана из фрагментов» значит, что на странице эти слова стоят не рядом: мы нашли каждый фрагмент по отдельности и соединили их многоточием.

Открыть этот узел на карте · Wikidata: Q172891