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

Материал из Викитеки — свободной библиотеки
Определение и основные свойства полярных кривых. —
Введение в геометрическую теорию плоских кривых, Art. 13.

автор Луиджи Кремона
См. Оглавление. Дата создания: 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.

Определения[править]

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

Таким образом, точка порождает полярную кривую относительно заданной линии. Первая поляра — это кривая порядка , вторая поляра — порядка и т. д. Последняя или -я поляра, то есть место гармонических центров первого порядка, является прямой.[3]

Общие свойства поляр[править]

69. Доказанные выше теоремы (см. Art. III) о гармонических центрах системы точек на прямой, приводят к аналогичным свойствам полярных кривых относительно заданной кривой.

69a. Теорема § 12 может быть выражена так: если  — точка -ой поляры для , то и наоборот является точкой -ой поляры для , то есть

.[4]

Иными словами:

Место полюсов, -ые поляры для которых проходят через заданную точку , является -ой полярой для точки .

Напр., первая поляра для является местом полюсов полярных прямых, проходящих через точку ; вторая поляра для  — местом полюсов полярных коник, проходящих через эту точку и т. д.

69b. Из теоремы § 13 сразу получается след.:

Для любого полюса одна и та же кривая -го порядка является как поярой относительно заданной линии , так и полярой относительно любой другой поляры большего порядка, то есть

.

Следовательно: вторая поляра является первой полярой для относительно первой поляры ; третья поляра является первой полярой относительно второй поляры и второй полярой относительно первой поляры и т. д.

69c. Теорема § 14 дает:

.[5][6]

Эта теорема, как станет ясно в дальнейшем, имеет много следствий. Особенно часто эта теорема используется вмести с теоремой § 69a.

69d. Предположим, что проходит через точку , тогда и поляра проходит через эту точку. В этом случае по теореме § 69a проходит через , а значит такова и поляра Поэтому:

Если проходит через точку , то поляра проходит через , то есть

.

Свойства поляр, полюса которых лежат на фундаментальной кривой[править]

70. Вернемся к определению § 68: если полюс взят на фундаментальной кривой, то он занимает место одной из точек и поэтому гармонический центр первой степени совпадает с . Но если секущая является касательной к кривой в точке , то уже две из точек совпадают с ; тогда гармонический центр становится неопределенным и в качестве такого может быть взята произвольная точка секущей (§ 17). Эта прямая, в рассматриваемом случае, и является местом гармонических центров первой степени, то есть полярная прямая для точки, лежащей на фундаментальной кривой, является касательной в этой точке.

Когда полюс не лежит на фундаментальной кривой, но секущая является касательной, то две из точек совпадают в точке касания. В силу теоремы § 16 эта точка является гармоническим центром степени , то есть точкой первой поляры. [И, наоборот, если точка  — общая для кривой и ее первой поляры , то точка лежит на полярной прямой , которая является касательной к в точке .] Поэтому: первая поляра для произвольной точки пересекает фундаментальную кривую в точках, в которых эта кривая касается прямой, проведенной через полюс.

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

Кривая порядка имеет, в общем случае, класс .[7]

71. Если полюс лежит на фундаментальной кривой, то какова бы ни была секущая, проведенная через точку , одно из пересечений совпадает с самой точкой ; поэтому (§ 17) является гармоническим центром любой степени системы точек относительно полюса . Это можно выразить так: все поляры для , от первой до -ой, проходят через эту точку.

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

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

Особые точки на фундаментальной кривой[править]

72. Предположим, что кривая имеет точку кратности . Каждая прямая, проходящая через , пересекает здесь кривую в совпадающих точках, поэтому (§ 17) точка является точкой кратности для поляры .

Каждая из касательных к дугам кривой пересекает эту кривую в точках, совпадающих в 31). Рассматривая касательную как секущую (§ 68), видим, что в совпадает точек , а значит и гармонических центров любой степени относительно полюса 17). Поэтому касательных к в кратной точке касаются здесь также и дуг поляры .

Отсюда следует еще, что поляры , , … не определены, а поляра является системой прямых, а именно, только что рассмотренных касательных (§ 31).[9]

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

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

-ая точка фундаментальной кривой является точкой кратности для -ой поляры для любой точки, то есть

.

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

Проведем через полюс произвольную секущую, пересекающую заданных прямых в точках . Если  — гармонические центры степени , прямые составляют первую поляру 20). Эта первая поляра не меняется при движении полюса вдоль прямой, проходящей через .

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

73b. В частности, при имеем:

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

74. Вернемся теперь к произвольной кривой , имеющей -кратную точку . Возьмем произвольными образом полюс . Первая поляра проходит раз через точку 73); и касательных к в составляют -ую поляру 72). Аналогично, касательных в к первой поляре составляют -ую поляру , которая совпадает с полярой 69c). Поэтому (§ 73a):

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

,

если обозначить как пучок касательных в к .

