Induction for recursively defined sequences

[11/91%]
Show
LaTeX

For ff a real valued function on the real line, define the function Δf\Delta f by Δf(x)=f(x+1)−f(x)\Delta f(x) = f(x+1)-f(x). For n≥2n \geq 2, define Δnf\Delta^{n} f recursively by Δnf=Δ(Δn−1f)\Delta^{n} f = \Delta (\Delta^{n-1} f). Prove that Δnf=0\Delta^{n} f = 0 if and only if ff has the form f(x)=a0(x)+a1(x)x+⋯+an−1(x)xn−1f(x) = a_{0}(x)+a_{1}(x)x+\cdots +a_{n-1}(x)x^{n-1} where a0,a1,…,an−1a_{0}, a_{1}, \ldots , a_{n-1} are periodic functions of period 1.

?

Prove that if x1=a1/k(a>0),xn+1=(a/xn)1/kx_{1} = a^{1 / k}(a > 0), x_{n+1} = \left(a / x_{n}\right)^{1 / k}, n∈Nn \in \mathbb {N}, then xn=a(1−(−k)−n)/(k+1)x_{n} = a^{\left(1-(-k)^{-n}\right) /(k+1)}.

?

Let

x0=1,x1=a,xn=(α+β)−n∑k=0nαn−kβkxn−kxk,n∈N,n⩾2 \begin{gathered} x_{0} = 1, \quad x_{1} = a, \quad x_{n} = (\alpha +\beta )^{-n} \sum _{k = 0}^{n} \alpha ^{n-k} \beta ^{k} x_{n-k} x_{k}, \\ n \in \mathbb {N}, \quad n \geqslant 2\end{gathered}

where a,α,βa, \alpha , \beta are positive numbers. Find a formula for the general term of this sequence and the index of its largest term.

?

Let u(n)u(n) be the sequence of Fibonacci numbers. Prove that:

?
(a)

u(1)+…+u(n)=u(n+2)−1u(1)+\ldots +u(n)=u(n+2)-1;

(b)

u(1)2+…+u(n)2=u(n)u(n+1)u(1)^{2}+\ldots +u(n)^{2}=u(n) u(n+1);

(c)

u(n+1)2−u(n−1)2=u(2n)u(n+1)^{2}-u(n-1)^{2}=u(2 n);

(d)

u(1)3+…+u(n)3=110[u(3n+2)+(−1)n+16u(n−1)+5]u(1)^{3}+\ldots +u(n)^{3}=\frac{1}{10}\left[u(3 n+2)+(-1)^{n+1} 6 u(n-1)+5\right];

(e)

u(m+n)=u(m)u(n−1)+u(m+1)u(n)u(m+n)=u(m) u(n-1)+u(m+1) u(n);

(f)

if nn divides mm, then u(n)u(n) divides u(m)u(m);

(g)

(u(n),u(m))=u((n,m))(u(n), u(m))=u((n, m)).

Let u0(t)=0,u1(t)=1\quad u_{0}(t)=0, \quad u_{1}(t)=1 \quad and un(t)=tun−1(t)−un−2(t)\quad u_{n}(t)=t u_{n-1}(t)-u_{n-2}(t). Prove that:

?
(a)

un(t)=tn−1−(n−21)tn−3+(n−32)tn−5+…u_{n}(t)=t^{n-1}-\binom {n-2}{1} t^{n-3}+\binom {n-3}{2} t^{n-5}+\ldots;

(b)

if t=2cos⁡θt=2 \cos \theta, then un(t)=sin⁡nθsin⁡θu_{n}(t)=\frac{\sin n \theta }{\sin \theta };

(c)

un(t)2−uk(t)2=un−k(t)un+k(t)u_{n}(t)^{2}-u_{k}(t)^{2}=u_{n-k}(t) u_{n+k}(t), where k=0,1,…,nk=0,1, \ldots , n;

(d)

un+1(t)2−un(t)2=u2n+1(t)u_{n+1}(t)^{2}-u_{n}(t)^{2}=u_{2 n+1}(t).

The Fibonacci numbers Fi,i∈ωF_{i}, i \in \omega, are defined as follows: Fi=iF_{i}=i for i<2i<2, Fi=Fi−1+Fi−2F_{i}=F_{i-1}+F_{i-2} otherwise. Prove that FiF_{i} is even if and only if ii is divisible by 3.

