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