MathDB
Angle condition again

Source: Ukraine MO 2023 9.6

April 5, 2023
geometry

Problem Statement

A point OO lies inside ABC\triangle ABC so that BOC=90BAC\angle BOC=90-\angle BAC. Let BO,COBO, CO meet AC,ABAC, AB at K,LK, L. Points K1,L1K_1, L_1 lie on the segments CL,BKCL, BK so that K1B=K1KK_1B=K_1K and L1C=L1LL_1C=L_1L. If MM is the midpoint of BCBC, then prove that K1ML1=90o\angle K_1ML_1=90^{o}.
Proposed by Anton Trygub