2021牛客暑期多校训练营3-E.Math

传送门
不算严谨的证明，只是一点个人理解。
会签到题就算成功。

$lemma:$ [1988 IMO] $a$和$b$是正整数, 且$ab+1|a^2+b^2$，则$\frac{a^2+b^2}{ab+1}$为完全平方数.
$lemma$的证明可以自行百度。

我们设$a^2+b^2=k^2(ab+1)$
则有$a^2-b{k}^{2}a+b^2-k^2=0$，设$a$为主元
得到$a=\frac{k^{2}b\pm \sqrt{k^4{b}^2-4(b^2-k^2)}}{2}$
要使得$a$为整数，必有$\Delta =k^4{b}^2-4(b^2-k^2)$为完全平方数。显然$k^{2}b$与$\sqrt{k^4{b}^2-4(b^2-k^2)}$同奇偶，则只要保证$\Delta$为完全平方数时$a$就为整数。
$1)$若$b=k$，要使得$a>0$，则只能有$a=\frac{k^{2}b+\sqrt{k^4{b}^2-4(b^2-k^2)}}{2}=k^3$,此时得到第一组解$k,k^3$
$2)$若$b>k$，
则对任意的对称根$b_0$，都存在两个解$a_1=\frac{k^{2}b-\sqrt{k^4{b}^2-4(b^2-k^2)}}{2}，a_2=\frac{k^{2}b+\sqrt{k^4{b}^2-4(b^2-k^2)}}{2}$。由韦达定理易得$a_1+a_2=k^2{b}_0$，即$a_1=k^2{b}_0-a_2$，且有$a_1<b_0<a_2$
同理，设$b$为主元时，对任意的对称根$a_0$，都有$b_1=k^2{a}_0-b_2$,且有$b_1<a_0<b_2$
由对称性可得，对给定的$k$，存在一系列解为
$a_1,b_1,a_2,b_2,...,a_i,b_i,...a_n,b_n$
其中$a_1<b_1<a_2<b_2<...<a_i<b_i<...<a_n<b_n$，且对任意的$a_i$存在两个对应的解$b_i$与$b_{i-1}$，而且 显然$a$与$b$是轮换对称的。
$3)$若$b<k$，则当$a=\frac{k^{2}b+\sqrt{k^4{b}^2-4(b^2-k^2)}}{2}>k^3>k>b_0①$
又有韦达定理$a_1\ast a_2=b_0^2-k^2=(b_0+k)(b_0-k)>0②$
显然$①②$矛盾，即该情况不成立。
综上，显然对$\forall k\ge 2$都有递推解系数列为
$$a_n=k^2{a}_{n-1}-a_{n-2}(n\ge 3)，a_1=k,a_2=k^3.$$

ps还有那么多博客草稿，不知道何年何月才能填完坑QWQ