Теорема Фогта

Рис. 1. Теорема Фогта (слева — в оригинальной формулировке)

Теорема Фогта устанавливает соотношения между граничными углами плоской кривой с монотонно изменяющейся кривизной (спиральной дуги) в зависимости от возрастания / убывания кривизны.

Названа в честь немецкого математик Вольфганга Фогта (Wolfgang Wilhelm Vogt, 1883—1916).

Формулировка В. Фогта

В оригинальной статье (Satz 12) теорема сформулирована так: Шаблон:Начало цитаты Пусть $A$ и $B$ – две последовательные точки пересечения кривой с монотонной кривизной и прямой $g$, $\alpha$ и $\beta$ — углы между хордой $AB$ и касательными лучами в точках $A$ и $B$, лежащими с той же стороны от $g$, что и дуга $\stackrel{⌢}{AB}$. Тогда угол $\alpha$ больше, меньше, или равен $\beta$, соответственно тому, возрастает ли кривизна от $A$ до $B$, убывает ли, или остаётся постоянной. Шаблон:Конец цитаты

В статье (как и в монографии, Theorem 3-17) рассматриваются только выпуклые кривые с непрерывной кривизной $k(s)$. Требование выпуклости означает знакопостоянство кривизны (отсутствие у кривой точки перегиба). По сути, в этой формулировке речь идёт об абcолютных величинах кривизны $|k(s)|$ и углов $|\alpha |,|\beta |$. Другие доказательства этой теоремы в тех же предположениях даны в статьях, , .

Теорему иллюстрирует левая колонка рисунка 1.

Модифицированная формулировка теоремы

Модифицированная версия теоремы Фогта (см., теорема 1)

• рассматривает углы $\alpha$ и $\beta$ как ориентированные, измеренные относительно направления хорды $\overrightarrow{AB}$;
• формулируется с учётом естественного знака кривизны (в смысле $k(s)=\frac{\mathrm{d}\tau }{\mathrm{d}s},$ где $\tau (s)$ — угол наклона касательной к кривой);
• не требует непрерывности и знакопостоянства кривизны;
• распространяется не только на выпуклые спиральные дуги, но и на все короткие спирали — те, которые не закручиваются вокруг концевых точек, то есть не пересекают дополнение хорды до бесконечной прямой (хотя могут пересекать саму хорду, как кривая $A_6{B}_6$ на рис. 1).

Формулировка: Шаблон:Начало цитатыПусть $k_1$ — кривизна короткой спирали $\stackrel{⌢}{AB}$ в начальной точке $A$, $k_2$ — её кривизна в конечной точке $B$. Тогда

$\mathrm{sgn}(k_2-k_1)=\mathrm{sgn}(\alpha +\beta ),(1)$

или, подробнее, для случаев возрастающей и убывающей кривизны,

$\begin{array}{cccc}\text{если}{k}_1<k_2:& \alpha +\beta >0,& -\pi <\alpha \le \pi ,& -\pi <\beta \le \pi ;\\ \text{если}{k}_1>k_2:& \alpha +\beta <0,& -\pi \le \alpha <\pi ,& -\pi \le \beta <\pi .\end{array}(2)$

Шаблон:Конец цитаты Правая колонка рисунка 1 иллюстрирует модифицированную версию теоремы Фогта (для случая убывающей кривизны). К примеру, кривые $A_1{B}_1$ и $A_4{B}_4$ на рис. 1 одинаковы и имеют отрицательную убывающую кривизну: $0>k_1>k_2$. Неравенства Фогта, $k_1<k_2\Rightarrow \alpha >\beta ,$ подразумевают $|k_1|<|k_2|\Rightarrow |\alpha |>|\beta |,$ что, с учётом знаков кривизн и ориентированных углов, означает $-k_1<-k_2\Rightarrow \alpha >-\beta ,$ или $k_1>k_2\Rightarrow \alpha +\beta <0,$ в соответствии с (1).

Отразив кривые 4-7 симметрично относительно хорды (что влечёт смену знаков у $k_1,k_2,\alpha ,\beta$), получим примеры с возрастающей кривизной.

Геометрический смысл суммы $\alpha +\beta$

Рис. 2. Линза спиральной дуги AB

