Введение в геометрическую теорию плоских кривых (Кремона)/18

Приложение к кривым второго порядка. —
Введение в геометрическую теорию плоских кривых, Art. 18.

автор Луиджи Кремона
См. Оглавление. Дата создания: 1862. Источник: Introduzione ad una teoria geometrica delle curve piane. // Opere matematiche di Luigi Cremona. Рubblicati sotto gli auspici della R. Accademia dei Lincei. Milano: U. Hoepli, 1914. T. 1. Pag. 317-465.

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

Пусть задан полюс в плоскости фундаментальной кривой второго порядка, тогда место точек, гармонически сопряженных к относительно двух пересечений кривой с подвижной секущей, вращающейся вокруг точки , является полярной прямой для 68). Если поляра проходит через точку , то и наоборот поляра содержит точку 69, a); иными словами, полюса всех прямых, проходящих через заданную точку, лежат на поляре для этой точки и наоборот, все точки заданной прямой являются полюсами прямых, пересекающихся в полюсе заданной прямой.

Поскольку для каждой точки имеется одна вполне определенная полярная прямая, и наоборот, каждая прямая имеет один единственный полюс, то точки прямой составляют пунктуал, проективный звезде, образованной соответствующими им полярами. Отсюда следует, что ангармоническое отношение четырех прямых, проведенных через одну точку, равно ангармоническому отношению их полюсов.[1]

Поляра пересекает фундаментальную конику в тех точках, в которых эту конику касаются прямые, проведенные из точки 70).

Если, рассматривая фундаментальную конику как кривую второго класса, из произвольной точки заданной прямой провести две касательные к кривой, то прямая, гармонически сопряженная к заданной относительно этих двух касательных проходит через фиксированную точку (§ 82), являющуюся полюсом заданной прямой.

Две фигуры, одна из которых содержит полюса и поляры для прямых и точек другой, называются взаимными полярами (polari reciproche).

На немногих изложенных здесь принципах основан знаменитый метод Понселе[2] получения свойств одной фигуры из свойств ее взаимной.

108. Две точки и , одна из которых лежит на поляре для другой, называются сопряженными полюсами. Бесконечно число пар сопряженных полюсов, лежащих на секущей, образуют инволюцию (квадрику), двойные точки которой являются точками пересечения коники и секущей, то есть точки фундаментальной коники сопряжены сами себе. Поляры для двух сопряженных полюсов, то есть две прямые, каждая из которых проходит через полюс другой, называются сопряженными. Бесконечное число пар сопряженных поляр, проходящих через одну и ту же заданную точку, образуют инволюцию (квадрику), двойные лучи которой являются касательными, которые можно провести к коники из заданной точки, то есть касательные к конике сопряжены сами себе.

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

108b. Если из точки провести две секущие, пересекающие заданную конику в четырех точках и , и если и  — это пересечения пар прямых и соответственно, то прямая является полярой для точки ; более того в треугольнике каждая вершина является полюсом для противоположной стороны. Сказанное является непосредственным следствием гармонического свойства полного четырехугольника 5).[3] Поэтому все коники, описанные вокруг этого четырехугольника, являются сопряженными к треугольнику, образованному диагональными точками (punti diagonali) .

108b'. Если через две точки одной заданной прямой провести четыре касательные и к заданной конике и если и  — это прямые, соединяющие пары точек и соответственно, то точка является полюсом прямой ; более того, в треустороннике каждая сторона является полярой для противоположной вершины. Сказанное сращу следует из гармонических свойств полного четырехсторонника 5). Поэтому все коники, вписанные в четырехугольник, являются сопряженными к трехстороннику, образованному диагоналями .

108c. В общем случае, если точка имеет имеет одну и ту же полярную прямую относительно двух кривых пучка, то она является двойной для некоторой кривой пучка (§ 89). Поэтому, с другой стороны, две коники не допускают никаких общих сопряженных треугольников, кроме тех, которые имеют вершины в трех двойных точках пучка, определенного этими кониками, то есть точки, лежащие на пересечении диагоналей полного четырехугольника, образованного общими точками двух коник, и диагонали четырехсторонника, образованного общими касательными этих коник, являются углами и сторонами одного единственного треугольника, сопряженного к этим коникам.

