Relationship between Fibonacci and Lucas numbers

Đầu tiên, ta nhắc lại các định nghĩa của dãy Fibonacci và dãy Lucas như sau:
a) Dãy Fibonacci: $F_0=0;F_1=1;F_{n+2}=F_{n+1}+F_{n},\forall n\ge 2,n\in \mathbb{N}$.
b) Dãy Lucas: $L_0=2;L_1=1;L_{n+2}=L_{n+1}+L_{n},\forall n\ge 2,n\in \mathbb{N}$.
Và dưới đây là mối liên hệ giữa dãy Fibonacci và dãy Lucas.
1) $L_{2n}=L_{n}^2+2.(-1)^{n+1}$.
2) $L_{2n}.L_{2n+2}-5F_{n+1}^2=1$.
3) $\sum\limits_{k=1}^{n}F_{2k}=F_{2n+1}-1$
4) $\sum\limits_{k=1}^{n}F_{2k-1}=F_{2n}$
5) $\sum\limits_{k=1}^{n}(-1)^{k+1}F_k=(-1)^{n+1}F_{n-1}+1$
6) $L_n=F_{n+1}+F_{n-1}$
7) $5F_n=L_{n+1}+L_{n-1}$
8) $F_{n+m}=F_{n-1}F_{m}+F_{n}F_{m+1}$
9) $F_{n+m}=\frac{L_nF_m+L_mF_n}{2}$
10) $L_{n+m}=F_mL_{n+1}+F_{m-1}L_n$
11) $F_{n-m}=(-1)^m.\frac{L_mF_n-F_mL_n}{2}$
12) $L_{n-m}=(-1)^m.\frac{L_mL_n-5F_mF_n}{2}$
13) $F_nF_m-F_{n-k}F_{m+k}=(-1)^{n-k}.F_k.F_{m+k-n}$
14) $F_{n+3}^2=2F_{n+2}^2+2F_{n+1}^2-F_n^2$
15) $F_{n+4}^3=3F_{n+3}^3+6F_{n+2}^3-3F_{n+1}^3-F_n^3$
Source: https://artofproblemsolving.com/community/c260h1565488p9589231