LudiА можно так: (чертеж - супер!)
Если
- биссектриса внешнего угла, то тр-к
- прямоугольный, так что
- средняя линия в нем, и приходит она как раз в центр
описанной около него окружности. Тогда:
1. Из подобия тр-ков
и
получим
, где
- радиус той описанной окр-ти
2. Из подобия тр-ков
и
(тут надо - счет углов с учетом биссектрисности) имеем
3. Из 2 и 3 имеем
, что и есть достаточное условие вписанности чет-ка
...
Ну, можно и чуть короче: сослаться на симметричность относительно той окружности пар точек
и
- это свойства окружности Аполлония, и сразу получить 3.
-- 10.12.2020, 01:37 --А впрочем, это фактически и есть док-во от
TOTAL