11-я международная Иранская олимпиада по геометрии, 2023 год, третья лига, 11-12 классы
Комментарий/решение:
Заметим, что задача не симметрична (например в сравнении с другими задачами). Таким образом добавим точки $R=(CDI_B)\cap CI$ и $Q'=(CDI_B)\cap DI_A$. Тогда нетрудно заметить, что раз $BI_CI_BC$ вписан, то $I_A$ - радикальный центр $(CDI_B), (BI_CI_BC),(BDI_C)$, а значит $Q=Q'$. Таким образом нужно показать, что $AP=AQ=AR$, но $\angle QDB=\angle QRB$ и $\angle QDC=\angle QPC$ следует, что $I\in (PQR)$, поэтому достаточно показать, что $A$ - центр $(PQRI)$. $(AIDQ)$ вписан, так как $I_AD\cdot I_AQ=I_AI\cdot I_AA$. $(A,AI\cap BC; I,I_A)=-1$ и $\angle ADC=90^\circ$, поэтому $DA$ - биссектриса угла $QDI$ и $AQ=AI$. $\angle QAI=180^\circ - \angle IDQ=\angle QDB+\angle IDC=2\angle QDB=2\angle QPI$. Последнее равносильно утверждению теоремы о центральном и вписанном угле в окружности, поэтому $A$ - центр $(PQRI)$ и $AP=AQ$.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.