MathDB
parallelism

Source: Netherlands TST for Bxmo 2017, problem 3

February 1, 2018
geometry

Problem Statement

Let ABCABC be a triangle with A=90\angle A = 90 and let DD be the orthogonal projection of AA onto BCBC. The midpoints of ADAD and ACAC are called EE and FF, respectively. Let MM be the circumcentre of BEFBEF. Prove that ACAC and BM BM are parallel.