菜鸡HP的被虐日常（11）算得头皮发麻

$ByHolyPush$

由于法力无边的$cj$看所有人都太菜了，所以这几天并没有给出很难的题目让愚蠢的$HP$原地升天，所以这几天愚蠢的$HP$并没有什么事可以干的……直到他遇到了一道题……

已知数列 { a n } \left \{a_n\right\} {an​}满足$a_n=si{n}^{n}x+co{s}^{n}x,$若$a_6=\frac{11}{36}$，则$a_{14}=$多少？

愚蠢的$HP:$既然是一道数列题，那就必须找相邻两项之间的关系惹。

$Twothousandyearslater...$
愚蠢的$HP$就算变成太上老君也没能把这道题做出来。突然，一声尖锐的嘲讽声飘了过来。听起来不像是聪明的$txl$，定睛一看，是喜欢嘲讽愚蠢的$HP$的大魔头$wj$。（大魔头$wj$喜欢嘲讽$HP$的原因是$HP$和聪明的$txl$太过亲近引起了他的不满，强烈要求出现在菜鸡$HP$的被虐日常的世界中）事实上这也不可能是聪明的$txl$，因为聪明的$txl$在一天之前刚刚因为化学成绩过于优异进入了国集没空搭理愚蠢的$HP$。$OhmyLadyGaga$世界上怎么能有那么完美的人（$HP$娇羞）

大魔头$wj:$你好笨啊，别抓着这个方法不放啊，就算你找不到递推式，你暴算还是会算的吧$?$
愚蠢的$HP$便打算把$sinx$求出来。
大魔头$wj:$算了算了还是我教你吧。我这里有三种方法，先从最笨的开始讲起。

我们首先可以发现的是它的下标都是偶数项，然后次数又很高，不如就先换个元呗。比如说我们把$co{s}^{2}x$换成$t$。

我们现在有一个方程$(1-t{)}^5+t^5=\frac{11}{36}$。记起之前我们讲过的二项式定理吗？用二项式定理将其展开可以得到$5t^4-10t^3+10t^2-5t+1=\frac{11}{36}$。稍微化简一下得到$t^4-2t^3+2t^2-t+\frac{5}{36}=0$。

看到这个式子我们不得不兴奋一阵子，因为可以预测的是接下来我们要展开的$a_{14}$项必定也是一个多项式。

已知一个根几乎无法求解的方程，求另一个多项式的值$\dots \dots$这种操作$\dots \dots$
愚蠢的$HP:$降次惹，小朋友都知道。
大魔头$wj:$小朋友都知道你还不会用这种方法算？
愚蠢的$HP:$这种完全不需要脑子只需要硬算的方法我欣赏不来厚。

为了降次，我们将这个方程化为降次常用的形式，即最高次项留在左边，其余都移到右边去。
$t^4=2t^3-2t^2+t-\frac{5}{36}$

我们满怀期待地将$a_{14}$展开。$a_{14}=(1-t{)}^7+t^t=7t^6-21t^5+35t^4-35t^3+21t^2-7t+1$
利用上面那个方程对此不断降次。由于降次过程极度令人厌烦，故不再呈现。这里将直接写出降次的结果。$($注：由于降次过程烦琐，为了减少算错的可能，建议将常数项$1$和其他项公共的系数$7$先单独提出再进行计算$)$。

最后降次的结果将是$-\frac{35}{36}(t^2-t+1)+1$
为什么要写这样的结果呢$?$为什么不打开呢$?$
一是因为简便计算的时候$1$是单独计算的，二是正是因为我们这种简化计算的方法，让我们歪打正着看到了令人兴奋的结构$:t^2-t+1$。虽然不像常规降次那样最后只剩下一个常数项，但这的确也令人兴奋。

为什么？平方试试！

$(t^2-t+1{)}^2=t^4-2t^3+3t^2-2t+1$。对比我们的第一个方程……这不就是$(t^4-2t^3+2t^2-t)+(t^2-t+1)$吗？
令$s=t^2-t+1，$则$s^2=s-\frac{5}{36}$。解方程，得$s=\frac{1}{6}$或$\frac{5}{6}$。选哪个呢？
显然$t^2-t+1\ge \frac{3}{4}$，所以$s=\frac{5}{6}$。
然后就可以愉快地得到结果$\frac{41}{216}$了。真是泰累勒。

虽然结果很愉快，但是中间步骤很让人恶心，特别是如果你算错一步，那么就整段垮掉……我们需要一些不容易算错的方法。但是这种想法是难能可贵的，所以我们以此为思路去考虑第二种算起来（稍微）简单的方法。

逆推累，那就顺推吧。一样的，方便起见，换个元。设$a=si{n}^{2}x,b=co{s}^{2}x$，则显然的$a+b=1$。我们现在已经知道一次，我们需要把它和五次作联系，即$a^5+b^5=\frac{11}{36}$，并且推到七次。

