Основываясь на известном свойстве выпуклых линий, соединяющих две данные точки, согласно которому объемлющая линия длиннее объемлемой, можем написать (полагая хорда )
Но k равно удвоенной проекции на . Поэтому
Итак, имеем
При неограниченном сближении точек а и угол согласно предположению стремится к нулю. Значит, приближается к 1.
Рис. 5
Рис. 6
Но тогда к 1 должно приближаться и отношение как промежуточное между 1 и , стремящимся к 1, то есть
b. Пусть, в частности, дуга принадлежит окружности радиуса 1. В этом случае, очевидно (рис. 6),
и мы имеем согласно пункту «а»
Для полноты результата покажем, что тот же предел 1 мы получаем и при
Действительно, если отрицательное, то, полагая имеем
Теперь мы можем написать