LudiА можно так: (чертеж - супер!)
Если

- биссектриса внешнего угла, то тр-к

- прямоугольный, так что

- средняя линия в нем, и приходит она как раз в центр

описанной около него окружности. Тогда:
1. Из подобия тр-ков

и

получим

, где

- радиус той описанной окр-ти
2. Из подобия тр-ков

и

(тут надо - счет углов с учетом биссектрисности) имеем

3. Из 2 и 3 имеем

, что и есть достаточное условие вписанности чет-ка

...
Ну, можно и чуть короче: сослаться на симметричность относительно той окружности пар точек

и

- это свойства окружности Аполлония, и сразу получить 3.
-- 10.12.2020, 01:37 --А впрочем, это фактически и есть док-во от
TOTAL