В выпуклом четырехугольнике ABCD проведены диагонали AC и BD. Знаменито, что

Будем использовать последующие известные факты (они все просто доказываются):
1) Угол меж биссектрисами 2-ух углов треугольника равен 90 плюс половина третьего угла треугольника.
2) Биссектриса треугольника пересекает его описанную окружность в точке, лежащей на серединном перпендикуляре к той стороне, к которой проведена биссектриса.
3) Вписанный в окружность угол в 60 опирается на хорду одинаковую R3.

Пусть E и F - точки пересечения биссектрис треугольников ABD и АСD соответственно. Тогда из этих треугольников в силу 1) получаем