Design Science, Inc.

Н. М. БЕСКИН

Еще в глубокой древности ученых интересовало, как для любого нецелого числа найти его хорошее приближение дробями с небольшими знаменателями.
В статье рассказывается о самом простом способе нахождения таких дробей.
[Maple OLE 2.0 Object]

I  ДВЕ ЗАГАДКИ   

1.  Загадка Архимеда

Многие полагают: чтобы найти что-нибудь необыкновенное, надо отправиться очень далеко, лучше всего в космос. В обыденной жизни вокруг нас все хорошо известно, и ничего интересного нет.
Какое заблуждение! Мы окружены загадочными явлениями, но не задумываемся над ними, потому что они привычны. Здесь будет рассказано о двух загадочных фактах из истории математики.
Все школьники мира "проходят" в курсе геометрии, что Архимед нашел для числа  p 
 приближенное значение 22/7 *).

 

К этому факту так привыкли, что не подозревают, какая тайна в нем скрыта. А между тем стоит только задать естественный вопрос: почему Архимед предпочел седьмые доли? Почему не восьмые? Попытка ответить на этот вопрос приведет нас в новую область арифметики.

*

На  самом деле  Архимед  в  сочинении "Об измерении круга"  сформулировал  этот результат чуть-чуть иначе. Он указал границы для   [Maple OLE 2.0 Object] :

[Maple OLE 2.0 Object]
Во всеобщее употребление вошло значение
[Maple OLE 2.0 Object]  , как более простое, хотя
p     ближе к [Maple OLE 2.0 Object]  .

Уточним задачу " дать приближенное выражение действительного числа a  в виде дроби со знаменателем q ". Это значит: из всех дробей со знаменателем q найти ближайшую к числу a  . Если на числовой оси нанесены все дроби со знаменателем q , то число a   попадает между двумя такими соседними дробями (случай, когда a  совпадает с одной из них, неинтересен)

[Maple OLE 2.0 Object]

Из этих двух дробей выбирается та, которая ближе к [Maple OLE 2.0 Object] . Например, на рис. 1 точка a   ближе к правому концу отрезка [Maple OLE 2.0 Object]  , и поэтому следует  принять

[Maple OLE 2.0 Object]

  Рисунок 1

[Maple OLE 2.0 Object]


Если
[Maple OLE 2.0 Object] есть середина отрезка
[Maple OLE 2.0 Object]

то для  определенности условимся выбирать его левый конец.


Процесс замены числа
[Maple OLE 2.0 Object]  его приближенным значением называют аппроксимацией  (приближением).


Из изложенного понятно, что для аппроксимации числа
[Maple OLE 2.0 Object]  можно пользоваться дробями с любым знаменателем. Выбор знаменателя зависит от нашего желания. Ради технического удобства почти всегда пользуются десятичными дробями. Однако во времена Архимеда десятичные дроби еще не были изобретены, и Архимед мог выбрать любые доли. Он выбрал седьмые. Почему? Терпение, скоро мы в этом разберемся.


При аппроксимации действительного числа
[Maple OLE 2.0 Object]  дробью - возникает погрешность

[Maple OLE 2.0 Object]

(запомним: погрешность есть точное значение минус приближенное ). Если приближенное значение взято с недостатком, то погрешность положительна, а если с избытком - отрицательна.
Абсолютная величина погрешности называется
абсолютной погрешностью .
Ясно, что при избранном способе аппроксимации абсолютная погрешность не может превышать
[Maple OLE 2.0 Object]  (см. рис.1)
[Maple OLE 2.0 Object]

Число   [Maple OLE 2.0 Object]  есть верхняя граница   абсолютной погрешности . При другом способе аппроксимации верхняя граница может быть иной. Например, если бы мы условились всегда брать приближение с недостатком, то она равнялась бы   [Maple OLE 2.0 Object] .


Абсолютная погрешность достигает верхней границы в том (самом неблагоприятном) случае, когда
[Maple OLE 2.0 Object] есть середина отрезка

[Maple OLE 2.0 Object] .

Ясно, что приближение выгодно, если оно при малом знаменателе q  дает высокую точность . Чтобы характеризовать выгодность, надо сравнить две величины: 1) фактическую абсолютную погрешность, 2) верхнюю границу абсолютной погрешности:
[Maple OLE 2.0 Object]

Принято рассматривать половину этой величины. Назовем ее приведенной погрешностью
[Maple OLE 2.0 Object]

и запомним: приведенная погрешность h есть половина отношения фактической абсолютной погрешности к максимально возможной . Очевидно,
[Maple OLE 2.0 Object]
Чем меньше
h , тем выгоднее приближение. Если h  близко к нулю, значит, число
a   расположено близко к одному из концов отрезка
[Maple OLE 2.0 Object]

Чем ближе h  к [Maple OLE 2.0 Object] , тем [Maple OLE 2.0 Object]  ближе к середине отрезка.
Величину

[Maple OLE 2.0 Object]
назовем
коэффициентом выгодности . Его смысл очень прост: коэффициент выгодности показывает, во сколько раз фактическая абсолютная погрешность меньше максимально возможной.  Чем больше [Maple OLE 2.0 Object] , тем выгоднее приближение. Очевидно,
[Maple OLE 2.0 Object]
 Не следует думать, что более мелкие доли всегда дают более точное приближение! Может случиться, что при нанесении на числовую ось восьмых долей число
a  занимает менее выгодное положение, чем при нанесении седьмых. Сделаем опыт с числом p  , аппроксимируя его разными долями - от первых до десятых. Вычисления опущены, читатель может воспроизвести их сам.

 

