рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдЯреВрд▓ рдлрд┐рдмреЛрдирд╛рдЪреА рдлрдВрдХреНрд╢рди \(F(v)\) рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИ: рдпрд╛рдиреА рдЬрд╛рдиреА-рдкрд╣рдЪрд╛рдиреА рдлрд┐рдмреЛрдирд╛рдЪреА рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЛ рдкреВрд░реНрдгрд╛рдВрдХ рдЗрдВрдбреЗрдХреНрд╕ рд╕реЗ рдмрдврд╝рд╛рдХрд░ рдХрд┐рд╕реА рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ \(v\) рддрдХ рд▓реЗ рдЬрд╛рдирд╛ред рдпрд╣ рдмрдВрдж-рд░реВрдк (Binet-рд╢реИрд▓реА) рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ рдФрд░ рдЖрдкрдХреА рдЪреБрдиреА рд╣реБрдИ рд░реЗрдВрдЬ рдореЗрдВ (рдЗрдВрдбреЗрдХреНрд╕ \(v\), рдорд╛рди \(F(v)\)) рдЬреЛрдбрд╝реЛрдВ рдХреА рдПрдХ рдЯреЗрдмрд▓ рдмрдирд╛ рджреЗрддрд╛ рд╣реИред рдпрд╣ рд╡рд┐рд╢реБрджреНрдз рдЧрдгрд┐рдд рд╣реИ, рдЗрд╕рд▓рд┐рдП рдпрд╣ рд╣рд░ рдЬрдЧрд╣ рдПрдХ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИред
рд╕реВрддреНрд░
рдорд╛рди рд▓реАрдЬрд┐рдП \(\varphi = \frac{1 + \sqrt{5}}{2}\) рд╕реНрд╡рд░реНрдгрд┐рдо рдЕрдиреБрдкрд╛рдд (golden ratio) рд╣реИ (рд▓рдЧрднрдЧ \(1.6180339887\)), рдФрд░ рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ \(\frac{1}{\varphi} = \frac{\sqrt{5} - 1}{2}\) рд╣реЛрддрд╛ рд╣реИред рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдлрд┐рдмреЛрдирд╛рдЪреА рдлрдВрдХреНрд╢рди рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ:
$$F(v) = \frac{1}{\sqrt{5}}\left[\varphi^{v} - \left(\tfrac{1}{\varphi}\right)^{v}\cos(v\pi)\right]$$
рд╡рд┐рд╡рд┐рдХреНрдд (discrete) Binet рд╕реВрддреНрд░ \(F(n) = \frac{\varphi^{n} - \psi^{n}}{\sqrt{5}}\) рдореЗрдВ, рдЬрд╣рд╛рдБ \(\psi = \frac{1-\sqrt{5}}{2} = -\frac{1}{\varphi}\) рд╣реИ, рд╡рд╛рд╕реНрддрд╡рд┐рдХ \(v\) рдХреЗ рд▓рд┐рдП рдкрдж \(\psi^{v}\) рдмрд╣реБ-рдорд╛рдиреА (multi-valued) рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред рдЗрд╕рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╢рд╛рдЦрд╛ (real branch) рд▓реЗрдиреЗ рдкрд░ \(\psi^{v} = \left(\tfrac{1}{\varphi}\right)^{v}\cos(v\pi)\) рдорд┐рд▓рддрд╛ рд╣реИ, рдЬреЛ рдкреВрд░реНрдгрд╛рдВрдХ Binet рд╕реВрддреНрд░ рдХреЛ рдареАрдХ-рдареАрдХ рджреЛрдмрд╛рд░рд╛ рджреЗрддрд╛ рд╣реИ рдХреНрдпреЛрдВрдХрд┐ \(\cos(n\pi) = (-1)^{n}\) рд╣реЛрддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЗрдВрдбреЗрдХреНрд╕ \(v\) рдХрд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдорд╛рди (рдкрд╣рд▓реА рдкрдВрдХреНрддрд┐ рдХрд╛ \(v\)), рд╡реГрджреНрдзрд┐ (Increment) (рд╣рд░ рдкрдВрдХреНрддрд┐ рдореЗрдВ \(v\) рдХрд┐рддрдирд╛ рдмрджрд▓рддрд╛ рд╣реИ тАФ рдпрд╣ рдЛрдгрд╛рддреНрдордХ рднреА рд╣реЛ рд╕рдХрддрд╛ рд╣реИ), рдФрд░ рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ (рдХреБрд▓ рдХрд┐рддрдиреА рдкрдВрдХреНрддрд┐рдпрд╛рдБ рдЪрд╛рд╣рд┐рдП) рджрд░реНрдЬ рдХрд░реЗрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдкреНрд░рддреНрдпреЗрдХ \(v_k = \text{рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЗрдВрдбреЗрдХреНрд╕} + k\cdot\text{рдЪрд░рдг-рдЖрдХрд╛рд░}\) рдХреЗ рд▓рд┐рдП \(F(v)\) рд╕реВрдЪреАрдмрджреНрдз рдХрд░рддрд╛ рд╣реИ рдФрд░ рдкрд╣рд▓реЗ рд╡ рдЕрдВрддрд┐рдо рдорд╛рди рдХреЛ рд╣рд╛рдЗрд▓рд╛рдЗрдЯ рдХрд░ рджреЗрддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
\(v = 10\) рдкрд░: \(\varphi^{10} \approx 122.9919\) рдФрд░ \(\left(\tfrac{1}{\varphi}\right)^{10} \approx 0.00813\), рд╕рд╛рде рд╣реА \(\cos(10\pi) = 1\)ред рдЕрддрдГ $$F(10) = \frac{122.9919 - 0.00813}{\sqrt{5}} = 55,$$ рдЬреЛ рджрд╕рд╡реАрдВ рдлрд┐рдмреЛрдирд╛рдЪреА рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИред \(v = 0.5\) рдкрд░ \(\cos(0.5\pi) = 0\) рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(F(0.5) = \frac{\varphi^{0.5}}{\sqrt{5}} \approx 0.568864\)ред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рдпрд╣ рд╕рд╛рдорд╛рдиреНрдп рдлрд┐рдмреЛрдирд╛рдЪреА рд╕рдВрдЦреНрдпрд╛рдПрдБ рд╣реА рджреЗрддрд╛ рд╣реИ? рд╣рд╛рдБ тАФ рд╣рд░ рдкреВрд░реНрдгрд╛рдВрдХ рдЗрдВрдбреЗрдХреНрд╕ рдкрд░ рдпрд╣ рдорд╛рдирдХ Binet рд╕реВрддреНрд░ рдореЗрдВ рд╕рд┐рдордЯ рдЬрд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдЛрдгрд╛рддреНрдордХ рдЗрдВрдбреЗрдХреНрд╕ рд╡рд╛рд▓реА "negafibonacci" рд╡реИрд▓реНрдпреВрдЬрд╝ рднреА рд╢рд╛рдорд┐рд▓ рд╣реИрдВред
\(\cos(v\pi)\) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреНрдпреЛрдВ? рдпрд╣ \(\psi^{v}\) рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╢рд╛рдЦрд╛ рд╣реИ рдФрд░ рд╡рд╣реА рдмрджрд▓рддрд╛-рдХреНрд░рдорд┐рдХ рдЪрд┐рд╣реНрди (alternating sign) рджреЗрддреА рд╣реИ рдЬреЛ рдкреВрд░реНрдгрд╛рдВрдХ рдЗрдВрдбреЗрдХреНрд╕ рдХреЛ рд╕рдЯреАрдХ рдмрдирд╛рддрд╛ рд╣реИред
рдХреНрдпрд╛ рдЕрдиреНрдп рд╡рд┐рд╕реНрддрд╛рд░ рднреА рд╕рдВрднрд╡ рд╣реИрдВ? рд╣рд╛рдБ; рд╕рдореНрдорд┐рд╢реНрд░-рдорд╛рди (complex-valued) рдФрд░ рд╕рд╛рдЗрди-рдЖрдзрд╛рд░рд┐рдд рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рд╡рд┐рд╕реНрддрд╛рд░ (analytic continuation) рднреА рдореМрдЬреВрдж рд╣реИрдВред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рд╡рд╛рд╕реНрддрд╡рд┐рдХ-рд╢рд╛рдЦрд╛ рд╡рд┐рд╕реНрддрд╛рд░ \(F(v) = \frac{\varphi^{v} - \left(\tfrac{1}{\varphi}\right)^{v}\cos(v\pi)}{\sqrt{5}}\) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИред