рд╕реНрдХреВрд▓ рдХреА рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХ I рд╕реЗ рдХрд╛рд░реНрдп

рднрд╛рдЧ I
рднрд╛рдЧ II
рднрд╛рдЧ III

"5 рд╕реЗ 15 рд╕рд╛рд▓ рдХреЗ рдмрдЪреНрдЪреЛрдВ рдХреЗ рд▓рд┐рдП рдХрд╛рд░реНрдп" рдкреБрд╕реНрддрдХ рд╕реЗ рд╕рдорд╕реНрдпрд╛ рд╕рдВрдЦреНрдпрд╛ 38 рдХреЗ рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕рдорд╛рдзрд╛рди рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ

рд░рд╛рд╢рд┐ рдХреА рдЧрдгрдирд╛ рдХрд░реЗрдВ:

 рдЪ рдЖрд░ рдПрдХ рд╕реА 1 1 рдЧ рдШ рдУ рдЯреА 2  + рдЪ рдЖрд░ рдПрдХ рд╕реА 1 2 рдЧ рдШ рдУ рдЯреА 3 + рдЪ рдЖрд░ рдПрдХ рд╕реА 1 3 рдЧ рдШ рдУ рдЯреА 4 + ред ред ред + f r a c 1 99 c d o t 100      


(рдЙрддреНрддрд░ рдХреЗ 1% рд╕реЗ рдЕрдзрд┐рдХ рдХреА рддреНрд░реБрдЯрд┐ рдХреЗ рд╕рд╛рде)

рдиреАрдЪреЗ рдЗрд╕ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рдЖрдВрд╢рд┐рдХ рд░рдХрдо рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ (рд▓рд┐рд╕реНрдк) рдЗрди рдбреНрд░реИрдХреИрдЯ (рдбреНрд░реИрдХреИрдЯ рдЖрдкрдХреЛ рд╕рд╛рдзрд╛рд░рдг рдЕрдВрд╢реЛрдВ рдореЗрдВ рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИ):

#lang racket (define series_sum ( lambda (n) (if (= n 0) 0 (+ (/ 1 (* n (+ n 1))) (series_sum(- n 1))) ) ) ) (series_sum 10) (series_sum 100) (series_sum 1000) (series_sum 10000) (series_sum 100000) (series_sum 1000000) (define series_sum_1 ( lambda (n) (if (= n 0) 0 (+ (/ 1.0 (* n (+ n 1.0))) (series_sum_1(- n 1.0))) ) ) ) (series_sum_1 10) (series_sum_1 100) (series_sum_1 1000) (series_sum_1 10000) (series_sum_1 100000) (series_sum_1 1000000) 


рдкрд┐рдЫрд▓реЗ рджреЛ рдЙрджрд╛рд╣рд░рдг рдПрдХ рддреНрд░реБрдЯрд┐ рдХреЗ рд╕рд╛рде рдЧрдгрдирд╛ рдХреА рдЧрдИ рдбреНрд░реИрдХреИрдЯ



рдпрд╣ рдХрд╛рд░реНрдпрдХреНрд░рдо рдСрдирд▓рд╛рдЗрди ide ideone.com рдФрд░ codepad.org рдкрд░ рдЪрд▓рд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рдЕрдЬрдЧрд░ рдореЗрдВ рд╕рдорд╛рди рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо
 def series_sum(n): if n==0: return 0 else: return 1.0/(n*(n+1.0))+series_sum(n-1.0) print(series_sum(10)) print(series_sum(100)) 

Ideone.com рд╕реЗ рд▓рд┐рдВрдХ рдХрд░реЗрдВ


рдпрджрд┐ рд╣рдо рд╕рд╛рдзрд╛рд░рдг рдЕрдВрд╢реЛрдВ рдореЗрдВ рдЖрдВрд╢рд┐рдХ рд░рдХрдо рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддреЗ рд╣реИрдВ, рддреЛ рд╣рдо рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХрд╛ рдпреЛрдЧ рд╣реИ

 f r a c n n + 1



рдореИрдВ рдЖрдкрдХреЛ рдпрд╛рдж рджрд┐рд▓рд╛ рджреВрдВ  lim fracnn+1= frac11+ frac1n= frac11=1 рдкрд░ n to$infty

рдбрд┐рдлрд░реЗрдВрд╢рд┐рдпрд▓ рдФрд░ рдЗрдВрдЯреАрдЧреНрд░рд▓ рдХреИрд▓рдХреБрд▓рд╕ 363 (4) рдХреЗ рдкрд╛рдареНрдпрдХреНрд░рдо рдХрд╛ рджреВрд╕рд░рд╛ рдЦрдВрдб рд╕рд╛рдорд╛рдиреНрдп рдорд╛рдорд▓реЗ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддрд╛ рд╣реИ

 sum frac1( Alpha+n)( Alpha+n+1)= frac1 Alpha+1



рдкрд╛рдареНрдпрдХреНрд░рдо "рдбреЗрд╡рд▓рдкрд░реНрд╕ рдХреЗ рд▓рд┐рдП рдЧрдгрд┐рдд" рд╕реЗ рдХрд╛рд░реНрдп :
рдПрдХ рдХреНрд░рдо рдореЗрдВ рд╕рджрд╕реНрдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЬреНрдЮрд╛рдд рдХреАрдЬрд┐рдП  frac2nтИТ14n+5 рдЕрдВрддрд░рд╛рд▓ рдХреЗ рдмрд╛рд╣рд░ рдЭреВрда рдмреЛрд▓рдирд╛ (1тИТ frac11000;1+ frac11000)



рдЪрд▓рд┐рдП рд▓реЗрдЦ рдХреЗ рдореБрдЦреНрдп рд╡рд┐рд╖рдп рдкрд░ рдЪрд▓рддреЗ рд╣реИрдВред


рдЖрдЗрдП рдПрдХ рд╕рдорд╕реНрдпрд╛ рдкреБрд╕реНрддрдХ рд╕реЗ рдПрдХ рдФрд░ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред
рекрей ред рдЦрд░рдЧреЛрд╢реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ (рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐), рдПрдХ рдХреНрд░рдо рдмрдирд╛рддреА рд╣реИ (a1=1),1,3,5,8,13,21,34,..., рдЬрд┐рд╕рдореЗрдВ an+2=an+1+an рд╕рднреА рдХреЗ рд▓рд┐рдП n=1,2,... ред рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХрд╛ рд╕рдмрд╕реЗ рдмрдбрд╝рд╛ рд╕рд╛рдорд╛рдиреНрдп рд╡рд┐рднрд╛рдЬрдХ рдЬреНрдЮрд╛рдд рдХреАрдЬрд┐рдП a100 рдФрд░ a99 ред

