The figure below shows an arbelos ABC (AB, BC, and AC are semicircles of centers O1, O2, and O). The incircle I of the arbelos is tangent to semicircles AC, AB, and BC at T, T1, and T2, respectively. IH is perpendicular to AC. Prove that AT2, TB, CT1, IH, and the incircle are concurrent at a point P.
Typography of problem 1300 using iPad Apps