> Техника, страница 65 > Непрерывные дроби
Непрерывные дроби
Непрерывные дроби, конечные или бесконечные дроби вида где b0, bt, Ь2. и at, аг, а3, .—целые числа; в частности а1=оа= .= 1, а Ь0 может равняться 0. Пусть х—положительное действительное число (рациональное или иррациональное). Его можно представить в виде:
ж=Ьо + *Т> (О
*V1
*И
1. Далее id, > 1
где 0 — целое число,
представим в виде
Xi=h + ^. (2)
где Ь, >1—целое, 1 <1. Продолжая далее, *2
имеем:
где bп > 1—целое, ния (2),. (3),.
х=Ь0 + -
хп=К 1
(3)
*/1+1
Я«+1
<1. Вставляя значе-
в (1), получим Н. д. ь 1+
(4)
ь, +
·+
конечную или бесконечную. Целые числа b0, Ь„ ., bп называются неполными частным и. Если х рациональное число х=А-, то неполные частные получаются методом последовательного деления (алгоритм Эвклида): делим А на Ар. пусть будет частное Ь0 и остаток А»; А.=А,Ь0 + Ар, далее делим Аг на Аг—частное остаток А3 и т. д. Так как остатки все время уменьшаются, то после конечного числа шагов деление произойдет без остатка: А„=A„+ib„. Отсюда
х=bо + £=b0 + 1=Ь 0+ +V-“
«1 +
= b0 +
A,
1
я»
bi+ „ +.
Таким образом рациональное число разлагается вконечную Н. д, и обратно, проделав все действия в конечной Н. д., получим рациональное число.
Разложим теперь в Н. д. иррациональное число/2, выделяя каждый раз целую часть:
/2=1 + г 1
2-1
-=/2+1=2·
2-1
= 2 +
*4
(3)
Получается бесконечная Н. д.:
/2=1+ 1 -
2+---
2+—1 2+2+··.
В теории Н. д. большую роль играют подходящие дроби. Если в Н. д. (4) ограничимся одним, двумя,. п неполными частными, получим 1-ю, 2-ю, ., п-ю подходящую дробь:
Pt i, bo. Ра _ i, J__ bobi + 1. ς~1”ΐΤ·= Τ’ Яг~ ° + b, Ь, >
Рз i, г 1 (bob} 4- l)b2 + b0
«1= V
Вообще
bi +
Ь ιΐ>2 + 1
Pm _ Ри-ibw-i + Pm—2.
Qn Qn—ibn-i + Qn—2
Подходящие дроби дают приближения истинного значения Н. д., притом нечетного порядка—по недостатку, четного—по избытку. Так, подходящие дроби для Н. д. (5): Pl 1. Ps _ i i 1 = 3 _, г. Рз = 3·2 4-1 βι= 1 ’ Яг 2 2 ’ ’ «з 2 · 2 1
7 + +. Р4 7.24-3 17 14166..
= 14. Pt^SH+S,
5 ’’ Я, 5-2 + 2
I2
будут приближенными значениями /2. II. д. применяются для вычисления логарифмов, для приближенного интегрирования и прочие.
Лит.; Серре II., Курс высшей алгебры, пер. с Франц., СПБ, 1897; М а р к о η А., Исчисление конечных разностей, Одесса, 1910; Perron О., Oie Lelire von <1. Kettenbriiclien, Lpz.—В., 1913. В. Степанов.