Відкрити головне меню
Набір кубічних кривих

У математиці, плоска кубічна крива — це алгебраїчна крива С, задана кубічним рівнянням

F(x, y, z) = 0

в однорідних координатах x:y:z проективної площини. У випадку неоднорідних координат афінного простору, у рівнянні беруть z = 1. Тут F є ненульовою лінійною комбінацією одночленів третього ступеня

x3, y3, z3, x2y, x2z, y2x, y2z, z2x, z2y, xyz.

Таких одночленів десять, тому кубічні криві утворюють проективний простір розмірності 9, відносно будь-якого даного поля К. Кожна точка P повинна належить кривій С, тобто задовольняти рівняння F. Таким чином, ми можемо знайти кубічну криву, яка проходить через будь-які дев'ять заданих точок. Вона може бути виродженою, і може бути не єдиною, але якщо точки знаходяться в загальному положенні, то крива буде унікальною і невиродженою. Це так само, як і те, що дві точки визначають пряму або п'ять точок визначають коніку[en]. Якщо дві криві проходять через задану множину точок, то вони задають сімейство[en] кубічних кривих, а точки мають додаткові властивості; див. теорему Келі-Бакараха[en].

Сингулярна кубічна крива y2 = x2 ⋅ (x + 1). Параметризація: t ↦ (t2 − 1, t ⋅ (t2 − 1)).

Кубічна крива може мати сингулярну точку, в цьому випадку вона має параметризацію для проективної прямої. У випадку несингулярний кубічної кривої, у неї існує дев'ять точок перегину, над алгебраїчно замкнутим полем, такими як комплексні числа. Це можна показати, якщо взяти однорідну версію матриці Гессе, яка визначає іншу кубічну криву, і перетнути її з C; точки перетину потім підраховують по теоремі Безу. Проте, тільки три з цих точок можуть бути дійсними, тому що інші не можуть розглядатися в дійсній проективній площині. Дев'ять точок перегину несингулярної кубічної кривої мають властивість, що кожна лінія, що проходить через дві з них містить рівно три точки перегину.

Дійсні точки кубічних кривих вивчалися Ісааком Ньютоном. Дійсні точки несингулярної проективної кривої потрапляють до одного або двох «овалів». Один з цих овалів перетинає кожну дійсну проективну пряму, і, таким чином, нічим не обмежений у випадку, коли крива розглядається в евклідової площині. Він існує у вигляді одної або трьох нескінченних гілок, що містять три дійсних точок перегину. Інший овал, якщо він існує, не містить жодної дійсної точку перегину і може бути або у вигляді овалу, або у вигляді двох нескінченних гілок. Як і для конічних перетинів, пряма перетинає цей овал не більше ніж у двох точках.

Несингулярна кубічна крива визначає еліптичну криву, над будь-яким полем К, для якого вона має визначену точку. Еліптичні криві тепер, зазвичай, вивчаються у вигляді еліптичних функцій Вейєрштрасса, які визначають квадратичне розширення поля раціональних функцій, зроблених шляхом добування квадратного кореня з кривої. Це залежить від наявності K-раціональної точки, яка слугує точкою на нескінченності в формі Вейерштрасса. Існує багато кубічних кривих, які не мають таку точку, наприклад, коли K — поле раціональних чисел.

Сингулярні точки нескоротної плоскої кубічної кривої достатньо обмежені: одна подвійна точка, або один злам. Скоротна плоска кубічна крива це або конічний переріз та пряма, або три прямих, і, відповідно, мають дві подвійні точки чи точку самодотику (у випадку конічного перерізу і прямої), або до трьох подвійних точок чи однієї потрійної точки (конкурентні прямі), у випадку трьох прямих.

Зміст

Кубічні криві в площині трикутникаРедагувати

Нехай ABC - трикутник з довжинами сторін a = | BC |, b = | CA |, c = | AB |. По відношенню до ABC, багато названих кубічних кривих проходять через добре відомі точки. У прикладах, наведених нижче, використовуються два види однорідних координат: трилінійні та барицентричні. Для перетворення трикутних координат у барицентричні в кубічному рівнянні слід зробити заміну наступним чином:

