AO bisects EF, midpoint of altitude, circumcenter related
Source: 2021 Saudi Arabia Training Lists p20 https://artofproblemsolving.com/community/c2758131_2021_saudi_arabia_training_tests
January 6, 2022
geometrybisects segmentcircumcircle
Problem Statement
Let be an acute, non-isosceles triangle with altitude (), is the midpoint of and is the circumcenter. Line meets at and circle of center , radius cuts at respectively. Prove that bisects .