MathDB
Two altitudes and two midpoints. 4 noncyclic points are wanted

Source: St. Petersburg MO 2000, 10th grade, P2

April 22, 2023
geometryaltitudesmidpointscyclic quadrilateral

Problem Statement

Let AA1AA_1 and BB1BB_1 be the altitudes of acute angled triangle ABCABC. Points KK and MM are midpoints of ABAB and A1B1A_1B_1 respectively. Segments AA1AA_1 and KMKM intersect at point LL. Prove that points AA, KK, LL and B1B_1 are noncyclic.
[I]Proposed by S. Berlov