2023 WSMO Team Round Problems/Problem 12
Problem
Consider parabola pointing upwards with vertex at the origin of the Cartesian plane. Denote the focus of it as
and the directrix of it as
. Point
with
-coordinate
is selected in
. The perpendicular bisector of
meets
at
. Given the
-coordinate of
is
, then
for relatively prime positive integers
and
Find