Another way to go about proving Binet's Formula As I showed in another question of mine, it is easy to prove that
$$\tag{1}\phi^{n+1} =F_{n+1} \phi+F_{n }$$
given $F_1=1$ , $F_2=1$ , $F_{n+1}=F_n+F_{n-1}\text{ ; }n\geq2$.
Now, extending $(1)$  to negative and zero indices naturally yields:
$$\eqalign{
  & {F_{ 0}} = 0  \cr 
  & {F_{ - 1}} = 1  \cr 
  & {F_{ - 2}} =  - 1  \cr 
  & {F_{ - 3}} = 2  \cr 
  & {F_{ - 4}} =  - 3  \cr 
  & {F_{ - n}} = {\left( { - 1} \right)^{n+1}}{F_{n}} \cr} $$
From this one has
$${\phi ^{  - n}} = {\left( { - 1} \right)^{n + 1}}\left( {{F_{n }}\phi  - {F_{n + 1}}} \right)$$
A few examples:
$$\eqalign{
  & {\phi ^{ - 1}} = \phi  - 1  \cr 
  & {\phi ^{ - 2}} = 2 - \phi   \cr 
  & {\phi ^{ - 3}} = 2\phi  - 3 \cr} $$
Then one has that
$$\eqalign{
  & {\left( { - \frac{1}{\phi }} \right)^n} = {F_{n + 1}} - {F_n}\phi   \cr 
  & {\phi ^n} = {F_n}\phi  + {F_{n - 1}} \cr} $$
and consequently
$$\eqalign{
  & {\phi ^n} + {\left( { - \frac{1}{\phi }} \right)^n} = {F_n}\phi  + {F_{n - 1}} + {F_{n + 1}} - {F_n}\phi   \cr 
  & {\phi ^n} + {\left( { - \frac{1}{\phi }} \right)^n} = {F_{n + 1}} + {F_{n - 1}}  \cr 
  & {\phi ^n} + {\left( { - \frac{1}{\phi }} \right)^n} = {L_n} \cr} $$
How can this be put into an acceptable proof? (Note that given the relation between Lucas and Fibonacci numers, this straightforwardly gives Binet's Formula:
$${F_n} = \frac{1}{{\sqrt 5 }}\left[ {{\phi ^n} - {{\left( { - \frac{1}{\phi }} \right)}^n}} \right]$$

The set of sequences $x_n$ that have the property that $x_{n+2} = x_{n+1} + x_n,$ with, say, real number values, makes a vector space over the reals of dimension 2. Taking the two roots of $\lambda^2 = \lambda + 1,$ the larger being
$$ \phi = \frac{1 + \sqrt 5}{2}  $$ and the smaller being $-1 / \phi,$ any such sequence, including index shifts, whatever you like, is a linear combination of two basis sequences,
$$ \ldots, 1/\phi, 1, \phi,  \phi^2, \ldots    $$  and
$$ \ldots, - \phi, 1, -1 / \phi, 1/ \phi^2, \ldots    $$
where I am demanding that the element with value 1 have index 0 in both sequences. If I have any favorite sequence with $x_0, x_1$ specified, the equation to be solved for coefficients $A,B$ are
$$ A + B = x_0, \; \; \; A \phi - B / \phi = x_1.   $$
So
$$   
 \left(  \begin{array}{cc}
  1 & 1  \\
   \phi  & -1/\phi  
\end{array} 
  \right)  
 \left(  \begin{array}{c}
  A   \\
   B  
\end{array} 
  \right) \; \; = \; \;
  \left(  \begin{array}{c}
  x_0   \\
   x_1  
\end{array} 
  \right).
  $$
still composing...
$$   
 \left(  \begin{array}{c}
  A   \\
   B  
\end{array} 
  \right) \; \; = \; \; \frac{-1}{\sqrt 5}
 \left(  \begin{array}{cc}
  -1/\phi & -1  \\
   -\phi  & 1  
\end{array} 
  \right)  
  \left(  \begin{array}{c}
  x_0   \\
   x_1  
\end{array} 
  \right).
  $$
getting there...
Evidently you are taking  $x_0 = 0, x_1 = 1,$ so we get
$$   
 \left(  \begin{array}{c}
  A   \\
   B  
\end{array} 
  \right) \; \; = \; \; \frac{-1}{\sqrt 5}
 \left(  \begin{array}{cc}
  -1/\phi & -1  \\
   -\phi  & 1  
\end{array} 
  \right)  
  \left(  \begin{array}{c}
  0   \\
   1  
\end{array} 
  \right)  \; \; = \; \; 
  \left(  \begin{array}{c}
  1 / \sqrt 5   \\
   -1/ \sqrt 5  
\end{array} 
  \right)
.
  $$
My first basis sequence has elements labelled $y_n = \phi^n,$ and the second has $z_n = (-1/\phi)^n,$ so the Fibonacci sequence obeys  $$  x_n = \frac{1}{\sqrt 5} \; \; \phi^n \; \; \;  - \; \; \;  \frac{1}{\sqrt 5} \; \; \left( \frac{-1}{\phi} \right)^n. $$
