benchmarks.wiki / Public workspace

AIME 2025 I / The set of points in 3-dimensional coordinate space that lie in the plane…

Problem

Answer published by the source. Consult the official source to check your work against its answer.

question

The set of points in 3-dimensional coordinate space that lie in the plane x+y+z=75x+y+z=75 whose coordinates satisfy the inequalities xyz<yzx<zxyx-yz<y-zx<z-xy forms three disjoint convex regions. Exactly one of those regions has finite area. The area of this finite region can be expressed in the form aba\sqrt{b}, where aa and bb are positive integers and bb is not divisible by the square of any prime. Find a+ba+b.
Plain-text mathematical notation (without MathML)
The set of points in 3-dimensional coordinate space that lie in the plane x+y+z=75 whose coordinates satisfy the inequalities x−yz<y−zx<z−xy forms three disjoint convex regions. Exactly one of those regions has finite area. The area of this finite region can be expressed in the form a√(b), where a and b are positive integers and b is not divisible by the square of any prime. Find a+b.
Original LaTeX notation
The set of points in 3-dimensional coordinate space that lie in the plane $x+y+z=75$ whose coordinates satisfy the inequalities $x-yz<y-zx<z-xy$ forms three disjoint convex regions. Exactly one of those regions has finite area. The area of this finite region can be expressed in the form $a\sqrt{b}$, where $a$ and $b$ are positive integers and $b$ is not divisible by the square of any prime. Find $a+b$.

Discussion

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

Official source

initial import