?

Prove the identity Fi−1Fi+1=Fi2+(−1)iF_{i-1} F_{i+1}=F_{i}^{2}+(-1)^{i} for the Fibonacci numbers, for i>0i>0.

?

The Fibonacci numbers are defined by the following recurrence relations: F0=0,F1=1,Fn+2=Fn+1+FnF_{0}=0, F_{1}=1, F_{n+2}=F_{n+1}+F_{n}. Prove that

?
(a)

Fn=15[(1+52)n−(1−52)n];F_{n}=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}\right] ;

(b)

F1+F2+F3+⋯+Fn=Fn+2−1F_{1}+F_{2}+F_{3}+\cdots +F_{n}=F_{n+2}-1;

(c)

n⋅F1+(n−1)⋅F2+(n−2)⋅F3+⋯+1⋅Fn=Fn+4−n−3n \cdot F_{1}+(n-1) \cdot F_{2}+(n-2) \cdot F_{3}+\cdots +1 \cdot F_{n}=F_{n+4}-n-3 for n⩾1;n \geqslant 1 ;

(d)

Fn−1Fn+1=Fn2+(−1)nF_{n-1} F_{n+1}=F_{n}^{2}+(-1)^{n} for n⩾1n \geqslant 1;

(e)

the numbers FnF_{n} and Fn+1F_{n+1} are coprime for n⩾1n \geqslant 1;

(f)

the number FnF_{n} is even if and only if nn is divisible by 3;

(g)

Fn+m=Fn−1Fm+FnFm+1F_{n+m}=F_{n-1} F_{m}+F_{n} F_{m+1} for n⩾1n \geqslant 1.

Prove that for n⩾1n \geqslant 1

[1110]n=[Fn+1FnFnFn−1]. \left[\begin{smallmatrix} 1 & 1 \\ 1 & 0 \end{smallmatrix}\right]^{n}=\left[\begin{smallmatrix} F_{n+1} & F_{n} \\ F_{n} & F_{n-1} \end{smallmatrix}\right].
?

The Tower of Hanoi problem. There are three pegs. Several disks of decreasing diameter from bottom to top are placed on one of them (forming a children's pyramid toy). It is allowed to move the top disk from any peg to any other, but it is forbidden to place a disk of larger diameter on top of a disk of smaller diameter. The task is to move the entire pyramid to another peg.

?
(a)

Prove that nn disks can be moved in 2n−12^{n}-1 operations.

(b)

Prove that nn disks cannot be moved in fewer than 2n−12^{n}-1 operations.

(c)

Legend has it that at the beginning of time, in a temple in the city of Benares, the god Brahma created three pegs and placed 64 disks on one of them. Monks continuously move the disks from peg to peg according to the rules described above. When they move all the disks to another peg, the end of the world will come. Using the results of the previous parts, determine whether the end of the world should be expected in the near future.

The g.r.f. (general recursive function) f(x)f(x) is given as follows:

Pr⁡[0,s(id⁡12)+s(id⁡12)+id⁡12+id⁡12+id⁡22+id⁡22]. \operatorname {Pr}\left[0, s\left(\operatorname {id}_{1}^{2}\right)+s\left(\operatorname {id}_{1}^{2}\right)+\operatorname {id}_{1}^{2}+\operatorname {id}_{1}^{2}+\operatorname {id}_{2}^{2}+\operatorname {id}_{2}^{2}\right].

Prove that f(x)=3⋅2x+1−4x−6f(x)=3 \cdot 2^{x+1}-4 x-6. ⊛\circledast

?

References

[deSi04] de Souza P.N., Silva J. Berkeley Problems in Mathematics. 3rd ed., Springer, 2004.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.
[Кос15] Кострикин А.И. Сборник задач по алгебре. МЦНМО, 2015.
[ДДК+21a] Дехтярь М.И., Дудаков С.М., Карлов Б.Н., Карлов М.И. Лекции по дискретной математике. 3-е изд., Тверской государственный университет, 2021.
[ДДК+21b] Дехтярь М.И., Дудаков С.М., Карлов Б.Н., Карлов М.И. Задачник по дискретной математике. 2-е изд., Тверской государственный университет, 2021.