74a. Отсюда следует, в силу теоремы § 73a, что первые поляры для точек прямой, проходящей через , имеют в этой точке одни и те же касательные.

74b. Кроме того, если касательных к в кратной точке совпадают с одной единственной прямой, с этой же прямой совпадают и касательная к первой поляре 73a); значит, в этом случае, точка представляет пересечений с ее первой полярой (§ 32). Число оставшихся пересечений равно ; поэтому это число выражает число касательных, которые можно провести из точки к фундаментальной кривой в предположении, что эта кривая не имеет других кратных точек (§ 70). Другими словами:

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

74c. Эти общие свойства в случае , и в случае , дают (§ 73b):

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

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

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

74d. При любом и имеем:

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

Но если дуг имеют общие касательные, то, комбинируя каждую из них со следующей, получим точек возврата, а любая другая комбинация двух дуг дает обычную двойную точку. Это дает [интуитивно ясную интерпретацию результату § 74b]: точка кратности с совпадающими касательными понижает класс кривой также, как понизили бы его обычных двойных точек и точек возврата.

Свойства полярной прямой[править]

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

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

В частности, в качестве второй линии можно взять систему касательных к в точках ; следовательно:

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

Отсюда в силу теоремы § 11 опять следует, что если секущая, проведенная произвольным образом через полюс , пересекает кривую в , а касательных в , верно :

.[13]
Рис. к § 76.

76. Пусть на плоскости задано прямых и полюс ; пусть, далее,  — полярная прямая для относительно системы прямых , рассматриваемой как место порядка ; пусть, наконец,  — точка, в которой прямая пересекает . В силу теоремы § 15 точка является также гармоническим центром первой степени относительно полюса системы точек, в которых заданных прямых пересекают секущую ; поэтому:

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

Эта теорема при дает:

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

И наоборот, если стороны трехсторонника пересекают секущую в точках и если  — гармонически сопряженные для относительно пар соответственно, то прямые пересекаются в одной единственной точке (полюсе секущей)[15].

Свойства первых поляр[править]

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

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

Отсюда:

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

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

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

77b. Если три первые поляры, полюса которых не лежат на одной прямой, проходят через одну точку, эта точка принадлежит и вообще всем первым полярам и, следовательно, является двойной для фундаментальной кривой (§ 73). В самом деле, полярная прямая для этой точки, которая должна проходит через любую точку плоскости (§ 69a), оказывается неопределенной (§ 72).

Кратные точки поляр[править]

78. Предположим, что имеет двойную точку , тогда через эту точку проходит и первая поляра для произвольной точки 73). Тогда, в силу теоремы § 69d, поляра проходит через точку . Кроме того, поскольку проходит через точку , точка лежит на поляре 69a). Поэтому (§ 77b):

Если поляра имеет двойную точку , то и наоборот поляра имеет двойную точку в ,[18] [то есть

влечет ].

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

78a. Если заданная кривая имеет точку возврата , то полярная коника распадается на две прямые, совпадающие с прямой, касающейся кривой в токе 72). Любая точка этой прямой может считаться как двойная точка полярной коники . Поэтому точка является двойной точкой первой поляры , иными словами, верно след.:

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

Все эти первые поляры имеют двойную точку в и составляют пучок (§ 77a); более того, среди них имеются две поляры, для которых является точкой возврата (§ 48). Одна из этих двух первых поляр с точкой возврата — это поляра , которая имеет в полюсе точку возврата согласно § 72.

78b. Пусть поляра имеет двойную точку ; тогда и поляра проходит два раза через точку 69, c). Применяя к этой поляре теорему § 78, принимая за фундаментальную кривую, видим, что имеет двойную точку в . Плэтому:

Если поляра имеет двойную точку , то и наоборот, имеет двойную точку в .

79. Пусть поляра имеет точку возврата ; тогда проходит два раза через 78). Обозначив как произвольную точку прямой, касающейся в точке возврата поляры , видим, что поляра имеет двойную точку в 78a); более того, согласно § 78b первая поляра имеет двойную точку в .

В частном случае это дает след.:

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

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

Точка является двойной для полярной коники , если  — точка касательной возврата. Согласно § 78, тогда и наоборот, точка является двойной для полярной коники . Итак: прямая, касающаяся первой поляры в точке возврата и рассматриваемая как система двух совпадающих прямых, является полярной коникой .

Пусть двойные прямые рассмотренной выше инволюции пересекают касательную возврата в точка и и соответствуют полюсам и . Поскольку является двойной точкой как полярной коники , так и полярной коники , то в силу § 78 коника

,

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

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

80. Рассмотрим теперь постоянную касательную к заданной кривой , проведенную в точки перегиба . Возьмем полюс на постоянной касательной и рассмотрим ее как секущую (§ 68). Поскольку три точки совпадают в точке перегиба (§ 29), эта точка является местом двух гармонических центров степени и одного гармонического центра степени 16). Иными словами, первая поляра проходит через и здесь касается , а вторая поляра только проходит через эту точку. [19]