рдЙрддреНрддрд░: рджреЛ рд╕рдореАрдкрд╡рд░реНрддреА рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐ рд╕рдВрдЦреНрдпрд╛рдПрдБ рд╕рд╣рд╛рдиреБрднреВрддрд┐ рд╣реИрдВ, рдЕрд░реНрдерд╛рдд  gcd(un+1,un)=1
(gcd рд╕рдмрд╕реЗ рдмрдбрд╝рд╛ рд╕рд╛рдорд╛рдиреНрдп рднрд╛рдЬрдХ рд╣реИ, рдЕрд░реНрдерд╛рдд GCD)ред

"рдкреБрд╕реНрддрдХ рд╕реЗ рдкрд░реЗ" рдЧрдгрд┐рдд рдХреА рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХ рд╕реЗ рдкрд░реЗ рдХреЗ рдкрдиреНрдиреЗ "[10-11]
рд╕реНрдкрд╛рдпрд▓рд░ рд╣реЗрдбрд┐рдВрдЧ
рд╕рдорд╛рдирддрд╛ рд╕реЗ u n + 2 = u n + 1 + u n рдпрд╣ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ  g c d ( u n + 2 , u n + 1 ) = g c d ( u n + 1 , u n )  ред рдЗрд╕ рддрд░рд╣ рд╕реЗ рд╕рдорд░реНрдерди рдХрд░рддреЗ рд╣реБрдП, рд╣рдо рдЖрддреЗ рд╣реИрдВ  gcd(u2,u1)= gcd(1,1)=1 , рдФрд░ рдЗрд╕рд▓рд┐рдП рджреЛ рдЖрд╕рдиреНрди рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХрд╛ рдкреНрд░рддрд┐рдЧрдорди рд╣реИред

рдкреНрд░рдорд╛рдг рд╣реИ рдХрд┐  gcd(un+2,un+1)= gcd(un+1,un) рдкреБрд╕реНрддрдХ рдирд╣реАрдВ рджреА рдЧрдИ рд╣реИ, рд▓реЗрдХрд┐рди рдпреВрдХреНрд▓рд┐рдбрд┐рдпрди рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдЕрдиреБрд╕рд╛рд░
 gcd(un+2,un+1)= gcd(un+1,r)
рдЬрд╣рд╛рдБ рдЖрд░ - рд╡рд┐рднрд╛рдЬрди рдХрд╛ рд╢реЗрд╖ un+2 рдкрд░ un+1

рдФрд░ рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рд▓рд┐рдП r=un

 gcd(un+2,un+1)= gcd(un+1,un)


рдЕрдЧрд▓реЗ рдХрд╛рд░реНрдп рдореЗрдВ, рдЖрдкрдХреЛ рд╕реБрдирд╣рд░реЗ рдЕрдиреБрдкрд╛рдд рдХреА рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ ,  frac sqrt5+12 рд▓рдЧрднрдЧ1,618 ред [рдпрд╣ рдПрдХ рдкреЛрд╕реНрдЯрдХрд╛рд░реНрдб рдХрд╛ рдкрд╣рд▓реВ рдЕрдиреБрдкрд╛рдд рд╣реИ рдЬреЛ рдПрдХ рд╡рд░реНрдЧ рдХреЛ рдХрд╛рдЯрддреЗ рд╕рдордп рд╕рдорд╛рди рд░рд╣рддрд╛ рд╣реИ рдЬрд┐рд╕рдХрд╛ рдкрдХреНрд╖ рдкреЛрд╕реНрдЯрдХрд╛рд░реНрдб рдХрд╛ рдЫреЛрдЯрд╛ рдкрдХреНрд╖ рд╣реЛрддрд╛ рд╣реИред]

релрей ред рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдЕрдиреБрдХреНрд░рдо рдХреЗ рд▓рд┐рдП an рдХрд╛рд░реНрдп 43 рд╕рдВрдмрдВрдз рдХреА рд╕реАрдорд╛ рдкрд╛рддреЗ рд╣реИрдВ  fracan+1an рдкреНрд░рдпрд╛рд╕ рдХрд░рддреЗ рд╣реБрдП рдПрди рдЕрдирдВрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП:

 fracan+1an=2, frac32, frac53, frac85, frac138, frac2113, frac3421ред



рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рджреЛ рдЖрд╕рдиреНрди рд╕рджрд╕реНрдпреЛрдВ рдХреЗ рдорддрднреЗрджреЛрдВ рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдЦрдВрдбреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ  fracan+1an ред

рдпрд╣рд╛рдВ рддрдХ тАЛтАЛрдХрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд╕рджрд╕реНрдп рднреА  fracan+1an рдПрдХ рдмрдврд╝рддреЗ рдХреНрд░рдо рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд░рддреЗ рд╣реИрдВ xn

 frac32, frac85, frac2113,...,



рд╡рд┐рд╖рдо рдкрдВрдХреНрддрд┐ рдХреЗ рд╕рджрд╕реНрдп  fracan+1an рдШрдЯрддреЗ рдХреНрд░рдо рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд░реЗрдВ yn

2, frac53, frac138,...,



рдПрдореНрдмреЗрдбреЗрдб рдЕрдВрддрд░рд╛рд▓ рд▓реЗрдореНрдорд╛ рджреНрд╡рд╛рд░рд╛ (рдЕрдВрддрд░ рдФрд░ рдЕрднрд┐рдиреНрди рдХрд▓рди рдХрд╛ рдкрд╛рдареНрдпрдХреНрд░рдо, 38)

c= limxn= limyn


рдПрдХ рдмрд┐рдВрджреБ рдкрд░ рд╣рдорд╛рд░реА рдкрдВрдХреНрддрд┐ рдХреЗ рд▓рд┐рдП рд╕реА рдирд┐рд╖реНрдкрдХреНрд╖ рд╕рдорд╛рдирддрд╛  fracan+2an+1= fracan+1an

