Incircle problem Triangle ABC has incircle $ \beta$ which meets BC at D. A diameter of the incircle has endpoints E and D. A line joining A and E meets BC at F. Given that $DC \gt BC$. Prove that $BD =FC$
I couldn't find any synthetic geometry methods, so I resorted to coordinate geometry. I took the incircle as a circle with radius 1 and centre (0,1). $B \equiv (-x,0) , C \equiv (y,0)$
I found $A \equiv (\frac{x-y}{xy-1} , \frac{2xy}{xy-1} )$
Then on extending AE we get $ F \equiv (y-x,0)$ and hence it is proved that $\overline{BD} = \overline{FC}$. 
I hope anyone could provide me proof with Euclidean geometry, which is more intuitive and brainy than bashing.
Note: Please help in putting a suitable title.

First, we focus on the segment $FC$. Since $B'C'\, || \, BC$, by Thales' intercept theorem, the triangles $\Delta\, AB'C'$ and $\Delta\, ABC$ are similar and therefore
$$\frac{AB}{AB'} = \frac{BC}{B'C'} = \frac{AC}{AC'} = m$$
By the same fact, that $EC'\, || \, FC$, and the same theorem:
$$\frac{FC}{EC'} = \frac{AC}{AC'} = m$$
so $FC = m\, EC'$.
By the tangency of the incircle $k$ of triangle $\Delta \, ABC$ to the (extended) sides of triangle $\Delta\, AB'C'$,
$$EC' = TC' = TA - AC' = p' - AC'$$ where $p'$ is half of the perimeter of $\Delta\, AB'C'$. This implies
$$FC = m\, EC' = m\, (p' - AC') = m\,p' - m\, AC' = p - AC$$ where $p$ is  half of the perimeter of $\Delta\, ABC$.
Now we focus on the segment $BD$. Since $k$ is the incircle of $\Delta \, ABC$, 
$$BD = p - AC$$ Therefore
$$FC = p - AC = BD$$ 
