Problem 4 -- Circling Parallel Lines
Source: 47th Austrian Mathematical Olympiad Regional Competition Problem 4
July 27, 2018
geometrycircumcircleAustria
Problem Statement
Let be a triangle with and circumcenter . The tangents to the circumcircle at and intersect at . The perpendicular bisector of the side intersects side at .(a) Prove that the points , , , , and lie on a common circle.
(b) Prove that the line is parallel to the side .(Karl Czakler)