Пусть по короткой спирали $\stackrel{⌢}{AB}$ движется точка от $A$ к $B.$ Для каждого положения $P(s)$ подвижной точки построим круговую дугу $\stackrel{⌢}{APB}$ (рис. 2). Угол наклона касательной к этой дуге в точке $A$ обозначим $\phi (s)$.

• Функция $\phi (s)$ строго монотонна; $\lim {\mathrm{\backslash limits}}_{P\to A}\phi (s)=\alpha ,$ $\lim {\mathrm{\backslash limits}}_{P\to B}\phi (s)=-\beta .$
• Дуги $\stackrel{⌢}{APB}$ заметают Шаблон:Якорьлинзу — область, ограниченную двумя круговыми дугами, опирающимися на хорду $AB$, одна из которых имеет со спиралью общую касательную в точке $A$, вторая — в точке $B.$
• Любая короткая спираль с граничными углами $\alpha$ и $\beta$ заключена внутри линзы (теорема 2 в).
• Сумма $\sigma =\alpha +\beta$ равна по модулю угловой ширине линзы, а её знак соответствует возрастанию${}^{(+)}$/ убыванию${}^{(-)}$ кривизны.

Обобщение теоремы

Рис. 3.

Дальнейшее обобщение теоремы Фогта касается сколь угодно закрученных спиралей, для чего углы $\alpha ,\beta$ переопределяются в кумулятивном смысле, как «углы, помнящие свою историю».

Рассмотрим на спирали $\stackrel{⌢}{AB}$ длины $S$ точку $P(s)$, движущуюся от $A=P(0)$ к $B=P(S)$. Для достаточно малой (короткой) дуги $\stackrel{⌢}{AP}(s)$ значения граничных углов $\alpha (s)$ и $\beta (s)$, измеренных относительно направления подвижной хорды $\overrightarrow{AP}(s),$ близки к нулю, и при удалении точки $P$ от $A$ они могут достичь значений $\pm \pi .$ Договоримся о сохранении непрерывности функций $\alpha (s)$ и $\beta (s)$ при достижении значений, кратных $\pi .$ Обозначим

$\tilde{\alpha }=\alpha (S),\tilde{\beta }=\beta (S).$

Так, на рис. 3 угол $\beta (s)$ достигает значения $+\pi$, когда точка $P(s)$ достигает положения $P_8$, после чего $\beta (s)>\pi$.

В статье (теорема 1) показано, что сумма $\sigma (s)=\alpha (s)+\beta (s)$ есть монотонная функция длины дуги, возрастающая или убывающая как и кривизна $k(s)$. Функция $\sigma (s)$ строго монотонна, за исключением начального участка постоянной кривизны (если таковой имеется), в пределах которого $\sigma (s)\equiv 0.$ Тем самым формулировка (1) распространяется и на длинные спирали в виде

$\mathrm{sgn}(k_2-k_1)=\mathrm{sgn}(\tilde{\alpha }+\tilde{\beta }).$

Связанные утверждения:

При дробно-линейном отображении спирали значение $\sigma$ сохраняется.

Вариация поворота спирали ограничена неравенствами $|\sigma |<\mathrm{V}\mathrm{a}\mathrm{r}\tau (s)<|\sigma |+2\pi$ и остаётся в этих пределах при инверсии спирали.

Обратная теорема

В качестве утверждения, обратного теореме Фогта, А. Островский формулирует условия, допускающие существование (выпуклой) спиральной дуги с заданными граничными углами. В «ориентированном» варианте они принимают вид неравенств (2).

В (theorem 3-18) сформулированы усиленные условия для случая, когда дополнительно к углам заданы значения граничных радиусов кривизны.

В (теорема 3) эти условия распространены на короткие (и не только выпуклые) спирали: Для существования короткой спирали $\stackrel{⌢}{AB},$ отличной от бидуги, с граничными углами $\alpha ,\beta$ и кривизнами $k_1,k_2$ необходимо и достаточно выполнения условий (2) и неравенства $Q<0$, где

$Q=(k_{1}c+\sin \alpha )(k_{2}c-\sin \beta )+{\sin }^2\frac{\alpha +\beta }{2},c=\frac{1}{2}|AB|.(3)$

Если спираль является бидугой, то $Q=0.$

Задача построения спиральной дуги с заданными граничными условиями на концах в последние десятилетия активно обсуждается в CAD-приложениях (см., например, статьи и).

См. также

• Спираль: определения, основанные на монотонности кривизны.
• Бидуга.