Рис. к § 108d. Выделены четыре вершины вписанного четырехугольника, две его диагональные точки и две диагонали описанного четырехсторонника.

108d. Если в теореме Паскаля о шестиугольнике, вписанном в конику, (§ 45c) положить второй угол бесконечно близко к первому, а пятый — к шестому, то получится следующее соотношение между четырьмя точками коники и касательными в двух из них:

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

Отсюда легко вывести, что диагонали четырехсторонника, образованного четырьмя касательными к конике, являются сторонами треугольника, имеющего в качестве вершин диагональные точки четырехугольника, образованного четырьмя точками касания.


108e. Полный четырехугольник определен однозначно заданием трех диагональных точек и вершины . В самом деле, вершина является гармонически сопряженной к относительно точек в которых пересекают и т. д. Следовательно, коники, проходящие через одну и ту же точку и сопряженные к заданному треугольнику , составляют пучок, иными словами (92):

Все коники, сопряженные к заданному треугольнику, составляют сеть.

108f. Кривые этой сети, делящие гармонически заданный отрезок , составляют пучок. В самом деле, если  — произвольная точка, то все коники сети, проходящие через , имеют другие три общие точки и пересекают прямую в паре точек, [лежащих] в инволюции (§ 49). Но также пары точек, делящих гармонически отрезок , составляют инволюцию (§ 25a), поэтому две эти инволюции имеют одну общую пару сопряженных точек; следовательно через проходит одна единственная коника сети, удовлетворяющая рассматриваемому условию, что и тр. д. Другими словами, сеть содержит пучок коник, относительно каждой из которых точки , являются сопряженными полюсами.

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

Рис. к § 108g.

108g. Пусть и  — два сопряженных к фундаментальной конике треугольника; и  — точки, в которых прямые пересекают ; и  — точки, в которых прямую пересекают . Поляры для точек являются, очевидно, прямыми , которые пересекают в . Но системы этих четырех прямых и их полюсов имеют одно и то же ангармоническое отношение (§ 107), то есть:

, или в силу § 1
.

Это означает, что четыре прямые пересекают прямые в двух системах четырех точек, имеющих равные ангармонические отношения. Поэтому (согласно § 60) шесть сторон этих двух треугольников составляют шестиугольник Брианшона. Кроме того два пучка четырех прямых , имеют равные ангармонические отношения, поэтому в силу § 59 шесть сторон этих треугольников составляют шестиугольник Паскаля[4]. Таким образом:

Если два треугольника вписаны в некоторую конику, то вокруг них можно и описать некоторую другую конику и наоборот.

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

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

Если коника касается сторон треугольника, сопряженного к некоторой второй конике, то имеется бесконечное число других треугольников, сопряженных ко второй конике и описаных вокруг первой коники, то есть касательные, проведенные к двум коникам из полюса (относительно второй коники) каждой касательной прямой первой коники, составляют гармонический пучок.[5] Если коника проходит через вершины треугольника, сопряженного ко второй конике, то в первую конику можно вписать бесконечное число других треугольников, сопряженных ко второй конике; то есть каждая точка первой коники является полюсом (относительно второй коники) прямой, пересекающей две кривые в четырех гармонических точках.[6]
Рис. к § 109.

109. Коники, описанные около четырехугольника , пересекают произвольную секущую в парах точек, составляющих инволюцию (§ 49). Среди этих коник имеются три пары прямых, поэтому пары противоположных сторон , и четырехугольника пересекают секущую в шести точках , и , которые лежат в инволюции. И наоборот, если стороны треугольника пересекают секущую в точках и если эти точки лежат в инволюции с точками той же секущей, то прямые , , пересекаются в точке .

Пусть задан треугольник , стороны которого , и пересекают секущую в точках ; и пусть еще задана коника, относительно которой точки , лежащие на той же секущей, являются сопряженными полюсами к полюсам соответственно. Три пары точек , , лежат в иновлюции (§ 108), поэтому прямые , и пересекаются в одной и той же точке . Если к тому же предположить, что и являются полюсами сопряженными соответственно к полюсам и , то поляры ,  — это прямые и , и поэтому полюс секущей — это точка . Значит, поляра  — это , то есть точки и тоже являются сопряженными полюсами. Таким образом, получается след. теорема:

