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

Материал из testwiki
Перейти к навигации Перейти к поиску

Шаблон:Введение в геометрическую теорию плоских кривых (Кремона)Шаблон:КачествоТекста it:Introduzione ad una teoria geometrica delle curve piane (Cremona)/Formole di Plücker

Шаблон:§ Пусть задана произвольная кривая C, [ее можно охарактеризовать след. числами, расположенными ниже парам в силу принципа двойственности]:

n порядок (ordine), m класс (classe),
δ число двойных точек (punti doppi), τ число двойных касательных (tangenti doppie),
χ число точек возврата (punti stazionari o cuspidi), ι число стационарных касательных (tangenti stazionarie), то есть точек перегиба (flessi)

Поскольку m означает число касательных, которые можно провести из произвольной точки к заданной кривой, то, в силу теоремы § 74c) или теоремы § (87d), верно: Шаблон:Eq эта формула позволяет найти класс кривой, когда известны порядок кривой, число двойных точек и число точек возврата.

Из принципа дуальности следует, что равенство той же формы должно быть справедливо для порядка кривой, когда известны ее класс, число двойных касательных и число стационарных касательных (§ 82), т. е. Шаблон:Eq

Шаблон:§ Поскольку каждая точка кривой C, для которой полярная коника оставлена из двух прямых, является или точкой перегиба или кратной точкой (§ 80), гессиана, представляющая собой геометрическое место точек, полярные коники для которых распадаются на систему прямых (§ 90a), пересекает заданную кривую именно в ее точках перегиба и кратных точках. Коль скоро гессиана имеет порядок 3(n2), то, если заданная кривая не имеет кратных точек, то число точек ее перегиба равно 3n(n2).[1]

Предположим теперь, что кривая C имеет двойную точку d; в этом случае все первые поляры проходят через d. Тогда гессиана сети, образованной первыми полярами, которая также является гесианой C90a; 92), проходит два раза через d и здесь имеет две касательные, общие с касательными к dC96d), то есть имеет касательные, общие с заданной кривой (§ 72). Поэтому точка d эквивалентна шести пересечениям гессианы с C32), и каждая двойная заставляет кривую терять шесть точек перегиба.

Вообразим теперь, что кривая C имеет точку возврата d, и пусть T — касательная возврата. В этом случае первые поляры относительно C проходят через d и здесь касаются прямой T74c) [и, кроме того, поляра dC имеет точку возврата с прямой T в качестве касательной возврата (§ 72)] [2]. Поэтому гессиана имеет три дуги, проходящие через d, две из которых имеют касательную T97d). Поэтому точка d эквивалентна шести пересечений гессианы с C, то есть каждая точка возврата заставляет кривую терять восемь точек перегиба. .[3]

Таким образом, если кривая C порядка n имеет δ двойных точек и χ точек возврата, то число точек перегиба, то есть стационарных касательных, дается формулой : Шаблон:Eq В силу принципа двойственности, если кривая класса m имеет τ двойных касательных ι стационарных касательных, то она имеет Шаблон:Eq точек возврата.

Из четырех найденных соотношений лишь три независимы; в самом деле, умножая (1) на 3 и вычитая отсюда (3), получим Шаблон:Eq это же уравнение можно получить тем же путем из (2) и (4).

Поэтому среди шести чисел n,m,δ,χ,τ,ι имеется только три независимых, то есть по заданным трем другие три можно найти. Напр., если заданы n,δ,χ, то значение τ получается путем исключения m и ι из (1), (2) и (3): Шаблон:Eq Очень удобная формула получается, если вычесть (2) из (1) и затем исключить χι, используя соотношение (5): Шаблон:Eq Эти важные соотношения между порядком, классом и плоской кривой были открыты Г. Шаблон:Персона.[4]

Шаблон:§ Потребовав, чтобы кривая имеет двойную точку, не задав саму эту точку, наложим на кривую одно условие. В самом деле, для этого нужно, чтобы три первые поляры (не принадлежащие одному пучку) имели общую точку. Однако, потребовав, чтобы кривая имела точку возврата, не задав саму эту точку, то есть чтобы три первые поляры (не принадлежащие одному пучку) касались в некоторой точке, наложим на кривую два условия. Отсюда следует, что кривая порядка n, которая должна иметь δ двойных точек и χ точек возврата, вполне определяется (§ 34) заданием

n(n+3)2δ2χ

условий. И, в силу принципа двойственности,

m(m+3)2τ2ι

условий вполне определяют кривую класса m, которая должна иметь τ двойных касательных и ι стационарных касательных.

Таким образом, если числа n,m,δ,χ,τ,ι приндлежат одной и той же кривой, то должно быть: Шаблон:Eq эту формулу можно вывести и прямо из (1), (2) …[5]. Однако, то обстоятельство, что она может быть установлена a priori, позволяет вывести из любых двух формул 1), 2), … все остальные.[6]

Шаблон:§ В дальнейшем мы будем изучать свойства кривой C заданного порядка n, исходя из того предположения, что эта кривая выбрана произвольным образом среди кривых этого порядка, то есть, если не оговорено противоположное, эта кривая имеет класс n(n1) и, следовательно, нет никаких двойных точек, но зато имеются 3n(n2) точек перегиба и 12n(n2)(n29) двойных касательных.

Первые поляры относительно кривой C образуют сеть порядка n1, гессиана которой пересекает C в 3n(n2) точках ее перегиба. Штейнериана сети (§ 98a), которая является также и штейнерианой кривой C88, d), имеет порядок 3(n2)2.

Примечания

Шаблон:Примечания

  1. Шаблон:Персона, System der analytischen Geometrie, Berlin 1835, p. 264. — Шаблон:Персона, Ueber die Wendepuncte der Curven dritter Ordnung (Журнал Шаблон:Персона, Bd. 28, Berlin, 1844, p. 104).
  2. Это дополнение было сделано в авторском экз. в целях исправления ошибки, допущенной в § 92b. — Перев.
  3. Шаблон:Персона, Recherches sur l'élimination et sur la théorie des courbes (Журнал Шаблон:Персона, Bd. 34, Berlin, 1847, p. 43).
  4. Шаблон:Персона, Theorie der algeb. Curven, p. 211.
  5. В авт. экз. отмечено, что (8) является следствием (5), (7). Из нее же выводится еще след.:
    (n1)(n2)2(δ+χ)=(m1)(m2)2(τ+ι)
    — Перев.
  6. Шаблон:Персона, Higher piane curves, p. 92.