2023 WSMO Speed Round Problems/Problem 10
Problem
Consider acute triangle ,
is the orthocenter. Extend
to meet
at
. The angle bisector of
meets the midpoint of
,
. If
, then the area of
is
for squarefree
and relatively prime positive integers
and
Find