Points cyclic iff angle is right
Source: RMO Maharashtra and Goa 2016, P4
October 11, 2016
geometry
Problem Statement
Let be scalene, with as the largest side. Let be the foot of the perpendicular from on side . Let points be chosen on the lines and respectively, such that is the midpoint of segment . Prove that the points are concyclic if and only if .