olymmath

Nemotron-IMO-Bench 2026 G3

    Let ω1,…,ω4\omega_1,\ldots, \omega_4 be the incircles of the four triangles formed by three vertices of a cyclic quadrilateral ABCDABCD, and suppose that their radii are pairwise distinct. For the circles ωi\omega_i and ωj\omega_j (with 1≤i<j≤41\leq i<j\leq 4) consider the point PijP_{ij} where their external common tangents cross. Prove that the points PijP_{ij} lie on the same line.

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