Основываясь на известном свойстве выпуклых линий, соединяющих две данные точки, согласно которому объемлющая линия длиннее объемлемой, можем написать (полагая
хорда
)

Но k равно удвоенной проекции
на
. Поэтому

Итак, имеем

При неограниченном сближении точек а и
угол
согласно предположению стремится к нулю. Значит,
приближается к 1.

Рис. 5

Рис. 6
Но тогда к 1 должно приближаться и отношение
как промежуточное между 1 и
, стремящимся к 1, то есть

b. Пусть, в частности, дуга
принадлежит окружности радиуса 1. В этом случае, очевидно (рис. 6),

и мы имеем согласно пункту «а»

Для полноты результата покажем, что тот же предел 1 мы получаем и при 
Действительно, если
отрицательное, то, полагая
имеем

Теперь мы можем написать