рднрд╛рдЧ рджреЗрдиреЗрд╡рд╛рд▓рд╛ an+2=an+1+an рдкрд░ an+1 рд╣рдореЗрдВ рд╕рдореАрдХрд░рдг рдорд┐рд▓рддрд╛ рд╣реИ  fracan+2an+1=1+ fracanan+1 ред
рдмрджрд▓рдХрд░  fracan+2an+1=x, fracanan+1= frac1x рд╣рдореЗрдВ рджреНрд╡рд┐рдШрд╛рдд рд╕рдореАрдХрд░рдг рдорд┐рд▓рддрд╛ рд╣реИ x=1+ frac1x ред

рдпрджрд┐ рдЬрд┐рдпреЛрдЬреЗрдмреНрд░рд╛ рдкреНрд░реЛрдЧреНрд░рд╛рдо рдореЗрдВ рд╣рдо рдЕрдВрдХ 2 рдФрд░ рдЬреЛрдбрд╝рддреЗ рд╣реИрдВ  frac32 ред  frac32 рдФрд░  frac53 ред  frac53 рдФрд░  frac85 рдЖрджрд┐ - рдПрдХ рдЖрддреНрдо-рд╕рдорд╛рди рдЖрдВрдХрдбрд╝рд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ

рддреБрд▓рдирд╛ рдХреЗ рд▓рд┐рдП




рд╕рд╛рдорд╛рдиреНрдп рддреМрд░ рдкрд░, рдкрд╛рдпрдерди рдореЗрдВ рдлрд╛рдЗрдмреЛрдиреИрдЪрд┐ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рдорд╛рдирдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╣реИред
рдпрд╣ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо Python.org рдкрд░ рдЙрдкрд▓рдмреНрдз рд╣реИ
 def fib(n): a, b = 0, 1 while a < n: print(a) a, b = b, a+b fib(100) 

рдЖрдк рд▓рд┐рдВрдХ рдХреА рдЬрд╛рдБрдЪ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ
рдЗрд╕ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЛ рдмрджрд▓реЗрдВ рддрд╛рдХрд┐ рдпрд╣ рд╕реБрдирд╣рд░рд╛ рдЕрдиреБрдкрд╛рдд рдХреЛ рдПрдХ рдЕрдиреБрдорд╛рди рд▓рдЧрд╛рддрд╛ рд╣реИред рджреЛ рдЖрд╕рдиреНрди рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рд▓рд┐рдП a рдФрд░ b, рд╣рдо рдпреЛрдЧ a + b рдХреЛ b рд╕реЗ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░реЗрдВрдЧреЗ
 def fib(n): a, b = 0.0 , 1.0 while a < n: print((a+b)/b) a, b = b, a+b fib(100) 

рдЖрдк рд▓рд┐рдВрдХ рдХреА рдЬрд╛рдБрдЪ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ

рд╕реБрдирд╣рд░реЗ рдЕрдиреБрдкрд╛рдд рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ SICP рдЯреНрдпреВрдЯреЛрд░рд┐рдпрд▓ рдХреЗ рдХреБрдЫ рдХрд╛рд░реНрдп рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВ ред
рдХрд╛рд░реНрдп
1.13 рд╡реНрдпрд╛рдпрд╛рдо рдХрд░реЗрдВред
рд╕рд┐рджреНрдз рдХрд░реЗрдВ рдХрд┐ Fib (n) рдкреВрд░реНрдгрд╛рдВрдХ рдирд┐рдХрдЯрддрдо рд╣реИ  varphin/ sqrt5 рдЬрд╣рд╛рдБ  varphi=(1+ sqrt5)/2 ред

1.35 рд╡реНрдпрд╛рдпрд╛рдо рдХрд░реЗрдВред
рд╡рд╣ рд╕реНрд╡рд░реНрдгрд┐рдо рдЕрдиреБрдкрд╛рдд рджрд┐рдЦрд╛рдПрдВ  varphi (рдЦрдВрдб 1.2.2) рдкрд░рд┐рд╡рд░реНрддрди рдХрд╛ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рдмрд┐рдВрджреБ рд╣реИ x рд╕реЗ1+1/x , рдФрд░ рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЗрд╕ рддрдереНрдп рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ  varphi рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдмрд┐рдВрджреБ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛ред

1.37 рд╡реНрдпрд╛рдпрд╛рдо рдХрд░реЗрдВред
... рдХрд╛рдВрдЯ-рдлреНрд░рд╛рдХ рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ рддрд╛рдХрд┐ рдЧрдгрдирд╛ (cont-frac ndk) рдореВрд▓реНрдп рджреЗ k -рд╕рд╛рдордЧреНрд░реА рдкрд░рд┐рдорд┐рдд рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ред 1 / approxim рдХреЗ рд╕рд╛рде рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рдЧрдгрдирд╛ рдХрд░рдХреЗ рдЕрдкрдиреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХрд╛ рдкрд░реАрдХреНрд╖рдг рдХрд░реЗрдВ
 (cont-frac (lambda (i) 1.0) (lambda (i) 1.0) k) 

рдЕрдиреБрдХреНрд░рдорд┐рдХ рдореВрд▓реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП k ред


рдЯрд╛рд╕реНрдХ рдмреБрдХ "5 рд╕реЗ 15 рд╕рд╛рд▓ рдХреЗ рдмрдЪреНрдЪреЛрдВ рдХреЗ рд▓рд┐рдП рдХрд╛рд░реНрдп" рд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЙрджрд╛рд╣рд░рдг
релрек ред рдЕрдирдВрдд рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рдХреА рдЧрдгрдирд╛ рдХрд░реЗрдВ

1+ frac12+ frac11+ frac12+ frac11+ frac12+...



рдпреБрдкреАрдбреАред рд╕рдореАрдХрд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ

 рдЕрд▓реНрдлрд╛=1+ frac12+ frac1 рдЕрд▓реНрдлрд╛


236 рдФрд░ 235 рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдкреБрд╕реНрддрдХ "рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд" рд╕реЗ:

 Alpha= fracP1 Alpha+P0Q1 Alpha+Q0


рд╣рдо рдореВрд▓реНрдпреЛрдВ рдХреА рдПрдХ рддрд╛рд▓рд┐рдХрд╛ рдХреА рд░рдЪрдирд╛ рдХрд░рддреЗ рд╣реИрдВ Pn рдФрд░ Qn рдкрд░ n=0,1:

