MathDB
3 right angles given, 4 points concyclic wanted

Source: 1986 Polish MO Finals p6

January 21, 2020
geometryConcycliccyclic quadrilateralperpendicularaltitude

Problem Statement

ABCABC is a triangle. The feet of the perpendiculars from BB and CC to the angle bisector at AA are K,LK, L respectively. NN is the midpoint of BCBC, and AMAM is an altitude. Show that K,L,N,MK,L,N,M are concyclic.