
- •Оглавление
- •Предисловие
- •1. Мнения о пользе математики
- •2. Понятия математики и их возникновение
- •3. Некоторые виды абстракции
- •4. Многоступенчатые абстракции
- •6. Количественные отношения реального мира
- •7. Множество и его элементы
- •8. Взаимно однозначное соответствие
- •10. Понятие мощности множества
- •Беседа 3. Операции над множествами
- •11. Пересечение множеств
- •12. Объединение множеств
- •13. Дополнение множеств
- •14. Произведение множеств
- •Беседа 4. Отображения
- •15. Общее понятие отображения и школьная математика
- •16. Некоторые виды отображений
- •17. Обратное отображение
- •18. Композиция отображений
- •19. Классификация
- •Беседа 5. Упорядоченные множества
- •20. Понятие упорядоченного множества
- •21. Минимальные элементы и математическая индукция
- •22. Трансфинитные числа и аксиома выбора
- •Глава 2. Комбинаторика
- •Беседа 6. Размещения, сочетания и родственные задачи
- •23. Размещения с повторениями
- •24. Системы счисления
- •25. Размещения без повторений
- •26. Сочетания без повторений
- •27. Сочетания с повторениями
- •28. Бином Ньютона
- •29. Производящие функции
- •30. Принцип Дирихле
- •Беседа 7. События и вероятности
- •31. События
- •32. Классическое понятие вероятности
- •33. Свойства вероятности
- •34. Условная вероятность
- •35. Независимые события и серии испытаний
- •Беседа 8. Случайные величины
- •37. Нормальное распределение
- •38. Закон больших чисел
- •Беседа 9. Информация
- •40. Количество двоичных цифр
- •41. Задачи на взвешивание
- •42. Понятие об энтропии
- •Беседа 10. Комбинаторные задачи о графах
- •43. Графы и их элементы
- •45. Плоские графы
- •46. Формула Декарта—Эйлера
- •47. Правильные многогранники и паркеты
- •49. Ориентированные графы
- •50. Конечные позиционные игры
- •51. Понятие о сетевом планировании
- •52. Существование и общность
- •53. Структура теоремы
- •54. Отрицание
- •55. Необходимое и достаточное условие
- •56. Конъюнкция и дизъюнкция
- •Беседа 12. Понятие об аксиоматическом методе
- •57. Возникновение аксиоматического метода в математике
- •58. Метрические пространства
- •59. Коммутативные группы
- •Беседа 13. Непротиворечивость, независимость, полнота
- •60. Непротиворечивость и понятие модели
- •61. Математические примеры моделей
- •62. Построение аксиоматики геометрии
- •63. Геометрия Лобачевского
- •64. Модель геометрии Лобачевского
- •65. Изоморфизм моделей
- •66. Полнота аксиоматики
- •67. Цикл озарения
- •68. Сфера достижимости
- •69. Анализ и синтез
- •70. Обратимый анализ
- •72. Поиск решения нестандартных задач
- •Беседа 15. Наглядность. Аналогия. Интуиция
- •74. Формула наглядности — изоморфизм плюс простота
- •75. Наглядность и математическая эстетика
- •76. Аналогия — общность аксиоматики
- •78. Несколько слов о математической интуиции
- •Решения задач и упражнений
- •Предметный указатель

