Prove that the Fibonacci sequence $\{F_n\}^\infty_{n=1}$ defined by $F_1 = F_2 = 1$ and $F_{n+2} = F_{n+1}+F_n$ for all $n \geq 1$ is a divisibility sequence, that is, if $m\mid n$ then $F_m \mid F_n$ for all positive integers $m$ and $n$.
Source: 2014 Thailand October Camp Algebra Quiz p1
Tags: Fibonacci, number theory, algebra
Prove that the Fibonacci sequence $\{F_n\}^\infty_{n=1}$ defined by $F_1 = F_2 = 1$ and $F_{n+2} = F_{n+1}+F_n$ for all $n \geq 1$ is a divisibility sequence, that is, if $m\mid n$ then $F_m \mid F_n$ for all positive integers $m$ and $n$.