MathDB
concyclic wanted, 2 circles internally tangent

Source: Switzerland - Swiss MO 2006 p5

July 18, 2020
geometryConcycliccircles

Problem Statement

A circle k1k_1 lies within a second circle k2k_2 and touches it at point AA. A line through AA intersects k1k_1 again in BB and k2k_2 in CC. The tangent to k1k_1 through BB intersects k2k_2 at points DD and EE. The tangents at k1k_1 passing through CC intersects k1k_1 in points FF and GG. Prove that D,E,FD, E, F and GG lie on a circle.