126 Беседа 6. Размещения, сочетания и родственные задачи
30. Принцип Дирихле
Зададим следующий риторический вопрос, ответ на который за- ранее ясен. Множество A содержит n + 1 элемент, а множество B
содержит n элементов; существует ли вложение A → B? Ответ, очевид- но, отрицателен. Ведь множество A содержит больше элементов, чем B, и потому вложить A в множество B в качестве его подмножества невозможно. Иначе говоря, никакое отображение f: A → B не является (при указанных условиях) вложением, т. е. найдутся два элемента a1,
a2 A, имеющие один и тот же образ: f(a1) = f(a2) (рис. 172). Несмотря на полную очевидность сказанного, дадим еще одно
наглядное пояснение. Элементы множества A будем представлять себе зайцами, а элементы множества B — клетками. Отображение будет состоять в том, что мы сажаем зайцев в клетки, т. е. каждому зайцу поставлена в соответствие (в качестве его образа) та клетка, в кото- рую он посажен. Поскольку зайцев больше чем клеток, это отобра- жение не может быть вложением, т. е. не может оказаться так, что каждому зайцу предоставлена отдельная клетка, в которой сидит
только он. Иными словами, если n + 1 зайцев рассадить в n клеток, то хотя бы в одной клетке окажется не менее двух зайцев (рис. 173).
Указанный факт, несмотря на полную его очевидность, нередко используется в математических рассуждениях. Он называется принци- пом Дирихле (немецкий математик Петер Дирихле часто применял его в своих исследованиях по теории чисел). Приведем несколько приме- ров использования принципа Дирихле.
На плоскости даны три прямых и восемь точек, не лежащих на этих прямых. Можно ли среди этих точек найти такие две, что соединяющий их отрезок не пересекает ни одной из данных прямых? Для решения заметим, что если прямые не пересекаются в одной точке и попарно не параллельны, то они разбивают плоскость на семь частей, если же прямые пересекаются в одной точке или среди них есть параллельные, то число частей будет меньшим (рис. 174). Части плоскости будем считать «клетками», а точки — «зайцами». Так как
Рис. 173
Рис. 172
Рис. 174

30. Принцип Дирихле |
127 |
|
|
Рис. 175 |
Рис. 176 |
Рис. 177 |
Рис. 178 |
Рис. 179 |
Рис. 180 |
точки не лежат на заданных прямых, то каждая из них попадает в некоторую клетку. Итак, у нас есть 8 зайцев, рассаженных в 7 или меньшее число клеток. Следовательно, в какой-либо из клеток ока- жется не менее двух зайцев, т. е. найдутся две точки, лежащие в одной и той же части плоскости (рис. 175). Отрезок, соединяющий эти две точки, не пересекается ни с одной из данных прямых. Таким образом, ответ на поставленный вопрос утвердителен.
Используя пример, рассмотренный в п. 21, читатель может обоб- щить этот результат следующим образом: если на плоскости даны n
прямых и n(n + 1) + 2 точек, не лежащих на этих прямых, то среди
2
этих точек найдутся такие две, что соединяющий их отрезок не пере- секает ни одной из данных прямых. Заметим, что это — наименьшее число точек, для которых сформулированный результат верен: если
взять на одну точку меньше, т. е. n(n + 1) + 1 точек, то может оказать- 2
ся, что все зайцы сидят в отдельных клетках (случай n = 4 изображен на рис. 176), и потому любой отрезок, соединяющий две из этих точек, непременно пересекает хотя бы одну из данных прямых.
Следующий пример мы также возьмем из области геометрии. Внутри (или на границе) квадрата со стороной 1 взяты пять точек (рис. 177). Надо доказать, что среди этих пяти точек найдутся две
точки, расстояние между которыми не превосходит √12 . Для доказа-
тельства разделим данный квадрат на четыре квадрата половинного размера (рис. 178), и эти меньшие квадраты будем считать «клетка- ми».
Так как число точек («зайцев») равно 5, то, согласно принципу Дирихле, найдутся два зайца, сидящие в одной клетке, т. е. две точки, лежащие в одном квадрате-четвертушке (рис. 179). Но тогда рассто-

