<s>[INST] prove that: $\sqrt{2}=\frac{F_n^2+F_{n+1}^2+F_{n+2}^2}{\sqrt{F_n^4+F_{n+1}^4+F_{n+2}^4}}$ Pythagoras's constant in Fibonacci number!
How do I show that?
$$\sqrt{2}=\frac{F_n^2+F_{n+1}^2+F_{n+2}^2}{\sqrt{F_n^4+F_{n+1}^4+F_{n+2}^4}}\tag1$$
Where $F_n$ is Fibonacci sequence. 
$$2(F_n^4+F_{n+1}^4+F_{n+2}^4)^2=F_n^2+F_{n+1}^2+F_{n+2}^2$$
$$2(F_n^8+F_{n+1}^8+F_{n+2}^8+2F_n^2F_{n+1}^2+2F_n^2F_{n+2}^2+F_{n+1}^2F_{n+2}^2)=F_n^2+F_{n+1}^2+F_{n+2}^2$$
This is getting too messy. I hope there is an easy way of proving this formula.
 [/INST] Let $x=F_{n+2}$,$y=F_{n+1}$ and $z=F_{n}$. Squaring both sides, we have:
$$2(x^4+y^4+z^4)-(x^2+y^2+z^2)^2=0$$
Factoring out, we have:
$$(x-y-z)(x+y-z)(x-y+z)(x+y+z)=0$$
Now, by the product cancellation law, we can say that all the product is equal to zero when: $$x-y-z=0\leftrightarrow x=y+z$$
Remebring the substituitons done, we are in the context of Fibonacci's sequence, namely:
$$x=y+z\rightarrow F_{n+2}=F_{n+1}+F_n=F_k=F_{k-1}+F_{k-2}$$for $k=n-2, n\geq 2$.
Note that this proof holds for all different sequences such that $F_n=F_{n-1}+F_{n-2}$. For ecample, consider this case:$$\sqrt2=\frac{1^2+2^2+3^2}{\sqrt{1^4+2^4+3^4}}$$
</s>