Конічні перетини
Коні́чні пере́тини — невироджені криві, утворені перетином площини з однією або обома частинами конуса. Перетин площини, перпендикулярній осі конуса, утворює коло. Перетин площини, не перпендикулярній осі конуса, з однією з частин конуса утворює еліпс або параболу. Крива, отримана перетином площини з обома частинами конуса називається гіперболою. Також існують вироджені перетини: точка, пряма та пара прямих.
Конічні перетини вивчалися сотні років і стали джерелом багатьох цікавих відкриттів в евклідовій геометрії.
Конічний переріз або перетин це крива, що отримується шляхом перетину площини, що називається січною площиною, і поверхнею подвійного конуса (конус з двома симетричними частинами). Для спрощення опису будемо вважати, що це правильний круглий конус, але це не обов'язково, бо поняття є актуальним для будь-якого подвоєного конуса, що можна утворити коло при перетині площиною. Площини, що проходять через верхівку конуса будуть перетинати конус у точці, по прямій або по парі прямих, які перетинаються. Такий випадок називають виродженим і не складає ніякого інтересу і тому, зазвичай цей випадок не розглядають як конічний переріз. Якщо явно не сказано інше, то під «конічним перерізом» розуміють не вироджені варіанти.
Є три види конічних перетинів, еліпс, парабола, і гіпербола. Коло є особливим випадком еліпса, хоча історично його розглядали як четвертий тип (наприклад, давньогрецький математик Аполлоній). Коло і еліпс виникають коли перетин площини і конуса утворює замкнену криву. Коло утворюється коли січна площина є паралельною площині основного кола, що утворює конус — для правильного конуса, це означає, що січна площина також є перпендикулярна осі симетрії конуса. Якщо січна площина є паралельною до однієї з прямих, що утворюють конус, тоді конічний переріз необмежений і не є замкнений і називається параболою. Залишився ще один варіант перетину — гіпербола, в даному випадку січна площина перетне обидві половини конуса, утворюючи окрему необмежену криву.
Конічний переріз можна визначити виключно з точки зору плоскої геометрії: це множина всіх точок , відстань яких до фіксованої точки (яка називається фокус) є постійною величиною, яка позначається як (ексцентриситет) і дорівнює відношенню відстані від довільної точки з до фіксованої прямої (яка називається директрисою).
В залежності від значення ексцентриситета, утворюється:
- При — еліпс;
- При — парабола;
- При — гіпербола.
Якщо , то утворюється коло.
Коло є граничним і не описується фокусом і директрисою на евклідовій площині. Ексцентриситет кола дорівнює нулю, його фокус знаходиться в центрі кола, але його директриса може бути взята тільки як пряма на нескінченності в проективній площині.
Ексцентриситет еліпса можна розглядати як міру того, наскільки далеко еліпс відхиляється від кола.
Існує ряд параметрів, що пов'язані із конічним перетином. Основною віссю є пряма, що проходить крізь фокуси еліпса або гіперболи, а центр — це середина лінійного відрізку, що сполучає фокуси. Нижче наведені деякі спільні поняття і параметри конічних перетинів.[1]
Лінійний ексцентриситет (позначається буквою ) — відстань між центром і фокусом (або одним із двох фокусів).
Важливим елементом є хорда, що паралельна директрисі і яка проходить через фокус. Її повна довжина позначається як .
Фокальний параметр () — половина довжини хорди, що проходить через фокус і паралельна директрисі.
Параметр () — відстань від фокусу (або одного з фокусів) до директриси.
Коли еліпс або гіпербола знаходиться в стандартній позиції (основна вісь знаходиться на осі , а центр в початку координат) вершини конічних перетинів матимуть координати і , де не від'ємні.
Велика піввісь — це значення .
Мала піввісь — це значення в рівнянні еліпса або гіперболи на стандартній евклідовій площині.
Мають місце наступні рівняння:
Співвідношення цих параметрів наведені в таблиці нижче, за умови стандартного розташування на координатній площині. В усіх випадках, та додатні.
Конічний перетин | рівняння | ексцентриситет (e) | лінійний ексцентриситет (c) | Половина фокального параметру (ℓ) | Параметр (p) |
---|---|---|---|---|---|
коло | |||||
еліпс | |||||
парабола | - | ||||
гіпербола |
При застосування визначення декартової системи координат можна використати рівнянні фокусу і директриси, аби вивести рівняння, що визначають координати точок конічних перетинів.[2] Застосовуючи перетворення системи координат, такі як поворот і переміщення осей, ці рівнянні можна привести до стандартної форми.[3] Для еліпсів і гіпербол в стандартній формі декартова вісь x буде суміщеною із головною віссю, а початок координат (точка (0,0)) знаходитиметься в центрі. Вершини будуть мати координати (±a, 0), а фокуси — координати (±c, 0). Визначимо b рівняннями c2 = a2 − b2 для еліпса і c2 = a2 + b2 для гіперболи. Для кола, c = 0 тому a2 = b2. Для параболи, її стандартна форма матиме фокус на осі x в точці (a, 0) а директрисою буде пряма, що задовольняє рівнянню x = −a. В стандартній формі парабола завжди проходитиме через початок координат. Особливим випадком гіперболи є ситуація, коли її асимптоти перпендикулярні. В такому випадку гіпербола називається рівнобічною. У такому випадку, стандартну форму можна отримати прийнявши асимптоти за координатні осі, а пряму x = y як основну вісь. Фокуси матимуть координати (c, c) і (−c, −c).[4]
- Коло: x2 + y2 = a2
- Еліпс: x2/a2 + y2/b2 = 1
- Гіпербола: x2/a2 − y2/b2 = 1
- Парабола: y2 = 4ax, де a > 0
- Рівнобічна гіпербола:[5] xy = c2/2
Перші три наведені форми є симетричними відносно обох x та y осей (коло, еліпс і гіпербола), або лише відносно x осі (для параболи). Рівнобічна гіпербола, в свою чергу, є симетричною відносно прямих y = x і y = −x.
Ці стандарті форми можна записати у вигляді параметричних рівнянь наступним чином,
- Коло: (a cos θ, a sin θ),
- Еліпс: (a cos θ, b sin θ),
- Парабола: (at2, 2at),
- Гіпербола: (a sec θ, b tan θ) або (±a cosh u, b sinh u),
- Рівнобічна гіпербола: де
В системі декартових координат графіком квадратичного рівняння двох змінних завжди буде конічний перетин (хоча він може бути виродженим[6]), і всі конічні перетини утворюються таким чином. Загальне рівняння буде матиме вигляд[7]
де всі коефіцієнти — це дійсні числа, а A, B, C не дорівнюють нулю.
Отже, конічні перетини є квадриками.
Конічні перетини описані таким рівнянням можна класифікувати в залежності від значення , що є дискримінантом рівняння.[8] Тобто, дискримінант дорівнює − 4Δ, де Δ є детермінантом матриці
Типи конічних перетинів в залежності від значення дискримінанту будуть наступними:
- Якщо B2 − 4AC < 0, то рівняння задає еліпс (вироджені випадки: точка або порожня множина);
- Якщо A = C і B = 0, то рівняння задає коло, що є особливим випадком еліпса;
- Якщо B2 − 4AC = 0, то це парабола, (вироджені випадки: пряма або пари паралельних прямих)
- Якщо B2 − 4AC > 0, то це гіпербола або у виродженому випадку пари прямих, що перетинаються.
- Якщо також матимемо A + C = 0, тоді рівняння задає рівнобічну гіперболу.
В даних позначеннях A і B є коефіцієнтами полінома, не варто їх плутати із позначеннями великої і малої півосей A і B, що часто використовуються в деяких джерелах.
Вище наведене рівняння можна задати в матричному вигляді як[9]
А також, загальне рівняння можна записати як
Якщо конічний перетин задано в алгебраїчній формі як
ексцентриситет можна визначити як функцію коефіцієнтів квадратичного рівняння.[10] Якщо 4AC = B2, то конічним перетином є парабола, а її ексцентриситет дорівнює 1 (якщо вона не вироджена). В інших випадках, вважаючи, що рівняння задає невироджені еліпс або гіперболу, ексцентриситет буде задаватися наступним чином
де η = 1, якщо детермінант вищезгаданої матриці 3×3 є від'ємним і η = −1, якщо детермінант додатній.
Також можна довести[11] , що ексцентриситет є додатнім розв'язком рівняння
Де також Воно має точно один додатній розв'язок — ексцентриситет, у випадку параболи або еліпса, в той час як у випадку з гіперболою воно має два додатні розв'язку, один з яких є ексцентриситетом.
В полярних координатах з центром в одному з фокусів та нульовим напрямом вздовж головної осі рівняння конічного перетину має вигляд:
де е — ексцентриситет, l — константа.
Конічні перерізи можуть утворюватись як перетин площини і двобічного конуса
Де
- — кут між твірною конуса та його віссю.
Якщо площина проходить через початок координат, то буде отримано вироджений перетин.
Рівняння конуса квадратичне, тому конічні перетини є квадриками, також всі квадрики площини є конічними перетинами (хоча дві паралельні прямі утворюють вирождену квадрику яку неможливо отримати перетином конуса, їх вважають «виродженим конічним перетином»).
Так само як дві (різні) точки визначають пряму, п'ять точок визначають конічний перетин. Через довільні п'ять точок на площині, з яких жодні три не лежать на одній прямій, можна провести єдиний конічний перетин. Формально кажучи, для довільних п'яти точок на площині, що знаходяться у загальному лінійному положенні, тобто, серед них немає трьох, що були б колінеарними, існуватиме один єдиний конічний перетин, який проходить через них, що не буде виродженим. Це є вірним для евклідової площини і для дійсної проєктивної площини. Якщо три точки будуть колінеарними, тоді конічний перетин, який через них проходить буде виродженим (оскільки він міститиме пряму), і може бути не єдиним.
Всі конічні перетини мають спільну властивість відображення, яку можна сформулювати наступним чином: Всі дзеркальні поверхні, що мають форму не виродженого конічного перетину відбивають світло, що потрапляє в один із фокусів у бік іншого фокусу. У випадку з параболою, другий фокус розглядають таким, що знаходиться в нескінченності, тому промені, що йдуть у напрямку другого фокусу є паралельними.[12][13]
Теорема Паскаля вивчає колінеарність трьох точок, що побудовані із множини з шести точок на будь-якому не виродженому конічному перетині. Теорема також справедлива для вироджених конічних перетинів, що складаються із двох прямих, але цей випадок відомий як теорема Паппа.
Невироджений конічний перетин завжди «гладкий». Це є важливою властивістю для багатьох застосувань, наприклад в аеродинаміці, де необхідно мати гладку поверхню, аби бути впевненим в ламінарності течії для уникання турбулентності.
- Ексцентриситет двох невироджених конічних перетинів збігається тоді і тільки тоді, коли вони можуть бути переведені один в одного перетворенням подібності.
- Афінні перетворення зберігають тільки знак ексцентриситету, тобто, для афінної геометрії існують лише три різні невироджені конічні перетини: еліпс, парабола та гіпербола.
- Усі невироджені конічні перетини неможливо розрізнити в проєктивній геометрії.
Конічні перетини були відомі ще математикам Давньої Греції. Менехм займався в Академії Платона дослідженням конічних перетинів на прикладі макету конуса. Він з'ясував, що задачу про подвоєння куба можна звести до визначення точок перетину двох конічних перетинів. Евклідом було написано чотири книжки про конічні перетини, які, однак до наших часів не збереглись. Найповнішим твором, присвяченим цим кривим, були «Конічні перетини» Аполлонія із Перги (приблизно 200 до н. е.). Представлення конічних перетинів у вигляді рівнянь належить П'єру Ферма та Рене Декарту.
Конічні перетини мають застосування у астрономії: орбіти двох масивних тіл, між якими існує гравітаційна взаємодія, є конічними перетинами, якщо їхній спільний центр мас нерухомий. Якщо вони між собою зв'язані, то рухатимуться по еліптичних орбітах; якщо рухаються окремо, то траєкторії матимуть вигляд парабол або гіпербол (див. закон Кеплера).
- Weisstein, Eric W. (1999). CRC concise encyclopedia of mathematics. Boca Raton, Fla.: CRC Press. ISBN 0-8493-9640-9.
- Конічні перерізи // Термінологічний словник-довідник з будівництва та архітектури / Р. А. Шмиг, В. М. Боярчук, І. М. Добрянський, В. М. Барабаш ; за заг. ред. Р. А. Шмига. — Львів, 2010. — С. 110. — ISBN 978-966-7407-83-4.
- Анімація на якій зображено різні конічні перетини[недоступне посилання з липня 2019].
- Conic Sections [Архівовано 17 жовтня 2008 у Wayback Machine.] — Encyclopaedia of Mathematics.
- Conic Section [Архівовано 11 грудня 2008 у Wayback Machine.] — Wolfram MathWorld.
- А. В. Акопян, А. А. Заславский Геометрические свойства кривых второго порядка, [Архівовано 20 березня 2018 у Wayback Machine.] — М.: МЦНМО, 2007. — 136с.
- И. Н. Бронштейн, Общие свойства конических сечений [Архівовано 28 червня 2006 у Wayback Machine.], Квант, № 5, 1975.
- ↑ Драч, К. Д.; Шугайло, О. О.; Ямпольський, О. Л. (2015), Канонічна теорія кривих другого порядку (PDF), Харківський національний університет імені В. Н. Каразіна, с. 8—9, архів оригіналу (PDF) за 27 січня 2018, процитовано 8 березня 2018, Розділ 3.1, стор 8 [Архівовано 27 січня 2018 у Wayback Machine.]
- ↑ Brannan, Esplen та Gray, 1999, с. 11—16
- ↑ Protter та Morrey, 1970, с. 314—328, 585—589
- ↑ Protter та Morrey, 1970, с. 290—314
- ↑ Wilson та Tracey, 1925, с. 130
- ↑ порожня множина включена як вироджена коніка, бо вона може з'явитись як множина рішень рівняння
- ↑ Protter та Morrey, 1970, с. 316
- ↑ Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, с. 44—45, ISBN 0-471-75715-2, архів оригіналу за 29 травня 2016, процитовано 2 лютого 2018, Section 3.2, page 45 [Архівовано 26 квітня 2016 у Wayback Machine.]
- ↑ Brannan, Esplen та Gray, 1999, с. 30
- ↑ Ayoub, Ayoub B., "The eccentricity of a conic section, " The College Mathematics Journal 34(2), March 2003, 116—121.
- ↑ Spain, Barry, Analytical Conics, Dover, 2007 (originally published 1957 by Pergamon Press).
- ↑ Brannan, Esplen та Gray, 1999, с. 28
- ↑ Downs, 2003, с. 36.
Вікісховище має мультимедійні дані за темою: Конічні перетини