Пусть

,

,

,

,

,

, где точка

- пересечение

c

. Тогда по т.Чевы из тр-ика

имеем

или

. Теперь, если мы хотим доказать, что точки

,

,

лежат на одной прямой, то должно выполняться (и этого достаточно)

. Значит, остаётся проверить равенство (*)

, но по теор. о секущей

. Тогда (*) примет вид

. Из подобия тр-иков

и

имеем

. Осталось проверить, что

, но это следует из подобия тр-иков

и

.
That's all