12
рдкреА13
рдХреНрдпреВ12


рддрд╛рдХрд┐  рдЕрд▓реНрдлрд╛= frac3 рдЕрд▓реНрдлрд╛+12 рдЕрд▓реНрдлрд╛+1,2 рдЕрд▓реНрдлрд╛2тИТ2 рдЕрд▓реНрдлрд╛тИТ1=0

рдФрд░ рдХрдм рд╕реЗ  рдЕрд▓реНрдлрд╛>0,

 рдЕрд▓реНрдлрд╛= frac1+ sqrt32


рдкреБрд╕реНрддрдХ рдХреА рд╕рдорд╕реНрдпрд╛ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ "рдЧрдгрд┐рдд рдХреА рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХ рдХреЗ рдкреГрд╖реНрдареЛрдВ рдХреЗ рдкреАрдЫреЗ" [10-11]
рек ред рд╡рд╣ рдирдВрдмрд░ рджрд┐рдЦрд╛рдПрдВ  sqrt1+ sqrt1+ sqrt1+... рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдмрд░рд╛рдмрд░  varphi рд╕реНрд╡рд░реНрдгрд┐рдо рдЕрдиреБрдкрд╛рдд рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рдирд╛ред

рд╡рд┐рдХрд▓реНрдк рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ xn= sqrtc+ sqrtc+...+ sqrtc
рдЕрдВрддрд░ рдФрд░ рдЕрднрд┐рдиреНрди рдХрд▓рди рдХрд╛ рдкрд╛рдареНрдпрдХреНрд░рдо, 35 (2)
рдЗрд╕ рддрд░рд╣ рд╕реЗ xn+1 рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ xn рд╕реВрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░

xn+1= sqrtc+xn


... рдореБрдЦреНрдп рдкреНрд░рдореЗрдп рджреНрд╡рд╛рд░рд╛, рд╡рд┐рдХрд▓реНрдк xn рдХреБрдЫ рд╕реАрдорд┐рдд рд╕реАрдорд╛ рд╣реИ рдПрдХ ред рдЗрд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рд╕рдорд╛рдирддрд╛ рдореЗрдВ рд╕реАрдорд╛ рдХреЛ рдкрд╛рд╕ рдХрд░рддреЗ рд╣реИрдВ

x2n+1=c+xn;


рд╣рдо рдЗрд╕ рддрд░рд╣ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ рдХрд┐ рдПрдХ рджреНрд╡рд┐рдШрд╛рдд рд╕рдореАрдХрд░рдг рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ

a2=c+a


рдЗрд╕ рд╕рдореАрдХрд░рдг рдореЗрдВ рд╡рд┐рднрд┐рдиреНрди рд╕рдВрдХреЗрддреЛрдВ рдХреА рдЬрдбрд╝реЗрдВ рд╣реИрдВ; рд▓реЗрдХрд┐рди рд╡рд╣ рд╕реАрдорд╛ рдЬреЛ рд╣рдореЗрдВ рд░реБрдЪрддреА рд╣реИ рдПрдХ рдирдХрд╛рд░рд╛рддреНрдордХ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП, рдпрд╣ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдЬрдбрд╝ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ:

a= frac sqrt4c+1+12



рдЬрд┐рд╕рд╕реЗ рд╣рдо рдпрд╣ рдирд┐рд╖реНрдХрд░реНрд╖ рдирд┐рдХрд╛рд▓ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ "рд╕реНрд╡рд░реНрдг рдЕрдиреБрдкрд╛рдд" рд╕рдореАрдХрд░рдг рдХрд╛ рдПрдХ рд╕рдорд╛рдзрд╛рди рд╣реИ a2=c+a
рдкрд░ c=1 ред


рдЖрдЧреЗ, рдбрд┐рдлрд░реЗрдВрд╢рд┐рдпрд▓ рдФрд░ рдЗрдВрдЯреАрдЧреНрд░рд▓ рдХреИрд▓рдХреБрд▓рд╕, 35 (3) рдХреЗ рдкрд╛рдареНрдпрдХреНрд░рдо рдореЗрдВ, рд╡реНрдпреБрддреНрдХреНрд░рдо рд╕рдВрдЦреНрдпрд╛ рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдЪрд▓реЛ рд╕реА рдХреЛрдИ рдкреЙрдЬрд┐рдЯрд┐рд╡ рдирдВрдмрд░ рд╣реИ, рдФрд░ рдбрд╛рд▓ рджреАрдЬрд┐рдП xn=cyn ред рдКрдкрд░ рд▓рд┐рдЦреЗ рдЧрдП рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕рдВрдмрдВрдз рдХреЛ рдирд┐рдореНрди рджреНрд╡рд╛рд░рд╛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛:

yn+1=yn(2тИТcyn)


рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдореВрд▓реНрдп рд▓реЗ рд░рд╣рд╛ рд╣реИ y0 рд╢рд░реНрдд рдХреЗ рддрд╣рдд: 0<y0< frac1c рд╣рдореЗрдВ рд╡рд╣ рдорд┐рд▓рддрд╛ рд╣реИ yn рдиреАрд░рд╕рддрд╛ рдмрдврд╝ рд░рд╣реА рд╣реИ, рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрд░реЗрдВрдЧреЗ  frac1c ред рдЗрд╕ рдпреЛрдЬрдирд╛ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЧрд┐рдирддреА рдорд╢реАрдиреЛрдВ рдкрд░, рд╡реНрдпреБрддреНрдХреНрд░рдо рд╕рдВрдЦреНрдпрд╛ рдХреА рдЧрдгрдирд╛ рдХреА рдЬрд╛рддреА рд╣реИ рд╕реА ред


рдЙрд▓рдЯрд╛ рд╕рдВрдЦреНрдпрд╛ рдЧрдгрдирд╛ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╕реА рдкрд╛рдпрдерди рдореЗрдВ:
( Ideone.com рдФрд░ codepad.org )
 def reciprocal(c,y0,n): arr=[] for i in range(n): arr.append(y0) y0=y0*(2-c*y0) return arr 

