Выход в пространство

Живя на поверх­но­сти Земли, люди долгое время счи­тали, что она плос­кая. Пона­до­би­лось постро­е­ние науч­ных тео­рий, чтобы дога­даться, что Земля похожа на шар. И лишь во вто­рой поло­вине XX века люди смогли посмот­реть на Землю из объем­лющего про­стран­ства и убе­диться воочию.

Так же и в матема­тике: выйдя в объем­лющее про­стран­ство, зача­стую можно узнать много инте­рес­ного об объекте.

Рас­смот­рим три про­из­воль­ные окруж­но­сти и про­ве­дём попар­ные каса­тель­ные к каж­дой паре окруж­но­стей. Что можно ска­зать о полу­чен­ных  трёх точ­ках, являющихся пере­се­че­нием каса­тель­ных, про­ве­дён­ных к двум окруж­но­стям? Судя по рисунку, они  лежат на одной прямой. Однако рису­нок — это не дока­за­тельство, а лишь информация для выра­ботки гипо­тезы. Попро­буем её дока­зать.

Рас­смат­ри­ва­емая задача и рису­нок к ней рас­по­ложены на плос­ко­сти. Давайте посмот­рим на эту плос­кость извне — из объем­лющего трёхмер­ного про­стран­ства.

 Построим три сферы, чьими эква­то­рами являются изна­чаль­ные окруж­но­сти. Конусы, попарно охва­ты­вающие сферы, в каче­стве обра­зующих будут иметь каса­тель­ные, рас­смат­ри­ва­емые в задаче. Точки, кото­рые по нашей гипо­тезе лежат на одной прямой, будут верши­нами кону­сов.

Положим на конусы плос­кость. Верх­ние обра­зующие кону­сов попарно пере­се­каются и опре­де­ляют плос­кость одно­значно. Инте­ре­сующие нас точки — вершины кону­сов — при­над­лежат этой плос­ко­сти, так же, как и изна­чаль­ной — «эква­то­ри­аль­ной» плос­ко­сти. А две (непа­рал­лель­ные) плос­ко­сти пере­се­каются по  прямой! Зна­чит, действи­тельно, как и было предпо­ложено, эти три точки — точки пере­се­че­ния попар­ных каса­тель­ных к трём про­из­воль­ным окруж­но­стям —  лежат на одной прямой.

Эта теперь уже дока­зан­ная и нами тео­рема носит имя фран­цуз­ского матема­тика Гаспара Монжа.

Другие этюды раздела «Другие интересные темы»