MathDB
Cyclic hexagon with two equal sides

Source: Netherlands IMO Team Selection Test 2013

October 21, 2014
geometrycircumcirclesymmetrygeometry unsolved

Problem Statement

Let ABCDEFABCDEF be a cyclic hexagon satisfying ABBDAB\perp BD and BC=EFBC=EF.Let PP be the intersection of lines BCBC and ADAD and let QQ be the intersection of lines EFEF and ADAD.Assume that PP and QQ are on the same side of DD and AA is on the opposite side.Let SS be the midpoint of ADAD.Let KK and LL be the incentres of BPS\triangle BPS and EQS\triangle EQS respectively.Prove that KDL=900\angle KDL=90^0.