Классификации кубик Ньютона

Ньютон сделал по крайней мере три попытки исследовать кубики и получил две классификации кубик. Первая попытка была сделана в самом конце 1667 либо в начале 1668 года. Она завершилась написанием работы.

Первая классификация кубик была опубликована Ньютоном в 1704 году в работе. Он описал 72 кубики. Позже Дж. Стирлинг добавил 4 кубики, затем Ф. Николь добавил ещё 2 кубики. Рисунки добавленных кубик можно найти в статье. Эта классификация Ньютона получила широкую известность. Подробное обсуждение классификации можно найти в обзорной статье.

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

• x y 2 + e y = a x 3 + b x 2 + c x + d ; {displaystyle xy^{2}+ey=ax^{3}+bx^{2}+cx+d;}
• x y = a x 3 + b x 2 + c x + d ; {displaystyle xy=ax^{3}+bx^{2}+cx+d;}
• y 2 = a x 3 + b x 2 + c x + d ; {displaystyle y^{2}=ax^{3}+bx^{2}+cx+d;}
• y = a x 3 + b x 2 + c x + d . {displaystyle y=ax^{3}+bx^{2}+cx+d.}

Ньютон исследовал эти уравнения, изучая условия, накладываемые на их коэффициенты. В результате кубики были подразделены на 14 родов и на 78 типов. Он различал кубики с разным расположением компонент кривой относительно её асимптот (если кривая их имеет). Ньютон не определил классы эквивалентности кубик, и в этом смысле его классификация не является строгой. Если продолжить идею Ньютона и классифицировать кубики вместе с её асимптотами, определив класс эквивалентности по правилу: две кубики эквивалентны, если их объединения с их асимптотами изотопны, и при изотопии сохраняется расположение точек перегиба кубики, то получится полная классификация, содержащая 99 типов (недостающие 21 типов описаны в приложении обзорной статьи).

Вторая классификация была получена Ньютоном в его неопубликованной рукописи. Эта классификация является классификацией сечений кубических конусов. Она содержит 59 сечений.

Ньютон начинает с пяти стандартных кубик:

кубика с точкой возврата — y 2 = x 3 {displaystyle y^{2}=x^{3}} ;

кубика с петлёй — y 2 = x 2 ( x + 1 ) {displaystyle y^{2}=x^{2}(x+1)} ;

кубика с изолированной точкой — y 2 = x 2 ( x − 1 ) {displaystyle y^{2}=x^{2}(x-1)} ;

простая кубика — y 2 = x [ ( x − 1 ) 2 + 1 ] {displaystyle y^{2}=x[(x-1)^{2}+1]} ;

кубика с овалом — y 2 = x ( x + 1 ) ( x + 2 ) {displaystyle y^{2}=x(x+1)(x+2)} .

Для каждой из этих пяти кубик он описывает её взаимные расположения с прямыми линиями, которые он называет горизонталями, см. рис. A.

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

Далее для каждой выбранной горизонтали он рассматривает вспомогательную плоскость, проходящую через эту горизонталь и вершину конуса. Наконец, он проводит произвольную плоскость, параллельную вспомогательной плоскости, которая пересекает конус вдоль искомого сечения. При проектировании этого сечения из вершины конуса горизонталь отображается на бесконечно удалённую прямую плоскости сечения. Это означает, что выбор горизонтали эквивалентен выбору бесконечно удалённой прямой. На рис. A сохранена ньютонова нумерация горизонталей. Заметим, что, во-первых, на всех рисунках A.1 — A.5 горизонталь с номером 1 является бесконечно удалённой прямой для нарисованной аффинной плоскости, во-вторых, на рис. A.3, A.4 и A.5 горизонтали с номерами соответственно 7, 5 и 9 пересекают кубику в трёх точках перегиба (одна из них — бесконечно удалённая).

В результате этих построений Ньютон получает:

9 сечений из кубики с точкой возврата; 14 сечений из кубики с петлёй, 12 сечений из кубики с изолированной точкой, 9 сечений из простой кубики, 15 сечений из кубики с овалом.

Всего 59 сечений.

• Рис. 1: Ньютоновы сечения, полученные из кубики с точкой возврата

• Рис. 2: Ньютоновы сечения, полученные из кубики с петлёй

• Рис. 3: Ньютоновы сечения, полученные из кубики с изолированной точкой

• Рис. 4: Ньютоновы сечения, полученные из простой кубики

• Рис. 5: Ньютоновы сечения, полученные из кубики с овалом

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

Пусть R 2 = R P 2 ∖ L {displaystyle mathbb {R} ^{2}=mathbb {R} P^{2}setminus L} — аффинная карта проективной плоскости, для которой прямая L {displaystyle L} выбрана в качестве бесконечно удалённой прямой, пусть C 0 , C 1 ⊂ R 2 {displaystyle C_{0},C_{1}subset mathbb {R} ^{2}} — аффинные кубики. Говорят, что кубики C 0 , C 1 {displaystyle C_{0},C_{1}} реализуют одно и тот же кубическое сечение, если существует изотопия троек F t : ( R P 2 , C 0 ∪ L , L ) → ( R P 2 , C 1 ∪ L , L ) {displaystyle F_{t}:(mathbb {R} P^{2},C_{0}cup L,L) o (mathbb {R} P^{2},C_{1}cup L,L)} , такая что

для любого t ∈ [ 0 , 1 ] {displaystyle tin [0,1]} образ сокращения F t | C 0 ∪ L {displaystyle F_{t}{ig |}_{C_{0}cup L}} является объединением нераспадающейся кубики и прямой;

если x ∈ C 0 {displaystyle xin C_{0}} является либо регулярной точкой кубики C 0 {displaystyle C_{0}} , либо её точкой перегиба, либо её особой точкой, то каждая точка пути F t | x {displaystyle F_{t}{ig |}_{x}} является соответственно такой же точкой кубики C t {displaystyle C_{t}} .

В рукописи Ньютон описал эти классы словесно. Рисунки кубических сечений были, по-видимому, впервые опубликованы в обзорной статье. Они приведены здесь в новой редакции.

Используя ньютонову классификацию кубических сечений, А. Б. Корчагин получил аффинную классификацию кубик.