olymmath

Nemotron-IMO-Bench 2026 G18

    In a convex pentagon ABCDEABCDE with area SS triangles ABC,BCD,CDE,DEA,EABABC, BCD, CDE, DEA, EAB have circumradii R1,…,R5R_1,\ldots, R_5. Prove that ∑i=15Ri4≥45sin⁡21080S2.\sum_{i=1}^5 R_i^4\geq \frac{4}{5\sin^2 108^0} S^2.

    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/g18 · Tag BJYYS0XREV · Edit this page on GitHub · Keys: j next, k previous