В геометрии два диаметра конического сечения называются сопряженными , если каждая хорда, параллельная одному диаметру, делится пополам другим диаметром. Например, два диаметра окружности сопряжены тогда и только тогда, когда они перпендикулярны .
Для эллипса два диаметра сопряжены тогда и только тогда, когда касательная к эллипсу в конечной точке одного диаметра параллельна другому диаметру. Каждая пара сопряженных диаметров эллипса имеет соответствующий касательный параллелограмм , иногда называемый ограничивающим параллелограммом (скошенным по сравнению с ограничивающим прямоугольником ). В своей рукописи De motu corporum in gyrum и в « Principia » Исаак Ньютон приводит в качестве леммы, доказанной предыдущими авторами, что все (ограничивающие) параллелограммы для данного эллипса имеют одинаковую площадь .
Можно восстановить эллипс из любой пары сопряженных диаметров или из любого ограничивающего параллелограмма. Например, в предложении 14 Книги VIII своего Собрания Папп Александрийский дает метод построения осей эллипса из заданной пары сопряженных диаметров. Другой метод заключается в использовании построения Ритца , которое использует теорему Фалеса для нахождения направлений и длин большой и малой осей эллипса независимо от его вращения или сдвига .
В аналитической геометрии , если мы допустим, что векторы двух сопряженных полудиаметров равны , то эллипс параметризуется как , поскольку изменяется по .
Подобно эллиптическому случаю, диаметры гиперболы сопряжены , когда каждый из них делит пополам все хорды, параллельные друг другу. [1] В этом случае и гипербола, и ее сопряженная поверхность являются источниками хорд и диаметров.
Аполлоний Пергский дал следующую конструкцию сопряженных диаметров, учитывая сопряженную гиперболу : «Если Q — любая точка на гиперболе, а CE проведена из центра параллельно касательной в точке Q до пересечения с сопряженной гиперболой в точке E, то (1) касательная в точке E будет параллельна CQ и (2) CQ и CE будут сопряженными диаметрами». [2]
В аналитической геометрии , если мы допустим, что векторы двух сопряженных полудиаметров равны , то гипербола параметризуется соотношением при изменении по .
В случае прямоугольной гиперболы ее сопряжение является отражением относительно асимптоты . Диаметр одной гиперболы сопряжен своему отражению относительно асимптоты, которое является диаметром другой гиперболы. Как перпендикулярность является отношением сопряженных диаметров окружности, так и гиперболическая ортогональность является отношением сопряженных диаметров прямоугольных гипербол.
Размещение стяжек, укрепляющих квадратную сборку балок, определяется соотношением сопряженных диаметров в книге по аналитической геометрии . [3]
Сопряженные диаметры гипербол также полезны для формулировки принципа относительности в современной физике пространства-времени . Концепция относительности впервые введена в плоскости, состоящей из одного измерения в пространстве , второе измерение - время . В такой плоскости одна гипербола соответствует событиям, находящимся на постоянном пространственно-подобном интервале от исходного события, другая гипербола соответствует событиям, находящимся на постоянном времени-подобном интервале от него. Принцип относительности можно сформулировать так: «Любая пара сопряженных диаметров сопряженных гипербол может быть принята за оси пространства и времени». Эта интерпретация относительности была сформулирована Э. Т. Уиттакером в 1910 году. [4]
Каждая линия в проективной геометрии содержит точку в бесконечности , также называемую фигуративной точкой . Эллипс, парабола и гипербола рассматриваются как коники в проективной геометрии, и каждая коника определяет отношение полюса и поляры между точками и линиями. Используя эти концепции, «два диаметра сопряжены, когда каждый является полярой фигуративной точки другого». [5]
Только один из сопряженных диаметров гиперболы пересекает кривую.
Понятие разделения пар точек отличает эллипс от гиперболы: в эллипсе каждая пара сопряженных диаметров разделяет каждую другую пару. В гиперболе одна пара сопряженных диаметров никогда не разделяет другую такую пару.