MathDB

Let

ABC

be a triangle with

AB < AC

, incenter

I

, and

A

excenter

I_{A}

. The incircle meets

BC

D

. Define

E = AD\cap BI_{A}

F = AD\cap CI_{A}

. Show that the circumcircle of

\triangle AID

and

\triangle I_{A}EF

are tangent to each other

G6