x ↦ bcxy ↦ cayz ↦ abz;

для перетворення барицентричних у трилінійні використовується:

x ↦ axy ↦ byz ↦ cz.

Більшість рівнянь для кубічних кривих мають вигляд

f(abcxyz) + f(bcayzx) + f(cabzxy) = 0.

У наведених нижче прикладах, такі рівняння записуються більш коротко в «циклічному запису суми», тобто:

[cyclic sum f(xyzabc)] = 0.

Кубічні криві, перераховані нижче, можуть бути визначені в термінах ізогонального кон'югату, позначені через X*, точки Х, що не лежить на бічній лінії АВС. Побудова X* наступним чином. Нехай LA - відображення лінії XA на бісектрису внутрішнього кута А, і визначимо LB і LC аналогічно. Тоді три спроектовані лінії сходяться в X*. В трилінійних координатах, якщо X = x:y:z, тоді X* = 1/x:1/y:1/z.

Кубика НойбергаРедагувати

Трилінійне рівняння: [cyclic sum (cos A − 2 cos B cos C)x(y2 − z2)] = 0

Барицентричне рівняння: [cyclic sum (a2(b2 + c2) + (b2 − c2)2 − 2a4)x(c2y2 − b2z2)] = 0

Кубика Нойберга (названа на честь Джозефа Жан Батіста Нойберга[en]) - це ГМТ X таке, що X* знаходиться на прямій EX, де E є точкою нескінченності Ейлера (X(30) в Енциклопедії центрів трикутника[en]). Крім того, ця кубика є ГМТ X, таким, що трикутник XAXBXC є перспективним до ABC, де XAXBXC є відображенням X на прямих  BCCAAB, відповідно.

Кубика Нойберга проходить через наступні точки: центр вписаного кола[en], центр описаного кола, ортоцентр, обидві точки Ферма, обидва ізодинамічних центра, точка нескінченності Ейлера, інші центри трикутників, ексцентрики, проекції ABC на бічні лінії ABC, і вершини з шести рівносторонніх трикутників, побудованих на сторонах ABC.

Графіки і властивості кубиків Нойберга див. K001 на Кубикі Берхарда Гіберта в площині трикутника.

Кубика ТомсонаРедагувати

 
Приклад кубики Томсона (чорна крива). X знаходиться на кубикі, таким чином, що ізогональний кон'югат X (X′) на прямій X(2) – X.

Трилінійне рівняння: [cyclic sum bcx(y2 − z2)] = 0

Барицентричне рівняння: [cyclic sum x(c2y2 − b2z2)] = 0

Кубика Томсона - це ГМТ X таке, що X* знаходиться на прямій GX, де G є центром ваги.

Кубика Томсона проходить через наступні точки: центр вписаного кола, центр ваги, центр описаного кола, ортоцентр, точка Лемуана, інші центри трикутників, вершини ABC, ексцентрики, середини сторін BCCAAB, і середини висот ABC. Для кожної точки Р на кубикі, але не на бічній стороні кубику, ізогональний кон'югат P також на кубику.

Графіки і властивості див. K002 на кубику в площині трикутника.

Кубика ДарбуРедагувати

Трилінійне рівняння: [cyclic sum (cos A − cos B cos C)x(y2 − z2)] = 0

Барицентричне рівняння: [cyclic sum (2a2(b2 + c2) + (b2 − c2)2 − 3a4)x(c2y2 − b2z2)] = 0

Кубика Дарбу - це ГМТ X, таке, що X* знаходиться на прямій LX, де L = de Longchamps point[en]. Також кубика є ГМТ X таке, що педальний трикутник[en] від X - це чевіана деякої точки (яка знаходиться на кубикі Лукаса). Також ця кубика є ГМТ точки X, таким, що педальний трикутник від X і трикутник античевіани від X будуть проекціями; перспективна точка лежить на кубикі Томсона. Для кожної точки Р на кубикі, але не на бічній стороні кубику, ізогональний кон'югат P також на кубику.

