Внутри параллелограмма ABCD взята такая точка P, что ∠PDA=∠PBA. Пусть ω1 — вневписанная окружность треугольника PAB, лежащая напротив вершины A. Пусть ω2 — вписанная окружность треугольника PCD. Докажите, что одна из общих касательных к ω1 и ω2 параллельна AD.
(Иван Фролов)
После параллельного переноса на вектор
задача превращается в такую: Дан произвольный вписанный четырехугольник CPDQ. Тогда одна из общих касательных
окружности, вписанной в треугольник PCD и вневписанной для треугольника CDQ напротив вершины D, параллельна PQ.
Последнее следует из одной из вариаций известного факта о том, что прямая между соответствующими инцентрами (эксцентрами) треугольников PCD, QCD параллельна биссектрисе между CD и PQ (последнее в свою очередь следует из леммы о трезубце).
Перенеся треугольник PAB на вектор получим треугольник QDC. Окружность ω1 также сдвинется параллельно AD и перейдёт во вневписанную окружность треугольника с центром J, поэтому достаточно доказать, что одна из общих касательных к ω3 и ω2 параллельна AD.
По условию значит, точки C, P, D и Q лежат на одной окружности, По известным формулам углов между биссектрисами
Пусть X и Y — точки пересечения CD с PQ и IJ соответственно. Имеем
как угол между хордами, отсюда, в частности, угол IYD острый, так как
Тогда точка D′, симметричная точке D относительно IJ, лежит по ту же сторону от CD, что и P, и при этом

