MathDB
K on (ABI) if and only if K is on (CDJ)

Source: Benelux 2009

January 29, 2011
geometrytrapezoidcircumcirclegeometry proposed

Problem Statement

Given trapezoid ABCDABCD with parallel sides ABAB and CDCD, let EE be a point on line BCBC outside segment BCBC, such that segment AEAE intersects segment CDCD. Assume that there exists a point FF inside segment ADAD such that EAD=CBF\angle EAD=\angle CBF. Denote by II the point of intersection of CDCD and EFEF, and by JJ the point of intersection of ABAB and EFEF. Let KK be the midpoint of segment EFEF, and assume that KK is different from II and JJ.
Prove that KK belongs to the circumcircle of ABI\triangle ABI if and only if KK belongs to the circumcircle of CDJ\triangle CDJ.