рдкрд╛рд░рд╕реНрдкрд░рд┐рдХ рдХрд╛рд░реНрдп рдЗрдирдкреБрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рдПрдХ рд╕рдВрдЦреНрдпрд╛ рд▓реЗрддрд╛ рд╣реИ рд╕реА рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдореВрд▓реНрдп y0 рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдПрди рдФрд░ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП "рд╕рдиреНрдирд┐рдХрдЯрди" рдХреА рдПрдХ рд╕рд░рдгреА рджреЗрддрд╛ рд╣реИ  frac1c ред
y0=0.1 рдкрд░ c<10
y0=0.01 рдкрд░ 10<c<100
y0=0.001 рдкрд░ 100<c<1000
рдЖрджрд┐
рдкрд╛рд░рд╕реНрдкрд░рд┐рдХ рдХрд╛рд░реНрдп рд╡рд┐рднрд┐рдиреНрди рдХреЗ рд╕рд╛рде рдХреИрд╕реЗ рдХрд╛рд░реНрдп рдХрд░рддрд╛ рд╣реИ, рдЗрд╕рдХреЗ рдЙрджрд╛рд╣рд░рдг рд╕реА

 >>> reciprocal(3,0.1,10) 

[0.1, 0.17, 0.2533, 0.31411733000000003, 0.3322255689810133, 0.3333296519077525
0.3333333332926746, 0.3333333333333333337, 0.333333333333333333, 0.333333333333337]

 >>> reciprocal(8,0.1,10) 

[0.1, 0.12, 0.1248, 0.12499968, 0.1249999999991808, 0.125, 0.125, 0.125, 0.125, 0.125]

 >>> reciprocal(5,0.1,10) 

[0.1, 0.15000000000000002, 0.18750000000000003, 0.19921875000000003, 0.19999694824218753, 0.1999999999534339, 0.20000000000000004, 0.19999999999999998,
0.19999999999999998, 0.19999999999999998]

рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛


рдЪрд▓реЛ рдЙрд▓рдЯреЗ рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдЕрдиреБрдорд╛рдирд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рд╡рд┐рдзрд┐ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдиреЗ рдХрд╛ рдкреНрд░рдпрд╛рд╕ рдХрд░реЗрдВред
рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ y=fтА▓(x0)(xтИТx0)+f(x0) рдЧреНрд░рд╛рдл рдХрд╛ рдХрд╛рд░реНрдп рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП y= frac1x рд╕реВрддреНрд░ рджреНрд╡рд╛рд░рд╛ рд╡реНрдпрдХреНрдд рдХрд┐рдП рдЧрдП рд╣реИрдВ y= frac2x0тИТ fracxx20

рд╕реНрдерд╛рдирд╛рдкрдиреНрди рд╕рдВрдЦреНрдпрд╛рдПрдБ 1,2,3,4,... рдХреЗ рдмрдЬрд╛рдп x0 рд╣рдо рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рдХреЗ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЛ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ

y=2тИТx


y=1тИТ fracx4


y= frac23тИТ fracx9


y= frac12тИТ fracx16


рдпреЗ рд░реЗрдЦрд╛рдВрдХрди рдмрдирд╛рдПрдБ


рдпрджрд┐ рдЖрдк рд╣рд╛рдЗрдкрд░рдмреЛрд▓рд╛ рдХреЛ рдиреАрдЪреЗ рд▓реЗ рдЬрд╛рддреЗ рд╣реИрдВ  рдЕрд▓реНрдлрд╛ , рддреЛ рдпрд╣ рдмрд┐рдВрджреБ рдкрд░ рдЕрдиреБрдкрд╕реНрдерд┐рддрд┐ рдЕрдХреНрд╖ рдХреЛ рдкрд╛рд░ рдХрд░рддрд╛ рд╣реИ  frac1 Alpha ред
рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рд╕рдореАрдХрд░рдг рдХреЛ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ y= frac2x0тИТ fracxx20тИТ рдЕрд▓реНрдлрд╛
рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рдХреЗ рд╕рдореАрдХрд░рдг рдХреЛ рд╢реВрдиреНрдп рдФрд░ рд╡реНрдпрдХреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдмрд░рд╛рдмрд░ рдХрд░рдирд╛ x рд╣рдореЗрдВ рд╕рдореАрдХрд░рдг рдорд┐рд▓рддрд╛ рд╣реИ x = x_ {0} - \ frac {f (x_ {0})} {f '(x_ {0}) $

рдХреЗ рдмрджрд▓реЗ рдЪ(x0) рд╕реНрдерд╛рдирд╛рдкрдиреНрди  frac1x0тИТ Alpha
рдХреЗ рдмрджрд▓реЗ fтА▓(x0) рд╕реНрдерд╛рдирд╛рдкрдиреНрди тИТ frac1x20

рд╣рдореЗрдВ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдорд┐рд▓рддреА рд╣реИ x=x0+( frac1x0тИТ Alpha)x20
рдХреЛрд╖реНрдардХ рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░, рд╣рдореЗрдВ рдорд┐рд▓рддрд╛ рд╣реИ x=x0+x0тИТ Alphax20

рд╣рдо рд╕реНрдерд╛рдирд╛рдкрдиреНрди 0.1 рд╕рдореАрдХрд░рдг рдореЗрдВ x=x0(2тИТ рдЕрд▓реНрдлрд╛x0) рдФрд░ рджреЗрдЦреЗрдВ рдХрд┐ "рдореВрд▓реНрдп рдХрд┐рд╕ рдорд╛рдзреНрдпрдо рд╕реЗ рдЪрд▓реЗрдВрдЧреЗ" x рдкрд░  рдЕрд▓реНрдлрд╛=2 рд╣рдореЗрдВ рдорд┐рд▓рддрд╛ рд╣реИ 0.1,0.18,0.29,0.42,0.49,0.5

рд╕рдореАрдХрд░рдг рдореЗрдВ рдЗрди рдореВрд▓реНрдпреЛрдВ рдХреЛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ y= frac2x0тИТ fracxx20тИТ2 рд╣рдореЗрдВ рдкреНрд░рддреНрдпрдХреНрд╖ рдорд┐рд▓рддрд╛ рд╣реИ

y=0.111тИТ fracx0.897


y=0.222тИТ fracx0.81


y=0.816тИТ fracx0.504


y=0.857тИТ fracx0.49


y=1.5тИТ fracx0.326


y=2тИТ fracx0.25





рд╡рд░реНрдЧрдореВрд▓ рдирд┐рд╖реНрдХрд░реНрд╖рдг


рддрд░реНрдХрд╣реАрди рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐рдпреЛрдВ рдкрд░ рд▓реМрдЯрддреЗ рд╣реБрдП, рд╣рдо рд╡рд░реНрдЧрдореВрд▓ рдирд┐рдХрд╛рд▓рдиреЗ рдХреА рдПрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╡рд┐рдзрд┐ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддреЗ рд╣реИрдВред
рд╣рдо рд╣реЗрд░реЛрди рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╡рд┐рдзрд┐ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд▓рд┐рдЦреЗрдВрдЧреЗ

xn+1= frac12(xn+ fracaxn)


 def square_root(a,n): # a -  , n -   x0=1 #    1 arr=[] for i in range(n): arr.append(x0) #      x0=0.5*(x0+a/x0) #      return arr print square_root(2,10) 

codepad.org

рд░рд╛рдлреЗрд▓ рдмреЙрдореНрдмреЗрд▓реА рджреНрд╡рд╛рд░рд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП рдирд┐рд░рдВрддрд░ рдЕрдВрд╢реЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡рд░реНрдЧрдореВрд▓ рдХреА рдЧрдгрдирд╛

рдорд╛рди рдЬреНрдЮрд╛рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП  sqrtn , рдкрд╣рд▓реЗ рд╣рдо рдЗрд╕рдХреЗ рдкреВрд░реЗ рд╕рдиреНрдирд┐рдХрдЯрди рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддреЗ рд╣реИрдВ:  sqrtn=a pmr рдЬрд╣рд╛рдБ 0<r<1 ред рддреЛ n=(a+pmr)2=a2 pm2ar+r2 ред рдпрд╣рд╛рдБ рд╕реЗ рдЙрд╕ рдХрдЯреМрддреА рдХреЛ рдХрд░рдирд╛ рдЖрд╕рд╛рди рд╣реИ r= frac|nтИТa2|2a pmr ред рд╕реВрддреНрд░ рдореЗрдВ рдкрд░рд┐рдгрд╛рдореА рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреА рдЬрдЧрд╣  sqrtn=a pmr , рд╣рдо рдПрдХ рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ:

a \ pm {\ frac {| na ^ {2} |} {2a \ pm {\ frac = na ^ {2}}} {2a \ pm {\ frac {| na ^ {2} |} {2a \ pm \ cdots}}}}}}




