4 points are concyclic [X, F, G, H]
Source: Japan Mathematical Olympiad Finals 2005, Problem 4
April 16, 2005
geometrycircumcircleperpendicular bisector
Problem Statement
Given two points and on a circle . Let the tangents to this circle at the points and meet at a point . Let and be two points on the circle such that the points , , are collinear in this order and such that the lines and are perpendicular.
Let the line intersect the line at a point .
Let the line intersect the line at a point .
Let be the point of intersection of the segment and the perpendicular bisector of the segment .
Prove that the four points , , , lie on one circle.