NL-NWO 1975 Problem 4
Given is a rectangular plane coordinate system.
(a) Prove that it is impossible to find an equilateral triangle whose vertices have integer coordinates.
(b) In the plane the vertices and lie with integer coordinates in such a way that . Prove that is rational.
Dataset text AI-MO AoPS. Quoted with source.
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.