MathLabs

Problem 2

Consider five points A,B,C,D,EA, B, C, D, E such that ABCDABCD is a parallelogram and BCEDBCED is a cyclic quadrilateral. Let ℓ\ell be a line passing through AA. Suppose that ℓ\ell intersects the interior of the segment DCDC at FF and intersects line BCBC at GG. Suppose also that EF=EG=ECEF = EG = EC. Prove that ℓ\ell is the bisector of angle DABDAB.
Step 3 of 4: Use the cyclic quadrilateral BCED to compare DK and BL
In plain words

Inscribed angles in the cyclic quadrilateral BCEDBCED make the two right triangles DEKDEK and BELBEL similar, transferring KE>LEKE > LE to DK>BLDK > BL.

∠EDC=∠EBC  ⟹  △DEK∼△BEL  ⟹  (KE>LE  ⟹  DK>BL)\angle EDC = \angle EBC \implies \triangle DEK \sim \triangle BEL \implies (KE > LE \implies DK > BL)
Detailed analysis

Since BCEDBCED is cyclic, ∠EDC=∠EBC\angle EDC = \angle EBC, so the right triangles DEKDEK (right-angled at KK) and BELBEL (right-angled at LL) are similar. Because KE>LEKE > LE from Step 2, the corresponding legs satisfy DK>BLDK > BL.