ISL 2004 N7
Let be an odd prime and a positive integer. In the coordinate plane, eight distinct points with integer coordinates lie on a circle with diameter of length . Prove that there exists a triangle with vertices at three of the given points such that the squares of its side lengths are integers divisible by .
Proposed by Alexander Ivanov, Bulgaria
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.