先二次吧。$a^2+b^2=(a+b{)}^2-2ab=1-2ab$。
三次看起来也是必要的。$a^3+b^3=(a+b)(a^2-ab+b^2)=(a+b{)}^2-3ab=1-3ab$。
然后五次就很高兴地出现了。
$(a^2+b^2)(a^3+b^3)=a^5+b^5+a^2{b}^2(a+b)=a^5+b^5+a^2{b}^2=\frac{11}{36}+a^2{b}^2=(1-2ab)(1-3ab)=6a^2{b}^2-5ab+1$。
由此我们可以解出$ab=\frac{1}{6}$或$\frac{5}{6}$（好熟悉的数字厚）。
但由于$ab=si{n}^{2}xco{s}^{2}x=\frac{1}{4}si{n}^2(2x)\le \frac{1}{4}$，所以$ab=\frac{1}{6}$。

然后我们把它和七次联系在一起。
$(a^5+b^5)(a^2+b^2)=a^7+b^7+a^2{b}^2(a^3+b^3)$。由于各项都已经知道，所以用脚趾头都可以算出$a^7+b^7=\frac{41}{216}$，即$a_{14}=\frac{41}{216}。$
大魔头$wj:$像这种题你只要有耐心都能推下去。

但是还是过于烦了……而且毕竟是道数列题，有没有数列的做法呢？
大魔头$wj:$其实还是有的！我之前也没想到这种做法，是法力无边的$wjl$吴巨佬先生提出的。
愚蠢的$HP:$等等，法力无边的不是$cj$吗？
大魔头$wj:$谁说法力无边的人只能有一个了？

由于奇数项完全没用，所以我们看看相邻偶数项之间有没有什么微妙的关系。

$a_{n-2}=si{n}^{n-2}x+co{s}^{n-2}x$
要向$a_n$靠拢，不如分子分母先乘个$si{n}^{2}xco{s}^{2}x$吧。
$a_{n-2}=\frac{si{n}^{n}xco{s}^{2}x+si{n}^{2}xco{s}^{n}x}{si{n}^{2}xco{s}^{2}x}$
又有$sin$又有$cos$太讨厌了，不如化一下吧。
$a_{n-2}=\frac{si{n}^{n}x(1-si{n}^{2}x)+(1-co{s}^{2}x)co{s}^{n}x}{si{n}^{2}xco{s}^{2}x}$
等等，这分子，不就是$a_n-a_{n+2}$吗？
$a_{n-2}=\frac{a_n-a_{n+2}}{si{n}^{2}xco{s}^{2}x}$。
这分母不是那么好看，先换个元吧。令$t=si{n}^{2}xco{s}^{2}x$.，则
$a_{n-2}=\frac{a_n-a_{n+2}}{t}$。

通过这个可以得到什么呢$?$我们目前貌似只有$si{n}^{2}x+co{s}^{2}x=1$这一个条件能用上去。
$wait!$我们要解封，$a_0$它是时候该出场了。虽然在中国教材内明确规定数列下标是从$1$开始的正整数，但是，$0$下标和分数下标，甚至负数下标在实际运算中可能会起到意想不到的效果。
$a_0=si{n}^{0}x+co{s}^{0}x=2$。
$a_2=si{n}^{2}x+co{s}^{2}x=1$。
代到上面的式子里就是$a_0=\frac{a_2-a_4}{t},$即$a_4=1-2t$。
再写下去，$a_2=\frac{a_4-a_6}{t}$，得$a_6=1-3t$。

愚蠢的$HP:$再写下去要死了厚，我不想解三次方程。
大魔头$wj:$那就别写了呗。已知条件里$a_{10},$我们要求$a_{14}$，我们目前求到$a_6$，你就不能发现什么吗？显然我们要找差为$4$的项的关系了！

和上面求相邻偶数关系的做法类似，我们分子分母同时乘上一个$si{n}^{4}xco{s}^{4}x$。
$a_{n-4}=\frac{si{n}^{4}xco{s}^{n}x+co{s}^{4}xsi{n}^{n}x}{t^2}$
愚蠢的$HP:$三角函数的四次之前我还没研究过有什么关系厚。
大魔头$wj:$我们不是研究过了吗？只不过我们是用$t$表示的！
愚蠢的$HP:!$

$a_{n-4}=\frac{si{n}^{4}xco{s}^{n}x+co{s}^{4}xsi{n}^{n}x}{t^2}=\frac{(1-2t-co{s}^{4}x)co{s}^{n}x+(1-2t-si{n}^{4}x)si{n}^{n}x}{t^2}=\frac{(1-2t)a_n-a_{n+4}}{t^2}$
然后我们就可以把$a_2,a_6,a_{10}$三项联系起来了。
$a_2=\frac{(1-2t)a_6-a_{10}}{t^2}$，即$t^2-t+\frac{5}{36}=0$。在第二种做法里我们已经解过方程了，故这里直接写$t=\frac{1}{6}$了。
然后再写一遍这个式子。
$a_6=\frac{(1-2t)a_{10}-a_{14}}{t^2}$，把各数据代入得$a_{14}=\frac{41}{216}$
大魔头$wj:$由于我们发现这个式子是一个二阶线性递推式，所以我们可以求出所有偶数项的通项公式。事实上，根据已知条件我们也能把$sinx,cosx$求出来，这样我们也能求出奇数项的通项公式。利用数列的做法远比前两种暴算优秀。

愚蠢的$HP:$就这破题居然能整出那么多花样！
大魔头$wj:$说哪题是破题呢？破题你也不会做。
愚蠢的$HP$委屈$.jpg$。

欲知后事如何，请听下回因式分解。