рддреЛ, рд╣рдо рдПрдХ рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рдореЗрдВ рдЕрдкрдШрдЯрди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡рд░реНрдЧрдореВрд▓ рдирд┐рд╖реНрдХрд░реНрд╖рдг рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд▓рд┐рдЦ рд╕рдХрддреЗ рд╣реИрдВ
 def square_root(n,a,n_count): # n- , a -    x0=a #    a arr=[] for i in range(n_count): #       a arr.append(x0-a) #  a x0=2*a+(na*a)/x0 return arr print square_root(2.0,1.0,10) 

codepad.org

рд╕рд╛рдорд╛рдиреНрдп рддреМрд░ рдкрд░, рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдФрд░ рдЬрдЯрд┐рд▓ рд╕рдВрдЦреНрдпрд╛, рд╕рд╛рде рд╣реА рдПрдХ рдпрд╛ рдПрдХ рд╕реЗ рдЕрдзрд┐рдХ рдЪрд░ рдХреЗ рдХрд╛рд░реНрдп, рдирд┐рдЬреА рдЕрдВрдХ рдФрд░ рднрд╛рдЬрдХ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВред
рдкреВрд░реНрдгрд╛рдВрдХ рднрд╛рдЧ рдХреЛ рдирд┐рдХрд╛рд▓рдиреЗ рдХреА рд╡рд┐рдзрд┐ рдПрдХ рдХреЛ рдПрдХ рдЕрдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд░реВрдк рдореЗрдВ рдПрдХ рдЕрдкрд░рд┐рдореЗрдп рдЕрдВрд╢ рдХреЗ рд░реВрдк рдореЗрдВ рджрд░реНрд╢рд╛рддреА рд╣реИ, рдЬреЛ рдХрд┐ рдЕрдВрд╢рдзрд╛рд░рд┐рдпреЛрдВ рдореЗрдВ рдЗрдХрд╛рдЗрдпреЛрдВ рдХреЗ рд╕рд╛рде рд╣реЛрддрд╛ рд╣реИ (рдЬреЛ рд▓рдЧрд╛рддрд╛рд░ рдЕрдВрд╢ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИ)ред
рдпрд╣рд╛рдБ рдПрдХ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рд╣реИ  sqrt5 "рдмреАрдЬрдЧрдгрд┐рдд" рдкреБрд╕реНрддрдХ рд╕реЗ

 sqrt5тИТ2= frac( sqrt5тИТ2)( sqrt5+2) sqrt5+2= frac1 sqrt5+2



рдЗрд╕ рддрд░рд╣ рд╕реЗ  sqrt5=2+ frac1 sqrt5+2

рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдкреВрд░реНрдгрд╛рдВрдХ рднрд╛рдЧ рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ  sqrt5+2:E( sqrt5+2)=4 ред рдЗрд╕рд▓рд┐рдП,  sqrt5+2 рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ 4+ рдЕрд▓реНрдлрд╛ ред рдпрд╣ рд╕реНрдкрд╖реНрдЯ рд╣реИ рдХрд┐  Alpha= sqrt5+2тИТ4= sqrt5тИТ2 рдЗрд╕рд▓рд┐рдпреЗ  sqrt5+2=4+ sqrt5+2 ред рдлрд┐рд░, рд╣рдо рджреВрд╕рд░реЗ рд╢рдмреНрдж рдХреЗ рдЕрдВрд╢ рдореЗрдВ рддрд░реНрдХрд╣реАрдирддрд╛ рдХреЛ рдирд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВ:

 sqrt5тИТ2= frac1 sqrt5+2


рдкрд░рд┐рдгрд╛рдо рд╣реИ:

 sqrt5=2+ frac14+ frac1 sqrt5+2


рдЪрд▓рд┐рдП рдПрдХ рдФрд░ рд╕рдорд╛рди рдХрджрдо рдЙрдард╛рддреЗ рд╣реИрдВ:

 sqrt5=2+ frac14+ frac14+ frac1 sqrt5+2


