Ta có \(y=\frac{x}{4^5}=\left(\frac{3+\sqrt{5}}{2}\right)^{10}+\left(\frac{3-\sqrt{5}}{2}\right)^{10}\)
Đặt \(a=\frac{3+\sqrt{5}}{2}\); \(a=\frac{3-\sqrt{5}}{2}\Rightarrow\left\{{}\begin{matrix}ab=1\\a+b=3\end{matrix}\right.\)
Xét \(S_n=a^n+b^n\) (\(\left\{{}\begin{matrix}a>0\\b>0\end{matrix}\right.\) \(\Rightarrow S_n>0\) )
\(\Rightarrow S_0=2;\) \(S_1=3\);
Ta có \(S_1.S_n=\left(a+b\right)\left(a^n+b^n\right)=a^{n+1}+b^{n+1}+a.b^n+b.a^n\)
\(S_1S_n=a^{n+1}+b^{n+1}+a^{n-1}+b^{n-1}\) (do \(a=\frac{1}{b}\) và \(b=\frac{1}{a}\))
\(S_1S_n=S_{n+1}+S_{n-1}\)
\(\Rightarrow S_{n+1}=2S_n-S_{n-1}\)
Do \(S_0\) và \(S_1\) nguyên \(\Rightarrow S_n\) nguyên với mọi \(n\ge1\)
\(\Rightarrow S_n\) nguyên dương với mọi \(n\ge1\)
\(\Rightarrow y=S_{10}\in N\Rightarrow x=4^5.y=1024.y⋮1024\)
