UK 
EnglishТипова
Polski🔢 Неперервні дроби — найкращі раціональні наближення
Розгортайте будь-яке число в неперервний дріб [a0; a1, a2,…] і спостерігайте, як підхідні дроби p/q наближаються до числа на числовій прямій.
Про неперервні дроби
Будь-яке дійсне число можна виразити як неперервний дріб: a₀ + 1/(a₁ + 1/(a₂ + 1/(a₃ + …))), де aₙ — невід'ємні цілі числа, які називають неповними частками. Для раціональних чисел розклад завершується; для ірраціональних — триває нескінченно. Раціональні наближення, отримані обрізанням розкладу — так звані підхідні дроби, — є найкращими можливими раціональними наближеннями до вихідного числа: жоден дріб з меншим знаменником не наближається ближче. Наприклад, π ≈ 355/113 (з послідовності підхідних дробів 3, 22/7, 333/106, 355/113, …) точний до 7 значущих цифр — наближення, відоме ще з давнього Китаю.
Золотий перетин φ = (1 + √5)/2 має найпростіший можливий неперервний дріб: [1; 1, 1, 1, …] — усі неповні частки дорівнюють 1, — через що він збігається найповільніше серед усіх ірраціональних чисел, здобуваючи титул «найбільш ірраціонального числа». Цей симулятор анімує підхідні дроби, що наближаються до π та φ, і дозволяє ввести будь-яке число, щоб побачити його розклад у неперервний дріб.
Часті питання
Чому підхідні дроби є найкращими раціональними наближеннями?
Підхідні дроби pₙ/qₙ задовольняють нерівність |x − pₙ/qₙ| < 1/(qₙ · qₙ₊₁). За теоремою Лежандра, будь-який дріб p/q, для якого |x − p/q| < 1/(2q²), обов'язково є підхідним дробом числа x. Це означає, що серед усіх дробів зі знаменниками до qₙ підхідний дріб pₙ/qₙ дає найближче наближення до x — властивість, яку використовують у проєктуванні зубчастих передач, реформі календарів і розташуванні антенних решіток.
Чому φ вважають «найбільш ірраціональним» числом?
За теоремою Гурвіца будь-яке ірраціональне x можна наблизити нескінченною кількістю раціональних p/q, що задовольняють |x − p/q| < 1/(√5 · q²). Константа √5 є оптимальною — її не можна замінити на більшу для всіх ірраціональних чисел, — а число, яке робить цю межу точною, це саме φ. Його неперервний дріб з самих одиниць [1; 1, 1, 1, …] дає найповільніше зростання знаменників (числа Фібоначчі), тобто кожен наступний підхідний дріб додає найменше покращення точності наближення.
Як неперервні дроби застосовують у проєктуванні календарів?
Тропічний рік триває приблизно 365,24219 доби. Розклад у неперервний дріб — [365; 4, 7, 1, 3, 5, …], що дає підхідні дроби 365/1, 1461/4 (юліанський календар, один високосний рік на 4), 10592/29, 128953/353 — але григоріанський календар використовує 97 високосних років на 400 років (365 + 97/400 = 365,2425 доби), що близько відповідає підхідному дробу 146097/400. Невелика залишкова похибка означає, що григоріанський календар зміщується на одну добу приблизно за 3030 років.
Який розклад у неперервний дріб має √2?
√2 = [1; 2, 2, 2, 2, …] — періодичний неперервний дріб з повторюваним блоком [2]. За теоремою Лагранжа, кожне квадратичне ірраціональне число (корінь квадратного рівняння з цілими коефіцієнтами) має врешті-решт періодичний неперервний дріб, і навпаки. Підхідні дроби √2 — це 1/1, 3/2, 7/5, 17/12, 41/29, 99/70, … — це відношення чисел Пелля, які задовольняють pₙ² − 2qₙ² = ±1 (рівняння Пелля).
Як алгоритм Евкліда пов'язаний з неперервними дробами?
Розклад раціонального числа a/b у неперервний дріб отримують безпосередньо алгоритмом Евкліда: a = q₀b + r₀, b = q₁r₀ + r₁, r₀ = q₂r₁ + r₂, … Частки q₀, q₁, q₂, … це саме неповні частки aₙ неперервного дробу. Це означає, що обчислення неперервних дробів і обчислення НСД — той самий алгоритм, а найгіршим випадком для алгоритму Евкліда є послідовні числа Фібоначчі — знову ж таки через неперервний дріб φ з самих одиниць.
Що таке узагальнений неперервний дріб?
Узагальнений неперервний дріб дозволяє чисельникам бути не лише одиницями: a₀ + b₁/(a₁ + b₂/(a₂ + b₃/(…))). Багато важливих математичних констант мають елегантні узагальнені представлення: π = 4/(1 + 1/(3 + 4/(5 + 9/(7 + 16/…)))) (формула Браункера, 1655 рік) і e = 2 + 1/(1 + 1/(2 + 2/(3 + 3/(4 + …)))). Такі узагальнення часто збігаються швидше за стандартний неперервний дріб, але втрачають властивість «найкращого наближення».
Чи випадкові неповні частки числа π?
Неповні частки π: [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, …]. Велике значення 292 на четвертій позиції пояснює, чому 355/113 є настільки винятково хорошим наближенням: наступний підхідний дріб використовує 355×292 + 333 = 104 348 у чисельнику, що робить стрибок точності величезним. Попри значні обчислення неповних часток π, не існує доведення, що вони розподілені нормально (це відкрита проблема — чи є π «нормальним» числом у сенсі неперервних дробів).
Що таке ряди Фарея і як вони пов'язані з неперервними дробами?
Ряд Фарея Fₙ — це зростаюча послідовність усіх нескоротних дробів зі знаменниками ≤ n на відрізку [0, 1]. Сусідні дроби a/b і c/d у Fₙ задовольняють властивість медіанти |bc − ad| = 1, і їхня медіанта (a+c)/(b+d) є наступним дробом, який додається зі зростанням n. Дерево Штерна–Броко, яке перелічує кожне додатне раціональне число рівно один раз, повністю побудоване з медіант, а шлях до будь-якого дробу в дереві кодує його розклад у неперервний дріб — ліві гілки відповідають неповним часткам.
Як неперервні дроби допомагають проєктувати зубчасті передачі?
Під час проєктування зубчастої передачі для досягнення точного співвідношення швидкостей неперервні дроби знаходять найменше наближення за кількістю зубців у межах заданої похибки. Наприклад, щоб наблизити співвідношення 1 рік/1 доба ≈ 365,24219, підхідні дроби 4/1 (грубо), 29/8 (краще), 97/27, 365/100 підказують практичні комбінації передач. Старовинні астрономічні годинники та орерії використовували аналіз неперервних дробів, щоб обирати кількість зубців, яка підтримує механічний календар синхронним із сонячним роком протягом десятиліть.