рдпрд╣ рджреЗрдЦрдирд╛ рдЖрд╕рд╛рди рд╣реИ рдХрд┐ рдкреВрд░реЗ рднрд╛рдЧ рдХреЛ рдЕрд▓рдЧ рдХрд░рдиреЗ рдФрд░ рдЗрд╕ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рдПрдХ рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рдХреЗ рдЧрдарди рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХрд╛ рдХреЛрдИ рдЕрдВрдд рдирд╣реАрдВ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдирдП рд╣рд░ рдореЗрдВ рджрд┐рдЦрд╛рдИ рджреЗрдЧрд╛ 4 рдФрд░ рдХрд╛рд░реНрдпрдХрд╛рд▓  sqrt5тИТ2 ред рдЗрд╕рд▓рд┐рдП, рдпрд╣ рд╕реНрдкрд╖реНрдЯ рд╣реИ рдХрд┐  sqrt5 рдПрдХ рдЕрдирдВрдд рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рдХреЗ рд░реВрдк рдореЗрдВ рджрд░реНрд╢рд╛рдпрд╛ рдЧрдпрд╛ рд╣реИ:

 sqrt5=[2,4,4,4,...]




рдкрд░рд┐рдХрд▓реНрдкрдирд╛


рдЕрдЧрд░ d in mathbbN, sqrtd notin mathbbN рдлрд┐рд░ рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рдирд┐рд░рдВрддрд░ рдЕрдВрд╢  sqrtd+[ sqrtd] рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЖрд╡рдзрд┐рдХред
Evarist Galois рдиреЗ рдЗрд╕ рдкрд░рд┐рдХрд▓реНрдкрдирд╛ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ред

рдпрд╛рдиреА рдпрджрд┐ рдЕрдВрд╢ рдХреЗ рдЧреИрд░-рдЖрд╡рдзрд┐рдХ рднрд╛рдЧ рдХреЗ рд▓рд┐рдП [1;2,2,2,...]= sqrt2 рдкреВрд░рд╛ рд╣рд┐рд╕реНрд╕рд╛ рдЬреЛрдбрд╝реЗрдВ [ sqrt2]=1 рддрдм рд╣рдореЗрдВ рдПрдХ рд╢реБрджреНрдз рдЖрд╡рдзрд┐рдХ рдЕрдВрд╢ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ [2,2,2,...] ред

 sqrt3=[1;1,2,...];
 sqrt3+1=[2,1,...]

 sqrt5=[2;4,4,4,...];
 sqrt5+2=[4,4,4,...]

 sqrt6=[2;2,4,...];
 sqrt6+2=[4,2,...]

 sqrt13=[3;1,1,1,1,6,...];
 sqrt13+3=[6,1,1,1,1,1,...]

рдХреНрд▓рд╛рдЙрдб рдХрдореНрдкреНрдпреВрдЯрд┐рдВрдЧ рд╡реБрд▓реНрдлрд░рд╛рдордЕрд▓реНрдлрд╛
рд╡реЛрд▓реНрдлреНрд░рд╛рдордЕрд▓реНрдлрд╝рд╛, рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рд╕рдВрдЪрд╛рд▓рди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдирд┐рд░рдВрддрд░ рдЕрдВрд╢реЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИ
рдорд╛рди рдХреА рдЧрдгрдирд╛ рдХрд░реЗрдВ  sqrt3
рд▓рд┐рдВрдХ
рдорд╛рди рдХреА рдЧрдгрдирд╛ рдХрд░реЗрдВ  sqrt3+1
рд▓рд┐рдВрдХ

рдЕрдЧрд░ рдмреЙрдореНрдмреЗрд▓реА рд╡рд┐рдзрд┐ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд░реВрдЯ рдЕрдкрдШрдЯрди рдореЗрдВ

\ sqrt {n} = a a pm {\ frac {| na ^ {2} |} {2a \ pm {\ frac {| na ^ {2} |} {2a \ pm {\ _ frac {| na ^ { 2} |} {2a \ pm \ cdots}}}}}}}


рдкрд╣рд▓реЗ рдХрд╛рд░реНрдпрдХрд╛рд▓ рдореЗрдВ рдЬреЛрдбрд╝реЗрдВ рдПрдХ , рд╣рдо рдПрдХ рд╢реБрджреНрдз рдЖрд╡рдзрд┐рдХ рдЕрдВрд╢ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ

\ sqrt {n} + a = 2a \ pm {\ frac {| na ^ {2} |}} {2a \ pm {\ frac {| na ^ {2} |} {2a \ pm {\ _ frac {| ^ {2} |} {2a \ pm \ cdots}}}}}}}



рдпрд╣ рдЕрдВрд╢ рдХреЛ рдЕрдзрд┐рдХ рдкрд░рд┐рдЪрд┐рдд рд░реВрдк рдореЗрдВ рд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдмрдирд╛ рд░рд╣рддрд╛ рд╣реИ (рдЕрдВрд╢ рдореЗрдВ рдЗрдХрд╛рдЗрдпреЛрдВ рдХреЗ рд╕рд╛рде)ред
рдЕрдВрд╢ рдХреЗ рдЕрдВрд╢ рдФрд░ рд╣рд░ рдХреЛ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░реЗрдВ |nтИТa2| рд╣рдореЗрдВ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдорд┐рд▓рддреА рд╣реИ

\ sqrt {n} + a = 2 a a pm {\ frac {1} {\ frac {2a} {| na ^ {2} |} \ pm {\ frac {1} {2a \ pm {\ frac {| 1} {\ frac {2a} {| na ^ {2} |} \ pm \ cdots}}}}}}} $


рдЗрд╕ рддрд░рд╣ рд╕реЗ

 sqrt2+1=2+ frac1 frac21+ frac12+ frac1 frac21+ред..=[2,2,2,...]


 sqrt3+1=2+ frac1 frac22+ frac12+ frac1 frac22+ред..=[2,1,...]


 sqrt5+2=4+ frac1 frac41+ frac14+ frac1 frac41+ред..=[4,4,4,...]


 sqrt6+2=4+ frac1 frac42+ frac14+ frac1 frac42+ред..=[4,2,...]


 sqrt13+3=6+ frac1 frac64+ frac16+ frac1 frac64+ред..=[6, frac32,...]


