Let $ ABC$ be a triangle with $ \angle BAC=60^{\circ}$. The incircle of $ ABC$ is tangent to $ AB$ at $ D$. Construct a circle with radius $ DA$ and cut the incircle of $ ABC$ at $ E$. If $ AF$ is an altitude, prove that $ AE\ge AF$.
Source: Indonesia TST 2009 First Stage Test 4 Problem 2
Tags: geometry, geometry proposed
Let $ ABC$ be a triangle with $ \angle BAC=60^{\circ}$. The incircle of $ ABC$ is tangent to $ AB$ at $ D$. Construct a circle with radius $ DA$ and cut the incircle of $ ABC$ at $ E$. If $ AF$ is an altitude, prove that $ AE\ge AF$.