Разобьём квадрат со стороной 5 см на 25 квадратов со стороной 1 см. Будем рассматривать их как контейнеры. Точка попадает в контейнер, если она лежит либо на его сторонах, либо во внутренней области. Тогда, по принципу Дирихле, хотя бы в одном из контейнеров окажется две точки. [Некоторые точки могут попасть сразу в четыре контейнера (если такая точка упадёт на вершину квадрата, которая не лежит на стороне исходного квадрата), но для нас важно, что любая точка с необходимостью попадает хотя бы в один.] Итак, в одном из контейнеров содержится две точки. Вспомним, что наш контейнер не что иное, как квадрат со стороной в 1 см. Покажем, что расстояние между двумя точками квадрата со стороной в 1 см не превышает √2. Рассмотрим квадрат ABCD (рис.1) со стороной равной 1 см и две произвольные точки, которые лежат на квадрате.
4x - 28 = x + 17
3x = 45
x = 15
c - 32 = - 7 * ( c + 8 )
c - 32 = - 7c - 56
8c = - 24
c = - 3
3 * ( 4x - 8 ) = 3x - 6
12x - 24 = 3x - 6
9x = 18
x = 2
5 * ( x - 7 ) = 3 * ( x - 4 )
5x - 35 = 3x - 12
2x = 23
x = 11,5
4 * ( x - 3 ) - 16 = 5 * ( x - 5 )
4x - 12 - 16 = 5x - 25
4x - 28 = 5x - 25
x = - 3
8 * ( 2a - 6 ) = 2 * ( 4a + 3 )
16a - 48 = 8a + 6
8a = 54
a = 6,75
- 4 * ( 3 - 5x ) = 18x - 7
- 12 + 20x = 18x - 7
2x = 5
x = 2,5
6a + ( 3a - 2 ) = 14
6a + 3a - 2 = 14
9a = 16
a = 1 ( 7/9 )
8x - ( 7x - 142 ) = 51
8x - 7x + 142 = 51
x = - 91
Итак, в одном из контейнеров содержится две точки. Вспомним, что наш контейнер не что иное, как квадрат со стороной в 1 см.
Покажем, что расстояние между двумя точками квадрата со стороной в 1 см не превышает √2. Рассмотрим квадрат ABCD (рис.1) со стороной равной 1 см и две произвольные точки, которые лежат на квадрате.
Что и требовалось доказать.