MathDB
Parallel lines inside a square

Source: Sharygin 2014 Correspondence Round

January 8, 2015
geometry unsolvedgeometry

Problem Statement

Points K,L,MK, L, M and NN lying on the sides AB,BC,CDAB, BC, CD and DADA of a square ABCDABCD are vertices of another square. Lines DKDK and NMN M meet at point EE, and lines KCKC and LMLM meet at point FF . Prove that EFABEF\parallel AB.