Если концы двух диагоналей и полного четырехсторонника[7] образованы двумя парами сопряженных относительно некоторой заданной коники полюсов, то и концы третьей диагонали являются сопряженными полюсами относительно той же коники.[8]

110. Если полюс пробегает заданную кривую порядка , имеющую двойных точек и точек возврата, то полярная прямая (относительно фундаментальной коники ) огибает другую кривую класса , имеющую двойных касательных и точек перегиба, причем эту кривую можно еще определить как место полюсов касательных к 103). Две эти кривые как раз и являются взаимными полярыми [введенными выше в § 107].

110a. Если фундаментальная коника является системой двух прямых, пересекающихся в точке , то поляра для любой точки проходит через точку , более того, она является гармонически сопряженной для относительно пары прямых, составляющих конику (§ 73b); в тоже время поляра для самой точки остается неопределенной (§ 72), то есть любая прямая плоскости может рассматриваться как поляра для . Отсюда следует, что каждая прямая, проходящая через , имеет бесконечное число полюсов, лежащих на [некоторой] другой прямой, проходящей через , а прямая, не проходящая через в качестве такового полюса только эту точку. 110a'. Если фундаментальная коника , рассматриваемая как оболочка второго класса, является парой точек и , то полюс любой прямой лежит на прямой , и отрезок делится гармонически полюсом и полярой. Однако полюс самой прямой неопределен, то есть любая точка плоскости может быть взята как полюс этой прямой. Отсюда следует, что каждая точка прямой имеет бесконечно много поляр, пересекающихся в некоторой другой точки этой же прямой, а произвольная точка, не лежащая на , не имеет никакой другой поляры, кроме самой этой прямой.[9]
Поэтому, если задана кривая класса , рассматриваемая как оболочка прямых, то ее взаимная поляра, то есть место полюсов ее касательных, является системой прямых, проходящих через и соответственно гармонически сопряженных (относительно двух прямых, составляющих конику ) к тем касательным к заданной кривой, проходящим через точку . Поэтому, если задана кривая порядка , то ее взаимная поляра, то есть огибающая поляр для ее точек, является системой точек, лежащих на прямой , которые, относительно точек и , гармонически сопряжены к тем точкам, в которых заданная кривая пересекает прямую .

110b. В предположениях, сделанных в § 110a, очевидно, что каждый сопряженный трехсторонник имеет вершину в точке , а две стороны образуют систему, гармоническую к дум прямым, составляющим фундаментальную конику. И наоборот, если заданный трехсторонник сопряжен к конике, которая является парой прямых, то эти прямые должны пересекаться в вершине треугольника и составлять гармонический пучок с двумя сторонами этого трехсторонника. В частности, каждая его сторона, рассмотренная как система двух совпадающих прямых, можно принять за конику, сопряженную к трехстороннику. Следовательно, три прямые, составляющие трехсторонник, содержат двойные точки коник, ему сопряженных, то есть гессиана сети, образованной кониками, сопряженными к данному треугольнику, совпадает с самим этим треугольником92, 108e).

111. В силу общей теоремы § 110, взаимная поляра к конике относительно другой является некоторой третьей коникой ; две кривые , состоят друг с другом в таком отношении, что касательные касательные одной из них являются полярами для точек другой относительно коники . В четырех точках, общих с , фундаментальная коника имеет касательные, общие с ; поэтому (§ 108d) три коники сопряжены к одному и тому же треугольнику.

111a. Если  — поляра для точки относительно , а и  — соответственно полюс и поляра для и относительно , то очевидно, что является полюсом для относительно , [то есть

влечет .[10]]

111b. Общие точки коник и  — это полюса (относительно ) касательных, общих обоим этим коникам. Отсюда следует, что если несколько коник описано около одного и того же четырехугольника, то их взаимные поляры вписаны в один и тот же четырехсторонник.[11] Поскольку первые коники пересекаются с произвольной секущей в парах точек, составляющих инволюцию, то касательные, проведенные из произвольной точки к коникам, вписанным в четырехсторонник, тоже состоят в инволюции.

111c. Если заданы a priori обе коники и , пересекающиеся в точках и имеющие общие касательные , то коника, относительно которой и являются взаимными полярыми, должна быть сопряженной к треугольнику, образованному диагональными точками четырехугольника и диагоналями четырехсторонника 111, 108c). Для полного определения этой коники, достаточно добавить следующее условие: точка является, относительно этой коники, полюсом одной из четырех прямых 108f). Отсюда следует, что существуют четыре коники, относительно которых две заданные коники являются взаимными полярами.[12]

