Введение в геометрическую теорию плоских кривых (Кремона)/22
Шаблон:Введение в геометрическую теорию плоских кривых (Кремона)Шаблон:КачествоТекста it:Introduzione ad una teoria geometrica delle curve piane (Cremona)/L'Hessiana e la Cayleyana di una curva del terz'ordine
Ангармоническое отношение кубики
Шаблон:§ Применим развитую выше общую теорию в случае, когда фундаментальная кривая имеет порядок три, то есть является так называемой кубикой . При этом будем предполагать, что она лишена кратных точек, и поэтому ее класс равен шести ([[../13#70|70]]) и на ней имеется девять точек перегиба (§ [[../16#100|100]]).
Шаблон:§ Произвольная точка является полюсом полярной коники и полярной прямой (§ [[../13#68|68]]). Через две точки, взятые произвольным образом, проходит одна единственная полярная коника (§ [[../13#77a|77a]]). Все полярные коники, проходящие через точку , [составляют пучок и поэтому] имеют общими также и три остальные точки , их полюса лежат на прямой, полярной для четырех точек .
Отсюда следует, что прямая имеет четыре полюса, являющиеся вершинами четырехугольника, вписанного в полярные коники для точек этой прямой.
Все прямые, проходящие через одну и ту же точку , имеют своими полюсами точки коники (§ [[../13#69a|69, a]]).
Шаблон:§ Полярные прямые и совпадают (§ [[../13#69c|69c]]). Если через точку провести касательные к конике , а через точку — касательные к конике , то четыре точки касания лежат на одной прямой — второй смешанной поляре (§ [[../21#123|123]]).[1]
Шаблон:§ Через произвольную точку плоскости можно, в общем случае, провести шесть касательных к заданной кубике, поскольку эта кривая — шестого класса. Все шесть точек касания лежат на полярной конике .
Шаблон:§ Но если — точка кубики, то последняя касается здесь как полярной прямой , так и полярной коники , и через эту точку проходят только четыре прямые, касающиеся кубики в других точках. Их точки касания являются четырьмя пересечениями кубики с полярной коникой (§ [[../13#71|71]]).
Шаблон:§ Пусть — точка кубики и пусть полярная коника , касающаяся кубики в точке , пересекает кубику еще в точках , тогда прямые касаются кубики в точках соответственно (§ 130, d).
Касательная пересекает бесконечно близкую касательную в своей точке касания (§ [[../5#30|30]]); следовательно, если точка кубики, следующая за точкой , то четыре прямые — это те самые четыре касательные, которые можно провести через точку . Далее, поскольку полярная коника касается кубики в точке и пересекает ее еще в точках , то все шесть точек лежат на этой конике, и поэтому два пучка и имеют одно и то же ангармоническое отношение (§ [[../11#62|62]]). Это означает, что ангармоническое отношение четырех касательных к конике, проведенных через одну ее точку , не меняется при замене этой точки следующей за ней:
Ангармоническое отношение пучка четырех касательных к кубике, которые можно провести через произвольную ее точку, постоянно.[2][3]
Шаблон:§ Отсюда следует, что если и — два пучка касательных относительно двух произвольных точек и кубики, то четыре точки, в которых касательные первого пучка пересекают соответствующие им касательные второго пучка, лежат на некоторой конике, проходящей через точки (§ [[../11#62|62]]). Соответствие между касательными двух пучков может быть зафиксирована четырьмя различными способами, поскольку ангармоническое отношение пучка совпадает с отношением для трех пучков , , (§ [[../1#1|1]]); поэтому 16 точек, в которых четыре касательные, проведенные через точку , пересекают четыре касательные, проведенные через точку , лежат на четырех кониках, проходящих через точки .
Шаблон:§ Постоянное ангармоническое отношение четырех касательных, проведенных к кубике через произвольную ее точку, может быть названо ангармоническим отношением кубики.
Кубика называется гармонической, когда ее ангармоническое отношение равно , то есть когда четыре касательные, проведенные через произвольную точку кубики, образуют гармонический пучок.
Кубика называется эквиангармонической, когда ее ангармоническое отношение равно , то есть когда для четырех касательных, проведенных через произвольную точку кубики, совпадают между собой три главных ангармонические отношения (§ [[../4#27|27]]).
Гессиана и штейнериана
Шаблон:§ Если полярная коника является парой прямых, пресекающихся в точке , то и наоборот полярная коника является парой прямых, пересекающихся в (§ [[../13#78|78]]). Следовательно, место двойных точек полярных коник, выродившихся в пару прямых, является также и местом их полюсов, то есть гессиана и штейнериана являются одной и той же кривой третьего порядка (§ [[../14#88d|88d]], [[../14#90|90]]).
Шаблон:§ Поскольку прямая является местом двух прямых, соединяющих две точки гессианы с двумя точками штейнерианы, оболочка прямых , которая в силу общей теоремы § [[../15#98b|98b]] должна быть кривой шестого класса, вырождается в кривую третьего класса [4].
Шаблон:§ Точки являются сопряженными полюсами относительно любой полярной коники, принадлежащей геометрической сети второго порядка (§ [[../15#98b|98b]])[5]. Отсюда:
Место пар сопряженных полюсов относительно сети коник является кривой третьего порядка (именно, гессианой сети).[6][7]
Шаблон:§ В общей теории было доказано, что штейнериана в своей произвольной точке касается полярной прямой для соответствующей точки гессианы (§ [[../20#118a|118a]]), и что гесииана касается в своей произвольной точке второй поляры для соответствующей точки штейнерианы (§ [[../21#127a|127a]]). Применительно к случаю кривой третьего порядка, эти два свойства дают одно и то же: касательные к гессиане в точке являются полярными прямыми для точки ; то есть:
Гессиана является оболочкой прямых, полярных для своих точек.
Из этой теоремы следует, что через произвольную точку можно провести ровно шесть касательных к гессиане. В самом деле, полярные прямые, проходящие через точку , имеют своими полюсами точки полярной коники , которая пересекает гессиану в шести точках; каждая из этих точек является полюсом полярной прямой, касающейся гессианы и пересекающейся с другими в точке . Само собой разумеется, что точки касания этих шести касательных лежат на полярной коники для относительно гессианы.[8]
Гессиана и кейлиана

Шаблон:§ Пусть и два сопряженных полюса относительно полярных коник (см. рис.); полярная коника составлена из двух прямых и , пересекающихся в точке , а полярная коника составлена их двух других прямых и , пересекающихся в точке . Если две полярные коники пересекаются в точках , то эти точки являются полюсами прямой , а прямые и , пересекающиеся в точке , составляют полярную конику для точки , лежащей на прямой (§ 130, a).[9] Поэтому — новая пара сопряженных полюсов, а — третья точка пересечения гессианы с прямой .
Согласно § 132c, касательная к гессиане, проведенная в точке , — это полярная прямая . Но эта прямая является полярой для точки относительно коники , образованной прямыми и , и поэтому она совпадает с прямой , гармонически сопряженной к относительно . Впрочем это свойство [касательной гессианы] можно было бы вывести из теоремы § [[../21#127b|127b]]). Аналогично, касательная к гессиане в точке — это прямая . Итого:
Касательные к гессиане в двух сопряженных полюсах пересекаются в точке, принадлежащей этой же кривой, и при этом сопряженный ей полюс — это третье пересечение гессианы с прямой .
Шаблон:§ Две точки кубики называются соответствующими, когда они имеют одну и ту же касательную точку (§ [[../8#39b|39b]]), то есть когда проведенные в этих точках касательные к кубике пересекают кривую в одной и той же точке.
Используя это определение, можно сказать, что два сопряженных полюса относительно сети коник являются соответствующими точками гессианы этой сети.
Шаблон:§ Поскольку полярные прямые и пересекаются в точке , полярная коника проходит через точки и . Но — тоже является точкой гессианы; поэтому полярная коника состоит из двух прямых: и еще одной прямой, проходящей через точку . Итого:
Прямая, соединяющая два сопряженные полюса , пересекает гессиану в точке , сопряженной полюсу той полярной коники, составной частью которой является прямая .
Прямые, составляющие полярные коники для точек гессианы, огибают некоторую кривую третьего класса (§ [[../21#128|128]]). Эта кривая, следовательно, совпадает с оболочкой прямых, соединяющей две соответствующие точки гессианы (§ 132a).
Будем называть эту кривую кейлианой (Cayleyana) заданной кубики, в честь знаменитого Шаблон:Персона, нашедшего и доказавшего ее наиболее интересные свойства в своем элегантном аналитическом мемуаре о кривых третьего порядка[10].
Шаблон:§ Касательные, которые можно провести через произвольную точку гессианы к кейлиане, — это прямая, соединяющая с ее сопряженным полюсом , и две прямые, составляющие полярную конику .
Шаблон:§ Если — четыре полюса прямой , то три пары прямых , и составляют три полярные коники, полюса которых лежат на ; поэтому точки пересечения этих четырех пар прямых принадлежат гессиане. Итого:
Гессиана является местом диагональных точек, а кейлиана — оболочкой сторон полного четырехугольника, вершины которого являются полюсами произвольной прямой.
Шаблон:§ Пусть и — две пары сопряженных полюсов, — точка пересечения прямых и , а — точка пересечения прямых и . Тогда — шесть вершин полного четырехсторонника и поскольку концы двух его диагоналей и являются, по предположению, сопряженными полюсами относительно любой их полярных коник, то также и точки являются сопряженными полюсами относительно той же сети коник (§ [[../18#109|109]]). Отсюда:
Если — три точки гессианы, лежащие на одной прямой, то три сопряженные им полюса образуют треугольник, стороны которого проходят через .[11]
Отсюда получается, что, если заданы два сопряженных полюса и еще одна точка гессианы, то для нахождения сопряженного к ней полюса достаточно провести прямые , которые пересекут гессиану в точка ; точка пересечения прямых и будет искомой[12].
Шаблон:§ Прямые, проведенные из произвольной точки гессианы через пары сопряженных полюсов, образуют инволюцию второй степени. В самом деле, если одна прямая, проведенная произвольным образом через точку пересекает гессиану в точках и , то полюса , сопряженные к этим точкам, лежат на одной прямой с точкой ; поэтому прямые связаны друг с другом таким образом, что одна однозначно определяет другую, что и тр. д.[13]
Шаблон:§ Наоборот, пусть задано шесть точек , тогда место точки , такой, что пары прямых , , состоят в инволюции, является кривой третьего порядка, для которой — три пары соответствующих точек[14].
Шаблон:§ Когда два из четырех полюсов (сопряженных полюсов) для некоторой прямой сливаются в одну единственную точку , эта последняя принадлежит гессиане (§ [[../14#90b|90b]]) и все проходящие через нее полярные коники имеют здесь общую касательную (§ [[../19#112a|112a]]). [Возвращаясь к конструкции, изображенной на рис. к § 133], обозначим как два оставшиеся полюса прямой , [через эти точки должны проходить полярные коники для всех точек прямой , поэтому] в этих точках прямые , составляющие полярную конику , пересекают прямую, проходящую через точку и образующую вмести с прямой полярную конику .
Две касательные, которые можно провести через точку к кейлиане (§ 133d), совпадают с , а третья — это прямая ; аналогично, две касательные, которые можно провести через точку к кейлиане, сливаются с прямой , а третья — это . Поэтому (§ [[../5#30|30]]) прямые касаются кейлианы в точках .
Отсюда следует, что кейлиана является местом полюсов, сопряженных к точкам гессианы (§ [[../17#105|105]]), то есть если полярная прямая движется, огибая гесссиану, два совпадающих полюса описывают саму гессиану, а два оставшихся различных полюса — кейлиану.
Шаблон:§ Вспомним теперь, что [в силу § 133c] через произвольную точку гессианы проходят три касательные к кейлиане; две из них и связаны между собой таким образом, что прямая, проведенная через их точки касания , является опять касательной к кейлиане.
Шаблон:§ Эта прямая, проходящая через точку и образующая вмести с конику , пересекает кейлиану не только в точках , то есть в сопряженных полюсах для , но и в точках , то есть в сопряженных полюсах для . Поскольку эта прямая является касательной к кейлиане, получается, что эта кривая имеет шестой порядок.[15]
Сказанное можно доказать также следующим способом. Через [произвольную] точку проходит шесть касательных к гессиане (§ 132c); каждая из этих прямых имеет по два полюса, совпадающих с точкой гессианы, поэтому оставшиеся двенадцать полюсов лежат на кейлиане. Но полюса прямых, проходящих через точку , лежат на конике , и значит, эта коника пересекает кейлиану в 12 точках, то есть кейлиана является кривой шестого порядка.
Шаблон:§ Из всего предыдущего получается, что, если прямая касается кейлианы, то точка касания является полюсом, сопряженным к той точке гессианы, которая сама лежит на этой прямой, а соответствующая ей точка не лежит.[16] Следовательно, если мы обозначим как точку касания прямой прямой с кейлианой, то — полюс, сопряженный к .
Пусть — третья точка, в которой гессиана пересекает прямую , а — полюс, сопряженный к . Та прямая, которая проходит через точку и образует вмести с прямой полярную конику , пересекает прямую в точке .
Полярная прямая проходит через точку , поскольку коника является парой прямых, пересекающихся в точке . Эта прямая является первой полярой коники , то есть пары прямых , поэтому полюс и точки , в которых прямая пересекает конику и прямую , составляют гармоническую систему (§ [[../18#110a|110, a]]); отсюда:
Прямая, соединяющая две соответствующие гессианы, делится гармонически третьей точкой гессианы, лежащей на этой прямой, и точкой касания этой прямой и кейлинаны. [17]
Полоконики
Шаблон:§ Полярные прямые для точек прямой огибают конику, являющуюся также местом полюсов полярных коник, касающихся (§ [[../17#103|103]], 103a) и место полюсов прямой относительно полярных коник для точек самой прямой (§ [[../21#125|125]]). Эта коника, в общей теории (§ [[../17#104|104]]) была названа (чистой) второй полярой для [и обозначена как ], в рассматриваемом же случае для краткости называется (чистой) полоконикой (poloconica) для прямой .
Шаблон:§ Конику можно определить не только как место точек, полярные прямые для которых пересекаются в точке , он и как оболочку прямых, полоконики для которых проходят через точку (§ [[../17#104g|104, g]]):
Шаблон:§ Прямые, полоконики для которых имеют двойную точку, — это в точности прямые, составляющие полярные коники для точек гессианы (§ [[../21#128|128]]), то есть прямые, касающиеся кейлианы.
Рассмотрим опять прямую (рис. к § 133) и разыщем ее полоконику как место полюсов полярных коник, касающихся прямой . Поскольку является частью полярной коники , точка является двойной точкой искомой полоконики (§ [[../21#128|128]]). Заметим теперь, что как полярная коника пересекает прямую в двух точках, совпадающих с , а коника — в двух точках, совпадающих с ; поэтому полоконика для этой прямой является парой прямых .
Отсюда видно, что гессиана является местом двойных точек полоконик, вырождающихся в пару прямых, а также и оболочкой этих прямых (ср. § 133), в то время как кейлиана является оболочкой прямых, для которых вырождаются полоконики.[18]
Шаблон:§ Место точки, относительно полярной коники для которой прямые и являются сопряженными, является коникой (именно второй смешанной полярной , введенной в общей теории), которую можно назвать смешанной полоконикой для прямых . Она является также местом полюсов любой из этих прямых относительно полярной коники для другой (§ [[../21#125a|125a, b]]).
Шаблон:§ Полярная прямая для точки пересечения прямых касается полоконик и в двух точках, в которых она пересекает смешанную полоконику (§ [[../21#125c|125c]]).
Шаблон:§ Если прямая пересекает гессиану в трех точках , полоконика касается этой кривой в сопряженных к ним полюсах (§ [[../20#122|122]], [[../21#127|127]]). Отсюда следует, что, если — обыкновенная касательная к гессиане, причем — точка касания, а — точка простого пересечения, то полоконика имеет четырехточечное касание с гессианой в точке (полюсе, сопряженном к ) и двухточеченое касание в точке (полюсе, сопряженном к ). Если же прямая касается гессианы в точке перегиба , то полоконика имеет шеститочечное касание с гессианой в точке (§ [[../21#127d|127, d]]).
Шаблон:§ Шесть точек, в которых гессиана касается чистых полоконик для двух прямых, лежат на смешанной полоконике для этих прямых (§ [[../21#127|127]]). Поэтому:
Если две прямые пересекают гессиану в шести точках, то сопряженные к ним полюса лежат на одной и той же конике.[19]
Если через три точки, в которых гессиана касается полоконики, провести произвольную конику, то она пересечет гессиану в трех новых точках, в которых эта кривая касается второй полоконики.
Мы видели в § 136b, что, если — сопряженные полюса (рис. к § 133), в которых гессиана касается прямых, проходящих через точку , то эти прямые составляют чистую полоконику для прямой . Эта полоконика касается гессианы в точках . Поэтому эти три точки и три другие аналогичные лежат на одной и той же конике.
Коника-спутник
Шаблон:§ Четыре касательные прямые, которые можно провести из точки к гессиане, составляют чистые полоконики для двух прямых, пересекающихся в точке и образующих полярную конику (§ 136b). Точки касания этих четырех прямых лежат на конике, касающейся гессианы в точке (§ 130d), и поэтому точки касания гессианы и с чистыми полокониками для этих двух прямых, лежат на смешанной полоконике для этих двух прямых [§ 137a]. Отсюда:
Пусть точка лежит на гессиане кривой ; если обозначить прямые, из которых состоит коника , как , тогда
- .
Шаблон:§ Пусть секущая, проведенная произвольным образом через фиксированный полюс , пересекает фундаментальную кубику в точках , а полярную конику в . Отметим на этой секущей две точки , определенные двумя уравнениями: Шаблон:Eq или же одним квадратным уравнением: Шаблон:Eq
В силу соотношений, имеющихся между тремя точками и двумя их гармоническими центрами ([[../3|Art. III.]]), имеем:
- ,
- ,
поэтому уравнение (2) можно переписать так: Шаблон:Eq
Когда секущая вращается вокруг , место точек описывает кривую второго порядка, которую можно назвать коникой-спутником (conica satellite) для полюса [20].
Если точки совпадают, то есть если секущая касается кубики в точке и пересекает ее в точке , то левая часть уравнения (3) имеет множитель . Поэтому коника-спутник содержит шесть точек, в которых фундаментальная кубика пересекает касательные, проведенные через полюс.
Если точки совпадают, то есть если секущая касается в точке поляной коники , то в силу (1) и сами точки совпадают с , иными словами, в этой точке секущая касается и коники-спутника. Поэтому коника-спутник касается полярной коники в точках, в которых полярная коника пересекает полярную прямую.
Шаблон:§ Из этих двух свойств и теоремы § [[../8#39b|39b]] получается след.: если — точка гессианы, если если полярная коника для вырождается в пару прямых, пересекающихся в точке , то также и коника-спутник вырождается в пару прямых, пересекающихся в этой точке, причем эта пара образована прямыми-спутниками тех прямых, которые составляют полярную конику для .
Поэтому каждая из двух прямых, пересекающихся в точке и составляющих полярную конику для точки , имеет в качестве точки-спутника точку (§ [[../8#39b|39b]]). Иными словами:
Гессиана — место точек-спутников прямых, касающихся кейлианы.
Шаблон:§ Отсюда можно получить другое определение кейлианы, заметив, что (см. рис. к § 133) точка является касательной точкой для (как и для ) относительно гессианы; поскольку же прямые составляют гармонический пучок, — полярная прямая для . Поэтому кейлиана является оболочкой прямых, являющихся смешанными вторыми полярами для двух точек гессианы, одна из которых является касательной для другой[21].
Примечания
- ↑ В авторском экземпляре отмечено, что произвольная прямая является второй смешанной полярой для двух своих точек , полярные коники для которых касаются этой прямой. Этому дается такое доказательство: пусть , тогда , то есть вторая смешанная поляра является прямой, соединяющей полюса прямой относительно полярных коник для . На произвольной прямой имеется ровно две коники, скажем , пучка полярных коник, полюса которых лежат на этой прямой, касаются самой прямой. Тогда и поэтому , что и тр.д. — Перев.
- ↑ Шаблон:Персона, Théorèmes sur les courbes de troisième degré (Журнал Шаблон:Персона, Bd. 42, Berlin, 1851, p. 274) — Higher piane curves, p. 151.
- ↑ Ср. другое доказательство ниже, в § [[../24#149c|149c]]. — Перев.
- ↑ Шаблон:Персона, Mémoire sur les courbes du troisième ordre (Journal de M. Шаблон:Персона, août 1844, p. 290).
- ↑ Полярная прямая для относительно любой коники — это прямая , проходящая через двойную точку , то есть через . — Перев.
- ↑ Шаблон:Персона, Ueber die Wendepuncte и т. д. P. 105.
- ↑ Здесь требуется обращение предыдущего утверждения: если — пара точек, сопряженных относительно любой коники , то формально прямой должна принадлежать любая точка плоскости, что возможно только если имеет двойную точку в . — Перев.
- ↑ Класс гессианы-штейнерианы кубики можно было бы вычислить по общим формулам § [[../20#118d|118d]]. Для предложенного в тексте построения существенно, что исходная кубика не имеет особых точек и поэтому определена для всех точек плоскости. — Перев.
- ↑ Сказанное следует из того обстоятельства, что точки составляют базу пучка коник, полюса которых лежат на прямой . — Перев.
- ↑ A Memoir on curves of the third order (Philosophical Transactions, vol, 147, part 2, London 1857, p. 415—446),
- ↑ В авторском экз. отмечено, что треугольник является сопряженным к пучку полярных коник для точек прямой , см. § [[../18#108a|108a]].
- ↑ Шаблон:Персона, Ук. соч., p. 242.
- ↑ В авторском экземпляре отмечено, что двойные лучи этой инволюции — это касательные к кейлиане, проходящие через точку и отличные от прямой . См. § 133c. — Перев.
- ↑ Шаблон:Персона, Mémoire sur les courbes du troisième ordre, p. 287.
- ↑ Других точек пересечения быть не может, так как кривая третьего класса может быть самое большее шестого порядка. При этом из симметрии ясно, что точка касания с кейлианой должна быть отлична от названных четырех точек. — Перев.
- ↑ На прямой, касающейся кейлианы, всего имеются три точки гессианы, но две из них соответствуют друг другу. — Перев.
- ↑ Шаблон:Персона, A Memoir on curves etc., p. 425.
- ↑ Шаблон:Персона, A Memoir on curves etc., p. 432.
- ↑ Более общо, если коника пересекает гессиану в шести точках, то сопряженные к ним полюса лежат на некоторой другой конике (§ [[../21#129|129]]). — Автор.
- ↑ Каким бы было аналогичное исследование для фундаментальной кривой порядка ? Оно бы привело к кривой-спутнике (curva satellite) порядка . См.: Шаблон:Персона, Higher piane curves, p. 68-69. — Автор.
- ↑ Шаблон:Персона, A Memoir on curves etc. p. 439—442.