На прямой, которую будем называть абсолютом, отметим три точки

,

,

(в этом порядке). Рассмотрим арбелос Архимеда

, т.е. криволинейный треугольник, образованный полуокружностями с диаметрами

,

и

(все полуокружности лежат в одной полуплоскости). Проведём чевианы

,

и

--- это дуги окружностей с центрами, лежащими на абсолюте (

лежит на полуокружности с диаметром

и т.д.). Пусть
Теорема. Чевианы

,

и

арбелоса

пересекаются в одной точке тогда и только тогда, когда

.
Известна ли эта теорема? Если да, то где опубликована?