document.write( "Question 1163111: N lattice points in coordinate 8-space are chosen at random. The line segments joining all pairs of these N points are drawn. What is the smallest value of N that guarantees that the midpoint of at least one of the resulting line segments is itself a lattice point?\r
\n" ); document.write( "\n" ); document.write( "(A) 256 (B) 255 (C) 17 (D) 257 (E) 16
\n" ); document.write( "

Algebra.Com's Answer #787110 by ikleyn(52803)\"\" \"About 
You can put this solution on YOUR website!
N lattice points in coordinate 8-space are chosen at random. The line segments joining all pairs of these N points are drawn.
\n" ); document.write( "What is the smallest value of N that guarantees that the midpoint of at least one of the resulting line segments is itself a lattice point?
\n" ); document.write( "~~~~~~~~~~~~~~~\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "
\r\n" );
document.write( "Each lattice point  x = (\"x%5B1%5D\", \"x%5B2%5D\", \"x%5B3%5D\", . . . , \"x%5B8%5D\")  is the set of 8 (eight) integer numbers, - its coordinates, \r\n" );
document.write( "that are positive, zero or negative integer numbers.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "The line segments, joining all pairs of these lattice points, are vectors, whose components are the differences of the \r\n" );
document.write( "lattice points' coordinates.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "For each such a joining segment/vector, its midpoint is a lattice point if and only if ALL 8 components of this segment/vector \r\n" );
document.write( "are EVEN numbers.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "As I just said above, each component of the joint segment/vector is the difference of the coordinates of the original \r\n" );
document.write( "lattice points.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Therefore, for every joining segment/vector, its midpoint is a lattice point if and only if for the respective pair of the lattice points \r\n" );
document.write( "all 8 their coordinates have the same parity as integer numbers, i.e. in each of 8 positions they are either EVEN or ODD integer \r\n" );
document.write( "numbers simultaneously.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Next, it is clear, that in any set of \"2%5E8%2B1\" vectors with integer components in 8-space \"R%5E8\", at least two vectors have identical parity \r\n" );
document.write( "of integer components in all 8 positions.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "    +-------------------------------------------------+\r\n" );
document.write( "    |    It follows from the \"pigeonhole principle\".  |\r\n" );
document.write( "    +-------------------------------------------------+\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "It leads us to the conclusion that if  \"%28N%2A%28N-1%29%29%2F2\"  (the number of all joining segments)  is greater than  \"2%5E8%2B1\" = 257,\r\n" );
document.write( "\r\n" );
document.write( "then there are at least two vectors that have identical parity of integer components in all 8 positions.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Therefore, the minimal number N the problem asks for, is N satisfying inequality\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "    \"%28N%2A%28N-1%29%29%2F2\" >= 257,   or\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "    N*(N-1) >= 2*257 = 514.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "And since  \"sqrt%28514%29\" = 22.67,  the final inequality and the ANSWER  is N >= 24.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "ANSWER.  The smallest value of N that guarantees that the midpoint of at least one of the resulting line segments is itself a lattice point, is 24.\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( "Solved.\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "/\/\/\/\/\/\/\/\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The post-solution notice:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "            This value of  24  is not in your post answers list,  meaning that the post is/was  DEFECTIVE.\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Thanks for submitting this remarkable problem.\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( "
\n" );