benchmarks.wiki / Public workspace
AIME 2024 / AIME 2024 train 0a6c5622-8934-597c-b002-a856d62bbfd0
Problem
Answer published by the source. Consult the official source to check your work against its answer.
Problem
Let and be points in the coordinate plane. Let be the family of segments of unit length lying in the first quadrant with on the -axis and on the -axis. There is a unique point on , distinct from and , that does not belong to any segment from other than . Then , where and are relatively prime positive integers. Find .
Plain-text mathematical notation (without MathML)
Let O(0,0),A((1)/(2),0), and B(0,(√(3))/(2)) be points in the coordinate plane. Let F be the family of segments (PQ)¯ of unit length lying in the first quadrant with P on the x-axis and Q on the y-axis. There is a unique point C on (AB)¯, distinct from A and B, that does not belong to any segment from F other than (AB)¯. Then OC²=(p)/(q), where p and q are relatively prime positive integers. Find p+q.
Original LaTeX notation
Let $O(0,0), A(\tfrac{1}{2}, 0),$ and $B(0, \tfrac{\sqrt{3}}{2})$ be points in the coordinate plane. Let $\mathcal{F}$ be the family of segments $\overline{PQ}$ of unit length lying in the first quadrant with $P$ on the $x$-axis and $Q$ on the $y$-axis. There is a unique point $C$ on $\overline{AB}$, distinct from $A$ and $B$, that does not belong to any segment from $\mathcal{F}$ other than $\overline{AB}$. Then $OC^2 = \tfrac{p}{q}$, where $p$ and $q$ are relatively prime positive integers. Find $p + q$.Discussion
No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
Source and history
initial import