Nemotron-IMO-Bench 2026 G31
Consider a circle with center and a square whose vertices lie outside the circle. Let be the tangents to the circle. If the segments are the consecutive sides of a quadrilateral in which a circle can be inscribed, proved that has an axis of symmetry.
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.
Similar problems
These problems have the most words in common with this statement.