Приложение 3. Загадка о возрасте Диофанта
Обозначим продолжительность жизни Диофанта через L . Из загадки нам известно, как протекала жизнь Диофанта: 1/6 жизни, т. е. L /6, пришлась на его детство; L /12 — на юношеские годы; L /7 прошла прежде, чем он женился; через 5 лет у него родился сын; сын прожил L /2 жизни отца; 4 года Диофант оплакивал смерть сына прежде, чем умер.
Таким образом, продолжительность жизни Диофанта L можно записать в виде суммы:
L = L/6 + L/12 + L/7 + 5 + L/2 + 4.
Отсюда L = 84. Итак, Диофант умер в возрасте 84 лет.
Приложение 4. Задача Баше о наборе гирь
Чтобы взвесить любое целое число килограммов от 1 до 40, по мнению большинства людей необходимо иметь 6 гирь: 1, 2, 4, 8, 16 и 32 кг. Действительно, такой набор гирь позволяет взвесить любой груз от 1 до 40 кг, помещая его на одну чашу весов и ставя на другую следующие комбинации гирь:
1 кг = 1, 2 кг = 2, 3 кг = 2 + 1, 4 кг = 4, …, 5 кг = 4 + 1, …, 40 кг = 32 + 8.
Но грузы можно взвешивать и по-другому, а именно: располагая гири на обеих чашах весов, т. е. не только на чаше, свободной в начале взвешивания, но и на чаше с грузом. При таком способе взвешивания Баше понадобились только 4 гири: 1, 3, 9 и 27 кг. Гиря, помещаемая на одну чашу с грузом, как бы приобретает отрицательный вес. Способ Баше позволяет взвесить любой груз от 1 до 40 кг, ставя гири на обе чаши весов в следующих комбинациях:
1 кг = 1, 2 кг = 3–1, 3 кг = 3, 4 кг = 3 + 1, 5 кг = 9–3 — 1, …, 40 кг = 27 + 9 + 3 + 1.
Приложение 5. Доказательство Евклида существования бесконечного числа пифагоровых троек
Пифагоровой тройкой называется такой набор из трех целых чисел, что сумма квадратов двух из них равна квадрату третьего числа. Евклид сумел доказать, что существует бесконечно много таких пифагоровых троек.
Предложенное Евклидом доказательство начинается с наблюдения: разность квадратов последовательных целых чисел всегда равна какому-нибудь нечетному числу:
Прибавив каждое из бесконечного множества нечетных чисел к соответствующему квадрату, мы получим другой квадрат. Некоторые нечетные числа, составляющие часть всех нечетных чисел, сами являются квадратами (например, 32, 52, 72 и т. д.). Следовательно, существует бесконечно много нечетных квадратов, которые можно прибавить к квадрату и получить другой квадрат. Иначе говоря, существует бесконечно много пифагоровых троек.
Приложение 6. Доказательство гипотезы о трех точках
Гипотеза о трех точках утверждает, что невозможно построить точную диаграмму так, чтобы на каждой прямой было по крайней мере три точки. Хотя это доказательство требует минимальных познаний в математике, оно опирается на некоторую геометрическую «гимнастику», и поэтому следует тщательно продумать каждый его шаг.
Начнем с произвольно расположенных точек. Проведем через каждую точку прямые, соединяющие ее со всеми остальными точками. Затем для каждой точки измерим расстояние, отделяющие ее от ближайшей прямой, и найдем ту из точек, которая ближе, чем все остальные, находится от некоторой прямой.
На рисунке внизу изображена такая точка D , которую от прямой L отделяет самое короткое расстояние. На рисунке это расстояние показано штриховой линией. Оно короче, чем расстояние, отделяющее любую другую точку от ближайшей к ней линии. Теперь можно показать, что на прямой L всегда лежат только две точки и что, следовательно, гипотеза верна, т. е. невозможно построить точечную диаграмму так, чтобы на каждой прямой лежали три точки.
Чтобы показать, что на прямой L должны лежать две точки, рассмотрим, что случилось бы, если бы на ней оказалось третья точка. Если бы третья точка D A лежала на прямой L вне двух точек, через которые она проходит, то расстояние, показанное пунктирной линией, было бы короче расстояния, показанного штриховой линией. Между тем это расстояние по предположению, наименьшее из всех кратчайших расстояний, отделяющих точку диаграммы от линии. Следовательно, точка D A существовать не может.
Аналогично, если бы третья точка D B оказалась на прямой между двумя точками, то расстояние, показанное пунктиром, оказалось бы короче расстояния, показанного штрихом, по предположению наименьшего из кратчайших расстояний от точки диаграммы до прямой.
Читать дальше