Let $ABCD$ be the cyclic quadrilateral. Suppose that there exists some line $l$ parallel to $BD$ which is tangent to the inscribed circles of triangles $ABC, CDA$. Show that $l$ passes through the incenter of $BCD$ or through the incenter of $DAB$. (Proposed by Fedir Yudin)
Problem
Source: Kyiv City MO 2022 Round 2, Problem 11.4
Tags: geometry
02.02.2022 01:25
Do I miss something or the problem is not true. Take any triangle $ABC$ with $BA\neq BC$, let $D$ be reflection of $B$ over $AC$. For this quadrilateral, the statement does not hold even though $ABCD$ has incircle and there is line $l$ parallel to $BD$ tangent to incircles of triangles $ABC,CDA$ by symmetry.
02.02.2022 02:15
rafaello wrote: Do I miss something or the problem is not true. Take any triangle $ABC$ with $BA\neq BC$, let $D$ be reflection of $B$ over $AC$. For this quadrilateral, the statement does not hold even though $ABCD$ has incircle and there is line $l$ parallel to $BD$ tangent to incircles of triangles $ABC,CDA$ by symmetry. It's not circumscribed
02.02.2022 02:26
Do you mean circumscribed quadrilateral as having circumcircle or what?
02.02.2022 19:17
rafaello wrote: Do you mean circumscribed quadrilateral as having circumcircle or what? Yes, edited, sorry
07.02.2022 14:39
We will consider the external tangent $\ell$ which is closer to $C$ and will prove that if $\ell \parallel BD$ then $\ell$ passes through the incenter of $BCD$. We fix the triangle $BCD$ and move the point $A$ along the arc $BD$. If $A$ coincide with the midpoint of the arc $BD$, then we can reflect $BC$ with the respect to the bisector of $BAC$ and $AD$ with respect to the bisector of $DAC$ and get the same line, which due to simple angle chasing will be parallel to $BD$ and tangent to both incircles. The images of points $B$ and $D$ after such reflections will coincide with the incenter of $BCD$ because of trillium theorem. Now it is easy to check, that if we move the point $A$ closer to $B$ then the left incircle will become smaller and the right one will become bigger and the common external tangent will be no longer parallel to $BD$. This completes the proof.
Attachments:
