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 
