MathDB
SM // CL wanted, rectangle ABCD with <DAC=60^o

Source: OLCOMA Costa Rica National Olympiad, Final Round, 2013 Shortlist G3 day1

September 26, 2021
geometryrectangle

Problem Statement

Let ABCDABCD be a rectangle with center OO such that DAC=60o\angle DAC = 60^o. Bisector of DAC\angle DAC cuts a DCDC at SS, OSOS and ADAD intersect at LL, BLBL and ACAC intersect at MM. Prove that SMCLSM \parallel CL.