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 such that among any points with integer coordinates IN SPACE, some two have a midpoint with integer coordinates?