Пусть

- центр

, а

- точка пересечения прямой

с отрезком

. Проведём через точку

прямую, параллельную

. Пусть эта прямая пересекает стороны

и

в точках

и

соответственно. Поскольку

, то четырёхугольники

и

(если

) или

и

(если

) - вписанные; случай

тривиален. Значит

(использовано то, что треугольник

- равнобедренный), откуда следует равенство прямоугольных треугольников

и

, а, стало быть, и равенство

. Остаётся только продлить медиану

треугольника

до пересечения со стороной

и обратить внимание на подобие

.