В математике парабола — это плоская кривая , которая является зеркально-симметричной и имеет приблизительно U-образную форму. Она соответствует нескольким внешне различным математическим описаниям, которые, как можно доказать, определяют одни и те же кривые.
Одно описание параболы включает точку ( фокус ) и линию ( директрису ). Фокус не лежит на директрисе. Парабола — это геометрическое место точек в этой плоскости, которые равноудалены от директрисы и фокуса. Другое описание параболы — это коническое сечение , созданное пересечением прямой круговой конической поверхности и плоскости , параллельной другой плоскости, которая касается конической поверхности. [a]
График квадратичной функции ( при ) представляет собой параболу с осью, параллельной оси Y. Обратно , каждая такая парабола является графиком квадратичной функции.
Линия, перпендикулярная директрисе и проходящая через фокус (то есть линия, которая разделяет параболу посередине), называется «осью симметрии». Точка, где парабола пересекает свою ось симметрии, называется « вершиной » и является точкой, где парабола наиболее резко изогнута. Расстояние между вершиной и фокусом, измеренное вдоль оси симметрии, является «фокусным расстоянием». « Прямая прямая » — это хорда параболы, которая параллельна директрисе и проходит через фокус. Параболы могут быть открыты вверх, вниз, влево, вправо или в каком-либо другом произвольном направлении. Любую параболу можно переместить и изменить масштаб, чтобы она точно соответствовала любой другой параболе, то есть все параболы геометрически подобны .
Параболы обладают тем свойством, что если они сделаны из материала, который отражает свет , то свет, который движется параллельно оси симметрии параболы и падает на ее вогнутую сторону, отражается в ее фокус, независимо от того, где на параболе происходит отражение. И наоборот, свет, который исходит от точечного источника в фокусе, отражается в параллельный (« коллимированный ») луч, оставляя параболу параллельной оси симметрии. Те же эффекты происходят со звуком и другими волнами . Это отражательное свойство является основой многих практических применений парабол.
Парабола имеет множество важных применений: от параболической антенны или параболического микрофона до автомобильных фар- рефлекторов и проектирования баллистических ракет . Она часто используется в физике , технике и многих других областях.
Самая ранняя известная работа по коническим сечениям была написана Менехмом в IV веке до н. э. Он открыл способ решения задачи удвоения куба с помощью парабол. (Решение, однако, не удовлетворяет требованиям построения с помощью циркуля и линейки .) Площадь, ограниченная параболой и отрезком прямой, так называемым «отрезком параболы», была вычислена Архимедом методом исчерпывания в III веке до н. э. в его «Квадратуре параболы» . Название «парабола» произошло от Аполлония , который открыл многие свойства конических сечений. Оно означает «приложение», ссылаясь на концепцию «приложения площадей», которая имеет связь с этой кривой, как доказал Аполлоний. [1] Свойство фокуса–директрисы параболы и других конических сечений принадлежит Паппу .
Галилей показал, что траектория снаряда следует параболе, что является следствием равномерного ускорения под действием силы тяжести.
Идея о том, что параболический рефлектор может создавать изображение, была хорошо известна еще до изобретения рефлекторного телескопа . [2] Конструкции предлагались в начале и середине 17 века многими математиками , включая Рене Декарта , Марена Мерсенна , [3] и Джеймса Грегори . [4] Когда Исаак Ньютон построил первый рефлекторный телескоп в 1668 году, он отказался от параболического зеркала из-за сложности его изготовления, выбрав сферическое зеркало . Параболические зеркала используются в большинстве современных рефлекторных телескопов, а также в спутниковых антеннах и радиолокационных приемниках. [5]
Параболу можно геометрически определить как множество точек ( геометрическое место точек ) на евклидовой плоскости:
Середина перпендикуляра, опущенного из фокуса на директрису, называется вершиной , а прямая — осью симметрии параболы.
Если ввести декартовы координаты , такие что и директриса имеет уравнение , то для точки из уравнения получим . Решение для дает
Эта парабола имеет U-образную форму ( отверстие направлено вверх ).
Горизонтальная хорда, проходящая через фокус (см. рисунок в начале раздела), называется latus rectum ; одна ее половина — это полуlatus rectum . latus rectum параллелен директрисе. Полуlatus rectum обозначается буквой . Из рисунка следует
Latus rectum определяется аналогично для двух других конических фигур – эллипса и гиперболы. Latus rectum – это линия, проведенная через фокус конического сечения параллельно директрисе и заканчивающаяся в обоих направлениях кривой. Для любого случая – радиус соприкасающейся окружности в вершине. Для параболы semi-latus rectum – это расстояние фокуса от директрисы. Используя параметр , уравнение параболы можно переписать как
В более общем случае, если вершина — это , фокус — это , а директриса — это , то получается уравнение
Замечания :
Если фокус равен , а директриса , то получается уравнение
(левая часть уравнения использует нормальную форму Гессе для расчета расстояния ).
Параметрическое уравнение параболы общего положения см. в § Как аффинный образ единичной параболы.
Неявное уравнение параболы определяется неприводимым многочленом второй степени: таким, что или, что то же самое, таким, что является квадратом линейного многочлена .
В предыдущем разделе показано, что любую параболу с началом координат в качестве вершины и осью Y в качестве оси симметрии можно рассматривать как график функции
Для параболы имеют раскрытие вверх, а для раскрываются вниз (см. рисунок). Из приведенного выше сечения получаем:
Для параболы есть единичная парабола с уравнением . Ее фокус — прямая полуширота , а директриса имеет уравнение .
Общая функция степени 2 — это Дополнение квадрата дает уравнение параболы с
Два объекта на евклидовой плоскости подобны, если один из них может быть преобразован в другой посредством подобия , то есть произвольной композиции жестких движений ( перемещений и вращений ) и равномерных масштабирований .
Парабола с вершиной может быть преобразована переносом в параболу с началом координат в качестве вершины. Подходящее вращение вокруг начала координат может затем преобразовать параболу в параболу, имеющую ось y в качестве оси симметрии. Следовательно, парабола может быть преобразована жестким движением в параболу с уравнением . Такая парабола затем может быть преобразована равномерным масштабированием в единичную параболу с уравнением . Таким образом, любая парабола может быть отображена в единичную параболу с помощью подобия. [6]
Для установления этого результата можно также использовать синтетический подход с использованием подобных треугольников. [ 7 ]
Общий результат состоит в том, что два конических сечения (обязательно одного и того же типа) подобны тогда и только тогда, когда они имеют одинаковый эксцентриситет. [6] Следовательно, только окружности (все с эксцентриситетом 0) обладают этим свойством вместе с параболами (все с эксцентриситетом 1), тогда как общие эллипсы и гиперболы им не обладают.
Существуют и другие простые аффинные преобразования, которые отображают параболу на единичную параболу, например . Но это отображение не является подобием, а лишь показывает, что все параболы аффинно эквивалентны (см. § Как аффинный образ единичной параболы).
Пучок конических сечений с осью x в качестве оси симметрии, одной вершиной в начале координат ( 0, 0) и той же прямой полушириной можно представить уравнением с эксцентриситетом .
Если p > 0 , то парабола с уравнением (раскрывающимся вправо) имеет полярное представление , где .
Его вершина — , а фокус — .
Если сместить начало координат в фокус, то есть , то получим уравнение
Замечание 1: Обращение этой полярной формы показывает , что парабола является инверсией кардиоиды .
Замечание 2: Вторая полярная форма является частным случаем пучка коник с фокусом (см. рисунок): ( — эксцентриситет).
Диаграмма представляет собой конус с осью AV . Точка A является его вершиной . Наклонное сечение конуса, показанное розовым цветом, наклонено от оси на тот же угол θ , что и сторона конуса. Согласно определению параболы как конического сечения, граница этого розового сечения EPD является параболой.
Поперечное сечение, перпендикулярное оси конуса, проходит через вершину P параболы. Это поперечное сечение является круглым, но кажется эллиптическим, если смотреть на него под углом, как показано на рисунке. Его центр — V, а PK — диаметр. Мы будем называть его радиус r .
Другое перпендикулярное к оси, круговое поперечное сечение конуса находится дальше от вершины A, чем только что описанное. Оно имеет хорду DE , которая соединяет точки пересечения параболы с окружностью. Другая хорда BC является серединным перпендикуляром DE и, следовательно, диаметром окружности. Эти две хорды и ось симметрии параболы PM пересекаются в точке M.
Все отмеченные точки, кроме D и E, копланарны . Они находятся в плоскости симметрии всей фигуры. Это включает точку F, которая не упомянута выше. Она определяется и обсуждается ниже, в § Положение фокуса.
Обозначим длину DM и EM как x , а длину PM как y .
Длины BM и CM составляют:
Используя теорему о пересекающихся хордах на хордах BC и DE , получаем
Замена:
Перестановка:
Для любого заданного конуса и параболы r и θ являются константами, но x и y являются переменными, которые зависят от произвольной высоты, на которой сделано горизонтальное сечение BECD. Это последнее уравнение показывает связь между этими переменными. Их можно интерпретировать как декартовы координаты точек D и E в системе на розовой плоскости с P в качестве ее начала. Поскольку x в уравнении возведен в квадрат, тот факт, что D и E находятся по разные стороны от оси y, не важен. Если горизонтальное сечение движется вверх или вниз, к вершине конуса или от нее, D и E движутся вдоль параболы, всегда сохраняя связь между x и y, показанную в уравнении. Таким образом, параболическая кривая является геометрическим местом точек, где уравнение удовлетворяется, что делает ее декартовым графиком квадратичной функции в уравнении.
В предыдущем разделе доказано, что если парабола имеет вершину в начале координат и направлена в положительном направлении оси y , то ее уравнение имеет вид y = х 2/4 ф , где f — фокусное расстояние. [b] Сравнение этого с последним уравнением выше показывает, что фокусное расстояние параболы в конусе равно r sin θ .
На схеме выше точка V является основанием перпендикуляра из вершины параболы к оси конуса. Точка F является основанием перпендикуляра из точки V к плоскости параболы. [c] По симметрии F находится на оси симметрии параболы. Угол VPF является дополнительным к θ , а угол PVF является дополнительным к углу VPF, поэтому угол PVF является θ . Поскольку длина PV равна r , расстояние F от вершины параболы равно r sin θ . Выше показано, что это расстояние равно фокусному расстоянию параболы, которое является расстоянием от вершины до фокуса. Таким образом, фокус и точка F одинаково удалены от вершины вдоль одной и той же линии, что подразумевает, что они являются одной и той же точкой. Следовательно, точка F, определенная выше, является фокусом параболы .
Это обсуждение началось с определения параболы как конического сечения, но теперь оно привело к описанию как графика квадратичной функции. Это показывает, что эти два описания эквивалентны. Они оба определяют кривые совершенно одинаковой формы.
Альтернативное доказательство можно сделать с использованием сфер Данделена . Оно работает без вычислений и использует только элементарные геометрические соображения (см. вывод ниже).
Пересечение прямого конуса плоскостью , наклон которой к вертикали равен образующей ( прямой, проходящей через вершину и точку на поверхности конуса) конуса, представляет собой параболу (красная кривая на рисунке).
Эта образующая является единственной образующей конуса, которая параллельна плоскости . В противном случае, если есть две образующие, параллельные пересекающейся плоскости, кривая пересечения будет гиперболой ( или вырожденной гиперболой , если две образующие лежат в пересекающейся плоскости). Если нет образующей, параллельной пересекающейся плоскости, кривая пересечения будет эллипсом или окружностью ( или точкой ).
Пусть плоскость — это плоскость, содержащая вертикальную ось конуса и линию . Наклон плоскости от вертикали такой же, как и линия , что означает, что при взгляде сбоку (то есть плоскость перпендикулярна плоскости ), .
Для доказательства свойства директрисы параболы (см. § Определение как геометрического места точек выше) используется сфера Данделина , которая является сферой, касающейся конуса по окружности и плоскости в точке . Плоскость, содержащая окружность, пересекается с плоскостью по линии . В системе, состоящей из плоскости , сферы Данделина и конуса, существует зеркальная симметрия ( плоскость симметрии — ).
Так как плоскость, содержащая окружность , перпендикулярна плоскости , и , то их линия пересечения также должна быть перпендикулярна плоскости . Так как прямая лежит в плоскости , .
Оказывается, это фокус параболы , а это директриса параболы.
Отражательное свойство гласит, что если парабола может отражать свет, то свет, который входит в нее, перемещаясь параллельно оси симметрии, отражается по направлению к фокусу. Это вытекает из геометрической оптики , основанной на предположении, что свет распространяется лучами.
Рассмотрим параболу y = x 2. Поскольку все параболы подобны, этот простой случай представляет все остальные.
Точка E — произвольная точка параболы. Фокус — F, вершина — A (начало координат), а прямая FA — ось симметрии. Прямая EC параллельна оси симметрии, пересекает ось x в точке D и пересекает директрису в точке C. Точка B — середина отрезка FC .
Вершина A равноудалена от фокуса F и от директрисы. Поскольку C лежит на директрисе, координаты y точек F и C равны по абсолютной величине и противоположны по знаку. B — середина FC . Ее координата x вдвое меньше, чем у D, то есть x /2 . Наклон линии BE равен частному длин ED и BD , что равно х 2/х /2 = 2 x . Но 2 x также является наклоном (первой производной) параболы в точке E. Следовательно, линия BE является касательной к параболе в точке E.
Расстояния EF и EC равны, поскольку E находится на параболе, F — фокус, а C — на директрисе. Следовательно, поскольку B является средней точкой FC , треугольники △FEB и △CEB конгруэнтны (три стороны), что подразумевает, что углы, обозначенные α , конгруэнтны. (Угол над E вертикально противоположен углу ∠BEC.) Это означает, что луч света, который входит в параболу и достигает E, перемещаясь параллельно оси симметрии, будет отражаться линией BE, так что он будет перемещаться вдоль линии EF , как показано красным на диаграмме (предполагая, что линии могут каким-то образом отражать свет). Поскольку BE является касательной к параболе в точке E, то же самое отражение будет сделано бесконечно малой дугой параболы в точке E. Следовательно, свет, который входит в параболу и достигает E, перемещаясь параллельно оси симметрии параболы, отражается параболой к ее фокусу.
Этот вывод об отраженном свете применим ко всем точкам параболы, как показано на левой стороне диаграммы. Это отражательное свойство.
Существуют и другие теоремы, которые можно просто вывести из приведенного выше рассуждения.
Приведенное выше доказательство и сопроводительная диаграмма показывают, что касательная BE делит пополам угол ∠FEC. Другими словами, касательная к параболе в любой точке делит пополам угол между прямыми, соединяющими точку с фокусом и перпендикулярно директрисе.
Так как треугольники △FBE и △CBE конгруэнтны, FB перпендикулярна касательной BE . Так как B лежит на оси x , которая является касательной к параболе в ее вершине, то отсюда следует, что точка пересечения между любой касательной к параболе и перпендикуляром из фокуса к этой касательной лежит на прямой, которая касается параболы в ее вершине. См. анимированную диаграмму [8] и педальную кривую .
Если свет распространяется вдоль линии CE , он движется параллельно оси симметрии и падает на выпуклую сторону параболы в точке E. Из приведенной выше диаграммы ясно, что этот свет будет отражаться непосредственно от фокуса вдоль продолжения отрезка FE .
Приведенные выше доказательства свойств отражательной и касательной бисекции используют линию исчисления. Здесь представлено геометрическое доказательство.
На этой диаграмме F является фокусом параболы, а T и U лежат на ее директрисе. P является произвольной точкой на параболе. PT перпендикулярна директрисе, а прямая MP делит угол ∠FPT пополам. Q является другой точкой на параболе, причем QU перпендикулярна директрисе. Мы знаем, что FP = PT и FQ = QU . Очевидно, QT > QU , поэтому QT > FQ . Все точки на биссектрисе MP равноудалены от F и T, но Q ближе к F, чем к T. Это означает, что Q находится слева от MP , то есть по ту же сторону от него, что и фокус. То же самое было бы верно, если бы Q располагалось в любом другом месте параболы (кроме точки P), поэтому вся парабола, за исключением точки P, находится на фокусной стороне MP . Следовательно, MP является касательной к параболе в точке P. Поскольку она делит угол ∠FPT пополам, это доказывает свойство касательной делить пополам.
Логику последнего абзаца можно применить для модификации приведенного выше доказательства отражательного свойства. Это эффективно доказывает, что линия BE является касательной к параболе в точке E, если углы α равны. Отражательное свойство следует из того, что было показано ранее.
Определение параболы по ее фокусу и директрисе можно использовать для ее рисования с помощью булавок и нитей: [9]
Параболу можно рассматривать как аффинную часть невырожденной проективной коники с точкой на линии бесконечности , которая является касательной в . 5-, 4- и 3-точечные вырождения теоремы Паскаля являются свойствами коники, имеющими дело по крайней мере с одной касательной. Если рассматривать эту касательную как линию на бесконечности, а ее точку касания как точку на бесконечности оси y , то для параболы получаются три утверждения.
Следующие свойства параболы имеют дело только с терминами соединять , пересекать , параллельно , которые являются инвариантами подобий . Таким образом, достаточно доказать любое свойство для единичной параболы с уравнением .
Любую параболу можно описать в подходящей системе координат уравнением .
Доказательство: простой расчет для единичной параболы .
Применение: Свойство параболы иметь четыре точки можно использовать для построения точки , при этом заданы и .
Замечание: свойство параболы иметь четыре точки является аффинной версией свойства вырождения параболы по пяти точкам теоремы Паскаля.
Пусть — три точки параболы с уравнением и пересечение секущей с прямой и пересечение секущей с прямой (см. рисунок). Тогда касательная в точке параллельна прямой . (Прямые и параллельны оси параболы.)
Доказательство: можно выполнить для единичной параболы . Короткий расчет показывает: линия имеет наклон , который является наклоном касательной в точке .
Применение: Свойство параболы «3 точки-1 касательная» можно использовать для построения касательной в точке , при этом даны .
Замечание: свойство параболы касаться одной точки по трем точкам является аффинной версией свойства вырождения по четырем точкам теоремы Паскаля.
Пусть — две точки параболы с уравнением , и пересечение касательной в точке с прямой , и пересечение касательной в точке с прямой (см. рисунок). Тогда секущая параллельна прямой . (Прямые и параллельны оси параболы.)
Доказательство: прямое вычисление для единичной параболы .
Применение: Свойство «2 точки – 2 касательные» можно использовать для построения касательной параболы в точке , если заданы и касательная в .
Замечание 1: Свойство параболы «2 точки – 2 касательные» является аффинной версией трехточечного вырождения теоремы Паскаля.
Замечание 2: Свойство «2 точки – 2 касательные» не следует путать со следующим свойством параболы, которое также имеет дело с 2 точками и 2 касательными, но не связано с теоремой Паскаля.
Вышеприведенные утверждения предполагают знание направления оси параболы, чтобы построить точки . Следующее свойство определяет точки только по двум заданным точкам и их касательным, и результатом является то, что линия параллельна оси параболы.
Позволять
Тогда линия параллельна оси параболы и имеет уравнение
Доказательство: можно провести (подобно свойствам выше) для единичной параболы .
Применение: Это свойство можно использовать для определения направления оси параболы, если даны две точки и их касательные. Альтернативный способ — определение середин двух параллельных хорд, см. раздел о параллельных хордах.
Замечание: Это свойство является аффинной версией теоремы о двух перспективных треугольниках невырожденной коники. [10]
Штейнер установил следующую процедуру построения невырожденной коники (см. Коника Штейнера ):
Эту процедуру можно использовать для простого построения точек на параболе :
Доказательство: простой расчет.
Примечание: Генерация Штейнера также доступна для эллипсов и гипербол .
Двойственная парабола состоит из набора касательных обычной параболы.
Генерацию Штейнера для конического сечения можно применить к построению двойственного конического сечения, изменив значения точек и линий:
Чтобы сгенерировать элементы двойной параболы, нужно начать с
Доказательство является следствием алгоритма де Кастельжау для кривой Безье степени 2 .
Парабола с уравнением однозначно определяется тремя точками с различными координатами x . Обычная процедура определения коэффициентов заключается в подстановке координат точек в уравнение. Результатом является линейная система из трех уравнений, которая может быть решена , например, методом исключения Гаусса или правилом Крамера . Альтернативный способ использует теорему о вписанном угле для парабол.
В дальнейшем угол между двумя прямыми будет измеряться разностью наклонов прямой относительно директрисы параболы. То есть, для параболы уравнения угол между двумя прямыми уравнения измеряется как
Аналогично теореме о вписанном угле для окружностей, справедлива теорема о вписанном угле для парабол : [11] [12]
(Доказательство: простой расчет: если точки находятся на параболе, можно перенести координаты так, чтобы получилось уравнение , тогда имеем , если точки находятся на параболе.)
Следствием этого является то, что уравнение (в ) параболы, определяемой тремя точками с различными координатами x , имеет вид (если две координаты x равны, то не существует параболы с директрисой, параллельной оси x , которая проходит через точки). Умножая на знаменатели, зависящие от одного, получаем более стандартную форму
В подходящей системе координат любую параболу можно описать уравнением . Уравнение касательной в точке имеет вид Получаем функцию на множестве точек параболы на множестве касательных.
Очевидно, что эту функцию можно распространить на множество всех точек до биекции между точками и прямыми с уравнениями . Обратное отображение имеет вид Это отношение называется отношением полюс–поляра параболы , где точка является полюсом , а соответствующая прямая — ее полярой .
Расчетным путем проверяются следующие свойства полюсно-полярной связи параболы:
Замечание: Полюсно-полярные соотношения существуют также для эллипсов и гипербол.
Пусть линия симметрии пересекает параболу в точке Q, и обозначим фокус как точку F, а его расстояние от точки Q как f . Пусть перпендикуляр к линии симметрии, проходящий через фокус, пересекает параболу в точке T. Тогда (1) расстояние от F до T равно 2 f , и (2) касательная к параболе в точке T пересекает линию симметрии под углом 45°. [13] : 26
Если две касательные к параболе перпендикулярны друг другу, то они пересекаются по директрисе. И наоборот, две касательные, пересекающиеся по директрисе, перпендикулярны. Другими словами, в любой точке директрисы вся парабола образует прямой угол.
Пусть три касательные к параболе образуют треугольник. Тогда теорема Ламберта утверждает, что фокус параболы лежит на описанной окружности треугольника. [14] [8] : Следствие 20
Обратная теорема Цукермана к теореме Ламберта гласит, что если даны три прямые, ограничивающие треугольник, и две из них касаются параболы, фокус которой лежит на описанной окружности треугольника, то третья прямая также касается параболы. [15]
Предположим, что хорда пересекает параболу перпендикулярно ее оси симметрии. Пусть длина хорды между точками пересечения параболы будет c , а расстояние от вершины параболы до хорды, измеренное вдоль оси симметрии, будет d . Фокусное расстояние, f , параболы определяется как
Предположим, что используется система декартовых координат, так что вершина параболы находится в начале координат, а ось симметрии — ось y . Парабола направлена вверх. В другом месте этой статьи показано, что уравнение параболы имеет вид 4 fy = x 2 , где f — фокусное расстояние. На положительном конце хорды x = с/2 и y = d . Поскольку эта точка находится на параболе, эти координаты должны удовлетворять уравнению выше. Поэтому, подставляя,. Отсюда,.
Площадь, заключенная между параболой и хордой (см. рисунок), составляет две трети площади параллелограмма, который ее окружает. Одна сторона параллелограмма — хорда, а противоположная сторона — касательная к параболе. [16] [17] Наклон других параллельных сторон не имеет значения для площади. Часто, как здесь, они рисуются параллельно оси симметрии параболы, но это произвольно.
Теорема, эквивалентная этой, но отличающаяся в деталях, была выведена Архимедом в 3 веке до н. э. Он использовал площади треугольников, а не параллелограмма. [d] См. Квадратура параболы .
Если хорда имеет длину b и перпендикулярна оси симметрии параболы, и если перпендикулярное расстояние от вершины параболы до хорды равно h , то параллелограмм является прямоугольником со сторонами b и h . Площадь A параболического сегмента, ограниченного параболой и хордой, равна, следовательно,
Эту формулу можно сравнить с площадью треугольника: 1/2 бх .
В общем случае, замкнутую площадь можно рассчитать следующим образом. Сначала найдите точку на параболе, где ее наклон равен наклону хорды. Это можно сделать с помощью исчисления или с помощью линии, параллельной оси симметрии параболы и проходящей через середину хорды. Искомая точка находится там, где эта линия пересекает параболу. [e] Затем, используя формулу, приведенную в разделе Расстояние от точки до прямой , вычислите перпендикулярное расстояние от этой точки до хорды. Умножьте это на длину хорды, чтобы получить площадь параллелограмма, затем на 2/3, чтобы получить искомую замкнутую площадь.
Следствием вышеизложенного обсуждения является то, что если парабола имеет несколько параллельных хорд, их середины лежат на линии, параллельной оси симметрии. Если касательные к параболе проведены через конечные точки любой из этих хорд, то две касательные пересекаются на этой же линии, параллельной оси симметрии (см. Направление оси параболы). [f]
Если точка X расположена на параболе с фокусным расстоянием f , и если p — перпендикулярное расстояние от X до оси симметрии параболы, то длины дуг параболы, которые заканчиваются в точке X, можно вычислить из f и p следующим образом, предполагая, что все они выражены в одних и тех же единицах. [g]
Эта величина s представляет собой длину дуги между X и вершиной параболы.
Длина дуги между точкой X и симметрично противоположной точкой на другой стороне параболы равна 2 с .
Перпендикулярному расстоянию p можно придать положительный или отрицательный знак, чтобы указать, с какой стороны от оси симметрии X находится точка. Изменение знака p меняет знаки h и s, не меняя их абсолютных значений. Если эти величины имеют знаки, длина дуги между любыми двумя точками параболы всегда отображается разностью их значений s . Вычисление можно упростить, используя свойства логарифмов:
Это может быть полезно, например, при расчете размера материала, необходимого для изготовления параболического отражателя или параболического желоба .
Этот расчет можно использовать для параболы в любой ориентации. Он не ограничивается ситуацией, когда ось симметрии параллельна оси y .
S — фокус, а V — главная вершина параболы VG. Проведем VX перпендикулярно SV.
Возьмите любую точку B на VG и опустите перпендикуляр BQ из B в VX. Проведите перпендикуляр ST, пересекающий BQ, при необходимости продолженный в точке T. В точке B проведите перпендикуляр BJ, пересекающий VX в точке J.
Для параболы отрезок VBV, площадь, ограниченная хордой VB и дугой VB, равна ∆VBQ / 3, также .
Площадь параболического сектора .
Так как треугольники TSB и QBJ подобны, то
Следовательно, площадь параболического сектора можно найти по длине VJ, как найдено выше.
Окружность, проходящая через S, V и B, также проходит через J.
Наоборот, если на параболе VG нужно найти точку B так, чтобы площадь сектора SVB была равна указанному значению, определите точку J на VX и постройте окружность через S, V и J. Поскольку SJ — диаметр, центр окружности находится в ее середине и лежит на перпендикуляре к SV, на расстоянии половины VJ от SV. Искомая точка B находится там, где эта окружность пересекает параболу.
Если тело движется по траектории параболы под действием обратно квадратичной силы, направленной в сторону S, площадь SVB увеличивается с постоянной скоростью по мере движения точки B. Из этого следует, что J движется с постоянной скоростью вдоль VX, пока B движется вдоль параболы.
Если скорость тела в вершине, где оно движется перпендикулярно SV, равна v , то скорость J равна 3 v /4 .
Построение можно просто расширить, включив случай, когда ни один из радиусов не совпадает с осью SV следующим образом. Пусть A — фиксированная точка на VG между V и B, а точка H — пересечение на VX с перпендикуляром к SA в точке A. Из вышесказанного следует, что площадь параболического сектора .
Наоборот, если требуется найти точку B для конкретной области SAB, найдите точку J из HJ и точку B, как и прежде. По Книге 1, Предложению 16, Следствию 6 Начал Ньютона , скорость тела, движущегося по параболе с силой, направленной к фокусу, обратно пропорциональна квадратному корню радиуса. Если скорость в точке A равна v , то в вершине V она равна , а точка J движется с постоянной скоростью .
Вышеприведенная конструкция была разработана Исааком Ньютоном и может быть найдена в первой книге «Philosophiæ Naturalis Principia Mathematica» как Предложение 30.
Фокусное расстояние параболы равно половине радиуса кривизны в ее вершине.
Рассмотрим точку ( x , y ) на окружности радиуса R с центром в точке (0, R ) . Окружность проходит через начало координат. Если точка находится вблизи начала координат, теорема Пифагора показывает, что
Но если ( x , y ) находится очень близко к началу координат, то, поскольку ось x является касательной к окружности, y очень мал по сравнению с x , поэтому y 2 пренебрежимо мал по сравнению с другими членами. Поэтому очень близко к началу координат
Сравните это с параболой
вершина которого находится в начале координат, он открывается вверх и имеет фокусное расстояние f (см. предыдущие разделы этой статьи).
Уравнения (1) и (2) эквивалентны, если R = 2 f . Следовательно, это условие совпадения окружности и параболы в точке начала координат и очень близко к ней. Радиус кривизны в точке начала координат, которая является вершиной параболы, в два раза больше фокусного расстояния.
Вогнутое зеркало, представляющее собой небольшой сегмент сферы, ведет себя примерно как параболическое зеркало, фокусируя параллельный свет в точке, расположенной посередине между центром и поверхностью сферы.
Другое определение параболы использует аффинные преобразования :
Аффинное преобразование евклидовой плоскости имеет вид , где — регулярная матрица ( определитель не равен 0), а — произвольный вектор. Если — векторы-столбцы матрицы , то единичная парабола отображается на параболу , где
В общем случае два вектора не перпендикулярны и не являются вершиной, если только аффинное преобразование не является подобием .
Касательный вектор в точке равен . В вершине касательный вектор ортогонален . Следовательно, параметр вершины является решением уравнения, которое равно , а вершина равна
Фокусное расстояние можно определить с помощью подходящего преобразования параметров (которое не меняет геометрическую форму параболы). Фокусное расстояние равно Следовательно, фокус параболы равен
Решая параметрическое представление для по правилу Крамера и используя , получаем неявное представление
Определение параболы в этом разделе дает параметрическое представление произвольной параболы, даже в пространстве, если допустить, что являются векторами в пространстве.
Квадратичная кривая Безье — это кривая, определяемая тремя точками , и , называемыми ее контрольными точками :
Эта кривая является дугой параболы (см. § Как аффинное изображение единичной параболы).
В одном из методов численного интегрирования график функции заменяют дугами парабол и интегрируют дуги парабол. Парабола определяется тремя точками. Формула для одной дуги:
Этот метод называется правилом Симпсона .
Следующие квадрики содержат параболы в качестве плоских сечений:
Парабола может быть использована в качестве трисектрисы , то есть она позволяет выполнить точную трисекцию произвольного угла с помощью циркуля и линейки. Это не противоречит невозможности трисекции угла только с помощью циркуля и линейки , поскольку использование парабол не допускается классическими правилами для построений с помощью циркуля и линейки.
Чтобы выполнить трисекцию , поместите его катет на ось x так, чтобы вершина находилась в начале системы координат. Система координат также содержит параболу . Единичная окружность с радиусом 1 вокруг начала координат пересекает другую катет угла , и из этой точки пересечения проведите перпендикуляр на ось y . Параллель оси y через середину этого перпендикуляра и касательная к единичной окружности в пересекаются в . Окружность вокруг с радиусом пересекает параболу в точке . Перпендикуляр из на ось x пересекает единичную окружность в точке , и составляет ровно одну треть от .
Правильность этой конструкции можно увидеть, показав, что координата x равна . Решение системы уравнений, заданной окружностью вокруг и параболой, приводит к кубическому уравнению . Формула тройного угла затем показывает, что является действительно решением этого кубического уравнения.
Эта трисекция восходит к Рене Декарту , который описал ее в своей книге «Геометрия» (1637). [18]
Если заменить действительные числа произвольным полем , многие геометрические свойства параболы останутся в силе:
Принципиально новые явления возникают, если поле имеет характеристику 2 (то есть ): все касательные параллельны.
В алгебраической геометрии парабола обобщается рациональными нормальными кривыми , имеющими координаты ( x , x2 , x3 , ..., xn ) ; стандартная парабола — это случай n = 2 , а случай n = 3 известен как скрученная кубическая парабола . Дальнейшее обобщение дается многообразием Веронезе , когда имеется более одной входной переменной.
В теории квадратичных форм парабола является графиком квадратичной формы x 2 (или других масштабирований), в то время как эллиптический параболоид является графиком положительно определенной квадратичной формы x 2 + y 2 (или масштабирований), а гиперболический параболоид является графиком неопределенной квадратичной формы x 2 − y 2. Обобщения на большее количество переменных дают дополнительные такие объекты.
Кривые y = x p для других значений p традиционно называются высшими параболами и изначально рассматривались неявно в форме x p = ky q для p и q — оба положительных целых чисел, в этой форме они рассматриваются как алгебраические кривые. Они соответствуют явной формуле y = x p / q для положительной дробной степени x . Отрицательные дробные степени соответствуют неявному уравнению x p y q = k и традиционно называются высшими гиперболами . Аналитически x также может быть возведен в иррациональную степень (для положительных значений x ); аналитические свойства аналогичны свойствам при возведении x в рациональные степени, но полученная кривая больше не является алгебраической и не может быть проанализирована алгебраической геометрией.
В природе приближения парабол и параболоидов встречаются во многих разнообразных ситуациях. Наиболее известным примером параболы в истории физики является траектория частицы или тела, движущегося под действием однородного гравитационного поля без сопротивления воздуха (например, мяч, летящий по воздуху, если пренебречь трением воздуха ).
Параболическая траектория снарядов была экспериментально открыта в начале 17 века Галилеем , который проводил эксперименты с шарами, катящимися по наклонным плоскостям. Позднее он также доказал это математически в своей книге «Диалог о двух новых науках» . [19] [h] Для объектов, протяженных в пространстве, таких как ныряльщик, прыгающий с трамплина, сам объект совершает сложное движение при вращении, но центр масс объекта тем не менее движется по параболе. Как и во всех случаях в физическом мире, траектория всегда является приближением параболы. Наличие сопротивления воздуха, например, всегда искажает форму, хотя на низких скоростях форма является хорошим приближением параболы. На более высоких скоростях, таких как в баллистике, форма сильно искажена и не похожа на параболу.
Другая гипотетическая ситуация, в которой могут возникнуть параболы, согласно теориям физики, описанным в 17-м и 18-м веках сэром Исааком Ньютоном , - это орбиты двух тел , например, путь небольшого планетоида или другого объекта под влиянием гравитации Солнца . Параболические орбиты не встречаются в природе; простые орбиты чаще всего напоминают гиперболы или эллипсы . Параболическая орбита - это вырожденный промежуточный случай между этими двумя типами идеальных орбит. Объект, следующий по параболической орбите, будет двигаться с точной скоростью убегания объекта, вокруг которого он вращается; объекты на эллиптических или гиперболических орбитах движутся со скоростью, меньшей или большей скорости убегания, соответственно. Долгопериодические кометы движутся близко к скорости убегания Солнца, когда они движутся через внутреннюю часть Солнечной системы, поэтому их траектории почти параболические.
Приближения парабол также встречаются в форме основных тросов на простом подвесном мосту . Кривая цепей подвесного моста всегда является промежуточной кривой между параболой и цепной линией , но на практике кривая, как правило, ближе к параболе из-за веса груза (т. е. дороги), который намного больше, чем сами тросы, и в расчетах используется формула полинома второй степени параболы. [20] [21] Под воздействием равномерной нагрузки (например, горизонтальной подвесной палубы) трос, в противном случае имеющий форму цепной линии, деформируется в сторону параболы (см. Цепная линия § Кривая подвесного моста ). В отличие от неупругой цепи, свободно висящая пружина нулевой ненапряженной длины принимает форму параболы. Тросы подвесного моста в идеале находятся исключительно в состоянии растяжения, не неся других сил, например, изгиба. Аналогично, конструкции параболических арок находятся исключительно в состоянии сжатия.
Параболоиды также возникают в нескольких физических ситуациях. Наиболее известным примером является параболический рефлектор , который представляет собой зеркало или подобное отражающее устройство, которое концентрирует свет или другие формы электромагнитного излучения в общей фокусной точке или, наоборот, коллимирует свет от точечного источника в фокусе в параллельный луч. Принцип параболического рефлектора, возможно, был открыт в 3 веке до нашей эры геометром Архимедом , который, согласно сомнительной легенде, [22] построил параболические зеркала для защиты Сиракуз от римского флота, концентрируя солнечные лучи, чтобы поджечь палубы римских кораблей. Этот принцип был применен к телескопам в 17 веке. Сегодня параболоидные рефлекторы можно обычно наблюдать во многих частях мира в микроволновых и спутниковых антеннах приема и передачи.
В параболических микрофонах для фокусировки звука на микрофон используется параболический отражатель, что обеспечивает ему остронаправленную работу.
Параболоиды также наблюдаются на поверхности жидкости, заключенной в контейнер и вращающейся вокруг центральной оси. В этом случае центробежная сила заставляет жидкость подниматься по стенкам контейнера, образуя параболическую поверхность. Это принцип, лежащий в основе телескопа с жидкостным зеркалом .
Летательные аппараты, используемые для создания состояния невесомости в экспериментальных целях, такие как « Рвотная комета » НАСА , в течение коротких периодов времени следуют по вертикальной параболической траектории, чтобы отследить курс объекта в свободном падении , что для большинства целей создает тот же эффект, что и невесомость.