111d. Пусть заданы две коники и , и пусть первая из них описана около треугольника , сопряженного ко второй. Если  — эта та коника, относительно которой заданные коники являются взаимными полярами, а прямые  — это поляры , то трехсторонник описан около коники . Но треугольник по предположению сопряжен к ; поэтому трехторонник сопряжен к 111a)[13]. Иными словами:

Если одна коника описана около треугольника, сопряженного к другой конике, то вторая коника вписана в трехсторонник, сопряженный к первой конике, и наоборот. [14]

Отсюда, возвращаясь к утверждению, набранному в § 108g в две колонки, имеем:

Если одна коника вписана в треугольник, сопряженный ко второй конике (или, если вторая коника описана около треугольника, сопряженного к первой), то взаимная поляра для второй коники относительно первой коники является оболочкой таких прямых, которые две заданные коники делят гармонически, а взаимная поляра для первой относительно второй является место таких точек, что проведенные из них касательные к двум заданным коникам составляют гармонический пучок.

111e. Вообще, задавшись двумя кониками и , зададимся след. вопросами[15]:

Какова оболочка прямых, пересекающих коники в четырех гармонических точках? Сколько прямых, обладающих этим свойством, можно провести через произвольную точку, напр., через одну из точек , общих заданным коникам? Для того, чтобы прямая, проходящая через точку , пересекала коники и в четырех гармонических точках, три из них должны совпадать в точке , то есть касательные к искомой оболочке, которые можно провести через , — это в точности две прямые, которые здесь касаются одной и второй коник соответственно. Следовательно, оболочка сама является коникой , касающейся тех же восьми прямых, которых касаются первая или вторая коника в точках . Каково место точек, из которых можно провести гармонический пучок касательных к двум заданным коникам? Сколько точек, обладающих этим свойством, лежит на произвольной прямой, напр. на одной из касательных , общих обоим заданным коникам? Очевидно, что только точки пересечения прямой с искомым местом являются точками, в которых эта прямая касается одной или другой касательной. Искомое место, является, следовательно, коникой , проходящей через восемь точек, в которых две заданные коники касаются четырех общих касательных.
Из этих восьми прямых те четыре, которые касаются , являются также касательными к конике , взаимной поляре для относительно 111); иными словами, коники , , вписаны в один и тот же четырехсторонник. Следовательно, если касательная к , не общая с , пересекается гармонически кониками и , то коники и [имеют пять общих касательных и потому] совпадают.

Это происходит всякий раз, когда коника описана около треугольника, сопряженного к (d).

Из этих восьми точек четыре, лежащие на , принадлежат также конике , взаимной поляре для относительно ; это означает, что коники , и принадлежат одному и тому же пучку. Следовательно, если точка , не общая с , является центром гармонического пучка [четырех] касательных к и , то коники и совпадают . Это происходит всякий раз, когда вписана в треугольник, сопряженный к (d).

Если  — такая коника, относительно которой и являются взаимными полярами, то, очевидно, коники и (также как и ) являются взаимными полярами относительно . [16]

111f. Пусть , и  — три коники, описанные около одного и того же четырехугольника , и первые две по отдельности пусть описаны около двух треугольников, сопряженных относительно одной и той коники . Тогда все коники , и , взаимные поляры первых трех относительно , касаются прямых 111b). Поэтому (§ 111d) прямая делится гармонически парой коник и , как и парой и ; то есть пересечения с являются двойными точками инволюции (квадрики), которую задают коники пучка на . Отсюда следует, что делится гармонически парой и , иными словами (§ 111e):

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

