同一骨架 2019 年中科大少年班初试 第 11 题 · P009949
先把递推多项式与一族三角表达式逐阶对齐,再在余弦单调的角区间选出互异零角。根表完整性还要同时核次数与首项系数。
商式递推需先证明整除,三角模型中的分母也要保非零;另一题直接从余弦加法关系建递推,两种零角序列不能混用。
已知,,。证明为次整系数多项式,并求的所有根。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先构造整系数线性递推多项式,再证明相邻项的恒等式,使原来的商确为整除所得多项式。
先回想这道题的想法,再试试当前题。
求根时用正弦和差建立显式模型,并数出全部互异根。
构造 ,并令 。归纳得 是首一的 次整系数多项式。记 ,则 ,且由线性递推得到
所以 ,亦即 。故题设递推的分子在多项式环中被分母整除,商恰为 ,所以 是所述整系数多项式。 取 ,其中 。由初值及正弦和差公式归纳得
因此 , 给出 个互异实根。它们已达到多项式次数,故全部根为
初两项为 、,与递推整除一致。这里的商是多项式除法所得的商:原分母为零时不能直接作逐点除法;例如第三项在 的原写法是 ,但约分后多项式 在该点为0。上述整除恒等式保证了这个多项式延拓,而不是把零分母当作合法除数。
非线性商递推可通过相邻项恒等式转为线性多项式递推。证明整性与次数后,再用三角模型构造与次数相同的互异根,才能说明根表完整。
无提示时须独立把商递推转为可证整除的线性递推,构造相邻项恒等式,并用三角模型给出n个互异根;还须区分有理函数约分延拓与原逐点商。不是只套求通项公式。
同一骨架 2019 年中科大少年班初试 第 11 题 · P009949
先把递推多项式与一族三角表达式逐阶对齐,再在余弦单调的角区间选出互异零角。根表完整性还要同时核次数与首项系数。
商式递推需先证明整除,三角模型中的分母也要保非零;另一题直接从余弦加法关系建递推,两种零角序列不能混用。
已记下,谢谢!