MathDB
BMT 2021 Guts Round p22

Source:

October 7, 2022
geometry

Problem Statement

In ABC\vartriangle ABC, let DD and EE be points on the angle bisector of BAC\angle BAC such that ABD=ACE=90o\angle ABD = \angle ACE =90^o . Furthermore, let FF be the intersection of AEAE and BCBC, and let OO be the circumcenter of AFC\vartriangle AF C. If ABAC=34\frac{AB}{AC} =\frac{3}{4}, AE=40AE = 40, and BDBD bisects EFEF, compute the perpendicular distance from AA to OFOF.