рд╣рдо рдПрдХ рдкреНрд░реЛрдЧреНрд░рд╛рдо рд▓рд┐рдЦреЗрдВрдЧреЗ рдЬреЛ рдирд┐рд░рдВрддрд░ рдЕрдВрд╢ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИ [6, frac32,...]
 #lang racket (define continued_fraction ( lambda (n) (if (= n 0) 1 (+ 6 (/ 1 (+ 3/2 (/ 1 (continued_fraction(- n 1)))))) ))) (continued_fraction 4) 

codepad.org
рдЪреМрдереЗ рдЪрд░рдг рдореЗрдВ рд╣рдо рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ 6 frac38186305 рдЬреЛ рдмрд░рд╛рдмрд░ рд╣реИ 6.60555114... рдХреЗ рд░реВрдк рдореЗрдВ рдЬрдмрдХрд┐  sqrt13+3 рд▓рдЧрднрдЧ6.60555127 ред




PS рд╕рдорд╕реНрдпрд╛ рдХрд╛ рд╕рдорд╛рдзрд╛рди рдХрд░реЗрдВ ("5 рд╕реЗ 15 рд╡рд░реНрд╖ рдХреЗ рдмрдЪреНрдЪреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рдорд╕реНрдпрд╛рдПрдБ")
реи редред рд╕рд┐рджреНрдз рдХрд░реЗрдВ рдХрд┐ рдХрд┐рд╕реА рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рд╡рд┐рднрд╛рдЬрди рд╢реЗрд╖ рд╣реИ 2pтИТ1 рд╡рд┐рд╖рдо рдкреНрд░рдзрд╛рди
рдкреА рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ 1
(рдЙрджрд╛рд╣рд░рдг: 22=3рдП+1,24=5рдмреА+1,26=7c+1,210тИТ1=1023=10 cdot93) ред
рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдХреЛ рдХреНрд╡рд╛рдВрдЯрдо рдкрддреНрд░рд┐рдХрд╛ рдХреЗ рдЕрдореЗрдЬрд┐рдВрдЧ рдПрдбрд╡реЗрдВрдЪрд░реНрд╕ рдСрдл рдХрдВрдЯрд┐рдиреНрдпреВрдЕрд╕ рдлреНрд░реИрдХреНрд╢рдиреНрд╕ рдСрдл рдЖрд░реНрдЯрд┐рдХрд▓ рдореЗрдВ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред

рдкреБрд╕реНрддрдХреЗрдВ:
"5 рд╕реЗ 15 рд╡рд░реНрд╖ рдХреЗ рдмрдЪреНрдЪреЛрдВ рдХреЗ рд▓рд┐рдП рдХрд╛рд░реНрдп" рд╡реАред рдЖрдИред рдЕрд░реНрдиреЛрд▓реНрдбред
"рд╡рд┐рднреЗрджрдХ рдФрд░ рдЕрднрд┐рдиреНрди рдХрд▓рди рдХрд╛ рдХреЛрд░реНрд╕" рдЬреАред рдПрдоред рдлрд┐рдХреЗрдирдереЛрд▓реНрдЯреНрдЬрд╝
"рдирдВрдмрд░ рдереНрдпреЛрд░реА" A. A. Buchstab
"рдЧрдгрд┐рдд рдХреА рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХ рдХреЗ рдкрдиреНрдиреЛрдВ рдХреЗ рдкреАрдЫреЗ" рдПрдиред рд╡рд╛рдИред рд╡рд┐рд▓реЗрдирдХрд┐рди, рдПрд▓ред рдкреАред рд╢рд┐рдмрд╛рд╕реЛрд╡, рдЬреЗрдб рдПрдлред рд╢рд┐рдмрд╛рд╕реЛрд╡рд╛
"рдмреАрдЬрдЧрдгрд┐рдд" рдПрдиред рд╣рд╛рдВред рд╡рд┐рд▓реЗрдирдХрд┐рди, рдЖрд░.рдПрд╕. рдЧреБрдЯреЗрд░, рдПрд╕ред рдЖрдИред рд╢реНрд╡рд╛рд░реНрдЬрдмрд░реНрдб
рдбрд┐рдЬрд┐рдЯрд▓ рдЕрдВрдХрдЧрдгрд┐рдд Ercegovac Milos D., Lang Tomas
"рдХрдВрдкреНрдпреВрдЯрд░ рдХрд╛рд░реНрдпрдХреНрд░рдореЛрдВ рдХреА рд╕рдВрд░рдЪрдирд╛ рдФрд░ рд╡реНрдпрд╛рдЦреНрдпрд╛" рд╣реЗрд░реЛрд▓реНрдб рдПрдмреЗрд▓реНрд╕рди, рдЬреЗрд░рд╛рд▓реНрдб рд╕рд╕рдорди

рдпрд╣ рднреА рджреЗрдЦреЗрдВ
рд▓реЗрдЦ "рдПрдХ рдХрд╛рд░реНрдп рдкрд░ рдЬреЛ рдЕрдм рд╕рд╛рдХреНрд╖рд╛рддреНрдХрд╛рд░ рдореЗрдВ рдкреЗрд╢ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред"
рд╡рд┐рднрд┐рдиреНрди рдХрдВрдкрдирд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рд╕реНрдкрд╛рдЗрд╕ рдЖрдИрдЯреА рд░рд┐рдХреНрд░реВрдЯрдореЗрдВрдЯ рдХреЗ рдмреНрд▓реЙрдЧ рдкреЛрд╕реНрдЯрд┐рдВрдЧ рд╕рд╛рдХреНрд╖рд╛рддреНрдХрд╛рд░ рдХрд╛рд░реНрдпред
рдпрд╛рдВрдбреЗрдХреНрд╕ рдореЗрдВ рд╕рд╛рдХреНрд╖рд╛рддреНрдХрд╛рд░ рдХреЗ рд▓рд┐рдП рдХрд╛рд░реНрдп ред
рдЗрд╕ рд╡реАрдбрд┐рдпреЛ рдореЗрдВ, рдПред рд╕рд╡рддреЗрд╡ рдиреЗ рдЯреЗрд╕реНрд▓рд╛ рдореЗрдВ рд╕рд╛рдХреНрд╖рд╛рддреНрдХрд╛рд░ рдХреЗ рд╕рд╛рде рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд┐рдпрд╛ред

Source: https://habr.com/ru/post/hi419237/


All Articles