(20 分)已知有理数数列 满足 ,其中 为实数,,且 ,证明:
为有理数;
若 不是实数,则 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
乘积为一意味着两个底数满足同一二次关系,由此导出数列的递推。
先用有理的前三项确定两根之和,再利用实系数方程的共轭根性质。
记 。由 ,两数均非零,并且对 有 。逐项乘幂、相加,得到
取 ,因 ,便有
这证明了第(1)问。若 均非实数,则它们是实系数方程 的两根,所以 。又 为有理数,特别是实数。由于 为实数,取虚部得到
由 ,可得 ,第(2)问得证。
第(1)问只除以题设已保证非零的 ,没有除以 ,因此相同实根的情形也包含在内。第(2)问的非实性用在实系数共轭根性质及非零虚部上;若非实两根相同,乘积为一会迫其为 或 ,不可能,所以共轭配对没有重复根例外。
指数形式的数列可先从底数所满足的多项式导出递推,再以数列的已知域确定多项式系数。实系数与非实根出现后,共轭配对及虚部条件常能约束实权重。
先从两个底数的二次关系导出数列的二阶递推,利用有理项及非零条件恢复根和;第二问还要结合实系数非实根的共轭配对与虚部消去,完整保留重根边界。
已记下,谢谢!