Введение в геометрическую теорию плоских кривых (Кремона)/16
← Art. 15 | Формулы Плюкера. — Введение в геометрическую теорию плоских кривых, Art. 16. | Art. 17 → |
См. Оглавление. Дата создания: 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. |
99. Пусть задана произвольная кривая , [ее можно охарактеризовать след. числами, расположенными ниже парам в силу принципа двойственности]:
порядок (ordine), | класс (classe), | ||
число двойных точек (punti doppi), | число двойных касательных (tangenti doppie), | ||
число точек возврата (punti stazionari o cuspidi), | число стационарных касательных (tangenti stazionarie), то есть точек перегиба (flessi) |
Поскольку означает число касательных, которые можно провести из произвольной точки к заданной кривой, то, в силу теоремы § 74c) или теоремы § (87d), верно:
|
(1.) |
эта формула позволяет найти класс кривой, когда известны порядок кривой, число двойных точек и число точек возврата.
Из принципа дуальности следует, что равенство той же формы должно быть справедливо для порядка кривой, когда известны ее класс, число двойных касательных и число стационарных касательных (§ 82), т. е.
|
(2.) |
100. Поскольку каждая точка кривой , для которой полярная коника оставлена из двух прямых, является или точкой перегиба или кратной точкой (§ 80), гессиана, представляющая собой геометрическое место точек, полярные коники для которых распадаются на систему прямых (§ 90a), пересекает заданную кривую именно в ее точках перегиба и кратных точках. Коль скоро гессиана имеет порядок , то, если заданная кривая не имеет кратных точек, то число точек ее перегиба равно .[1]
Предположим теперь, что кривая имеет двойную точку ; в этом случае все первые поляры проходят через . Тогда гессиана сети, образованной первыми полярами, которая также является гесианой (§ 90a; 92), проходит два раза через и здесь имеет две касательные, общие с касательными к (§96d), то есть имеет касательные, общие с заданной кривой (§ 72). Поэтому точка эквивалентна шести пересечениям гессианы с (§ 32), и каждая двойная заставляет кривую терять шесть точек перегиба.
Вообразим теперь, что кривая имеет точку возврата , и пусть — касательная возврата. В этом случае первые поляры относительно проходят через и здесь касаются прямой (§ 74c) [и, кроме того, поляра имеет точку возврата с прямой в качестве касательной возврата (§ 72)] [2]. Поэтому гессиана имеет три дуги, проходящие через , две из которых имеют касательную (§ 97d). Поэтому точка эквивалентна шести пересечений гессианы с , то есть каждая точка возврата заставляет кривую терять восемь точек перегиба. .[3]
Таким образом, если кривая порядка имеет двойных точек и точек возврата, то число точек перегиба, то есть стационарных касательных, дается формулой :
|
(3.) |
В силу принципа двойственности, если кривая класса имеет двойных касательных стационарных касательных, то она имеет
|
(4.) |
точек возврата.
Из четырех найденных соотношений лишь три независимы; в самом деле, умножая (1) на 3 и вычитая отсюда (3), получим
|
(5.) |
это же уравнение можно получить тем же путем из (2) и (4).
Поэтому среди шести чисел имеется только три независимых, то есть по заданным трем другие три можно найти. Напр., если заданы , то значение получается путем исключения и из (1), (2) и (3):
|
(6.) |
Очень удобная формула получается, если вычесть (2) из (1) и затем исключить , используя соотношение (5):
|
(7.) |
Эти важные соотношения между порядком, классом и плоской кривой были открыты Г. Плюкером.[4]
101. Потребовав, чтобы кривая имеет двойную точку, не задав саму эту точку, наложим на кривую одно условие. В самом деле, для этого нужно, чтобы три первые поляры (не принадлежащие одному пучку) имели общую точку. Однако, потребовав, чтобы кривая имела точку возврата, не задав саму эту точку, то есть чтобы три первые поляры (не принадлежащие одному пучку) касались в некоторой точке, наложим на кривую два условия. Отсюда следует, что кривая порядка , которая должна иметь двойных точек и точек возврата, вполне определяется (§ 34) заданием
условий. И, в силу принципа двойственности,
условий вполне определяют кривую класса , которая должна иметь двойных касательных и стационарных касательных.
Таким образом, если числа приндлежат одной и той же кривой, то должно быть:
|
(8.) |
эту формулу можно вывести и прямо из (1), (2) …[5]. Однако, то обстоятельство, что она может быть установлена a priori, позволяет вывести из любых двух формул 1), 2), … все остальные.[6]
102. В дальнейшем мы будем изучать свойства кривой заданного порядка , исходя из того предположения, что эта кривая выбрана произвольным образом среди кривых этого порядка, то есть, если не оговорено противоположное, эта кривая имеет класс и, следовательно, нет никаких двойных точек, но зато имеются точек перегиба и двойных касательных.
Первые поляры относительно кривой образуют сеть порядка , гессиана которой пересекает в точках ее перегиба. Штейнериана сети (§ 98a), которая является также и штейнерианой кривой (§ 88, d), имеет порядок .
Примечания
[править]- ↑ Plücker, System der analytischen Geometrie, Berlin 1835, p. 264. — Hesse, Ueber die Wendepuncte der Curven dritter Ordnung (Журнал Крелля, Bd. 28, Berlin, 1844, p. 104).
- ↑ Это дополнение было сделано в авторском экз. в целях исправления ошибки, допущенной в § 92b. — Перев.
- ↑ Cayley, Recherches sur l'élimination et sur la théorie des courbes (Журнал Крелля, Bd. 34, Berlin, 1847, p. 43).
- ↑ Plücker, Theorie der algeb. Curven, p. 211.
- ↑ В авт. экз. отмечено, что (8) является следствием (5), (7). Из нее же выводится еще след.:
- .
- ↑ Salmon, Higher piane curves, p. 92.