# Geometry - Tangent circles

Let chords AC and BD of a circle ω intersect at P. A smaller circle ω1 is tangent to ω at T and to segments AP and DP at E and F respectively.

(a) Prove that ray T E bisects arc ABC of ω.

(b) Let I be the incenter of triangle ACD and M be the midpoint of arc ABC of ω. Prove that MA = MI = MC.

(c) Let F* be the common point of ω1 and line EI other than E. Prove that I, F0 , D, T are concyclic.

(d) Prove that DF* is tangent to ω1. This means that F = F* , so that E, F, I are collinear

I have proved a, b and c so may assume that these are true. I need help in proving that d is true.

• Can you provide a drawing ? – Jean Marie Apr 3 '16 at 17:03
• One is now provided – KingJ Apr 3 '16 at 17:28
• You can zoom in on the picture so see the letters, ill work on making them bigger in the meantime – KingJ Apr 3 '16 at 17:37
• @Narasimham I have uploaded another image – KingJ Apr 3 '16 at 17:49
• Missing $B$ and $P$ – user164550 Apr 3 '16 at 18:46

First of all, from previous parts, $\beta = \beta_1 = ... = \beta_6$.

Following part of the given solution, $\triangle MAE \sim \triangle MTA$. This leads to $\dfrac {MA}{MT} = \dfrac {EM}{AM}$. This further means $\dfrac {MI}{MT} = \dfrac {ME}{MI}$ (from part (a)). The newly formed ratio, together with the common angle $\tau$ give $\triangle MEI \sim \triangle MIT$. This further means $\lambda = \lambda_1$.

$\angle 1 = \tau + \lambda = \tau + \lambda_1 = \angle 2 = \angle 3$. Result follows from the converse of angle in alternate segment.

• Are you sure PF'I is the exterior angle to the correct cyclic quadrilateral? Which cyclic are you referring to? As far as I can tell, PF'I is exterior to IF'DT, not IF'TN – KingJ Apr 4 '16 at 23:45
• @KingJ You are right. Got temporarily distracted by the complicated diagram. Will have it deleted shortly. – Mick Apr 5 '16 at 5:20
• @KingJ Post completely re-written. See above. – Mick Apr 5 '16 at 14:18

Here is a solution I have since found.

MCE = MAC = MTA

therefore MAE is similar to MTA

so we have ME*MT=MA^2

we also know MA=MI

so, MI^2 - ME*MT

now, MEI is similar to MTI

Angle chasing from here yeilds,

MEI = MIT = MIE +EIT = F'ID + F'DT = F'ID + F'TI + IF'T

Note also that,

MEC = AET = EF'T = IF'T

and

MEI = MEC + CEF'
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/1726114/geometry-tangent-circles", "fetch_time": 1620744324000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2021-21/segments/1620243989614.9/warc/CC-MAIN-20210511122905-20210511152905-00142.warc.gz", "warc_record_offset": 406468608, "warc_record_length": 38915, "token_count": 729, "char_count": 2277, "score": 4.15625, "int_score": 4, "crawl": "CC-MAIN-2021-21", "snapshot_type": "latest", "language": "en", "language_score": 0.9160001277923584, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00008-of-00064.parquet"}