0137 斐波那契金块
* * * *
拉格朗日计划
* * * *
斐波那契金块

考虑无穷级数 $$A_F(x)=F_1x+F_2x^2+F_3x^3+\ldots$$ 其中$F_k$是斐波那契数列$1, 1, 2, 3, 5, 8, …$的第k项。斐波那契数列的通项是:$F_k=F_{k−1}+F_{k−2}$,且$F_1=F_2=1$。

本题所考虑是的能令$A_F(x)$依次取到自然数$1,2,3,\ldots$的自然数x。例如可以验证 $$A_F(\frac{1}{2})=\frac{1}{2}+\frac{1}{4}+\frac{2}{8}+\frac{3}{16}+\frac{5}{32}+\ldots=2.$$ 对每个自然数n,记$x_n$为满足$A_F(x_n)=n$的数,前五个这样的数依次是 $$\begin{matrix} x_1 & x_2 & x_3 & x_4 & x_5 \\ \sqrt2-1 & \frac{1}{2} & \frac{\sqrt{13}-2}{3} & \frac{\sqrt{89}-5}{8} & \frac{\sqrt{34}-3}{5}\end{matrix}$$ 若$x_n$是有理数,则称n是斐波那契金块,例如2是第一个斐波那契金块。这样的数随着n的增加而越来越少,例如第十个斐波那契金块是74049690。

求第15个斐波那契金块。

本题难度:



解答

显然 $$A_F(x)-xA_F(x)-x^2A_F(x)=x,$$ 因此 $$A(x)=\frac{x}{1-x-x^2}.$$ 令 $$n=\frac{x}{1-x-x^2},$$ 则有 $$x^2+(1+\frac{1}{n})\cdot x-1=0.$$ 若x为有理数,则 $$(1+\frac{1}{n})^2+4=\frac{5n^2+2n+1}{n^2},$$ 需要是有理数的平方, 即$5n^2+2n+1=(n+1)^2+(2n)^2$需要是完全平方数。 这样的n已收录在OEIS A081018中,查该表即得结果是$1120149658760$。

本题无需编程。