Текст
                    5Гопг)ларные лекции
ПО МАТЕМАТИКЕ
«ЗОЕ»
Б.И.АРГУНОВи Л.А.СКОРНЯКОВ
КОНФИГУРАЦИОННЫЕ
ТЕОРЕМЫ
*
государственное Издательство
ТЕХНИКО-ТЕОРЕТИЧЕСКОЙ ЛИТЕРАТУРЫ
МОСКВА-1957


ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКЕ ВЫПУСК 2 4 Б. И. АРГУНОВ и Л. А. СКОРНЯКОВ КОНФИГУРАЦИОННЫЕ ТЕОРЕМЫ ГОСУДАРСТВЕННОЕ ИЗДАТЕЛЬСТВО ТЕХНИКО-ТЕОРЕТИЧЕСКОЙ ЛИТЕРАТУРЫ МОСКВА 1957
3-1-11 АННОТАЦИЯ В настоящей лекции изложены важнейшие кон- фигурационные теоремы на плоскости и их при- менение к решению некоторых практических задач. У читателя предполагаются лишь самые элемен- тарные знания по планиметрии и стереометрии. Необходимые сведения о центральной проекции и несобственных элементах пространства приводятся в самой лекции. Лекция будет полезной не только для школьного математического кружка, но и для топографа и геодезиста.
СОДЕРЖАНИЕ Предисловие ....................................... 4 Введение .......................................... 5 § 1. Центральное проектирование и несобственные элементы . . 7 § 2. Теорема Паппа — Паскаля ......................12 § 3. Теорема Дезарга ....................17 § 4. Некоторые свойства многоугольников............24 § 5. Задачи........................................28 § 6. Об алгебраическом смысле конфигурационных теорем ... 34 Литература.........................................39
ПРЕДИСЛОВИЕ В этой книжке изложены в элементарной форме некоторые важнейшие конфигурационные теоремы на плоскости, их след- ствия и применения к изучению свойств фигур и к решению некоторых задач. Мы стремились по возможности сочетать доступность изложения с необходимым уровнем строгости. Помимо основных сведений по планиметрии и стереометрии, здесь привлекаются только понятия центральной проекции и несобственных элементов пространства — понятия, которые сле- дует уже считать составной частью общеобразовательного ми- нимума по математике. § 1 содержит необходимые сведения о центральном про- ектировании и о несобственных точках и прямых. §§ 2 и 3 посвящены двум важнейшим конфигурационным теоремам — теореме Паппа — Паскаля и теореме Дезарга. В § 4 рассматриваются конфигурационные свойства много- угольников. В § 5 приведены задачи и примеры. В § 6 затронут вопрос об алгебраическом смысле конфи- гурационных теорем и об общем методе получения теорем этого рода. В конце книги помещен список литературы, по которой можно глубже изучить вопрос о конфигурационных теоремах. Авторы надеются, что книга будет доступна учащимся старших классов средней школы и может быть полезной учи- телю в кружковой работе. Знакомство с конфигурационными теоремами может помочь в работе топографу и геодезисту. Студент педагогического института или университета найдет здесь материал, тесно примыкающий к основному курсу про- ективной геометрии. Б. И. Аргунов а Л. А. Скорняков
> ВВЕДЕНИЕ Конфигурационные теоремы— простейшие теоремы геомет- рии. В них говорится лишь о конечном числе точек и пря- мых и об их взаимной принадлежности. Обычно конфигурационная *) теорема формулируется так, что из того, что некоторые из рассматриваемых точек при- надлежат одной прямой или некоторые из рассма- - 0_ . _ • - , триваемых прямых прохо- А В , 0 D дят через одну точку, Рис. 1. выводится, что некоторые другие точки располагаются на одной прямой или неко- торые другие прямые проходят через одну точку. Вот простейшие примеры конфигурационных теорем: » 1. Если точки А, В, и D \ // различны, причем точки А, В и С лежат на одной прямой и точки А, В и D лежат на одной прямой, то / [ \ точки В, С и D также лежат на одной / / \ прямой (рис. 1). / / \д? 2. Если прямые а, Ь, с и d / / различны, причем прямые а, b и с ' I проходят через одну точку и пря- / е мые а, b и d проходят через, одну точку, то и прямые Ь, с и d так- Рис. 2. же проходят через одну точку (рис. 2). Из предложений, изучаемых в школьном курсе геометрии, к конфигурационным теоремам близ- ки теоремы о замечательных точках в треугольнике. *) Конфигурация (лат. configuratio) — взаимвое расположевие каких-либо предметов. 2 Конфигурационные теоремы 5
Некоторые конфигурационные теоремы были известны еще древним. В новое время онц составили основу одной из интерес- нейших ветвей геометрии — проективной геометрии. Проектив- ная геометрия в свою очередь представляет теоретическую базу учения об изображении пространственных фигур на плоскости — начертательной геометрии. В последнее десятилетие конфигурационными теоремами за- интересовались алгебраисты. Причины этого до- некоторой сте- пени объясняются в последнем параграфе настоящей брошюры. Рис. 3. Конфигурационные теоремы успешно применяются к изуче- нию свойств многоугольников и к решению задач. Они особен- но полезны при решении задач на построение в условиях раз- личных ограничений: при по- строениях только с линейкой, при построениях на ограничен- ной части плоскости, при по- строениях с недоступными точ- ками и т. п. Начертите треугольник АВС и выберите внутри него точ- ку О. Продолжая прямые, со- единяющие вершины треуголь- ника с этой точкой, до пересе- чения с противоположными сто- ронами, получите точки Р, Q и Р (рис. 3). Пусть U — точка пересечения прямых АВ и PQ, V — точка пересечения пря- мых АС и PR, W — точка пересечения прямых ВС и QR. Если все эти точки поместились на чертеже, а построение проведено аккуратно, то, приложив линейку, можно убедиться, что точ- ки U, V и W лежат на одной прямой. Выбирайте другие тре- угольники, меняйте положение точки О — результат будет тот же. Если окажется, что ВС || QR, то будет UV [| QR. Если же случится, что одновременно ВС || QR и AC || PR, то непременно будет также АВ || PQ. Трудно представить, что все эти факты — случайность. По-видимому, здесь имеет место закономерность, должна быть справедлива какая-то теорема. При этом заключение теоремы, гласит: сточки U, V и W лежат на одной прямой». 6
Теоремы со сходным заключением уже встречались в школь- ном курсе: вспомните теоремы о замечательных точках тре- угольника. Но, в отличие от тех теорем, в условии нашей теоремы ничего не надо говорить о размерах сторон и углов: как в заключении, так и в условии нашей теоремы говорится лишь о взаимном расположении точек и прямых. Такие теоремы называются конфигурационными. Упомянутая здесь конфигурационная теорема читается сле- дующим образом: Если вершины треугольника PQR лежат соответственно на сторонах треугольника АВС, причем три прямые АР, BQ и CR проходят через одну точку, а прямые АВ и PQ, АС и PR, ВС и QR пересекаются соответственно в точ- ках U, V, W, то точки U, V, и W лежат на одной прямой. Чтобы получить возможность доказывать конфигурационные теоремы, нам необходимо предварительно ознакомиться с опе- рацией центрального проектирования и с понятием «несоб- ственных», или «бесконечно удаленных», точек и прямых. § 1. ЦЕНТРАЛЬНОЕ ПРОЕКТИРОВАНИЕ И НЕСОБСТВЕННЫЕ ЭЛЕМЕНТЫ Рассмотрим сначала центральное проектирование в плоскости. Пусть даны прямая I и точка S вне этой прямой (рис.4). Если точкаА такова, что AS ^7, то прямая SA пересечет прямую I в некоторой точке А'. Эту точку будем называть проекцией точ- ---------— ки А. Пусть т—прямая, проходя- Д/\ щая через точку S параллельно I. / \ Тогда ясно, что каждая точка В / плоскости, не лежащая на прямой т, / \ будет обладать определенной проек- / \ цией В'. Таким образом, мы отобра- --------------— жаем точки плоскости на точки прямой I с помощью точки S. Та- Рис. 4. кое отображение называется централь- ным проектированием, а точка S — центром проектиро- вания. Если выбрать какую-либо прямую k, не проходящую через точку S, то центральное проектирование отображает точки прямой k на прямую I. Если k I, то проекции имеют не все точки прямой k. Точка X на рис. 5 проекции не имеет, 7
если SX || I. Рассматривая рис. 5, нетрудно заметить, что, кроме , точки X, исключительной точкой является также точка У', если SY' || k. В самом деле, в отличие от остальных точек прямой /, в точку У' не проектируется никакая точка прямой k. Чтобы предоставить исключительным точкам те же права, что и у остальных, договоримся, что, помимо обычных точек, каждой прямой принадлежит несобственная точка. Условимся считать, что параллельные прямые имеют одну и ту же несобственную точку. Тогда точка X уже получит проекцию: она будет иметь своей проекцией несоб- ственную точку прямой I. В свою очередь точка У' ока- жется проекцией иесобствеи- что в случае параллельности ной точки прямой k. Заметим, прямых k и I их общая несобственная точка будет своей соб- ственной проекцией. ' Обратим внимание на следующий факт. Если точка А при- ближается к точке X слева (на рис. 6 точка А занимает Рис. 6. положения А}, As, As и т. д.), то ее проекция уходит по пря- мой I все дальше и дальше вправо. Поэтому несобственную точку называют также бесконечно удаленной. Заметим еще, 8
что при приближении точки А к точке Л" справа (на рис. 6 точка А занимает положения Л2, А3 и т. д.) ее про- екция уходит по прямой I влево. Поэтому следует считать, Что у каждой прямой имеется только одна бесконечно удален- ная точка, а сама прямая замкнута. Прямую, дополненную несобственной точкой, будем назы- вать проективной прямой. Условимся считать, что все несоб- ственные точки лежат на одной несобственной прое- ктивной прямой, которую иногда будем называть также бесконечно уда- ленной. Плоскость, допол- ненную несобственными точками и несобственной прямой, назовем проек- тивной плоскостью. Проективная' прямая «по- хожа» на окружность. Дей- ствительно, мы можем каж- дой точке окружности поставить в соответствие точку проектив- ной прямой так, что разным точкам окружности будут соответ- ствовать разные точки проективной прямой. Способ отображения ясен из рис. 7, если добавить, что точка О отображается сама в себя, a S - в бесконечно удаленную точку. Введение несобственных точек позволяет также включать в общую формулировку исключительные случаи конфигура- ционных теорем. В случае теоремы, рассмотренной во введе нии, эти исключительные случаи возникают, если прямые, опре- деляющие какую-либо из точек U, V или W, .параллельны. Это означает, что соответствующая точка является несобствен- ной. При этом представляются такие возможные случаи: а) ВС|| QR, б) BC\\QR, в) ВС|| QR, г) ВС || QR, д) АВ || PQ, е) ДВ|| PQ, АС || PR; ЛС-^РЯ; АВ || PQ; AB^PQ; АС || PR; AC-^PR. Как было отмечено, в случае б) оказывается, что UV || QR. Точка IF в этом случае является несобственной. При этом из UV || QR вытекает, что прямая UV проходит через точку IF, т. е. точки U, V и IF лежат на одной прямой. В случае а) имеем АВ || PQ, т. е. все три точки U, V и IF оказываются 9
несобственными и, следовательно, лежат на, одной несобствен- ной прямой. Аналогичное положение наблюдается и в осталь- ных случаях. Докажем теперь некоторые основные теоремы о проектив- ных прямых. Теорема 1. Через любые две различные точки (обыкно- венные или несобственные) проходит одна и только одна проективная прямая. Возможны три случая: 1) обе точки обыкновенные; 2) обе точки несобственные; 3) одна точка обыкновенная, другая — несобственная. В первом случае вспомним, что, согласно аксиомам элемен- тарной геометрии, через две различные точки проходит одна и только одна прямая. Так как несобственная прямая обычных точек не содержит, то она не может соединять данные точки. Для случая 1) теорема доказана. В случае 2) наши точки соединяются бесконечно удален- ной прямой. Так как все остальные прямые содержат только по одной несобственной точке, то никакая из них не может содержать обе данные точки. В случае 3) обозначим через А обычную точку, а через В — несобственную. Точка В определяется (и может быть за- дана на чертеже) некоторой прямой k. Проективная прямая I будет соединять точки А я В тогда и только тогда, когда / является обычной прямой, параллельна k и - проходит через точку А. Такая прямая, как известно, существует. Из аксиомы о параллельных вытекает ее единственность. Теорема 1 доказана. Теорема 2. Две различные проективные прямые пере- секаются в одной и только в одной точке (обычной или несобственной}. (Прежде чем читать доказательство, попробуйте провести его самостоятельно.) Для доказательства теоремы 2 заметим прежде всего, что возможны два предположения: 1) обе прямые — обычные; 2) одна прямая — обычная, другая — несобственная. Двух несобственных прямых быть не может, так как, по нашему соглашению, на плоскости существует только одна бесконечно удаленная прямая. Если две обычные прямые не параллельны, то они имеют одну общую обычную точку. Если же данные прямые параллель- ны, то они обладают единственной общей несобственной точкой. Во втором случае единственной общей точкой данных пря- мых является несобственная точка данной обычной прямой. 10
точка S вне этой плоскости плоскость тт назовем точку Д' Перейдем к рассмотрению центрального проектирования в пространстве. Пусть даны плоскость тт и (рис. 8). Проекцией течки А на пересечения прямой S3 с пло- скостью п. Как и в случае плоскости, назовем точку S цент- ром проектирования. Заметим, что все точки плоскости т, па- раллельной плоскости тт и прохо- дящей через точку S, отоб- ражаются в несобственные точ- ки плоскости тт. Плоскость п, т. е. плос- кость, в которой располагают- ся проекции точек, условимся в дальнейшем называть плос- костью проекций. Теорема 3. Проекции точек, расположенных на од- ной прямой, также распола- гаются на одной прямой. Для доказательства допустим, что данные точки А, В, С располагаются на одной прямой а (рис. 9). Тогда все прямые SA, SB, SC располагаются в одной н той же плоскости а, оп- ределяемой точкой S и прямой а. Если плоскости а и к не па- так и в плоскости тт, располагаются на одной прямой — линии пересечения этих плоскостей. В случае же параллельности плоскостей а и тт (рис. 10) рассмотрим несобственную точку 11
прямой SA (плоскости а и к мы, разумеется, считаем проек- тивными). Эта несобственная точка должна принадлежать также каждой прямой I, которая лежит в плоскости к и парал- лельна прямой SA. Следовательно, проекцией точки А будет в этом случае несобственная точка Д' плоскости к. Несобст- венными точками плоскости к окажутся и проекции точек В и С. А так как все несобственные то,чки плоскости тг, по определению, располагаются на одной прямой, то справедли- вость теоремы 3 установлена и для случая, когда плоскости а и к параллельны. § 2. ТЕОРЕМА ПАППА — ПАСКАЛЯ Папп Александрийский — древнегреческий математик второй по- ловины III века нашей эры. В сочинении Паппа «Математическое собрание» имеется Много отрывков из не дошедших до нас произведе- ний греческих авторов. Поэтому оно является ценным источником по истории древнегреческой математики.1 Блез Паскаль (1623—1662)—выдающийся французский математик, физик и философ. Первоначальную математическую подготовку полу- чил под руководством своего отца — известного математика Этьена Паскаля. В шестнадцатилетнем возрасте Паскаль написал свою первую научную работу. В ней была доказана теорема, частным случаем ко- торой является рассматриваемая в этом параграфе теорема Паппа — Паскаля. Этот частный случай, правда, без применения несобственных точек, был известен еще Паппу Александрийскому. Математические интересы Паскаля не ограничивались геометрией. Он занимался конст- руированием суммирующей машины, написал ряд работ по арифметике, алТебре, теории чисел и теории вероятностей. В частности, он точно определил и применил для доказательства метод полной математиче- ской индукции. В физике Паскаль занимался изучением барометриче- ского давления и вопросами гидростатики. Им, например, был открыт основной закон гидростатики, гласящий, что давление на поверхность жидкости, производимое внешними силами, передается жидкостью оди- наково во всех направлениях. Будем называть п-вершинником фигуру, образуемую раз- личными п точками плоскости, которые перенумерованы числами 1, 2,..., я, и п прямыми, которые соединяют точки 1 и 2, 2 и 3, ..., я—1 и я, я и 1. Данные точки называются верши- нами я-вершинника, а прямые, последовательно соединяющие вершины,— его сторонами. Ясно, что я-вершинник отлича- ется от я-угольника только тем, что его сторонами считаются прямые, а не отрезки. Если точки А, В, С, D, Е и F в ука- занном порядке образуют шестивершинник, то вершины А и D, В и Е, С и F, т. е. вершины, расположенные через две, на- зываются противоположными. Две стороны шестивершинни- ка, соединяющие соответственно цротивоположные вершины, 12 12
называются противоположными сторонами шестивершинника. У рассмотренного выше шестивершинника ABCDEF противо- положными сторонами являются АВ и DE, ВС и EF, CD и FA. Теорема Паппа — Паскаля выражает одно замечательное свойство шестивершинника при некотором специальном распо- ложении его вершин. Теорема Паппа — Паскаля. Если вершины шести- вершинника лежат по- очередно на двух прямых, то точки пересечения противоположных его сторон располагаются на одной прямой. Даже если считать, что вершины шестивер- шинника являются обычны- ми точками, то такая про- стая формулировка теоре- мы получается только при рис р условии введения несобст- венных точек и прямых. Без этого в заключении теоремы приш- лось бы говорить в отдельности о следующих трех случаях: 1-й случай. Противоположные стороны шестивершинника попарно пересекаются, и точки их пересечения (точки Р, Q и R на рис. 11) располагаются на одной прямой. Несобственные элементы 2-й случай. Проти- воположные стороны шес- тпвершинника попарно па- раллельны (рис. 12). 3-й случай. Две па- 0 ры противоположных сто- рон шестивершинника пе- ресекаются в точках Р и Q, а стороны третьей па- ры параллельны прямой PQ (рис. 13). позволяют дать для всех этих трех случаев приведенную выше единую формулировку, так как во втором случае все три точки пересечения противопо- ложных сторон несобственные и поэтому располагаются на несобственной прямой данной плоскости, а в третьем случае несобственная точка пересечения третьей пары противополож- 13
них сторон принадлежит прямой PQ, так как параллельным “ прямым приписывается общая несобственная точка. Более того, как мы остается справедливой и убедимся, теорема Паппа — Паскаля в том случае, когда какие-либо вер- шестивершинника несобственными Разумеется, и этих случаев сформулировать шины 1 являются точками, для всех можно теорему без привлечения несобственных точек. Но сколько тогда получилось бы случаев! А для каждо- го из них надо было бы давать особое доказатель- ство. Прежде чем присту- пать к доказательству теоремы Паппа — Паскаля, докажем вспо- могательное предложение, которое понадобится нам в даль- нейшем. Лемма 1. Если на стороне О А угла АОВ отложен отрезок ОС, а на стороне ОВ — отрезок OD, причем OA:OB=OC:OD, то АВ.ЦСО (рис. 14). Так как в треугольниках АОС и COD угол О является общим, а стороны, между которыми заключен этот угол, про- порциональны, то треугольники подобны. Следовательно, углы OCD и OAD равны, откуда CD || АВ. Теперь проведем доказательство теоремы Паппа — Паскаля для второго случая. Пусть дано, что АВ || DE и ВС [| EF. Тре- буется доказать, что AF || CD. Если прямые 1г и /2, на которых расположены вершины шестивер- шпнника, параллельны между собой (рис. 15), то из усло- вия видно, что BF = CE и BD=AE, как противополож- ные стороны параллелограммов. Значит, равны между собой так- же отрезки АС и DF. Следова- тельно, четырехугольник ACDF — параллелограмм, т. е. AF || CD. Если же прямые 1г и /2 пересекаются в некоторой точ- ке О (см. рис. 12), то из рассмотрения подобных треугольников Рис. 14. 14
получим: ОС: ОЕ = OB:OF и ОЕ: OD = OA: ОВ. Почленное перемножение этих равенств дает: ОС: OD = О А: OF. Из последнего равенства, ввиду леммы 1, вытекает, ff £___________________________ что AF || CD. Таким обра- / \ /\ зом, показано, что если две \\ / \ \ 1 пары противоположных сто- \ \/ / \ \ рон шестивершинника, удов- \ /\ / \\ летворяющего условиям тео- у \/Д,_______________________ ремы Паппа—Паскаля, парад- la F В В дельны, то стороны третьей рис 15 пары также параллельны между собой. Докажем еще одно вспомогательное предложение. Лемма 2. Какова бы на была прямая I в плоскости а, существуют такие центр проектирования S и плоскость проекции тг, что прямая I проектируется в несобственную прямую плоскости п. При этом плоскость п параллельна плоскости т, проходящей через точку S и прямую I. Для доказательства изберем в качестве центра проектиро- вания произвольную точку 3, не лежащую в плоскости а (рис. 16). Через точку 3 и прямую I проведем плоскость т (возмож- ^—^61 \ ность, что прямая I являет- . /\ ся несобственной, не должна / \ \ / \ нас смущать, ибо в этом / \ \ / \ случае плоскость, проходя- ----L_________\ щая через 3 и Z, есть плос- \____________кость, проходящая через точ- куЗ параллельно плоскости а). Пусть тт — некоторая плос- Рис’ 16- кость, параллельная т и не проходящая через точку 5. Если точка А принадлежит прямой /, то прямая ЗД лежит в плоскости т и, следовательно, параллельна плоскости п. Значит, А проектируется в несобственную точку плоскости тг. Так как это справедливо для любой точки на прямой /, то выбранные нами точка 3 и плоскость тт удовлетворяют зак- лючению леммы. Вернемся к доказательству теоремы Паппа — Паскаля. 15
Обозначим через <з плоскость, в которой расположен дан- ный шестивершинник, а через I — прямую PQ (рис. 17). Согласно лемме 2, найдутся такие центр проектирования S и плоскость проекций тс, что проекцией прямой I служит несоб- ственная прямая плоскости п. При этом плоскрсть т, опреде- ляемая точкой S и прямою PQ, параллельна плоскости тт. Обозна- чим через Д', В’, С, D, Е, Е проекции вершин шестивершин- ника, а через Р‘, Q' и R'— соответственно проекции точек Р, Q и R. Так как точка Р принадлежит прямым АВ и DE, то из теоремы 3 вытекает, что точка Р принадлежит прямым А'Е и DE. Такими же рассуждениями можно показать, что Q' принадлежит прямым ЕС и ЕЕ, а R' — прямым CD и А'Е. Но Р' и Q’—несобственные точки. Следовательно, А'Е || DE и ЕС || ЕЕ. Кроме того, из условий нашей теоремы, ввиду теоремы 3, получается, что как точки А’, С н Е, так и точ- ки Е, Е и D лежат соответственно на одной прямой. Как уже доказано, отсюда вытекает, что CD || А’Е. Это означает, что точка R' лежит на несобственной прямой плоскости и. Но все точки несобственной прямой этой плоскости по построению являются проекциями точек прямой I, лежащей на плоскости а. 16
Следовательно, Точка R принадлежит прямой /, т. е. точки Р, Q и R лежат на одной прямой. Теорема доказана. Из теоремы Паппа — Паскаля легко выводится следствие, на- зываемое иногда теоремой Брианшона (1785—1864); Теорема 4. Бела сто- роны шестивершинника про- ходят последовательно че- рез две данные точки, то три прямые, соединяющие противоположные его вер- шины, сходятся в одной точке. Действительно, пусть А, В, С, D, Е, F—последова- тельные вершины шестивер- шинника, причем стороны АВ, CD и ЕЕ проходят че- рез точку Рг, а стороны ВС, DE и AF — через точку Рг (рис. 18). Пусть Б — точка пересечения прямых AD и CF. Надо доказать, что прямая BE проходит через точку Б, или, иначе говоря, что точки Б, В и Е располагаются на од- ной прямой. Но это непосредственно следует из теоремы Паппа — Паска- ля, если применить ее к шестнвершйннику ADPfiFP^. При этом не следует только забывать, что стороной шестивершин- ника является прямая, а не отрезок. § 3. ТЕОРЕМА ДЕЗАРГА Жирар Дезарг (1593-1662; по другим данным, 1591-1661)— выда- ющийся французский математик, заложивший основы проективной и начертательной геометрии. Дезаргом было впервые введено в геомет- рию рассмотрение несобственных точек и прямых. При жизни ученого его идеи смогли понять и оценить только ваиболее выдающиеся мате- матики того времени: Декарт, Ферма и Б. Паскаль. Только в начале XIX века идеи Дезарга начали завоевывать всеобщее признание. Бу- дучи по образованию военным инженером, Дезарг интересовался точным математическим обоснованием практических операций. Этим вопросам посвящены сочинения Дезарга о резьбе по камню и о солнечных часах. Перейдем теперь ко второй важнейшей из конфигурацион- ных теорем, известной под названием теоремы Дезарга. Теорема Дезарга. Если два трехвершинника АВС и А'В'С расположены на плоскости таким образом, что 17
прямые АА', ВВ' и СС, соединяющие их соответствен- ные вершины, сходятся в одной точке О, то точки пере- сечения соответственных сторон этих трехверитнников располагаются на одной прямой (рис. 19). Прежде чем доказы- вать теорему Дезарга, заметим, что теорема, сформулированная во вве- дении, является частным случаем теоремы Дезарга. Действительно, легко ви- деть, что рассмотренные там треугольники АВС и PQR удовлетворяют ус- ловиям теоремы Дезарга. Переходим к доказа- тельству теоремы Деза- рга. Пусть АВ и А'В' пе- ресекаются в точке Р, АС и А’С— в точке Q, ВС и В'С— в точке R. Надо доказать, что точки Р, Q и R располагаются на одной прямой. Сначала допустим, что среди точек Р, Q и R две, например точки Р и Q, являются несобственными. Тогда АВ || А'В' и АС )| А'С. Если точка О является обычной (рис. 20), то из подо- бия треугольников АОВ и А’ОВ’ вытекает, что OB: ОВ’=()А: ОА', *) Вершины А и А', В и В', С и С считаются соответственными по определению. Стороны называются соответственными, если они соединяют соответственные вершины. 18
а из подобия треугольников АОС и А’ОС вытекает, что О А: ОА'= ОС: ОС. Отсюда OB: OB' = ОС: ОС. Ввиду леммы 1, доказанной на стр. 14, из последнего равенства сле- дует, что ВС || В’С, т. е. точка R также является несобствен- ной. Если же точка О несобственная (рис. 21), то мы имеем являются параллелограммами. Отсюда ВВ'=АА' и АА'=СС. Следовательно, отрезки ВВ' и СС равны и параллельны, что влечет ВС || В’С. Таким образом, если точки Р и Q являются несобственными, то точка R также оказывается несобственной, т. е. точки Р, Q и R лежат на одной несобственной прямой. Для случая, когда точки Р и Q несобственные, теорема Дезар- га доказана. Теперь допустим, что среди точек Р, Q и R, две, напри- мер точки Р и Q, являются обыкновенными (рис. 22). Обозна- чим через а плоскость, в которой расположены данные трех- вершннники, а через I — прямую PQ. Согласно лемме 2, доказанной на стр. 15, найдутся такие центр проектирование S и плоскость проекций п, что проекцией прямой I служит не- собственная прямая плоскости тг. Будем обозначать проекции точек, которые обозначены большими буквами, соответствую- щими малыми буквами. Так как точка Р принадлежит прямым АВ и А'В!, то из теоремы 3 (стр. И) вытекает, что точка р принадлежит прямым ab и а'Ь'. Такими же рассуждениями мож- но показать, что q принадлежит прямым ас и de', г — пря- 19
мым be и b'c', а о — прямым аа', ЬЬ' и ее'. Кроме того, посколь- ку р и q — несобственные точки, мы имеем ab || а'Ь' и ас || а!с'. Как уже доказано, отсюда следует, что be || Ь'с'. Это означает, что точка г лежит на несобственной прямой плоскости п. Но являются все точки этой несобственной прямой по построению проекциями точек прямой I. Следовательно, точка принадле- жит прямой I, т. е. точки Р, Q и R лежат на одной прямой. Другие возможные предположения относительно точек Р, Q и R могут отличаться только обозначениями, так как эти точки совершенно равнопра- вны. Поэтому мы можем счи- тать, что теорема Дезарга доказана полностью. Интересно заметить, что'до- казательство теоремы Дезарга может быть проведено без при- влечения теории подобия. Но тог- да значительно шире приходится привлекать стереометрию. Про- ведем это доказательство. Сна- чала докажем вспомогательную лемму. Лемма 3. Пусть a, fl и у— три различные плоскости, при- чем линией пересечения пло- скостей а и fl служит прямая а и у — прямая k, а линией Л, линией пересечения плоскостей пересечения плоскостей р и у — прямая I. Если прямые Л, k и I попарно различны, то они непременно имеют единственную общую точку. Для доказательства рассмотрим прямые h и k. Возможны такие случаи: 1) все три прямые являются обычными и h\\k (рис. 23); 2) все 20
три прямые являются обычными, а прямые Лий имеют обычную об- щую точку U (рис. 24); 3) какая-либо из трех прямых является несоб- ственной (рис. 25) (несобственной может быть не более как одна из прямых Л, k и I, так как плоскость содержит только одну несобствен- ную прямую). В школьном курсе геометрии доказывается такая теорема: если данная прямая параллельна какой-нибудь прямой, расположенной в не- которой плоскости, то данная прямая параллельна этой плоскости. По- этому в первом случае прямая й должна быть параллельной плоско- сти р (рис. 23). Таким образом, плоскость у проходит через прямую й, параллельную, плоскости ₽. Как известно из школьного курса, отсюда следует, что линия пересечения плоскостей | и у, т. е. прямая I, па- раллельна прямой й. Таким образом, Л || й || I, и, следовательно, эти прямые имеют единственную общую несобственную точку U. Во втором случае заметим, что, поскольку точка U лежит на прямой Л, эта точка принадле- жит плоскости ₽. Но точка U лежит также на прямой й и, сле- довательно, принадлежит плос- кости у. Значит, точка U являет- ся общей точкой плоскостей ₽ и у и поэтому должна принадле- жать линии пересечения этих плоскостей—прямой I. Таким образом, и во втором случае справедливость нашей леммы доказана. Переходя к рассмотрению третьего случая, допустим, что Л является несобственной пря- мой (если несобственной являет- ся какая-либо другая прямая из трех, рассматриваемых прямых Л, й и Z, то рассуждаем анало- гично). Тогда а ||р (рис. 25). По условию как й, так и I яв- ляются обычными прямыми, т. е. у пересекает и плоскость а и пло- скость р. Из школьного курса известно, что, поскольку а || р, эти ли- нии пересечения должны быть параллельными, т. е. й|| I. Общая несобственная точка U прямых й и Z, разумеется, лежит на несобственной прямой плоскости а, т. е. на прямой Л. Таким обра- зом, и в третьем случае наши прямые имеют единственную общую точку U. Лемма 3 полностью доказана. Приступим к новому доказательству теоремы Дезарга. Доказа- тельство надо провести только для случая, когда среди точек, Р, Q и R две являются несобственными. Как было показано, для других случаев теорему Дезарга можно вывести из этого без привлечения теории подобия. Допустим, что несобственными являются точки Р и Q. Предположим сначала, что точка О — обыкновенная. Обозначим через а плоскость, в которой расположены данные трехвершинники (рис. 26.). Проведем плоскость т, параллельную плоскости о. Далее 21
проведем через точку А прямую а, не принадлежащую плоскости о. Пусть прямые Ь, с н о параллельны а, причем Ь проходит через точ- ку В, с — через точку С, а о — через точку О. Прямые а, о, с ио пересекают плоскость т соответственно в точках А, В, С и О. Пря- мые АВ и АВ являются линиями пересечения плоскости, проходящей через прямые а н Ь, с параллельными плоскостями о и т. Следователь- но, ДВ || ДВ. По той же причине ЛС|| ЛС, ВС\\ВС, ОА || ОА, ОВ|| ОВ и ОС || ОС. Последние соотношения доказывают существование сле- дующих плоскостей: X, проходящей через точки О, Л, О и 4 ц, проходящей через точки О, В, О иВ, >>, проходящей через точки О, С, О и С Так как по условию теоремы АВ[[А'В' и ЛСЦЛ'С', то из АВ [[АВ вытекает А'В'[[АВ, а из ЛСЦЛС^—Л'С'ЦЛС. Поэтому мы можем рассматривать также плоскости а, проходящую через точки Д', В', А и В, р, проходящую через точки Д', С', Л и С. Плоскости а, X, |х и прямые А'А, В'В, 00 удовлетворяют условиям леммы 3. Следовательно, прямые А'А, В'В и 00 имеют общую точку 5. Лемму 3 можно применить также к плоскостям р, р., v и точка существует и у этих прямых. Но, как показано, об- щей точкой прямых А'А и 00 является точка S. Следова- тельно, прямая С'С также проходит через точку S. Обо- значим через у плоскость, проходящую через точки S, В' и С. Ясно, что точки В и С расположены в этой плоскости. Следовательно, плоскость у пересекает плос- кость о по прямой В'С, а плоскость т — по прямой ВС. Так как а||т, то В'С || ВС. Но раньше было установлено, что 5(711 ВС. Значит, В'С'\|ВС, что и требовалось доказать. Теперь допустим,что точ- ка О несобственная (рис. 27). Доказательство приходится несколь- ко изменить, так как в этом случае нельзя провести через точку О прямую о, параллельную прямой а. Пусть, как и ранее, АВ\\А*В* и АС[[А'С, но, кроме того, АА' || ВВ' || СС\ Надо доказать, что ВСЦВ'С'. Опять обозначим через а плоскость, в которой лежат данные трехвершинники, а через т — какую-либо плоскость, парал- лельную плоскости о и отличную от нее. Пусть по-прежнему а, Ь и с — три параллельные прямые, проведенные соответственно через точки А, В и С н пересекающие плоскость т в точках А, В прямым Рис. 27. 22
и С. Как и раньше, стороны трехвершинников АВС и АВС соответ- ственно параллельны, а АВСА'В' и АС [[А'С'. Обозначим через X плоскость А А А', черезц—плоскость ВВВ', через v— плоскость ССС. Обозначения <х, р и у пусть сохраняют прежний смысл. Ясно, что плос- кость а пересекает плоскости X и и. по параллельным прямым, в то время как линия пересечения плоскостей X и ц является несобственной прямой, которую мы обозначим через р. Поэтому плоскости а, X и ц нахо- дятся в условиях третьего случая леммы 3. Следовательно, прямые А'А, В’В и р имеют общую (несобственную) точку S. Применяя лемму 3 к плоскостям р, X и р., точно так же установим, что прямые А'А, С'С и р имеют общую точку S'. Но так как прямые А'А и р имеют единст- венную общую точку (см. теорему 2 из § 1), то точки S и S' совпада- ют. Точки S, В' и С' определяют плоскость у, в которой лежат также точки В и С. Прямые Б'С* и ВС должны быть параллельными, так как это — линии пересечения плоскости у с параллельными плоскостями о и т. А так как ВС ||ВС, то и Б'С'\\ВС, что и требовалось доказать. Покажем еще, что теорема Дезарга может быть выведена из те- оремы Паппа — Паскаля также без привлечения теории подобия. Как и выше, доказательство достаточно провести для случая, когда точки Р и Q несобственные. Пусть (рис. 28) дано,. что три прямые АА', ВВ’ и СС' сходятся в одной точке О и что ЛВЦЛ'В' и АСЦА'С'. Требуется доказать, что ВС || В'С*. Проведем через А прямую, параллельную ОВ, и пусть она пересекается с прямой А'С' в точке L, а с прямой ОС— в точке М. Обозначим буквой N пересече- ние прямой АВ с прямой B'L и соединим точку N с точками О и М. Применяя теорему Пап- па — Паскаля, к шестивершинни- ку ONALA'B' и пользуясь тем, что по условию ЛМ||Л'В', а по построению Л L ЦВ'О, найдем, что ON || LA' и, следовательно, СМУ||СЛ. В шестивершиннике ONMACB по доказанному име- ет место ON |j АС, а по пред- положению АМ\\ОВ. Поэтому, ввиду теоремы Паппа—Паскаля, должно быть и ЛГУ || ВС. Нако- нец, замечаем, что шестивершин- ник ONMLC'B' также удовлетворяет условию теоремы Паппа — Пас- каля, причем ON\\LC по доказанному, a ML\\B'O по построе- нию. Следовательно, MN\\B'C'. Но мы уже установили, что М/УЦВС. Поэтому ВС\\В*С*, что и требовалось доказать. Заметим, что без применения пространственных соображе- ний или теории подобия доказать теорему Дезарга нельзя. Это может быть строго доказано. Справедливо также предложение, обратное теореме Дезарга. Теорема 5. Если два трехвершинника АВС й А’В'С расположены на плоскости таким образом, что точки 23
пересечения их соответственных сторон располагаются на одной прямой, то прямые АА', ВВ' и СС, соединяющие соответственные вершины этих трехвершинников, сходят- ся в одной точке. Для доказательства обратимся к рис. 19. Пусть известно, что точки Р, Q и R расположены на одной прямой, и тре- буется доказать, что прямая СС проходит через точку О пересечения прямых АА' и ВВ'. Применим теорему Де- зарга к трехвершинникам AA'Q и BB'R, считая со- ответственными вершины А и В, А' и В', Q и R. Тогда прямые, соединяющие соот- ветственные вершины этих трехвершинников, сходятся в одной точке Р. Следователь- но, по теореме Дезарга, точ- ки пересечения их соответ- ственных сторон АА' и ВВ', AQ и BR, A'Q и B'R, т. е. точки О, С и С, должны расположиться на одной прямой.. Теорема доказана. Известная теорема о пересечении медиан треугольника в одной точке представляет непосредственное следствие теоремы 5. В самом деле, если L, М и N — середины сторон треуголь- ника АВС (рис. 29), то стороны трехвершинников АВС и MNL, ввиду теоремы о средней линии треугольника, соответственно параллельны, т. е. встречаются на одной несобственной пря- мой. А отсюда, согласно теореме 5, следует, что прямые AM, BL и CN, т. е. медианы данного треугольника, должны схо- диться в одной точке. § 4. НЕКОТОРЫЕ СВОЙСТВА МНОГОУГОЛЬНИКОВ В этом параграфе с помощью теоремы Паппа — Паскаля и Дезарга будут установлены некоторые свойства многоуголь- ников. Теорема 6. Пусть (рис. 30) ABCD — произвольный четырехвершинник, Е — точка пересечения его противополож- ных сторон АВ и CD, F— точка пересечения диагоналей АС и BD, М — точка пересечения прямой ЕЕ со стороной AD. Тогда точка Р, в которой пересекаются прямые АВ 24
а. СМ, точка Q, в которой пересекаются прямые ВМ и CD, и точка R, в которой пересекаются стороны AD и ВС, располагаются на одной прямой. Для доказательства рассмотрим трехвершинники AED и СМВ. Прямые АС, ЕМ и BD сходятся в одной точке F (см. табл. 1). Соответственные сто- роны этих трехвершинников пе- Рис. 31. ресекаются в точках Р, Q и R. Ввиду теоремы Дезарга, эти точки располагаются на одной прямой, что и требовалось доказать. Следствие. Прямые, соединяющие концы основания трапеции или параллелограмма с серединой противополож- ной стороны, пересека- ют боковые стороны в точках, расположенных на прямой, параллельной основанию. В самом деле, если ABCD — трапеция с осно- ваниями AD и ВС (рис. 31), то, как известно, точка М, построенная, как указано в теореме 6, рас- полагается в середине от- резка AD. С другой сторо- ны, точка R пересечения прямых AD и ВС в этом случае бесконечно удалена, так что прямая PQ, которая должна пройти через эту точку, будет параллельна прямым AD и ВС. 25
Если ABCD не трапеция, а параллелограмм, то рассужде- ние не меняется. Только в этом случае точка Е оказывается несобственной. Теорема 7. Пусть ABCDE-—произвольный пятивер- шинник, F — точка пересечения несмежных его сторон АВ и CD, М — точка пересечения диагонали AD с прямою ЕЕ. Тогда точка Р пересечения стороны АЕ с прямою ВМ, точка Q пересечения сто- роны DE с прямою СМ и точка В пересечения стороны ВС с диагональю AD располагаются на од- ной прямой (рис. 32). Для доказательства до- статочно заметить, что трехвершинники AED и ВМС удовлетворяют усло- виям теоремы Дезарга, так как прямые АВ, ЕМ и DC сходятся в одной точ- ке F. Отсюда непосредст- R расположатся на одной и венно следует, что точки Р, Q прямой (см. табл. 2). Теорема 8. Пусть ABCDE — произвольный пятивершин- ник, F — точка пересечения двух его несмежных сторон R Табл. 2. АВ и CD, М — точка пересечения других двух несмежных сторон АЕ и ВС, Н — точка пересечения диагоналей AD и 26
СЕ, К—точка пересечения прямых ЕЕ и ВН. Тогда пря- мая DK проходит через точку М (рис. 33). Для доказательства этой теоремы достаточно заметить, что шестивершинник AEFCBH удовлетворяет условиям теоремы Паппа — Паскаля. При этом сто- р роны аг. и ос пересекаются в точке М, стороны ЕЕ и ВН — в точке К, стороны FC и НА — в точке D. Следовательно, точ- ки /И, К и D лежат на одной прямой, т. е. прямая DK прохо- дит через точку Л4. Теорема доказана. Теорема 9. Если через концы боковых сторон трапе- ции (или параллелограмма} провести пары параллельных прямых, то прямые, выходя- щие из концов одного и того . основания, и боковые сто- роны трапеции пересекутся в трех точках, расположенных на одной прямой (рис. 34). Для доказательства достаточно убедиться, что точки Р, Q и R расположены на одной прямой. Стороны трехвершинни- ков BCQ и ADR соответственно параллельны, т. е. точки пересечения их соответственных сторон расположены на одной несобственной прямой. Согласно теореме 5, прямые АВ, DC и RQ должны поэтому сходиться в одной точке. Следовательно, прямая QR пройдет через точку /’.•Теорема доказана. (Заме- 27
тим, что если ABCD — параллелограмм, то точка Р — несоб- ственная, QR || АВ (рис. 35 ).) Приведем пример еще более сложной конфигурационной теоремы. Теорема 10. Пусть Р и Q — точки пересечения про- тивоположных сторон четырехвершинника ABCD (рис. 36), Табл. 3. Табл. 4. Табл. 5. S—точка пересечения прямых АС и PQ, Т — точка пере- сечения прямых BD и PQ. Пусть, далее, четырехвершинник KLMN таков, что его противоположные стороны пересе- каются в точках Р и Q, а диагональ проходит через точку S. Тогда диагональ LN проходит через точку Т. Для доказательства проведем прямые АК, DL, СМ и BN. Трехвершинники ACDnKML удовлетворяют условиям теоремы 5 (см. табл. 3). Следовательно, прямые АК, СМ и DL сходятся в одной точке U. Теорему 5 можно применить также к трех- вершинникам ВС А и NMK (табл. 4). Поэтому прямые BN, СМ и АК также сходятся в точке U. Теперь можно применить теорему 5 к трехвершинникам BPN и DQL (табл. 5)...Следо- вательно, прямые BD, PQ и NL сходятся в точке Т. Теорема 10 доказана. § 5. ЗАДАЧИ Существует много задач, которые требуют для своего ре- шения привлечения конфигурационных теорем. Конфигурацион- ные теоремы особенно полезны для решения задач на построе- ние, в которых встречаются так называемые «недоступные» точки или прямые. 28
Понятия о недоступных элементах возникли из практических вопросов. Если чертежник сталкивается с тем, что нанесенные им на планшет прямые а и b встречаются за пределами план- шета (рис. 37), то.точка их пересечения, хотя она и сущест- вует, не может быть использована для применения к ней тех или иных чертежных инструментов. В геодезической практике та или иная точка может оказаться недоступной для измерителя потому, напри- мер, что она расположена в заболоченной местности или находится над поверх- ностью земли. Недоступ- ная точка всегда возни- кает как пересечение ка- Рис. 37. ких-то прямых, проведен- ных на чертеже или указанных на местности путем визирова- ния или путем провешивания. В смысле геометрических построе- ний недоступная точка характеризуется тем, что в ней нельзя установить ножку циркуля, к ней нельзя приложить линейку. При графических рабо- тах с приборами может слу- читься, что какая-либо пря- ' — р мая должна пройти по мес- / ту, на котором стоит прибор, не допускающий перемеще- • ния (пантограф, планиметр). v В условиях геодезических Рис. 38. работ часто оказывается практически невозможным установить вехи вдоль некоторой прямой или пройти по ней с рулеткой или мерной лентой. Разнообразные, возникающие на практике случаи появления недоступных точек и прямых допускают следующее математи- ческое описание. Данной недоступной точкой мы будем называть точку, определяемую двумя данными пересекающимися прямыми, причем в процессе данной задачи не разрешается пользоваться для построений самой точкой пересечения этих прямых. Недоступ- ную точку Р, определяемую прямыми а и b (рис. 38), будем обозначать Р (а, Ь). Данной недоступной прямой мы будем называть прямую, которая определена двумя данными точками (безразлично, 29
условно записы- Рис. 40. доступными или недоступными), причем ие разрешается поль- зоваться для построений самой этой прямой. Недоступную пря- мую р, определяемую точками А и В, будем обозначать р(А, В). Приведем некоторые примеры решения задач с недоступными элементами с помощью привлечения конфигурационных теорем. Конфигурационные теоре- мы позволяют решать та- кого рода задачи на пост- роение с применением только линейки, что чрез- вычайно полезно для гео- дезии, где нет ничего похожего на циркуль. Задача 1. Даны: (обыкновенная) точка Q и недоступная точкаР(а, Ь). Провести прямую PQ. 1-й способ решения (с помощью теоремы Паппа — Пас- каля). Возьмем произвольно на прямой а точки А и В, а точки D и Е— произвольно на прямой b (рис. 39).’Пусть С — точка пересечения прямых АЕ и BQ; это мы будем вать так: С = АЕ X BQ. Пусть далее (в указанных условных обозначениях) F = BD X EQ, R — = AF X CD. Из теоремы Паппа — Паскаля, приме- ненной к шестпвершинни- ку ABCDEF, следует, что прямая QR пойдет через точку Р, т. е. совпадет с прямою PQ. Следова- тельно, для решения зада- чи достаточно соединить посредством линейки точ- ки Q и R. 2-й способ реше- ния (с помощью теоремы Дезарга). Пусть О (рис. 40) —произвольная точка, рг, р2 и р3 — три произвольные прямые, проходящие через точку О. Обо- значим а\рг = А, Ьу^рг = А', а\р2 = В, Ь/р,,-^В'. Пусть, далее, AQy^ps = C, A'Q^p3 = C и, наконец, ВС X В'С = R. Рассматривая треугольники АВС и А'В’С, за- 30
метим, что по теореме Дезарга точки Р, Q и 7? располагаются на одной прямой. Поэтому искомая прямая совпадает с прямой QR., Задача 2. Даны: (обыкновенная) прямая q и недоступная прямая р (Л, В). Построить точку пересечения ^тих прямых. Эту задачу удобно решать с помощью теоремы Брианшона (§ 2, стр. 17). Проведем (рис. 41) через точку А две произволь- ные прямые а и Ь, а через точку В — две произвольные пря- мые d и е. Обозначим через с прямую, соединяющую точку с точкой 2 = b X <В через f—прямую, соединяю- щую точки 3~by^d \\ 4 = e\q, через г — прямую, соединяю- щую точки 5 = a\ftt6 = c\ d. Рассматривая шестивершинник А54В62, заметим, что его стороны А5, 4В и 62 проходят через точку 1, а стороны 54, В6 ч 2А — через точку 3. Поэтому, согласно теореме Бриан- шона, прямые АВ, 56 и 42, т. е. прямые АВ, г и q, должны сойтись в одной точке. Следовательно, точка С пересечения прямой q с недоступной прямой АВ может быть построена как пересечение прямых q и г. Задача 3. Построить точку пересечения недоступных прямых АА' и ВВ. Пусть (рис. 42) Р — точка пересечения прямых АВ и А’В'. Проведем через эту точку произвольную прямую d и выберем на этой прямой какие-либо две точки Q и R (отличные от точки Р). Если C = AQ\BR, а С = A'Q \ В'R, то прямая СС проходит- через искомую точку, как это непосредственно следует из теоремы 5 § 3 в применении к трехвершинннкам АВС и А'В'С. 31
Изменив положение прямой d или положение какой-либо из точек Q и R, можно построить таким же путем другую пару таких точек Сг и С/, что соединяющая их прямая также пойдет через искомую точку. После этого искомая точка строится как пересечение прямых СС и С^С/. Заддча4. Построить прямую RQ, если R (а, а') и Q(b, b') — две недоступные точки. Пусть С (рис. 43) — точка пересечения прямых а' п Ь', С — точка пересече- ния прямых а и Ь. Возьмем на прямой СС произвольную точку О (отличную от С и С). Проведем через точку О две произвольные прямые р и q (отличные от прямой СС). Пусть В и В'—точки пересечения прямой р соот- А и А' — точки пересечения b', ветственно с прямыми b прямой q соответственно с Точка Рг = ABBA'S непосредственно вытекает из теоремы Дезарга в применении к трехвершинникам АВСтА'В'С. Таким же путем, изменив положе- ние точки О на прямой СС или изменив прямые р и q, можно найти еще одну точку Рг на прямой QR. Прямая PJ\ — искомая. Задача 5. Даны две параллельные прямые а и b и точка Q. Провести через точку Q прямую, параллельную данным пря- мым, пользуясь только линейкой. Возьмем (рис. 44) произвольно точки А и D на прямой а и точки В и С на прямой Ь. Тогда ABCD — трапеция. Строим точку F пересечения боковых сторон трапеции. Пусть М — точка пересечения прямой CQ с основанием трапеции AD. Строим точку E^DQ'/^FM и точку Р~ АЕу^ВМ. Тогда, послед- ствию из теоремы 6 § 4, прямая PQ есть искомая параллель. и прямыми а тл а. расположена на прямой Q/?, как это Следующие задачи предлагаются читателю для самостоятель- ного решения. Задача 6. Через данную недоступную точку провести прямую, параллельную данной прямой. Задача 7. Через данную точку провести прямую, парал- лельную данной недоступной прямой. 32
Задача 8. Доказать: если четырехугольника соответственно стороны и диагонали одного параллельны сторонам и диа- гоналям другого четырех- угольника, то эти четы- рехугольники гомотетичны (подобно расположены). Задача 9. Доказать: если ABCD и АВ'CD'—два парал- лелограмма, то прямые ВВ1 и DD' параллельны и прямые BD' и B'D параллельны. Задача 107 Установить, к каким из изложенных задач можно привести решение следующих вопросов: 1) На море отмечены буйками две прямые. Оставаясь в пределах острова, с которого можно наблюдать буйки, надо обозначить вехами прямую, проходящую через данную на ост- рове точку А и направленную в точку пересечения прямых, обозначенных буйками (рис. 45). 33
2) Как найти точку пересечения примых а и Ь, если на пути прямой а расположена возвышенность, не позволяющая визировать через нее (рис.- 46)? 3) Решить ту же задачу в случае, когда препитствия име- ются на обеих прямых (рис. 47). 4) Между мачтами А п В электропередачи (рис. 48) надо поместить еще одну мачту С. Как определить ее место, если мачты А и В разделены двумя постройками? 5) Не сходя с суши, определить, в каком месте встретятси две строящиеся линии электропередач, изображенные на рис. 49. ' § 6. ОБ АЛГЕБРАИЧЕСКОМ СМЫСЛЕ КОНФИГУРАЦИОННЫХ ТЕОРЕМ Мы ознакомились с некоторыми важнейшими конфигурацион- ными теоремами и получили представление об их возможных применениях. Естественно возникновение ряда вопросов: можно ли получить какие-либо новые конфигурационные теоремы? мно- го ли существует конфигурационных теорем? существуют ли конфигурационные теоремы, помимо тех, которые можно вы- вести из теорем Паппа — Паскаля и Дезарга? нет ли общего метода для открытия- конфигурационных свойств плоскости? Эти вопросы уводят нас в новую область исследований. Мно- гйе ее результаты получены в последние два десятилетия. Ряд вопросов все еще ждет своего разрешения. Попытаемся дать хотя бы некоторое общее представление об этой части мате- матики. Еще в XVII веке в поисках общего метбда геометрических исследований математики пришли к идее координат, позволя- ющей применить к геометрии алгебраические, вычислительные методы. В ходе развития этой идеи в начале XX века была вскрыта важная роль теорем Паппа — Паскаля и Дезарга в уста- новлении связи геометрии с алгеброй и арифметикой. Наконец, исследования последних 15 лет установили, что каждая кон- фигурационная теорема может быть «переведена на алгебраи- ческий язык» в форме некоторого тождества и, наоборот, каж- дое тождество можно геометрически представить как некоторую конфигурационную теорему. Обратимся к простейшему примеру. Пусть даны два произвольных числа а и Ь. Выбрав неко- торый отрезок в качестве единицы, изобразим эти числа в виде отрезков. Тогда произведение ab данных чисел тоже можно представить в виде отрезка. Этот отрезок можно построить 34
Рис. 48. Рис. 49. 35
следующим образом (рис. 50). Возьмем произвольный угол M0N. На стороне ОМ отложим первый 1 сомножитель^.т. е. отрезок ОА — а, а на другой стороне в/М ON—отрезки ОВ = Ь и О£=1. Проведем прямую ВВ{ || АЕ. j'l\' Тогда ОВг: ОВ= О А : ОЕ, т. е. / / ОВг: b = а : 1.' Отсюда ОВ1~ г\ =ab. Далее по такому же пра- Д/' / \/ / вилу построим произведение Ьа. д I Для этого отложим на сто- / д / \ I роне ОМ первый сомножитель, /\/ \| т. е. отрезок ОВ' = Ь, а на Л- v \_______ стороне ON — второй сомножи- 0-------------------------£ А о N тель, т. е. отрезок О А' —а. Про- Рис. 50. ведем А'В,, В'Е. Тогда отре- зок ОВ2 представит произведе- ние Ьа. По построению AE\\BBt. Из леммы 1 на стр. 14 лег- ко вывести, что АА' Поэтому к шестивершинннку АА'В^ВВ'Е можно применить теорему Паппа — Паскаля. Следо1- вательно, A'Bt || В'Е. Однако по построению А'В2 || В'Е. Зна- чит, если справедлива теорема Паппа—Паскаля, то точка В2 совпадает с точкой Ви т. е. имеет место равенство ОВ1 — ОВ2 или, что то же самое, ab = ba. Таким образом, «на алгебраи- ческом языке» теорема Паппа — Паскаля означает перемести- тельный закон умножения. При более глубоком изучении вопроса и после приобрете- ния необходимых навыков можно научиться представлять раз- личные алгебраические тождества в виде конфигурационных теорем. Так как тождеств можно образовать сколько угодно, то таким путем можно построить сколько угодно конфигура- ционных теорем. При этом количество точек и прямых, о кото- рых говорится в теореме, можно сделать произвольно большим. По мере усложнения. конфигурационной теоремы ее словес- ная формулировка становится все более затруднительной. По- этому для записи сложных конфигурационных теорем обычно пользуются универсальной условной схемой. Познакомимся с этой схемой на примере теоремы Паппа — Паскаля. Согласно условию этой теоремы (см. стр. 13), точки А, С и Е распо- лагаются на Одной прямой. Чтобы выразить это условие на схеме, эти точки записываются в строку: АСЕ. Такое же условие налагается на точки В, D и F, и поэтому 36
появляется еще одна строка схемы: BDF. Далее, точка Р образуется в пересечении прямых АВ и DE. Это построение на схеме изображается так: АВ 1 р DE ( г- Построение точек Q и R изображается таким же способом. Полная схематическая запись теоремы Паппа — Паскаля имеет следующий вид: АСЕ BDF АВ 1 Р DE ] г ВС Q EF ] 4 CD 1 R AF J К PQR. Последняя запись под чертой выражает заключение теоремы: «точки Р, Q и R лежат на одной прямой». Вот пример схематической записи более сложной конфигу- рационной теоремы, в которой говорится о 14 точках (они обозначены цифрами) и 16 прямых (они возникают в ходе построения); 1 2 \ 7 3 5 / 2 4 \ Я 3 6 J 8 1 3 1 9 4 7 ] V 2 8 1 10 7 8 ] ‘ 1 2 \ Н 3 10 ] “ 2 6 \ 12 3 4 f 6 7 I 13 5 11 j 3 1 5 1 14 2 13 14 37
Теорема эта представлена графически на рис. 51. Вся фигура возникает из шести произвольно выбранных точек 1, 2, 3, 4, 5 и 6. Сама теорема геометрически представляет тождество а (Ьс) -ф- d — (ah) с -ф- d. Трудно представить себе, чтобы такую конфигурационную те- орему можно было получить путем непосредственного геомет- рического рассуждения, без привлечения ее алгебраического содержания. В заключение заметим, что как ни велико разнообразие конфигурационных теорем, какими бы сложными они пи были, все они (и это строго доказано) могут быть выведены из тео- ремы Паппа — Паскаля. Вспомним, что для теоремы Дезарга та- кое рассуждение было проведено на стр. 23. L
ЛИТЕРАТУРА 1. Аргунов Б. И., Конфигурационные постулаты и их алгеб- раические эквиваленты, Матем. сб. 26 (1950), 425—456. 2. Гильберт Д. и Кон-Фоссе н С., Наглядная геометрия, М.— Д., Гостехиздат, 1950. 3. Курант Р. и Р о б б и и с Г., Что такое математика, М.— Л., Гостехиздат, 1947. 4. Скорняков Л. А., Проективные плоскости, УМН VI, вып. 6 (1951), 112—154. 5. Цюльке П., Геометрические построения на ограниченном куске плоскости, М.— Л., ОНТИ, 1935. 6. Четверухин Н. Ф., Проективная геометрия, М., Учпед- гиз, 1953. 7. Р i с k е rt О., Projektive Ebenen, Springer, Berlin, 1955.
Аргунов Борис Иванович и Скорняков Лев Анатольевич Конфигурационные теоремы. Редактор Л. Ф. Лапко. Технический редактор С. Н. Ахламов. Корректор С. А. Мозгалевская. Сдано в набор 24/VHI 1957 г. Подписано к печати 6 X1 1957 г. бумага 84Х108х/а». Физ. печ. л. 1,25. Условн. печ. л. 2,05. Уч.-изд. л. 2,06. Тираж 20 000 экз. Т-10338. Цена книги 60 коп. Заказ № 924. Государственное издательство технико-теоретической литературы. Москва, В-71, Б. Калужская, 15. Первая Образцовая типография имени А. А. Жданова Московского городского Совнархоза. Москва, Ж-54, Валовая, 28.

