Борис Тарасов - Паскаль

Но рядом с этой алгебраизированной, «количественной» геометрией в XVII веке существовала и другая, «чистая» геометрия, продолжавшая традиции конкретного «качественного» исследования древнегреческих математиков и использовавшая одновременно новые методы. Главным представителем этого направления в математике был Дезарг, заложивший основы проективной и начертательной геометрии. Ему принадлежит одна из основных теорем проективной геометрии, дающая возможность выполнять перспективные построения в одной плоскости. Кладя в основу своих методов понятие перспективы и систематически применяя перспективное изображение, Дезарг изучал конические сечения как проекции круга, что давало новые и очень интересные результаты. Его идеи при жизни были признаны лишь наиболее выдающимися математиками, для современников в целом они оставались малопонятными, чему в немалой степени способствовал сложный и темный стиль научных трудов Дезарга. Их чтение затруднялось большим количеством совершенно новых терминов, которые он считал необходимым ввести и часто заимствовал из ботаники. Так, одно из основных сочинений Дезарга, «Черновой проект подхода к тому, что происходит при встрече конуса с плоскостью», которое повлияло на юношескую работу Паскаля, совершенно справедливо называли в XVII веке «уроками мрака».

Блез оказывается в числе тех немногих, кто смог разобраться в «уроках мрака», и единственным, кто полностью усваивает и развивает идеи и понятия Дезарга, дает им более простые и вместе с тем более общие обоснования, распространяющиеся на широкие классы следствий.

Это увлечение идеями Дезарга и отражается в «Опыте о конических сечениях». Сочинение Паскаля печатается в количестве пятидесяти экземпляров на одной стороне листа и имеет вид афиши, которую можно расклеивать прямо на улице, что нередко практикуется отдельными учеными, в том числе, как уже говорилось, самим Дезаргом. (В настоящее время осталось лишь два экземпляра: один хранится в национальной библиотеке Франции, а другой — в королевской библиотеке Ганновера, среди бумаг Лейбница.) Оно включает в себя три определения, три леммы, несколько теорем (без доказательств) и наименования глав предполагаемого обширного труда по коническим сечениям. Паскаль здесь отдает дань признательности своему учителю, называя Дезарга одним из великих умов своего времени, одним из лучших математиков и знатоков теории конических сечений. «Я хочу заявить, — пишет Паскаль, — что немногим мной найденным в этих вопросах я обязан его сочинениям и что я старался, насколько это было возможно, подражать его методу».

Тем не менее небольшой трактат Паскаля вполне самостоятелен и оригинален. Прежде всего это относится к третьей лемме, согласно которой во всяком шестиугольнике (его автор трактата называет «мистическим шестивершинником»), вписанном в эллипс, гиперболу или параболу, точки пересечения трех пар противоположных сторон лежат на одной прямой, называемой теперь прямой Паскаля. Если шесть произвольных точек конического сечения (например, эллипса, как показано на рисунке 1) принять за вершины шестиугольника и зануме-

Рис. 1.

ровать их, то противоположные стороны данного шестиугольника (1, 2) и (4, 5); (2, 3) и (5, 6); (3, 4) и (6, 1) пересекутся соответственно в точках Р, Q, R, которые лежат на одной прямой — прямой Паскаля. Третья лемма составляет знаменитую теорему Паскаля, которая вызывает восхищение у математиков и которую Дезарг называет «великой Паскалевой». Под именем теоремы Паскаля она и в будущем явится одной из основных теорем проективной геометрии. Блез понимает ее важность и намеревается в последующем на ее основе построить полную теорию конических сечений. По словам Мерсенна, он выводит из своей фундаментальной теоремы около четырехсот различных следствий. Вот одно из самых простых, но и, как пишет советский исследователь научного твор-

Рис. 2.

чества Паскаля С. Г. Гиндикин, самых важных следствий (см. рисунок 2): «Коническое сечение однозначно определяется любыми своими пятью точками. Действительно, пусть 1, 2, 3, 4, 5 — точки конического сечения и m — произвольная прямая, проходящая через (5). Тогда на m существует единственная точка (6) конического сечения, отличная от (5). В обозначениях теоремы Паскаля точка Р является точкой пересечения (1, 2) и (4, 5), Q — точка пересечения (2, 3) и m, R — точка пересечения (3, 4) и (Р, Q), a тогда (6) определится как точка пересечения (I, R) и m» 3 3 Гиндикин С. Г. Блез Паскаль. — «Квант», 1973, № 8, с. 9—10. .