MathCastle
Proof WritingChallengePigeonhole and Extremal Arguments

Pigeonhole and Extremal Arguments · Challenge problem

The midpoint of two points with integer coordinates has integer coordinates exactly when every coordinate sum is even. What is the smallest NN such that among any NN points with integer coordinates IN SPACE, some two have a midpoint with integer coordinates?