Question Number 194709 by MM42 last updated on 13/Jul/23
$${Show}\:{that}\:\:{in}\:{fibonacci}\:{sequence} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:{f}_{\mathrm{3}{n}} ={f}_{{n}} ^{\mathrm{3}} +{f}_{{n}+\mathrm{1}} ^{\mathrm{3}} −{f}_{{n}−\mathrm{1}} ^{\mathrm{3}} \\ $$$$ \\ $$
Answered by TheHoneyCat last updated on 14/Jul/23
$$\mathrm{Let}\:\varphi:=\:\frac{\mathrm{1}+\sqrt{\mathrm{5}}}{\mathrm{2}}\:\mathrm{and}\:\psi:=\frac{\mathrm{1}−\sqrt{\mathrm{5}}}{\mathrm{2}} \\ $$$$\mathrm{You}\:\mathrm{might}\:\mathrm{know}\:\mathrm{that}\:{f}_{{n}} =\frac{\varphi^{{n}} −\psi^{{n}} }{\:\sqrt{\mathrm{5}}} \\ $$$$\mathrm{from}\:\mathrm{that}\:\mathrm{we}\:\mathrm{can}\:\mathrm{compute}: \\ $$$${X}={f}_{{n}} ^{\:\:\mathrm{3}} +{f}_{{n}+\mathrm{1}} ^{\:\:\:\:\:\:\:\:\:\:\mathrm{3}} −{f}_{{n}−\mathrm{1}} ^{\:\:\:\:\:\:\:\:\:\:\mathrm{3}} \\ $$$$=\frac{\mathrm{1}}{\:\sqrt{\mathrm{5}}}×\frac{\mathrm{1}}{\mathrm{5}}\left(\left(\varphi^{{n}} −\psi^{{n}} \right)^{\mathrm{3}} +\left(\varphi^{{n}+\mathrm{1}} −\psi^{{n}+\mathrm{1}} \right)^{\mathrm{3}} −\left(\varphi^{{n}−\mathrm{1}} −\psi^{{n}−\mathrm{1}} \right)^{\mathrm{3}} \right) \\ $$$$=\frac{\mathrm{1}}{\:\sqrt{\mathrm{5}}}×\frac{\mathrm{1}}{\mathrm{5}}\left(\varphi^{\mathrm{3}{n}} −\mathrm{3}\varphi^{\mathrm{2}{n}} \psi^{{n}} +\mathrm{3}\varphi^{{n}} \psi^{\mathrm{2}{n}} −\psi^{\mathrm{3}{n}} \right. \\ $$$$+\varphi^{\mathrm{3}{n}+\mathrm{3}} −\mathrm{3}\varphi^{\mathrm{2}{n}+\mathrm{2}} \psi^{{n}+\mathrm{1}} +\mathrm{3}\varphi^{{n}+\mathrm{1}} \psi^{\mathrm{2}{n}+\mathrm{2}} −\psi^{\mathrm{3}{n}+\mathrm{3}} \\ $$$$\left.−\varphi^{\mathrm{3}{n}−\mathrm{3}} +\mathrm{3}\varphi^{\mathrm{2}{n}−\mathrm{2}} \psi^{{n}−\mathrm{1}} −\mathrm{3}\varphi^{{n}−\mathrm{1}} \psi^{\mathrm{2}{n}−\mathrm{2}} +\psi^{\mathrm{3}{n}−\mathrm{3}} \right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left({f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}+\mathrm{3}} −{f}_{\mathrm{3}{n}−\mathrm{3}} \right)+\frac{\mathrm{3}}{\mathrm{5}×\sqrt{\mathrm{5}}}\left(−\varphi^{\mathrm{2}{n}} \psi^{{n}} +\varphi^{{n}} \psi^{\mathrm{2}{n}} \right. \\ $$$$\left.−\varphi^{\mathrm{2}{n}+\mathrm{2}} \psi^{{n}+\mathrm{1}} +\varphi^{{n}+\mathrm{1}} \psi^{\mathrm{2}{n}+\mathrm{2}} +\varphi^{\mathrm{2}{n}−\mathrm{2}} \psi^{{n}−\mathrm{1}} −\varphi^{{n}−\mathrm{1}} \psi^{\mathrm{2}{n}−\mathrm{2}} \right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left({f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}+\mathrm{1}} +{f}_{\mathrm{3}{n}+\mathrm{2}} −{f}_{\mathrm{3}{n}−\mathrm{3}} \right) \\ $$$$+\frac{\mathrm{3}\varphi^{{n}−\mathrm{1}} \psi^{{n}−\mathrm{1}} }{\mathrm{5}×\sqrt{\mathrm{5}}}\left(−\varphi^{{n}+\mathrm{1}} \psi+\varphi\psi^{{n}+\mathrm{1}} −\varphi^{{n}+\mathrm{3}} \psi^{\mathrm{2}} \right. \\ $$$$\left.+\varphi^{\mathrm{2}} \psi^{{n}+\mathrm{3}} +\varphi^{{n}−\mathrm{1}} −\psi^{{n}−\mathrm{1}} \right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left({f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}−\mathrm{1}} +{f}_{\mathrm{3}{n}+\mathrm{1}} +{f}_{\mathrm{3}{n}} −{f}_{\mathrm{3}{n}−\mathrm{3}} \right) \\ $$$$+\frac{\mathrm{3}\varphi^{{n}−\mathrm{1}} \psi^{{n}−\mathrm{1}} }{\mathrm{5}×\sqrt{\mathrm{5}}}\left(−\varphi^{{n}+\mathrm{1}} \psi+\varphi\psi^{{n}+\mathrm{1}} −\varphi^{{n}+\mathrm{3}} \psi^{\mathrm{2}} \right. \\ $$$$\left.+\varphi^{\mathrm{2}} \psi^{{n}+\mathrm{3}} +\varphi^{{n}−\mathrm{1}} −\psi^{{n}−\mathrm{1}} \right) \\ $$$$ \\ $$$$\mathrm{Now}\:\mathrm{this}\:\mathrm{is}\:\mathrm{the}\:\mathrm{moment}\:\mathrm{where}\:\mathrm{you}\:\mathrm{use}\:\mathrm{the}\:\mathrm{fact} \\ $$$$\mathrm{that}\:\psi=\frac{−\mathrm{1}}{\varphi} \\ $$$${X}=\frac{\mathrm{1}}{\mathrm{5}}\left(\mathrm{3}{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}−\mathrm{1}} +{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}−\mathrm{1}} −{f}_{\mathrm{3}{n}−\mathrm{3}} \right) \\ $$$$+\frac{\mathrm{3}\left(−\mathrm{1}\right)^{{n}+\mathrm{1}} }{\mathrm{5}\sqrt{\mathrm{5}}}\left(\varphi^{{n}} −\psi^{{n}} −\varphi^{{n}+\mathrm{1}} +\psi^{{n}−\mathrm{1}} +\varphi^{{n}−\mathrm{1}} −\psi^{{n}−\mathrm{1}} \right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left(\mathrm{4}{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}−\mathrm{1}} +{f}_{\mathrm{3}{n}−\mathrm{2}} +{f}_{\mathrm{3}{n}−\mathrm{3}} −{f}_{\mathrm{3}{n}−\mathrm{3}} \right) \\ $$$$+\frac{\mathrm{3}\left(−\mathrm{1}\right)^{{n}+\mathrm{1}} }{\mathrm{5}}\left({f}_{{n}−\mathrm{1}} +{f}_{{n}} −{f}_{{n}+\mathrm{1}} \right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left(\mathrm{4}{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}−\mathrm{1}} +{f}_{\mathrm{3}{n}−\mathrm{2}} \right)+\mathrm{0} \\ $$$$=\frac{\mathrm{1}}{\mathrm{5}}\left(\mathrm{4}{f}_{\mathrm{3}{n}} +{f}_{\mathrm{3}{n}} \right) \\ $$$$={f}_{\mathrm{3}{n}} \:\:_{\Box} \\ $$$$ \\ $$$$\mathrm{There}\:\mathrm{you}\:\mathrm{go}. \\ $$