ГОСУДАРСТВЕННОЕ ИЗДАТЕЛЬСТВО ТЕХНИКО-ТЕОРЕТИЧЕСКОЙ ЛИТЕРАТУРЫ ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКЕ Вып 1. А. И. Маркушевич. Возвратные последовательности Вып 2. И. П. Натансон. Простейшие задачи на максимум и минимум. Вып. 3. И. С. Соминский. Метод математической индукции. Вып. 4. А. И. Маркушевич. Замечательные кривые. Вып. 5. П. П. Коровкин. Неравенства. Вып. 6. Н. Н. Воробьев. Числа Фибоначчи. Вып. 7. А. Г. Курош. Алгебраические уравнения произволь- ных степеней. Вып. 8 А. О. Гельфонд. Решение уравнений в целых числах. Вып 9 А. И. Маркушевич. Площади и логарифмы. Вып. 10. А. С. Смогоржевский. Метод координат. Вып. 11. Я. С. Дубнов. Ошибки в геометрических доказатель- ствах. Вып. 12. И. П. Натансон. Суммирование бесконечно малых величин. Вып 13. А. И. Маркушевич. Комплексные числа и конформ- ные отображения. Вып. 14. А. И. Фетисов. О доказательствах в геометрии. Вып. 15. И. Р. Шафаревич. О решении уравнений высших степеней. Вып. 16. В. Г. Шерватов. Гиперболические функции. Вып. 17. В. Г. Болтянский. Что такое дифференцирование? Вып. 18. Г. М. Миракьян. Прямой круговой цилиндр Вып. 19. Л. А. Люстерник. Кратчайшие лиини. Вып. 20. А. М. Лопшиц. Вычисление площадей ориентирован- ных фигур. Вып. 21. Л. И. Головина и И. М. Яглом. Индукция в геомет- рии. Вып 22. Б. Г. Болтянский. Равновеликие и равиосоставленные фигуры. Вып. 23. А. С. Смогоржевский. О геометрии Лобачевского. Вып. 24. Б. И. Аргунов и JL А. Скорняков. Конфигурацион- ные теоремы.