Geometry: Perpendicular tangent

60 Views Asked by At

I came up with this but I have not been able to solve it. I would really appreciate any help.

Let $ABC$ be a triangle and let $\omega$ be its circumcircle. Produce the internal angle bisector of $\angle BAC$ to meet $BC$ and $\omega$ in $D$ and $E$, respectively. Let the circle with diameter $DE$ intersect $\omega$ at a second point $F$. Drop a perpendicular from $F$ to "$AC$ produced" and let it meet "$AC$ produced" at $G$. Is it true that line $GF$ is tangent to $\omega$?

(The reason I ask "is it true" is because I don't know if it is.)

1

There are 1 best solutions below

0
On

It is not true, and a single counterexample is enough to show that it is not:

Counterexample

I was interested in classifying those triangles where your assumption actually holds. Without loss of generality, you can choose a coordinate system in such a way that the circumcircle $\omega$ is the unit circle, and the point $A$ has coordinates $(1,0)$. Then you can describe $B$ and $C$ using a rational representation as $B=(b^2-1,2b)/(b^2+1)$ and $C=(c^2-1,2c)/(c^2+1)$. Then the triangles for which your assumption holds must satisfy

$$b^2c + 2bc^2 + c^3 + 4b = 0$$

This was obtained through some advanced computation wich I won't fit here in this post since it's not exactly asked by the question. I haven't found a nice geometric interpretation for this relation, but here is one example triangle:

Example where the claim holds