[Maple OLE 2.0 Object]


Эта таблица показывает, что для аппроксимации
p   седьмые доли резко выгоднее ближайших соседних долей. Фактическая погрешность в 56 раз меньше, чем можно думать, судя по размеру долей.

*) Вычисление дает

[Maple OLE 2.0 Object]

Чтобы правильно получить цифры десятых, надо взять h с пятью цифрами noсле запятой

 

На рисунке 2 показано расположение числа p  на числовой оси.

Рисунок 2

[Maple OLE 2.0 Object]

 

Случайно (а впрочем, случайно ли?)  p   оказывается очень близко к 

[Maple OLE 2.0 Object]

Если бы нам заранее предписали аппроксимировать так,   чтобы абсолютная погрешность не превысила 0,0013, какие доли выбрали бы? Мы записали бы условие

[Maple OLE 2.0 Object] ,

откуда

[Maple OLE 2.0 Object] ,
а Архимед достиг той же точности, взяв гораздо меньший знаменатель.

Теперь Вы убедились, читатель, что Архимед выбрал седьмые доли не случайно?

Через много веков голландский математик Ариан Меций дал приближенное значение

[Maple OLE 2.0 Object] .

Число Меция обладает теми же удивительными свойствами, что и числе Архимеда: знаменатель 113 гораздо выгоднее, чем другие близлежащие знаменатели. Рекомендуем читателю исследовать число Меция так, как выше исследовано число Архимеда. Например, чему равен коэффициент выгодности?

2. Загадка Григория XIII

Григорий XIII не был математиком. Он был римским папой. Тем не менее его имя связано с важной математической задачей - с проблемой календаря.


Природа дала нам две естественные единицы времени: год и сутки (солнечные). Как сказано в одном старом учебнике космографии  "к сожалению, год не равен целому числу суток".

*

Космография - так раньше назывался учебный предмет, содержавший общие сведения по астрономии и физической географии

 

С этим нельзя не согласиться, так как из упомянутого факта проистекает много неудобств. Зато он порождает интересную математическую проблему.

[Maple OLE 2.0 Object]
 или

[Maple OLE 2.0 Object]
Узаконить в гражданской жизни такую длину года невозможно. А что получится, если считать год равным 365 суткам?

  Рисунок 3

[Maple OLE 2.0 Object]

 

На рис. 3 показана орбита Земли. 1 января 1970 г. в 0 час. Земля находилась в точке А. За 365 суток она не придет в ту же точку орбиты и, следовательно, 1 января 1971 г. в 0 час. окажется в точке В, а 1 января 1972 г. - в точке С и т. д. Получится, что если фиксировать некоторую дату, то положение Земли на орбите будет каждый год иное (оно будет отставать почти на 6 часов).
За четыре года отставание составит почти сутки, и фиксированная дата будет попадать на разные времена года, т. е. 1 января с зимы постепенно переместится на осень, потом на лето. Это неудобно: периодические мероприятия (посев, начало учебного года) нельзя будет связывать с определенными календарными датами.


Выход из этого положения есть. Надо считать некоторые годы по 365 суток, а некоторые по 366 суток, чередуя их так, чтобы средняя длина года была возможно ближе к истинной. Можно воспроизвести истинную длину года с любой точностью, но для этого может понадобиться очень сложный закон чередования коротких (простых) и длинных (високосных) лет, что нежелательно. Нужен компромисс: сравнительно простой закон чередования лет, дающий среднюю длину года, достаточно близкую к истинной.

Эту задачу впервые разрешил Юлий Цезарь. Разумеется, к правителю слово "разрешил" может применяться лишь условно. Это сделал для него александрийский астроном Созиген, вызванный для этой цели в Рим. Юлий Цезарь ввел такую систему: три года подряд коротких, четвертый - длинный.


Много позже, когда было принято христианское летосчисление, високосными стали считать годы, номер которых делится на 4. Этот календарь называют "юлианским". По юлианскому календарю средняя длина года составляет

[Maple OLE 2.0 Object]

 

Как видно, средняя длина юлианского года больше истинной на 11 мин. 14 сек. В 16 столетии папа Григорий XIII пожелал исправить эту неточность. В 1582 году он произвел следующую реформу календаря. Сохраняется чередование простых и високосных лет, но оно дополняется правилом: если номер года оканчивается двумя нулями, а число сотен не делится на 4, то этот год простой.

Например, по этому правилу 1700 год простой, но 1600 високосный.

Кроме того, считая, что от начала летосчисления (от "рождества Христова") уже накопилась ошибка в 10 дней, Григорий XIII сразу прибавил 10 дней. С тех пор накопилось еще 3 дня (в 1700, 1800 и 1900 годах). Поэтому в настоящее время между юлианским календарем и новым ("григорианским") расхождение составляет 13 дней.


Какова средняя длина григорианского года? Из 400 лет по юлианскому календарю 100 високосных, а по григорианскому - 97. Поэтому

[Maple OLE 2.0 Object] ,

т. е. она больше истинной на 26 сек.


Как видим, весьма простыми средствами достигнута очень большая точность.

В царской России до Великой Октябрьской революции пользовались юлианским календарем. Григорианский календарь был введен специальным декретом Совета Народных Комиссаров в 1918 году. Им мы и пользуемся в настоящее время. Степень его соответствия реальной длине солнечного года вполне достаточна для всех практических целей. Можно ли утверждать, что решение папы Григория XIII - самое простое и естественное? С ответом потерпите до конца этой статьи.

Глава I Глава II Глава III Задачи

16

Hosted by uCoz