Коль скоро через точку проходит вторая поляра для любой точки , взятой на стационарной касательной, то (§ 69a) полярная коника проходит через все точки этой касательной. Поэтому полярная коника для точки возврата распадается на две прямые, одна из которых — постоянная касательная.

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

Если точка принадлежит кривой , а полярная коника распадается на две прямые, то эта точка является или двойной точкой, или точкой перегиба для заданной кривой. В самом деле, или обе прямые проходят через точку и тогда полярная прямая остается неопределенной, то есть является двойной точкой кривой. Или же, лишь одна из этих двух прямых проходит через точку и, значит, является касательной к кривой в этой точке (§ 71); все точки этой прямой принадлежат полярам и , поэтому первая и вторая поляры для любой точки этой касательной проходят через точку , что невозможно, если эта прямая не имеет в точке касания кратности 3 с заданной кривой (§ 16).

81. Взятой на плоскости фундаментальной кривой , соответствует полярная прямая. Возникает естественный вопрос: если полюс пробегает заданную кривую порядка , какого класса будет кривая, обернутая (inviluppata) полярным прямыми? Или же, сколько полярных прямых проходят через произвольную точку , если полюса этих прямых лежат на кривой ? Если полярная прямая проходит через , то (§ 69a) ее полюс лежит на поляре , которая пересекает в точках. Эти точки — единственные точки кривой , полярные прямые для которых проходят через ; поэтому: когда полюс пробегает кривую порядка , полярные прямые огибают кривую класса .

81a. При имеем: когда полюс пробегает прямую , полярная прямая оборачивается вокруг кривой класса .

81b. Если фундаментальная кривая имеет точку кратности , то первая поляра проходит раз через точку 73); поэтому, если и прямая проходит через эту точку, то первая поляра пересекает еще в других точках; то есть класс искомой оболочки равен .

81c. Если, кроме того, ветвей имеют в общую касательную, то здесь касаются и ветвей первой поляры 74); поэтому, если  — такая касательная, то остается всего пересечений с первой полярой; поэтому класс оболочки в этом случае равен .

Полярные оболочки[править]

82. Как теория гармонических центров системы точек на прямой линии служит основой для теории полярных кривой относительно фундаментальной кривой заданного порядка, так свойства гармонических осей пучка прямых, расходящихся из одной точки (§ 19, 20), ведут к аналогичной теории полярных оболочек (inviluppi polari) относительно фундаментальной кривой заданного класса.

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

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

  1. Grassmann, Theorie der Centralen (Журнал Крелля, Bd. 24, Berlin, 1842, p. 262).
  2. Это обозначение для поляры введено при переводе и используется далее всюду без оговорок. — Перев.
  3. Теорема о гармонических центрах первой степени принадлежит Коту (Cotes); см. Maclaurin, ук. соч. p. 205.
  4. Bobillier, Théorèmes sur les polaires successives (Annales de Gergonne, t. 19, Nismes 1828-29, p. 305).
  5. Plücker, Ueber ein neues Coordinatensystem (Журнал Крелля, Bd. 5, Berlin, 1830, p. 34).
  6. В действительности, вывод этой формулы, приведенный автором в мемуаре О некоторых вопросах теории плоских кривых, art. 2, требует все же некоторых усилий. — Перев.
  7. Poncelet, Solution … suivie d’une théorie des polaires réciproques etc. (Annales de Gergonne, t. 8, Nismes 1817-18, p. 214).
  8. Это можно умотреть и из общих свойств поляр: касательная к кривой является касательной к кривой . — Перев.
  9. В авторском экземпляре отмечено, что справедливо и обратное утверждение. — Перев.
  10. Эту прямую называют полярной для точки относительно угла . — Авт.
  11. Plücker, Solution d’une question fondamentale concernant la théorie générale des courbes (Журнал Крелля, Bd. 12, Berlin 1834, p. 107).
  12. Salmon, A treatise on the higher piane curves, Dublin 1852, p. 54.
  13. Maclaurin, Ук. соч. p. 201.
  14. Cayley, Sur quelques théorèmes de la géométrie de position (Журнал Крелля, Bd. 34, Berlin 1847, p. 274).
  15. Секущая относительно кубики имеет четыре полюса: и еще одну точку, в которой как раз и пересекаются прямые . -- Перев.
  16. Доказательство распадается на два шага. Во-первых, любая прямая является полярной для некоторого полюса , а именно любой точки пересечения . Во-вторых, если прямая , то . — Перев.
  17. Bobillier, Démonstrations de quelques théorèmes sur les lignes etc. (Annales de Gergonne, t. 18, Nismes 1827-28, p. 97).
  18. Steiner, Allgemeine Eigenschaften der algebraischen Curven (Журнал Крелля, Bd. 47, Berlin 1853, p. 4).
  19. В авторском экз. здесь указано, что все поляры для точки перегиба сами имеют в этой точке точку перегиба с той же самой постоянной касательной. — Перев.