Доказательство теоремы Биркгофа

Пусть а — угол между отрезком ф ф0 и касательной / к кривой в точке ф0 а —угол между отрезком ф ф0 и прямой (см. рис. 25). Тогда [Стр.62]

Напомним, что ф0 —ф = 6, ф — ф 36. Можно считать, что ф — ф — 36 при этом может только уменьшаться. Из треугольника ф фоф находим [Стр.62]

Кроме того, если — радиус кривизны исходной кривой в точке ф0, то [Стр.62]