Последовательность Фибоначчи Fn определяется так: F0=1 F1=1 Fi=F(i-1) + F(i-2)
Заведем новую последовательность Qn и определим её так: Qi=F(i+1)/Fi
Докажем, что Qn сходится к числу Фидия (золотому сечению) при n стремится к бесконечности.
Начнем издалека. Чтобы доказать этот факт, докажем одно общеизвестное утверждение про числа Фибоначчи.
Лемма. Fn^2-F(n-1)F(n+1)=(-1)^n.
Доказательство.
Доказывать будем по индукции.
База. При n=1 верно.
Предположение. Предположим верно при n=k. Fk^2-F(k-1)F(k+1)=(-1)^k
Переход. Распишем для n=k+1.
F(k+1)^2-Fk*F(k+2)=(-1)^(k+1) <=>
F(k+1)^2-Fk^2-Fk*F(k+1)=(-1)^(k+1) <=>
F(k-1)F(k+1)-Fk^2=(-1)^(k+1)
Сложим с предположением:
0=(-1)^k+(-1)^(k+1), что, очевидно, справедливо.
Лемма доказана.
Рассмотрим теперь разность двух соседних элементов Qn^(-1).
bQn^(-1)=Fi/F(i+1)-F(i+1)/F(i+2)=-(F(i+1)^2-Fi*F(i+2))/(F(i+1)*F(i+2))
Заметим, что по нашей лемме, числитель дроби всегда будет по модулю равен 1, а знаменатель будет неограниченно возрастать. Таким образом, по критерию сходимости Коши числовой последовательности, наша последовательность имеет предел.
Попытаемся найти этот предел. Заметим, что последовательность, обратную к нашей, можно описать рекуррентной формулой:
Qn^(-1)=1/(1+Q(n-1)^(-1)) Тогда верно,
x=1/(1+x), где x>0 - предел Qn^(-1)
Решая квадратное уравнение, находим, что единственным числом, которое нам подходит является (sqrt(5)-1)/2.
Таким образом, последовательность, обратная к нашей сходится к (sqrt(5)-1)/2. Из арифметики пределов следует, что наша последовательность сходится к 1/((sqrt(5)-1)/2)=(1+sqrt(5))/2.
А это и есть золотое сечение или число Фидия.
Заведем новую последовательность Qn и определим её так: Qi=F(i+1)/Fi
Докажем, что Qn сходится к числу Фидия (золотому сечению) при n стремится к бесконечности.
Начнем издалека. Чтобы доказать этот факт, докажем одно общеизвестное утверждение про числа Фибоначчи.
Лемма. Fn^2-F(n-1)F(n+1)=(-1)^n.
Доказательство.
Доказывать будем по индукции.
База. При n=1 верно.
Предположение. Предположим верно при n=k. Fk^2-F(k-1)F(k+1)=(-1)^k
Переход. Распишем для n=k+1.
F(k+1)^2-Fk*F(k+2)=(-1)^(k+1) <=>
F(k+1)^2-Fk^2-Fk*F(k+1)=(-1)^(k+1) <=>
F(k-1)F(k+1)-Fk^2=(-1)^(k+1)
Сложим с предположением:
0=(-1)^k+(-1)^(k+1), что, очевидно, справедливо.
Лемма доказана.
Рассмотрим теперь разность двух соседних элементов Qn^(-1).
bQn^(-1)=Fi/F(i+1)-F(i+1)/F(i+2)=-(F(i+1)^2-Fi*F(i+2))/(F(i+1)*F(i+2))
Заметим, что по нашей лемме, числитель дроби всегда будет по модулю равен 1, а знаменатель будет неограниченно возрастать. Таким образом, по критерию сходимости Коши числовой последовательности, наша последовательность имеет предел.
Попытаемся найти этот предел. Заметим, что последовательность, обратную к нашей, можно описать рекуррентной формулой:
Qn^(-1)=1/(1+Q(n-1)^(-1)) Тогда верно,
x=1/(1+x), где x>0 - предел Qn^(-1)
Решая квадратное уравнение, находим, что единственным числом, которое нам подходит является (sqrt(5)-1)/2.
Таким образом, последовательность, обратная к нашей сходится к (sqrt(5)-1)/2. Из арифметики пределов следует, что наша последовательность сходится к 1/((sqrt(5)-1)/2)=(1+sqrt(5))/2.
А это и есть золотое сечение или число Фидия.

