Арифметика
Цепные дроби
Дробь, которую Китай хранил в секрете 1000 лет
В **480 году** китайский математик **Цзу Чунчжи** нашёл поразительное приближение π: **355/113**. Шесть верных знаков после запятой! Европа не знала ничего лучше ещё тысячу лет. Как он это сделал без цепных дробей? Историки спорят до сих пор.
Величие математики в том, что она не требует эксперимента. - Цзу Чунчжи (приписывается)
355/113 - не случайность. В цепной дроби π = [3; 7, 15, 1, **292**, ...] число 292 огромно. Это значит: дробь 355/113 невероятно близка к π. Следующее улучшение требует знаменателя более 33000! Цзу Чунчжи каким-то образом нашёл эту точку за 1200 лет до изобретения теории цепных дробей.
22/7 ≈ π. Но почему именно 22/7? Есть ли дробь точнее? 355/113 даёт 6 верных знаков - лучше, чем 3.14159! Цепные дроби автоматически находят наилучшие приближения. Они объясняют, почему високосный год каждые 4 года, и даже помогают взламывать криптографию.
- **Календари:** приближение длины года дробями
- **Инженерия:** передаточные числа зубчатых колёс
- **Криптография:** атака Винера на RSA
Что такое цепные дроби
**Цепная дробь** - способ представления чисел через вложенные дроби. Каждое действительное число имеет уникальное представление цепной дробью.
**Форма записи:** a₀ + 1/(a₁ + 1/(a₂ + 1/(a₃ + ...))) **Краткая нотация:** [a₀; a₁, a₂, a₃, ...] где a₀ - целое, остальные aᵢ - натуральные.
Рациональные числа дают конечные цепные дроби. Иррациональные - бесконечные. Периодические цепные дроби - квадратичные иррациональности.
Чему равна цепная дробь [2; 3]?
Преобразование в цепную дробь
Алгоритм преобразования числа в цепную дробь прост: отделяй целую часть, бери обратное от дробной, повторяй.
**Связь с алгоритмом Евклида:** Цепная дробь a/b записывает частные алгоритма Евклида для НОД(a, b). Это объясняет, почему рациональные числа дают конечные цепные дроби.
Для иррациональных чисел алгоритм не заканчивается, но можно вычислить сколько угодно членов.
Как начать преобразование числа 2.5 в цепную дробь?
Подходящие дроби
**Подходящие дроби** (конвергенты) - рациональные приближения, получаемые обрыванием цепной дроби. Они дают наилучшие приближения среди дробей с таким же или меньшим знаменателем.
**Теорема о наилучших приближениях:** Если p/q - подходящая дробь для x, то среди всех дробей со знаменателем ≤ q нет более близкой к x. 22/7 - лучшее приближение π среди дробей со знаменателем ≤ 7.
Подходящие дроби приближают число «прыжками» - попеременно снизу и сверху, всё точнее.
Почему 355/113 - особенно хорошее приближение π?
Применения цепных дробей
Цепные дроби имеют удивительные применения: от календарей до криптографии.
**Периодические цепные дроби:** √2 = [1; 2, 2, 2, ...] = [1; 2̄] √3 = [1; 1, 2, 1, 2, ...] = [1; 1̄,2̄] √5 = [2; 4, 4, 4, ...] = [2; 4̄] Теорема Лагранжа: x имеет периодическую цепную дробь ⟺ x - квадратичная иррациональность (корень квадратного уравнения).
Цепные дроби - мост между непрерывным и дискретным. Они превращают иррациональные числа в бесконечные последовательности целых.
Цепные дроби - просто другая запись обычных дробей
Цепные дроби - мощный инструмент для нахождения наилучших рациональных приближений
Обычная десятичная запись 3.14159... не говорит, какая простая дробь ближе всего к π. Цепная дробь [3; 7, 15, 1, 292, ...] сразу даёт: 22/7, затем 333/106, затем 355/113. Каждая - наилучшее приближение для своего размера знаменателя. Это уникальное свойство цепных дробей.
Как цепные дроби помогли создать календарь?
Ключевые идеи
- [a₀; a₁, a₂, ...] - вложенные дроби
- Алгоритм: отделяй целую часть, бери обратное
- Подходящие дроби - наилучшие приближения
- Периодические - квадратичные иррациональности
Связанные темы
Цепные дроби связывают разные области математики:
- Рациональные числа — Конечные цепные дроби
- Иррациональные числа — Бесконечные цепные дроби
- НОД — Алгоритм Евклида = цепная дробь
Вопросы для размышления
- Почему алгоритм Евклида и цепные дроби - одно и то же?
- Как золотое сечение связано с «самой иррациональной» цепной дробью?
- Можно ли использовать цепные дроби для приближения других констант (e, √2)?