MathDB

Circles

Q_1

and

Q_2

are tangent to each other externally at

T

. Points

A

and

E

are on

Q_1

, lines

AB

and

DE

are tangent to

Q_2

B

and

D

, respectively, lines

AE

and

BD

meet at point

P

. Prove that (1)

\frac{AB}{AT}=\frac{ED}{ET}

; (2)

\angle ATP + \angle ETP = 180^{\circ}

. [asy]import graph; size(5.97cm); real lsf=0.5; pathpen=linewidth(0.7); pointpen=black; pen fp=fontsize(10); pointfontpen=fp; real xmin=-6,xmax=5.94,ymin=-3.19,ymax=3.43; pair Q_1=(-2.5,-0.5), T=(-1.5,-0.5), Q_2=(0.5,-0.5), A=(-2.09,0.41), B=(-0.42,1.28), D=(-0.2,-2.37), P=(-0.52,2.96); D(CR(Q_1,1)); D(CR(Q_2,2)); D(A--B); D((-3.13,-1.27)--D); D(P--(-3.13,-1.27)); D(P--D); D(T--(-3.13,-1.27)); D(T--A); D(T--P); D(Q_1); MP("Q_1",(-2.46,-0.44),NE*lsf); D(T); MP("T",(-1.46,-0.44),NE*lsf); D(Q_2); MP("Q_2",(0.54,-0.44),NE*lsf); D(A); MP("A",(-2.22,0.58),NE*lsf); D(B); MP("B",(-0.35,1.45),NE*lsf); D((-3.13,-1.27)); MP("E",(-3.52,-1.62),NE*lsf); D(D); MP("D",(-0.17,-2.31),NE*lsf); D(P); MP("P",(-0.47,3.02),NE*lsf); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); [/asy]

Problem Statement