Арифметика
Египетские дроби
Папирус писца Ахмеса: математика из гробницы
В **1858 году** шотландский антиквар **Генри Ринд** купил в Луксоре древний папирус. Ему было почти 3500 лет. Текст начинался словами: «Правила для исследования природы и понимания всего сущего». Автор - писец **Ахмес** - скопировал его с ещё более древнего оригинала (~1850 до н.э.).
Правила для исследования природы и понимания всего сущего, всех тайн и секретов. - Первые слова папируса Ринда
Гипотеза **Эрдёша - Штрауса** (1948): любое 4/n можно представить как сумму трёх единичных дробей. Проверено для n до 10^17. Но доказательства нет! Египетские дроби - не музейный экспонат, а живая математика с открытыми проблемами.
4000 лет назад египтяне записывали дроби совсем иначе: только 1/2, 1/3, 1/4... Как представить 3/5? Сумма: 1/2 + 1/10. Это кажется странным, но работает. И до сих пор порождает нерешённые математические проблемы.
- **История математики:** древнейшие математические тексты
- **Алгоритмы:** жадные алгоритмы и их ограничения
- **Теория чисел:** открытые проблемы (гипотеза Эрдёша-Штрауса)
Единичные дроби
**Единичная дробь** - дробь с числителем 1. Древние египтяне использовали только такие дроби (плюс 2/3). Это кажется ограничением, но работает удивительно хорошо.
**Единичные дроби:** 1/2, 1/3, 1/4, 1/5, 1/6, 1/7, 1/8, ... **Египетская запись:** Над числом ставили овал (рот): 𓂋 над III = 1/3 𓂋 над IIII = 1/4
Любую дробь можно представить как сумму разных единичных дробей. Это называется египетским представлением.
Какая дробь НЕ является единичной?
Египетское представление
**Египетское представление** дроби - сумма различных единичных дробей. Каждая единичная дробь используется максимум один раз.
**Теорема:** Любую дробь p/q (0 < p/q < 1) можно представить как сумму различных единичных дробей. Доказательство: жадный алгоритм (следующий раздел).
Поиск оптимального (самого короткого) представления - NP-полная задача. Для некоторых дробей разница огромна.
Какое египетское представление дроби 3/4?
Жадный алгоритм
**Жадный алгоритм** Фибоначчи (XIII век) гарантированно находит египетское представление. На каждом шаге берём наибольшую единичную дробь, не превосходящую остаток.
**Почему алгоритм завершается:** После вычитания 1/n из p/q числитель результата строго меньше p. Доказательство: pn - q < p (потому что n > q/p, значит pn > q). Числитель убывает → алгоритм конечен.
Жадный алгоритм прост, но не оптимален. Поиск кратчайшего египетского представления - открытая алгоритмическая проблема.
Какую единичную дробь жадный алгоритм выберет первой для 3/7?
Папирус Ринда
**Папирус Ринда** (Rhind Mathematical Papyrus) - египетский математический текст ~1650 до н.э. Содержит таблицы разложения дробей 2/n для нечётных n от 3 до 101.
**Папирус Ринда:** • Куплен Генри Риндом в 1858 году в Луксоре • Написан писцом Ахмесом около 1650 до н.э. • Копия ещё более древнего текста (~1850 до н.э.) • Содержит 87 математических задач • Хранится в Британском музее
Египетские дроби - не просто историческая курьёзность. Они до сих пор порождают нерешённые математические проблемы.
Египетские дроби - примитивная система, уступающая современной
Египетские дроби имеют преимущества и порождают нетривиальную математику
Египетское представление удобно для деления на неравные части, визуализации, избегает сложных вычислений с числителями. Задача поиска оптимального представления - NP-полная. Гипотеза Эрдёша-Штрауса (1948): любое 4/n = 1/a + 1/b + 1/c - до сих пор открыта.
Что содержит папирус Ринда?
Ключевые идеи
- Единичная дробь: числитель = 1
- Любую дробь можно представить суммой разных единичных
- Жадный алгоритм работает, но не оптимален
- Папирус Ринда - таблица разложений 2/n
Связанные темы
Египетские дроби связаны с дробями и алгоритмами:
Вопросы для размышления
- Почему египтяне выбрали именно единичные дроби?
- Как найти кратчайшее египетское представление?
- Какие современные применения могут иметь египетские дроби?