olymmath

Nemotron-IMO-Bench 2026 A44

    Let a,b,c,da,b,c,d be positive real numbers such that 1−ca+1−db+1−ac+1−bd≥0.\frac{1-c}{a}+\frac{1-d}{b}+\frac{1-a}{c}+\frac{1-b}{d}\geq 0. Prove that a(1−b)+b(1−c)+c(1−d)+d(1−a)≥0.a(1-b)+b(1-c)+c(1-d)+d(1-a)\geq 0.

    Dataset text Nemotron-IMO-Bench. Open licence.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator nemotron-imo-bench/2026/a44 · Tag 24MNWYM5ZP · Edit this page on GitHub · Keys: j next, k previous