MathDB
starting with a circle with diameter the centres of 2 externally tangent circles

Source: Irmo 2015 p1 q4

September 16, 2018
geometrycirclestangent

Problem Statement

Two circles C1C_1 and C2C_2, with centres at DD and EE respectively, touch at BB. The circle having DEDE as diameter intersects the circle C1C_1 at HH and the circle C2C_2 at KK. The points HH and KK both lie on the same side of the line DEDE. HKHK extended in both directions meets the circle C1C_1 at LL and meets the circle C2C_2 at MM. Prove that (a) LH=KM|LH| = |KM| (b) the line through BB perpendicular to DEDE bisects HKHK.