MathDB
isosceles wanted, arc midpoint, circumcircle, perp. bisector related

Source: II Brazilian Olympic Revenge 2003 p1

April 22, 2020
geometrycircumcirclearc midpointperpendicularisosceles

Problem Statement

Let ABCABC be a triangle with circumcircle Γ\Gamma. DD is the midpoint of arc BCBC (this arc does not contain AA). EE is the common point of BCBC and the perpendicular bisector of BDBD. FF is the common point of ACAC and the parallel to ABAB containing DD. GG is the common point of EFEF and ABAB. HH is the common point of GDGD and ACAC. Show that GAHGAH is isosceles.