Введение в геометрическую теорию плоских кривых (Кремона)/17
← Art. 16 | Кривые, порождаемые полярами при движении полюса по заданной кривой. — Введение в геометрическую теорию плоских кривых, Art. 17. | 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. |
103. Если точка, рассматриваемая как полюс поляры относительно фундаментальной кривой , описывает некоторую другую заданную кривую порядка , то полярная прямая огибает некоторую кривую , которая, как уже было найдено в § 81, должна иметь класс . Касательные, которые можно провести из произвольной точки к , являются полярными прямыми для точек, в которых кривая пересекает поляру .
103a. Если является такой точкой, первая поляра для которой касается кривой , то две полярные прямые, проходящие через , совпадают, то есть является точкой кривой (30)[1]; поэтому эта кривая является геометрическим местом полюсов, первые поляры для которых касаются :
- .
Это свойство дает нам возможность найти порядок , то есть число точек, в которых кривая пересекает произвольную прямую . Именно, первые поляры для точек прямой образуют пучок (§ 77); поэтому, предполагая, что имеет двойных точек и точек возврата, имеем точек на прямой , первые поляры для которых являются касательными к (87c). Поэтому кривая имеет порядок , [то есть , где — класс кривой ]. [2]
Очевидно, что стационарные касательные к кривой являются полярными прямыми для точек возврата (punti stazionari) кривой ; отсюда следует, что имеет точек перегиба. [3]
Зная порядок и число точек перегиба кривой , по формулам Плюкера (§ 99, 100) можно найти все остальное. Именно, кривая имеет
двойных точек,
точек возврата и
двойных касательных.
103b. Отметим еще, что любая двойная точка кривой является полюсом для некоторой первой поляры, касающейся в двух различных точках [4], любая точка возврата кривой является полюсом некоторой первой поляры, пересекающей кривую [в некоторой точке] с кратностью три; и любая двойная касательная кривой является прямой, имеющей или два различных полюса на кривой , или два полюса, совпадающих в двойной точке этой кривой.
Поскольку свойства системы первых поляр (относительно ) распространяются на произвольные сети кривых [5], то сказанное выше можно сформулировать так:
1.° Число кривых сети кривых порядка , пересекающих с кратностью, равной двум заданную линию порядка , имеющую двойных точек, точек возврата, равно
- .
2.° Число кривых этой же сети, пересекающих указанную кривую порядка с кратностью, равной трем, равно
- .[6]
103c. Каждая точка кривой является полюсом первой поляры, касающейся ; поэтому, рассматривая пересечения кривых и , имеем:
На кривой порядка , имеющей двойных точек и точек возврата, имеется точек, в которых первые поляры, взятые относительно фундаментальной кривой , касаются самой кривой .
При отсюда получается след.:
На произвольной прямой имеется точек, в которых первые поляры, взятые относительно фундаментально кривой , касаются самой этой прямой.
Если прямая касается , то в точке касания сливаются два из этих полюсов. Поэтому на касательно к существует точек, каждая из которых являются полюсом первой поляры, касающейся в некоторой другой точке указанной прямой.
103d. Если же кривая совпадает с кривой , то линия состоит из самой кривой и ее стационарных касательных, поскольку каждая точка этой кривой является полюсом первой поляры, касающейся фундаментальной кривой (§ 71, 80).
В таком случае, двойными точками являются пересечения стационарных касательных между собой и с кривой ; точками возврата кривой являются точки перегиба кривой , которые считаются два раза; двойными касательными кривой являются стационарные и двойные касательные кривой .
Двойными же точками кривой являются (§ b) полюсами того же числа первых поляр, дважды касающихся фундаментальной кривой. Действительно, если точка является общей точкой двух стационарных касательных, то первая поляра касается в двух соответствующих им точках перегиба. (80); а если — это точка пересечения кривой с одной из ее стационарных касательных, то первая касается в (71) и в точке касания этой касательной с кривой (80). [Согласно § 1-2 на кривой имеется точек перегиба, а ], следовательно, имеется первых поляр, которые дважды касаются кривой , полюса которых лежат на самой кривой , и еще других первых поляр, которые тоже касаются кривой дважды, но полюса которых лежат вне кривой .
103e. Кривая , которую огибают поляры -ые поляры для точек кривой , называется -ой полярой для кривой .
Положим . Тогда -ая поляра для прямой , то есть огибающая полярных прямых для точек прямой , иными словами, место полюсов первых поляр, касающихся , является кривой класса и порядка с точками возврата, с двойными точками и с двойными касательными, то есть:
Имеется первых поляр, для которых заданная прямая является стационарной касательной [7], первых поляр, для которых прямая является двойной касательной [8], и прямых, имеющих по два полюса на прямой [9].
103f. Если -ая поляра для прямой проходит через заданную точку , то эта точка является полюсом некоторой первой поляры , касающейся (§ 103e); поэтому, если -ая поляра вращается вокруг фиксированной точки , то прямая огибает первую поляру . Это позволяет дать два определения первой поляры для точки:
Первая поляра для точки — это место полюсов -ых поляр, пересекающихся в точке , и в тоже время, — это огибающая прямых, -ые поляры для которых проходят через точку .
104. Предположим, что полюс пробегает заданную кривую порядка , имеющую двойных точек и точек возврата, какой индекс имеет ряд (§ 34), образованный при этом полярами , и что за кривая будет его оболочкой (огибающей)?
104a. Если поляра проходит через точку , то ее полюс лежит на поляре (§ 69a), то есть он является одним из пересечений поляры с кривой . Поэтому через проходят -ый поляр, полюса которых лежат на , то есть -ые поляры для точек кривой образуют ряд индекса .
104b. Если поляра касается в некоторой точке кривой , то в точке имеются две -ые совпадающие поляры, то есть точка является точкой линии, которую огибают кривые рассматриваемого ряда. Поэтому:
Огибающая -ый поляр, полюса которых лежат на кривой , является также местом полюсов -ый поляр, касающихся кривой .
104c. Каков же порядок этого места? Иными словами, сколько точек имеется на произвольной прямой , -ые поляры для которых касаются кривой ? -ые поляры для точек прямой составляют ряд порядка и индекса (§ 104a); поэтому (§ 87c) среди них имеется
поляр, касающихся кривой . Отсюда имеем след.:
Огибающая -ых поляр, полюса которых лежат на кривой порядка , имеющий двойных точек и точек возврата, является линией порядка
- .
Эта линия называется -ой полярой для заданной кривой относительно фундаментальной кривой .[10]
104d. Положим и обозначим как класс кривой , то есть положим
(§ 99), тогда:
Первая поляра для кривой класса , то есть место полюсов прямых, касающихся этой кривой, является линией порядка .
Эта линия проходит через те точки, где фундаментальная кривая касается касательных, общих для нее с кривой класса .
При [кривая становится точкой и] мы возвращаемся к определению первой поляры для точки (§ 103f).
104e. Положим , тогда из предыдущего получается, что -ая поляра для прямой является линией порядка .
Отсюда следует, что первая поляра для прямой имеет порядок, равный нулю; что неудивительно, поскольку она составлена из полюсов заданной прямой (77).
При мы получаем отсюда утверждение, которое уже было доказано выше в (§ 103a).
104f. Порядок -ой поляры для прямой можно вычислить и прямо следующим образом. Рассмотрим эту линию как место точек, общих двум кривым, следующим друг за другом в ряде индекса и порядка , образованного -ыми полярыми, полюса которых лежат на прямой
Если — произвольная точка прямой , -ым полярам, проходящим через , соответствуют полюса на поляре , которая пересекает прямую в точках . И наоборот, если мы имеем произвольную точку , то поляра пересекает прямую в точках ; таким образом, соотнося точки с одним и тем же началом , получаем между отрезками уравнение степени по и степени по . Точка принадлежала бы искомой линии, если бы совпали две из -ых поляр, проходящие через эту точку. Но условие, по которому названное уравнение дает два равных значения для , имеет степень относительно коэффициентов этого уравнения [§ 22] и, следовательно, имеет степень относительно . Поэтому имеется точек, общих для искомого места и прямой ; иными словами, огибающая -ых поляр, полюса которых лежат на заданной прямой, является линией порядка .
Подобные соображения можно применять во многих случаях при разыскании порядка линии, которую огибают кривые заданного ряда. Напр., если ряд имеет индекс и порядок и если можно указать (assegnare) пункутал, проективный этому ряду (то есть если между кривыми ряда и точками некоторой прямой можно установить взаимно-однозначное соответствие), то огибающая имеет порядок . Отсюда при получается след.:
Если кривая класса такова, что можно указать пункутал, проективный ряду ее касательных, то порядок этой кривой может быть только равным . [11]
104g. Если -ая поляра для прямой проходит через заданную точку , то поляра касается этой прямой (§ b). Поэтому:
Поляра , иными словами, место точек, для которых -ые поляры проходят через точку , является также огибающей прямых, -ай поляры для которых содержат точку .
Таким образом поляры для точек и для линий [§ 104b] определены двумя способами, и как места, и как оболочки (inviluppi) и, вероятно, в этой двойственности и состоит секрет плодовитости теории поляр.
104h. Пусть -ая поляра для кривой касается другой кривой в точке . Тогда в точке эта поляра касается и поляры для [некоторой] точки кривой ; и наоборот, по § 104b в точке кривая касается поляры . Но касается в точке , поэтому [точка принадлежит -ой поляре для ] и здесь эта поляра касается ; иными словами:
Если -ая поляра для кривой касается другой кривой , то и наоборот -ая поляра для касается .
104k. Пусть
- .
Если прямая движется, огибая произвольную кривую , оставляя постоянной точку , тогда точка заметает первую поряру для относительно (§ d). Если же, наоборот, остается постоянной точка , когда прямая огибает кривую , то точка заметает первую поляру для относительно . Поэтому:
Если первая поляра для кривой относительно проходит через некоторую точку , то первая поляра для относительно проходит через точку ; и наоборот.
105.. Пусть — -ая поляра для кривой кривой порядка , а — первая поляра для . Согласно § 81 класс кривой равен , и поэтому, согласно § 104d, порядок равен . Поскольку — это не только огибающая полярных прямых для точек кривой , но так же и место полюсов первых поляр, касающихся кривой (§ 103a), то [линия — это огибающая первых поляр , касающихся и значит,] эта линия содержит как составную часть (comprende in se) заданную кривую . Следовательно, когда точка пробегает кривую , [прямые огибают , и, поскольку полюса прямых, касающихся , описывают , то] другие полюса полярной прямой описывают линию порядка .
К этому результату можно придти иначе, разрешив след. проблему: когда точка пробегает данную линию, каково место других полюсов полярных прямых ?
Предположим для начала, что заданная линия — это прямая , и выясним в скольких точках она пересекает искомое место. В силу § 103e имеется прямых, каждая из которых имеет два полюса на прямой , поэтому полюсов таких прямых доставляют то же число точек искомого места. Кроме того, вспомним, что согласно § 90b) в каждой точке гессианы совпадают два полюса одной и той же прямой, поэтому пересечений гессианы с прямой являются тоже точками искомого места. Поэтому это место имеет точек, общих с прямой , то есть, оно имеет порядок .
Если же дана линия порядка , то возьмем произвольную прямую и подсчитаем, сколько раз случится этой прямой иметь полюс на , а другой полюс на . Сопряженные полюса прямой должны, как было уже доказано, лежать на линии порядка , которая пересекает кривую в точках. Поэтому имеется точек на , каждая из которых имеет сопряженный полюс на прямой ; отсюда:
Если полюс описывает кривую порядка , то остальные сопряженные полюса описывают линию порядка . [12]
106. Вообразим полюс , пробегающий заданную кривую порядка ; каково место пересечений поляр и ? Возьмем произвольную прямую , если через точку этой прямой проходит , то ее полюс лежит на полярной прямой ; эта прямая пересекает кривую в точках, вторые поляры для которых пересекают в точках . Наоборот, если взять произвольным образом на точку , через которую должна проходить вторая поляра , то ее полюс лежит на полярной конике , которая пересекает в точках; первые поляры для этих точек задают на точек . Таким образом мы видим, что каждой точке отвечает точек , а каждой точке отвечает точек ; поэтому согласно § 83 на прямой имеется точек , каждая из которых совпадает с одной из соответствующих ей точек ; то есть искомое место является кривой порядка . Очевидно, что эта кривая касается в точках, общих кривым и , поскольку в каждой из этих точек первая и вторая поляры касаются кривой и между собой (§ 71).
Кроме того, поскольку через точку перегиба фундаментальной кривой проходят и первая, и вторая поляры (§ 80), кривая должна проходить через точку перегиба кривой столько раз, сколько имеется общих точек у кривой и стационарной касательной. Поэтому кривая проходит раз через каждую из точек перегиба кривой .[13]
106a. Если совпадет с , то линия содержит, очевидно, два раза фундаментальную кривую; за вычетом этой кривой остается еще кривая кривая порядка , для которой точки перегиба кривой имеют кратность . Следовательно, если полюс пробегает фундаментальную кривую точки, в которых пересекаются первая и вторая поляры, описывают линию порядка , имеющую дуг (branche), проходящих через каждую из точек перегиба кривой , одна из которых касается здесь с с кратностью три. Последнее становится очевидным, если заметить, что каждая стационарная касательная фундаментальной кривой имеет с кривой общих точек, то есть точку перегиба и еще простых пересечений. [14]
106b. Аналогично доказывается, что если полюс пробегает кривую , то пересечения -ой и -ой поляр описывает линию порядка , которая касается фундаментальной кривой в точках, общих для этой кривой и кривой . Следует еще заметить, что число не меняется при замене чисел и на и .
Примечания
[править]- ↑ Если поляра пересекает в точке и в следующей за ней точке , то — точка пересечения полярной прямой со следующей за ней прямой , то есть точка огибающей , и наоборот. — Перев.
- ↑ В авторском экз. указано еще, что, следовательно, число кривых сети порядка , касающихся двух кривых порядков и классов соответственно, равно
- .
- ↑ Здесь имеется очень интересный пример работы с бесконечно близкими точками: две следующие друг за другом полярные прямые совпадают, поэтому совпадают и две точки в которых они пересекают , то есть при пробегании в этой точке нужно остановиться. — Перев.
- ↑ Если — обычная двойная точка , то обе различные касательные в этой точке являются полярными прямыми и , полюса которых лежат на . Если следует за на кривой , то должна пересекать в , поэтому точки лежат на , то есть поляра касается в точке . Аналогично доказывается, что эти кривые касаются и в точке . — Перев.
- ↑ Это утверждение излишне общо, о его оправдание см. § 17 мемуара «О некоторых вопросах теории плоских кривых». — Перев.
- ↑ Bischoff, Ук. соч. p. 174—176.
- ↑ Если — точка возврата на , то на друг за другом следуют такие точки , что , то есть эти точки принадлежат поляре . — Перев.
- ↑ Если — двойная точка на , то на имеются две различные точки и , за которыми следуют такие точки , что все четыре поляры пересекаются в точке , то есть точки принадлежат поляре . — Перев.
- ↑ Если — двойная касательная к , то на имеются две различные точки и , такие, что . — Перев.
- ↑ Steiner, Ук. соч. p. 2-3.
- ↑ Заметим, что существование соответствия между рядом касательных и прямой не эквивалентно взаимно однозначному соответствию самой кривой и прямой. Напр., касательные к кривой 3-го класса с одной двойной касательной можно сопоставить с их точками пересечения с двойной касательной. Это соответствие будет взаимно однозначным, только двойной касательной будут отвечать две разные точки (точки ее касания с кривой 3-го порядка). По формулам Плюкера порядок этой кривой равен , как и утверждает доказанная теорема. Но касательные к кривой 3-го порядка с одной двойной точкой тоже можно сопоставить с точками прямой: произвольная касательная имеет одну точку касания, которую можно спроектировать из двойной точки на фиксированную прямую. Это соответствие тоже будет взаимно однозначным в том смысле, что произвольной точке прямой будет отвечать одна касательная и наоборот. Тем не менее такие соответствия не подпадают под понятие проективного. Объяснить это можно следующим образом. Класс этой кривой равен и из видно, что эта кривая должна иметь точки перегиба. Каждая такая точка проектируется в одну точку, а следовательно, касательная, повторяющаяся в ряде касательных дважды, соответствует одной точке, которая не повторяется дважды. — Перев.
- ↑ В авторском экз. добавлено след. Точки, общие двум кривым порядка и , являются пересечениями первой кривой с гессианой для и точками той же первой кривой, являющимися полюсами двойных касательных кривой из § 103. — Перев.
- ↑ Clebsch, Ueber eine Classe von Eliminationsproblemen und ueber einige Punkte der Theorie der Polaren (Journal für die reine und angewandte Mathematik, Bd. 58, Berlin 1861, p. 279).
- ↑ Первая и вторая поляры для любой точки, лежащей на стационарной касательной, пересекаются в точке перегиба; из этих полюсов на фундаментальной кривой лежит сама точка перегиба и еще другие точки . Когда полюс пробегает дугу , проходящую через точку перегиба, друг за другом следуют три точки, лежащие на стационарной касательной, поэтому им отвечают три поляры, проходящие через точки, бесконечно близкие к точке перегиба и лежащие на одной прямой. Эти точки составляют дугу кривой , имеющую касание кратности 3 с . Когда полюс пробегает дугу , проходящую через одну из указанных , то уже следующая за ней точка не лежит на стационарной касательной и поэтому соответствующая точка пересечения поляр не лежит на стационарной прямой, доставляя дугу , которая не касается кривой . Здесь, конечно, возможно вырождение, но оно будет лишь тогда, когда в точке перегиба будет какая-то еще особенность. — Перев.