olymmath

Nemotron-IMO-Bench 2026 G48

    Let M,N,PM,N,P be points on the sides BC,CA,ABBC,CA, AB of a triangle ABCABC, chosen in such a way that MNPMNP is an acute-angled triangle. Prove that the shortest altitude of ABCABC has length at most twice the length of the longest altitude of MNPMNP.

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