Диаметры и диаметральные плоскости кривых и поверхностей

Свойство середин хорд и уравнение диаметра

Рассмотрим на плоскости произвольную кривую второго порядка (например, эллипс или гиперболу) и проведем семейство параллельных хорд (отрезков, концы которых лежат на кривой) с заданным направляющим вектором s = (l; m). Вычислим координаты середины каждой из этих параллельных хорд. Аналитическая геометрия строго доказывает, что все эти середины всегда будут лежать на одной идеальной прямой линии! Эта прямая и называется диаметром кривой, сопряженным направлению s. Алгебраическое уравнение этого диаметра выводится из условия касания: градиент кривой в любой точке диаметра должен быть ортогонален направляющему вектору хорд. Для общего уравнения кривой F(x, y) = 0 диаметр описывается линейным уравнением: l*(dF/dx) + m*(dF/dy) = 0. Это уравнение первой степени подтверждает, что геометрическим местом середин хорд всегда является прямая.

Сопряженные диаметры и взаимная симметрия

Концепция диаметров порождает удивительное свойство взаимной симметрии направлений. Выберем некоторый вектор направления s1 и построим соответствующий ему диаметр D1. Этот диаметр D1 сам является прямой линией и имеет свой собственный направляющий вектор s2. Если теперь мы проведем новое семейство хорд, параллельных направлению s2, и найдем геометрическое место их середин, то мы получим новый диаметр D2. Математическая теорема о сопряженных диаметрах гласит, что этот новый диаметр D2 будет строго параллелен исходному вектору s1! Таким образом, два диаметра D1 и D2 называются сопряженными. Для эллипса это означает, что если мы построим описанный параллелограмм, стороны которого параллельны сопряженным диаметрам, точки касания всегда будут лежать на концах этих диаметров. Для окружности любые два перпендикулярных диаметра являются сопряженными.

Диаметральные плоскости в трехмерном пространстве

При переходе в трехмерное пространство (к поверхностям второго порядка, таким как эллипсоиды или гиперболоиды) хорды остаются одномерными отрезками. Если мы проведем в пространстве семейство параллельных хорд с направляющим вектором s = (l; m; n), то геометрическое место их середин уже не будет прямой линией. Алгебраический вывод (через обнуление коэффициента при линейном параметре t в уравнении пересечения) показывает, что все середины параллельных хорд в 3D-пространстве всегда ложатся на одну идеальную плоскость! Эта плоскость называется диаметральной плоскостью, сопряженной направлению s. Ее уравнение выводится абсолютно аналогично: l*(dF/dx) + m*(dF/dy) + n*(dF/dz) = 0. Это линейное уравнение от x, y, z описывает плоскость, делящую пополам все хорды данного направления.

Поиск центров фигур через пересечение диаметров

Аппарат диаметров и диаметральных плоскостей предоставляет самый надежный аналитический метод для нахождения геометрических центров кривых и поверхностей. Центр симметрии фигуры — это точка, которая делит пополам любую проходящую через нее хорду. Из определения диаметра как множества середин хорд логически следует, что центр симметрии обязан принадлежать абсолютно всем возможным диаметрам (или диаметральным плоскостям) данной поверхности. Алгебраически это означает, что координаты центра (x0; y0; z0) можно найти, приравняв к нулю все три частные производные уравнения поверхности: dF/dx = 0, dF/dy = 0, dF/dz = 0. Решение этой системы трех линейных уравнений дает координаты единственного центра. Если система не имеет решения (ее определитель равен нулю), это строго математически доказывает, что фигура не имеет единого центра симметрии (является параболоидом или параболическим цилиндром).