Оптическое свойство эллипса: формула и доказательство

Оптическое свойство эллипса - одно из самых красивых фактов аналитической геометрии: луч, выпущенный из одного фокуса эллипса, после единственного отражения от его границы обязательно проходит через второй фокус, причём независимо от того, под каким углом луч изначально вышел. Это не совпадение и не приближение, а точное геометрическое следствие самого определения эллипса как множества точек с постоянной суммой расстояний до двух фокусов. Ниже разберём, как формулируется это свойство, почему угол падения луча всегда равен углу отражения, что происходит с лучом при многократных отражениях и где это используется на практике - от шёпчущих галерей до дробления камней в почках. Чтобы увидеть свойство в действии, покрути калькулятор ниже: он строит луч из фокуса, находит точку отражения на эллипсе и показывает, что оба угла к касательной совпадают.

Формулировка оптического свойства эллипса

Рассмотрим эллипс в каноническом виде:

$\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1, \qquad a > b > 0,$

с фокусами $F_1(-c, 0)$ и $F_2(c, 0)$, где $c = \sqrt{a^2 - b^2}$. Определение эллипса гласит: для любой точки $P$ на кривой сумма фокальных радиусов постоянна,

$r_1 + r_2 = |PF_1| + |PF_2| = 2a.$

Оптическое (иногда его называют отражательным или фокальным) свойство эллипса формулируется так: касательная к эллипсу в произвольной точке $P$ образует равные углы с отрезками $PF_1$ и $PF_2$. Если представить эллипс зеркальной поверхностью, а фокусы - источником и приёмником света, то луч, вышедший из $F_1$, коснувшись границы в точке $P$, отражается по обычному закону отражения (угол падения равен углу отражения относительно нормали) и неизбежно летит прямо в $F_2$. Причём это верно для любой точки $P$ и любого начального направления луча - единственное, что меняется, это сама точка отражения.

Рассчитать для своей задачи

Доказательство: почему угол падения равен углу отражения

Доказательство опирается на градиент функции суммы расстояний. Введём $f(x, y) = |PF_1| + |PF_2|$, где $P = (x, y)$. Эллипс - это линия уровня $f(x, y) = 2a$. Градиент суммы расстояний в точке $P$ равен сумме единичных векторов, направленных от каждого фокуса к точке:

$\nabla f(P) = \frac{P - F_1}{|PF_1|} + \frac{P - F_2}{|PF_2|}.$

Сумма двух единичных векторов всегда лежит на биссектрисе угла между ними - значит, градиент $\nabla f$ делит пополам угол $F_1PF_2$. Но градиент линии уровня всегда перпендикулярен самой линии уровня, то есть перпендикулярен касательной к эллипсу в точке $P$. Отсюда следует: нормаль к эллипсу делит угол $F_1PF_2$ пополам, а значит, касательная делит пополам смежный (внешний) угол - тот самый, который образуют продолжения отрезков $PF_1$ и $PF_2$ за точку $P$. Именно это и есть равенство угла падения луча, идущего от $F_1$, и угла отражения луча, уходящего к $F_2$, относительно касательной.

Тот же результат можно получить и через явную формулу нормали. Записав эллипс как $F(x, y) = x^2/a^2 + y^2/b^2 - 1 = 0$, получаем нормальный вектор

$\vec n \;\propto\; \left(\frac{x}{a^2}, \frac{y}{b^2}\right),$

а касательный вектор в точке с параметром $t$, где $P(t) = (a\cos t,\, b\sin t)$, равен

$\vec T(t) = (-a\sin t,\; b\cos t).$

Отражение единичного направления падающего луча $\vec d$ от нормали $\hat n$ вычисляется стандартной формулой закона отражения:

\vec d\,' = \vec d - 2(\vec d \cdot \hat n)\,\hat n.

Если $\vec d$ - направление луча, вышедшего из $F_1$ и достигшего точки $P$, то отражённое направление \vec d\,' всегда совпадает (с точностью до направления) с единичным вектором из $P$ в $F_2$ - это можно проверить численно в калькуляторе выше при любом угле выхода луча.

Рассчитать для своей задачи

Билльярд-траектория и явление шёпчущей галереи

Если проследить не одно, а несколько последовательных отражений луча внутри эллипса, получится любопытная картина. Луч, вышедший из фокуса $F_1$, после первого отражения проходит через $F_2$, затем продолжает движение по прямой, снова касается границы и после второго отражения обязан пройти через $F_1$ - и так далее, чередуя близкие проходы то у одного, то у другого фокуса. При этом с каждым отражением траектория постепенно приближается к большой оси эллипса: уже после трёх-четырёх отскоков луч практически бежит вдоль отрезка между вершинами. Это строгое следствие того же оптического свойства, применённого последовательно к каждой новой точке отражения.

Рассчитать для своей задачи

Это же явление лежит в основе эффекта шёпчущей галереи: если помещение (или его поперечное сечение) имеет форму эллипса, то звук, произнесённый шёпотом точно в одном фокусе, после единственного отражения от стен собирается во втором фокусе - и слышен там гораздо отчётливее, чем в любой другой точке зала, несмотря на то что расстояние может быть значительным.

Пример решения задачи