128 |
Беседа 6. Размещения, сочетания и родственные задачи |
яние между ними не превосходит диагонали этого маленького квад- рата, т. е. это расстояние не больше √12 .
Заметим, что в доказанном утверждении число √12 не может быть уменьшено: на рис. 180 изображены 5 точек в квадрате, среди кото- рых нет двух точек, находящихся на расстоянии, меньшем √12 друг
от друга.
Теперь расскажем о применении принципа Дирихле к десятичной записи рациональных чисел. Результат формулируется следующим
p
образом: всякое рациональное число q изображается бесконечной пери-
одической десятичной дробью, которая содержит не более q − 1 цифр в периоде. Например, обращая дробь 17 в десятичную, т. е. производя деление числа 1 на 7, получаем следующие цифры:
1,0 |
|
7 |
|
|
|
7 |
0,14 |
|
|
30 |
|
|
|
|
|
28 |
|
|
|
... |
|
|
|
|
Продолжая деление, находим: |
1 |
= 0,142857142857142857..., т. е. |
||
|
|
7 |
|
|
получается периодическая дробь, имеющая период из шести цифр 142857 (здесь q = 7, т. е. период содержит как раз q − 1 цифру). А для
дроби 13 находим десятичное представление 13 = 0,33333...; здесь q = 3,
т. е. q − 1 = 2, но период содержит лишь одну цифру, т. е. меньше чем q − 1.
Доказательство сформулированного общего результата можно получить с помощью принципа Дирихле следующим образом. При выполнении деления p:q «углом» мы получаем некоторый остаток (как, например, выше, при делении 1:7), затем приписываем справа 0, снова делим, снова получаем остаток и т. д. Если где-то встретится остаток, равный нулю (т. е. в каком-то месте деление осуществляется
без остатка), то pq записывается в виде конечной десятичной дроби.
Например, 207 = 0,350000..., т. е. в этом случае период содержит лишь
одну цифру 0.
Рассмотрим теперь случай, когда все время получаются остатки, отличные от нуля. В этом случае остатками (при делении на q) могут
быть числа 1, 2, ..., q − 1, т. е. возможны q − 1 различных остатков.

30. Принцип Дирихле |
129 |
Их мы будем считать «клетками». Теперь рассмотрим q последова- тельно получающихся остатков: 1-й, 2-й, ...., q-й. Числа 1, 2, ..., q (номера получающихся остатков) будем считать «зайцами». Каждый
из этих остатков равен одному из чисел 1, 2, ..., q − 1, т. е. он попадает в одну из клеток. А так как зайцев больше, чем клеток, то найдется клетка, в которую попадает больше одного зайца. Иначе говоря, най- дутся среди чисел 1, 2, ..., q такие два числа, скажем, k и k + r, где
k + r ≤ q, и потому r < q, что k-й остаток совпадает с (k + r)-м остатком. Но каждая последующая цифра в процессе деления определяется лишь тем, какой был предыдущий остаток. Поэтому, начиная с (k + r)-го места, цифры будут те же, что и с k-го места, потом с
(k + 2r)-го места снова пойдут те же r цифр и т. д. Таким образом, в
p
десятичной записи числа q, начиная с k-го места, одни и те же r цифр
p
будут все время повторяться. Так как r < q, то это и означает, что q
записывается бесконечной десятичной дробью, которая (начиная с k-й цифры) будет периодической, причем период содержит не более
q − 1 цифры.
В заключение расскажем о малой теореме Ферма. Пусть p — простое число и a — натуральное число, не делящееся на p. Рассмот-
рим числа a, a2, ..., a p. Это — зайцы. Каждое из этих чисел дает некоторый остаток при делении на p, который может быть равен 1,
2, ..., p − 1. Эти остатки — клетки. Так как число зайцев больше числа клеток, то найдутся два зайца, сидящие в одной и той же клетке.
Иначе говоря, найдутся такие натуральные числа m и k, что am и
am+k дают одинаковые остатки при делении на p, причем m + k ≤ p, т. е. k ≤ p − 1. Это означает, что число am+k − am = am(ak − 1) делится
на p, и потому ak − 1 делится на p. Мы можем предполагать, что k — наименьшее натуральное число, обладающее этим свойством (или выбрать среди таких k наименьшее). Тогда k является делителем числа p − 1, т. е. p − 1 = kl при некотором натуральном l (читатель может попробовать доказать это, используя идею классификации, изложенную в п. 19; мы к этому вернемся при рассмотрении конечных полей). Из тождества
zl − 1 = (z − 1)(1 + z + ... |
+ zl−2 + zl−1) |
(16) |
при z = ak получаем a p−1 − 1 = (ak − 1)(1 |
+ ... ), откуда видно, |
a p−1 − 1 |
делится на p. Это и есть малая теорема Ферма: Если p — простое
число и a — натуральное число, не делящееся на p, то число a p−1 −1 делится на p.
Чтобы показать, как работает эта теорема, рассмотрим следую-
щую задачу: доказать, что 102001 + 1 делится на 7. Число p = 7 —