olymmath

Nemotron-IMO-Bench 2026 A26

    Let nn be an even positive integer and let zz be a complex number such that z2n+1−1=1z^{2^{n+1}-1}=1. Evaluate ∏i=0n(Re(z2i)−12)\prod_{i=0}^n ({\rm Re}(z^{2^i})-\frac{1}{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/a26 · Tag M79R5RJMSR · Edit this page on GitHub · Keys: j next, k previous