MathDB
starting with intersecting circles so that common chord is diameter to 1 circle

Source: IMAC Arhimede 2012 p2

May 3, 2019
parallelgeometrycirclestangent

Problem Statement

Circles k1,k2k_1,k_2 intersect at B,CB,C such that BCBC is diameter of k1k_1.Tangent of k1k_1 at CC touches k2k_2 for the second time at AA.Line ABAB intersects k1k_1 at EE different from BB, and line CECE intersects k2k_2 at F different from CC. An arbitrary line through EE intersects segment AFAF at HH and k1k_1 for the second time at GG.If BGBG and ACAC intersect at DD, prove CH//DFCH//DF .