The Fibonacci sequence is defined by the recurrence relation $F_{n+2 } =F_{n+1}+ F_n$
A well-known formula for the n-th Fibonacci number is $F_n = \frac{a^n-b^n}{a-b}$ where $a$ and $b$ are the roots for the polynomial $x^2-x-1 $. This formula can be easily proved by induction, as follows: it work for $n =3,2$ and assume it work for $ F_n$ and $ F_{n+1 } $ then $a^{n+2}-a^{n+1}-a^n-b^{n+2}+b^{n+1}+ b^n =0 $ proves it work for $F_{n+2}$ Therefore, by induction, the formula holds for all positive integers $n$. However, this proof does not explain how the formula was discovered or proven in the first place. How did the first mathematician who found this formula come up with it (what is the first proof of this formula )? What are some alternative proofs that do not use induction? who is the first one to discover it ?and how to prove this formula without induction as @user10354138 points out in the comments induction cannot be avoided but what I meant by the question is imagine if you didn't know the formula $F_n = \frac{a^n-b^n}{a-b}$ and you want o find a formula the $n$th term in the sequence how would you it
If the roots of $1-x-x^2$ are $\phi, \psi$, then the generating function can be written as
$$\frac{x}{1-x-x^2} = \frac{x}{(1-\phi x)(1-\psi x)}$$
Use partial fractions to get
$$ = \frac{1}{\phi-\psi}\left[\frac{1}{1-\phi x} -\frac{1}{1-\psi x}\right]$$
Expand both geometric series into
$$ = \frac{1}{\phi-\psi}\left[1+\phi x+(\phi x)^2+\dots - (1+\psi x+(\psi x)^2+\dots)\right]$$
Comparing coefficients with the usual expansion
$$\frac{x}{1-x-x^2} = \sum_{i=0}^\infty F_nx^n $$
gives the result.