Графіки і властивості див. K004 на кубику в площині трикутника.

Кубика Наполеона-ФейєрбахаРедагувати

Трилінійне рівняння: [cyclic sum cos(B − C)x(y2 − z2)] = 0

Барицентричне рівняння: [cyclic sum (a2(b2 + c2) − (b2 − c2)2)x(c2y2 − b2z2)] = 0

Кубика Наполеона-Фейєрбаха - це ГМТ X*, яка належить прямій NX, де N - центр дев'яти точок (N = X(5) в Енциклопедії центрів трикутника).

Кубика Наполеона-Фейєрбаха проходить через центри вписаного і описаного кіл, ортоцентр, першу і другу точки Наполеона[en], центри інших трикутників, вершини ABC, ексцентрики, проекції центра ваги на висоти і центри 6 рівносторонніх трикутників, побудованих на сторонах ABC.

Графіки і властивості див. K005 на кубику в площині трикутника.

Кубика ЛукасаРедагувати

Трилінійне рівняння: [cyclic sum (cos A)x(b2y2 − c2z2)] = 0

Барицентричне рівняння: [cyclic sum (b2 + c2 − a2)x(y2 − z2)] = 0

Кубика Лукаса - це ГМТ X, таке, що такий, що чевіанний трикутник X являє собою педальний трикутник деякої точки; точка лежить на кубикі Дарбу.

Кубика Лукаса проходить через центр ваги, ортоцентр, точку Жергона, точку Нагеля, de Longchamps point, центри інших трикутників, вершини антикомпліментраних трикутників і фокуси еліпса Штейнера[en].

Графіки і властивості див. K007 на кубику в площині трикутника.

Див. такожРедагувати

ПосиланняРедагувати

  • Bix, Robert (1998). Conics and Cubics: A Concrete Introduction to Algebraic Curves. New York: Springer. ISBN 0-387-98401-1. .
  • Cerin, Zvonko (1998). Locus properties of the Neuberg cubic. Journal of Geometry 63 (1–2): 39–56. doi:10.1007/BF01221237. .
  • Cerin, Zvonko (1999). On the cubic of Napoleon. Journal of Geometry 66 (1–2): 55–71. doi:10.1007/BF01225672. .
  • Cundy, H. M. & Parry, Cyril F. (1995). Some cubic curves associated with a triangle. Journal of Geometry 53 (1–2): 41–66. doi:10.1007/BF01224039. .
  • Cundy, H. M. & Parry, Cyril F. (1999). Geometrical properties of some Euler and circular cubics (part 1). Journal of Geometry 66 (1–2): 72–103. doi:10.1007/BF01225673. .
  • Cundy, H. M. & Parry, Cyril F. (2000). Geometrical properties of some Euler and circular cubics (part 2). Journal of Geometry 68 (1–2): 58–75. doi:10.1007/BF01221061. .
  • Ehrmann, Jean-Pierre & Gibert, Bernard (2001). A Morley configuration. Forum Geometricorum 1: 51–58. .
  • Ehrmann, Jean-Pierre & Gibert, Bernard (2001). The Simson cubic. Forum Geometricorum 1: 107–114. .
  • Gibert, Bernard (2003). Orthocorrespondence and orthopivotal cubics. Forum Geometricorum 3: 1–27. .
  • Kimberling, Clark (1998). Triangle Centers and Central Triangles. Congressus Numerantium 129: 1–295. . See Chapter 8 for cubics.
  • Kimberling, Clark (2001). Cubics associated with triangles of equal areas. Forum Geometricorum 1: 161–171. .
  • Lang, Fred (2002). Geometry and group structures of some cubics. Forum Geometricorum 2: 135–146. .
  • Pinkernell, Guido M. (1996). Cubic curves in the triangle plane. Journal of Geometry 55 (1–2): 142–161. doi:10.1007/BF01223040. .
  • Salmon, George (1879). Higher Plane Curves (вид. 3rd). New York: Chelea.