Возьмём эллипс с полуосями $a = 5$ и $b = 3$. Тогда $c = \sqrt{25 - 9} = 4$, фокусы $F_1(-4, 0)$ и $F_2(4, 0)$. Пусть луч выходит из $F_1$ под углом $\varphi = 30°$ к большой оси, то есть в направлении $\vec d = (\cos 30°, \sin 30°)$.

Подставив прямую $F_1 + s\vec d$ в уравнение эллипса и решив квадратное уравнение относительно параметра $s$, находим точку отражения:

$P \approx (1{,}07;\ 2{,}93), \qquad r_1 = |PF_1| \approx 5{,}86.$

Проверим определение эллипса: расстояние от $P$ до второго фокуса должно дополнять $r_1$ до $2a = 10$:

$r_2 = |PF_2| \approx 4{,}14, \qquad r_1 + r_2 \approx 5{,}86 + 4{,}14 = 10{,}00 = 2a.$

Совпадение выполняется точно - это подтверждает, что точка найдена верно. Теперь вычислим угол между отрезком $PF_1$ и касательной в точке $P$, а также угол между $PF_2$ и той же касательной:

$\angle(PF_1,\, T) \approx 37{,}5°, \qquad \angle(PF_2,\, T) \approx 37{,}5°.$

Углы совпадают, что и требовалось: отражённый луч действительно уходит точно в $F_2$. Продолжив луч дальше от $F_2$ до следующего пересечения с эллипсом, получим точку второго отражения - и цикл повторится уже для пары $F_2 \to F_1$.

Применение оптического свойства эллипса

Оптическое свойство - не просто красивая теорема, а рабочий инженерный принцип. Эллиптические рефлекторы применяют в медицинской литотрипсии: ударную волну генерируют в одном фокусе эллиптической камеры, и она фокусируется точно на камне в почке, помещённом во второй фокус, не повреждая окружающие ткани. В акустике на этом же принципе построены знаменитые шёпчущие галереи - эллиптические своды, где звук из одной точки собирается в другой. В оптике эллиптические зеркала используют в лазерных резонаторах и осветительных системах, где нужно собрать расходящийся от источника свет в компактное пятно. Похожее фокус-директориальное определение эллипса (через отношение расстояний до фокуса и до директрисы) разобрано в статье про директрисы эллипса - оно даёт другой взгляд на ту же кривую.

Частые ошибки

• Путают угол падения с углом между лучами. Равны углы, которые падающий и отражённый лучи образуют с касательной (или нормалью) в точке отражения, а не угол между самими лучами $F_1PF_2$ - он, наоборот, обычно не равен ни одному из углов к касательной.
• Забывают, что фокусы лежат внутри эллипса. Луч из фокуса всегда попадает на границу эллипса при любом направлении, потому что фокус - внутренняя точка; ошибочно искать пересечение луча «снаружи» кривой.
• Считают свойство приближённым. Равенство углов и совпадение $r_1 + r_2 = 2a$ выполняются точно, а не приблизительно - расхождения в вычислениях означают ошибку в координатах точки отражения.
• Путают эллипс с окружностью. У окружности оба фокуса сливаются в центр, и любой луч из центра отражается назад в центр же - оптическое свойство эллипса вырождается только в этом предельном случае $a = b$.
• Пропускают проверку через сумму фокальных радиусов. Быстрый способ убедиться, что точка отражения найдена верно - проверить $r_1 + r_2 = 2a$; если равенство не выполняется, ошибка в решении квадратного уравнения на пересечение луча с эллипсом.

FAQ

Почему луч из фокуса эллипса после отражения обязательно попадает во второй фокус? Потому что нормаль к эллипсу в любой точке делит пополам угол между отрезками до фокусов - это прямое следствие того, что градиент суммы расстояний до двух точек всегда лежит на биссектрисе угла между направлениями к ним. Раз нормаль делит угол пополам, закон отражения автоматически направляет луч от одного фокуса ровно во второй.

Что произойдёт с лучом, если продолжать отражения? Луч будет бесконечно чередовать прохождение то рядом с одним фокусом, то рядом с другим, а траектория будет постепенно приближаться к большой оси эллипса. Это классический билльярд внутри эллиптической границы, стартующий из фокуса.

Работает ли это свойство для гиперболы и параболы? У этих кривых есть свои аналоги. У гиперболы луч, направленный на одну ветвь так, будто он вышел из одного фокуса, отражается так, как если бы он шёл из второго. У параболы все лучи, параллельные оси, после отражения собираются в единственном фокусе - на этом принципе построены параболические антенны и рефлекторы фар.

Коротко

Оптическое свойство эллипса гласит: луч из одного фокуса после отражения от границы эллипса всегда проходит через второй фокус, потому что касательная в точке отражения делит пополам угол между отрезками до фокусов. Доказывается это через градиент суммы расстояний $r_1 + r_2 = 2a$: он лежит на биссектрисе угла между направлениями к фокусам и перпендикулярен эллипсу, значит, нормаль (а с ней и закон отражения) автоматически связывает оба фокуса. При многократных отражениях луч чередует прохождение то у одного, то у другого фокуса, постепенно приближаясь к большой оси, - на этом эффекте построены шёпчущие галереи и медицинские литотрипторы.