О некоторых вопросах теории плоских кривых (Кремона)/4
it:Sopra alcune questioni nella teoria delle curve piane (Cremona)/4

 Является ли сеть кривых порядка  (Introd. 92) в общем случае сетью первых поляр? Поскольку сеть определяется заданием трех ее кривых, поставленный вопрос можно сформулировать так: заданы три кривые  порядка , не принадлежащие одному и тому же пучку, возможно ли определить три точки  (не лежащие на одной прямой) и кривую порядка , относительно которой три заданные кривые являются первыми полярами для полюсов .

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

 Рассмотрим поэтому сеть в самом общем виде, заданную тремя кривыми  порядка ; пусть  — другая кривая сети, такая, что любые три из четырех кривых  не принадлежат одному пучку. Зафиксируем на плоскости четыре точки , никакие три из которых не лежат на одной прямой, и поставим их в соответствие четырем рассматриваемым кривым. Это позволяет задать соответствие между точками плоскости и кривыми сети таким образом, чтобы точкам, лежащим на одной прямой, отвечали кривые одного пучка (проективного пункуталу).

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

Для произвольной прямой , точкам, в которых ее пересекают три стороны четырехугольника , отвечают три уже определенные выше кривые, которые необходимо принадлежат одному пучку: поэтому четвертой произвольной точке прямой  отвечает одна вполне определенная кривая названного пучка, и наоборот. Наконец, кривая , отвечающая заданной точке , найдется, если рассмотреть эту точку как пересечение двух прямых (которые для простоты можно провести соответственно через две из заданных точек) и найти общую кривую для двух пучков, отвечающих названным прямым.

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

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

Итак, точке плоскости отвечает кривая  сети и прямая и наоборот, кривой сети отвечает одна вполне определенная точка плоскости, а прямой —  точек. Из всего этого получается след.:

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

 Каково место точек, лежащих на соответствующих им кривых , иными словами, (что то же, в силу предыдущей теоремы) на соответствующих им прямых ? Пусть  — произвольная секущая: ее точке  отвечает кривая , пересекающая прямую  в  точках . И наоборот, если взять на прямой  произвольным образом точку , то кривые , проходящие через , соответствуют точкам некоторой прямой , пересекающей прямую  в точке . Поэтому точке  отвечают  точек , а точке  — одна точка ; значит, секущая  содержит  точек обсуждаемого места.
Итого:

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

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

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

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

Кривая  является оболочкой прямых , отвечающих точкам кривой , а также место точек, которым отвечают кривые , касающиеся .

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

 Но и в самом общем случае почти все свойства, доказанные во Введении для системы первых поляр, остаются в силе, да и сами доказательства не требуют больших изменений, поскольку эти свойства и их доказательства по большей части зависят не от полярности связи кривых сети с фундаментальной кривой, а скорее от линейности выражения кривых сети через три из их числа. По этой причине для произвольной сети верны след. утверждения верны, которые можно доказать, используя определение сети и теоремы § 15 и 16.

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

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

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

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

 Место точек , полярные прямые для которых относительно кривых  сети проходят через одну и ту же точку , является кривой порядка , которую можно назвать гессианой или якобианой сети и которая может быть также определена как место точек касания между кривыми сети или как место двойных точек кривых сети (92, 95).

Место точки , в которой пересекаются полярные прямые для одной и той же точки , относительно кривых сети, является кривой порядка , которую можно назвать штейнерианой сети (Introd. 98a).

Следовательно, каждой точке  якобианы отвечает точка  штейнерианы и наоборот: оболочка прямых , касающихся в точке  всех кривых сети, которые можно провести через эту точку, является кривой класса  (Introd. 83b, ср. Introd. 98b).

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

Кривая  совпадает со штейнерианой, когда кривые  являются первыми полярами для соответствующих точек относительно некоторой фундаментальной кривой (Introd. 88d).

Прямая , соответствующая точке , [лежащей на якобиане], касается в точке  кривой  (Introd. 118); то есть:

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

Отсюда сразу можно вычислить не только класс кривой , но и число ее особенностей, в итоги получатся формулы (Introd. 119—121), показывающие, напр., сколько имеется пучков в заданной произвольным образом сети кривых, касающихся друг друга в двух различных точках, или сколько среди них имеют тройное касание, сколько в сети имеется кривых с двойными точками, а сколько с точками возврата.

 Заметим еще, что эти формулы предполагают, что якобиана лишена каких бы то ни было кратных точек. Но легко понять какие нужны изменения, если якобиана имеет кратные точки.

Если кривые сети имеют  общих точек с различными касательными и еще  общих точек, в которых они касаются друг друга, то якобиана будет иметь (Introd. 96d, 97d) в каждой из первых по двойной точке, а в каждой из последних по тройной точке с двумя касательными, совпадающими с общей касательной к кривым сети. Отсюда следует, что эти точки эквивалентны  пересечениям якобианы с произвольной кривой сети, поэтому (Introd. 118b) класс кривой  будет равен
 .

Предположим теперь, что, помимо общих точек кривых сети, якобиана имеет еще  двойных точек и  точек возврата. Тогда в силу Introd. 103 порядок места точек, которым отвечают кривые , касающиеся якобианы будет равен
  ;
поэтому число точек перегиба на кривой  будет равно (Introd. 118d)
  ,
откуда по формулам  можно вычислить все прочие особенности этой кривой.

Если кривые сети имеют общую точку кратности , то она сама будет точкой кратности  для якобианы. Поскольку произвольный пучок сети содержит, помимо этой точки, еще ровно  других двойных точек (8), порядок кривой  следует в этом случае уменьшить на  (Introd. 88, d), и т. д.

 Если кривая  пересекает якобиану в  точках , то кривая  будет касаться в соответствующих  точках  места  точек, которым отвечают кривые  касающиеся  (Introd. 122). И т.д.

Примечания 

4
Переводы 1864 года