Красивая теорема, которую Блез Паскаль доказал в 16 лет

Моя цель - предложение широкого ассортимента товаров и услуг на постоянно высоком качестве обслуживания по самым выгодным ценам.

Прежде чем перейти к статье, хочу вам представить, экономическую онлайн игру Brave Knights, в которой вы можете играть и зарабатывать. Регистируйтесь, играйте и зарабатывайте!

Блез Паскаль - один из основателей математического анализа, блестящий физик и философ. С ранних лет он проявлял недюжинные способности во всех областях науки и техники, за которые брался его пытливый ум. Например, в возрасте 8 лет Блез, даже не зная толком названий геометрических фигур (окружность он называл "колечком", а прямую - "палочкой"), доказал 32-ю теорему Евклида о сумме углов треугольника.

Неудивительно, что в 16-летнем возрасте юный гений стал доказывать уже свои теоремы. С одной из таких теорем я бы хотел Вас познакомить. Доказательство теоремы не тривиально (доказательство дял жаждущих), поэтому я просто хочу показать каждому красоту геометрии. Начнем с простого предварительного построения:

На рисунке выше изображена одна из классических теорем проективной геометрии - теорема Паппа, названная в честь Паппа Александрийского - математика позднего эллинизма
На рисунке выше изображена одна из классических теорем проективной геометрии - теорема Паппа, названная в честь Паппа Александрийского - математика позднего эллинизма

Мы взяли две непараллельные прямые, отметили три пары точек (произвольных в известной степени), а затем соединили каждую точку с её противоположными собратьями.  О чудо! Все три точки пересечения лежат на одной прямой! Паскаль пошел дальше своего предшественника: "А что, если попробовать сделать то же самое с окружностью?"

Да в целом получилось то же самое!
Да в целом получилось то же самое!

А что, если пойти дальше? Ведь окружность - это частный случай эллипса, который, в свою очередь, является одним из трех главных типов т.н. конических сечений:

К коническим сечениям относятся: парабола, эллипс и гипербола + три вырожденных случая - точка, прямая и пара прямых. Именно такую форму принимает пересечение плоскости с поверхностью кругового конуса. Как Вы уже догадываетесь, для параболы результат оказался таким же:

Такого рода построения позволили сформулировать 16-летнему мальчику первую из теорем, названных его именем:

"Если шестиугольник вписан в коническое сечение, то точки пересечения трех пар противоположных сторон лежат на одной прямой".

Современники настолько были поражены теоремой Паскаля, что на латинице она известна как "Hexagrammum Misticum":

 Шестиугольник AECFBD вписан в эллипс. Прямая, проходящая через точки G,H,K называется прямой Паскаля.
Шестиугольник AECFBD вписан в эллипс. Прямая, проходящая через точки G,H,K называется прямой Паскаля.

Информация об этой теореме вместе с более чем (!!!) 400 следствиями вошла в "Полный труд о конических сечениях", написанный Паскалем в 31 год. Восхищения этой уникальной рукописью уже после смерти гения не скрывал сам Готфрид Лейбниц, но, к сожалению, работа была утеряна племянником Паскаля и так и не была опубликована.

Хотя имеется множество вариантов доказательства теоремы Паскаля, историкам математики не известно, как она была доказана в первоисточнике, хотя многие и сходятся к использованию теоремы Менелая.

Источник: https://habr.com/ru/company/itsoft/blog/558878/


Интересные статьи

Интересные статьи

В этой статье мы рассмотрим, как система управления 1С-Битрикс справляется с большими нагрузками. Данный вопрос особенно актуален сегодня, когда электронная торговля начинает конкурировать по обороту ...
Одной из «киллер-фич» 12й версии Битрикса была объявлена возможность отдавать статические файлы из CDN, тем самым увеличивая скорость работы сайта. Попробуем оценить практический выигрыш от использова...
Реализация ORM в ядре D7 — очередная интересная, перспективная, но как обычно плохо документированная разработка от 1с-Битрикс :) Призвана она абстрагировать разработчика от механики работы с табл...
Как обновить ядро 1С-Битрикс без единой секунды простоя и с гарантией работоспособности платформы? Если вы не можете закрыть сайт на техобслуживание, и не хотите экстренно разворачивать сайт из бэкапа...
Основанная в 1998 году компания «Битрикс» заявила о себе в 2001 году, запустив первый в России интернет-магазин программного обеспечения Softkey.ru.