Примечания править

  1. Chasles, Mémoire de géométrie sur deux principes généraux de la science etc. (Mémoires couronnés par l’Académie R. de Bruxelles, t. 11, 1837, p. 582).
  2. Poncelet, [Solution … suivie d’une théorie des polaires réciproques etc. (Annales de Gergonne, t. 8, Nismes 1817-18, p. 214).] — Traité des propriétés projectives des figures, Paris 1822, p. 122. — Mémoire sur la théorie des polaires réciproques (Journal für die reine und angewandte Mathematik. Bd. 4, Berlin, 1829, p. 1).
  3.  
    Рис. к § 108b.
    Напр., в силу теоремы § 5 отрезок   диагонали четырехсторонника, образованного прямыми  , делится двумя другими диагоналями гармонически, поэтому  , аналогично,  . Поэтому прямая   является полярой  . — Перев.
  4. Steiner, Systematische Entwickelung der Abhängigkeit geometrischer Gestalten von einander, Berlin 1832, p. 308 (Aufg. 46). — Chasles, Mémoìre sur les lignes conjointes dans les coniques (Journal de mathématiques pures et appliquées, août 1838, p. 396).
  5. Касательная   к первой конике соединяет точки   и  , в которых две выходящие из   прямые касаются  . Отрезок   делится гармонически полюсом   поляры   и точкой   этой поляры. Поэтому и лучи   составляют гармонический пучок. — Перев.
  6. На хорде   лежит полюс   поляры  , пересекающей хорду как раз в точке  , поэтому точки пересечения этой хорды со второй коникой делят отрезок   гармонически, что и утверждается. — Перев.
  7. Во введенных выше обозначениях он образован прямыми   и секущей. — Перев.
  8. Hesse, De octo punctis intersectionis trium superficierum secundi ordinis (Dissertatio pro venia legendi), Regiomonti 1840, p. 17.
  9. На самом деле, для такой коники   определение поляры, данное в § 68, не годится. Вероятно, имеется ввиду следующее. Для невырожденной конки   полярная оболочка, введенная в § 82, имеет класс 1, то есть представляет собой пучок прямых, его центр — это полюс прямой  . Для доказательства следует заметить, что сопряженный к конике треугольник, одной из сторон которого является прямая  , имеет в качестве двух других сторон прямые полярной оболочки для  . Такое описание полюса сохраняет смысл при рассматриваемом вырождении коники. — Перев.
  10. Утверждение прямо следует из данного определения, только если  , поскольку тогда   — касательная, проведенная в точке  . В общем случае можно поступить так: проведем из точки   две касательные к   и пусть   и   точки касания. Поскольку   и   — касательные к  , то их полюса   и   лежит на  , а касательные к   в этих точках, то есть   и   имеют своими полюсами   и  . Точка  , в которой пересекаются   и  , является полюсом  , поэтому  . Поэтому  , а значит,  . Остается вспомнить, что  , откуда  . — Перев.
  11. Связь с предыдущем не ясна. Если кривые   пересекаются в точках  , то, конечно, их взаимные поляры   касаются  . — Перев.
  12. В тексте доказано только, что таковых не более четырех. Для обращения этого утверждения можно поступить так: пусть   — треугольник, образованный диагоналями четырехсторонника  ,   — коника, сопряженная к этому треугольнику и, для определенности,  , и пусть   — взаимные поляры относительно  . Из § 111a следует, что треугольник, сопряженный для коник  , является сопряженным и для  . Поэтому в силу § 111 коника   принадлежит сети   всех коник, сопряженных к этому треугольнику. Поскольку   касается  , то точка   принадлежит  , а значит, кривая   принадлежит пучку  . Поскольку точка   принадлежит  , то   касается  , поэтому в этом пучке три кривые —   — касаются прямой  . Это возможно лишь тогда, когда две из них совпадают (§ 85), а это — лишь когда  . Значит, действительно относительно построенной в тексте коники кривые   являются взаимными полярами. — Перев.
  13. Напр.,   влечет   и теперь можно применить терему § 111a и получить  . — Перев.
  14. Hesse, Vorlesungen über analytische Geometrie des Raumes, Leipzig 1861, p. 175.
  15. Staudt, Ueber die Kurven 2. Ordnung, Nürnberg 1831, p. 25.
  16. Произвольная касательная   к   делится заданными кониками гаромнически на отрезки   и  , поэтому ее полюс   есть точка пересечения четырех поляр  . Поскольку заданные коники являются взаимными порами, то эти четыре прямые их касаются. Поскольку же между полюсами, лежащими на  , и полярами, проходящими через  , имеется взаимно однозначное соответствие, то сохраняется ангармоническое отношение и, следовательно, прямые   составляют гармонический пучок (см. теорему Шалая из § 107). — Перев.