Отсюда по формуле (16) находим кривизну:
k(α)=
R
2
(α)
R
3
(α)
=
1
R(α)
.
Справедливость формулы (10) для кривизны установлена.
Теорема 21.1 доказана.
Замечание 21.2. Кривизна k(α) границы ∂U гладкого выпуклого
компакта U ∈ SM(E
2
) отделена от нуля положительной константой
и конечна при любых α. Аналогичным свойством обладает и радиус
кривизны R(α): он тоже отделён от нуля и от плюс бесконечности
положительными константами.
6.21.2 Геометрическая интерпретация
Остановимся сейчас на геометрической интерпретации утвержде-
ний теоремы 21.1. Рисунок 21.1 иллюстрирует параметрическое урав-
нение (11). На нём показаны гладкий выпуклый компакт U , его гра-
ница ∂U; граничная точка x(α)=c
(q(α)) является опорной точкой,
определяемой опорным вектором q(α); множество U иопорнаяги-
перплоскость Γ
q(α)
имеют единственную общую точку x(α).Привоз-
растании параметра α от 0 до 2π опорный вектор q(α) совершает
один оборот в направлении против часовой стрелки, точка x(α) де-
лает один обход границы ∂U в направлении против часовой стрелки.
При каждом α множество U расположено в полупространстве (полу-
плоскости) Π
−
q(α)
, ограниченной опорной прямой Γ
q(α)
. Множество U
является пересечением полуплоскостей Π
−
q(α)
по всем α ∈ [0, 2π).Гра-
ничная точка x(α) описывается градиентом опорной функции выпук-
лого компакта U: x(α)=c
(q(α)).
Рисунок 21.2 иллюстрирует уравнение (3), в котором граничная
точка x(α) разложена по базису q(α), q
(α). Граничная точка x(α)
представлена в виде суммы двух векторов OA и AB, где точка A
– проекция точки 0 на опорную прямую Γ
q(α)
,точкаB совпадает с
граничной точкой x(α),причем
OA = c
0
(α)q(α), |OA| = |c
0
(α)|,
AB = c
0
(α)q
(α), |AB| = |c
0
(α)|,
c
0
(α) – расстояние от O до опорной прямой Γ
q(α)
, взятое с опреде-
лённым знаком, c
0
(α) – расстояние между точками A и B,взятоес
определённым знаком.
207