菜鸡HP的被虐日常（13）当三角熬成数列

$ByHolyPush$

幸好聪明的$txl$告诉愚蠢的$HP$生成函数一般在数学中用的比较少，在信息竞赛里用的比较多，愚蠢的$HP$就放下了心。

聪明的$txl$仿佛感受到了虐爆愚蠢的$HP$的快感，于是又打算给他来一点奇奇怪怪的东西。

已知正项数列 { a n } , S n \{a_n\},S_n {an​},Sn​表示该数列的前$n$项和，并且$a_n{S}_n=\frac{1}{4^n}$，求$a_n$的通项公式。

愚蠢的$HP:cj$上课讲过，如果出现了$S_n$，可以利用$S_n-S_{n-1}=a_n$的性质来将$S_n$化掉惹。
聪明的$txl:$没错。提一点没用的，对于数列 { a n } \{a_n\} {an​}，记$\Delta a_1=a_2-a_1,\Delta a_2=a_3-a_2...,\Delta a_n=a_{n+1}-a_n$，则可以称 { Δ a n } \{\Delta a_n\} {Δan​}是 { a n } \{a_n\} {an​}的一阶差分数列。也就是说，本题中 { a n } \{a_n\} {an​}是 { S n } \{S_n\} {Sn​}的一阶差分数列。目前你并不需要知道这些东西。
愚蠢的$HP:$好八。第一步肯定是把原式化成$S_n=\frac{1}{4^n{a}_n}$，再写一遍$S_{n-1}=\frac{1}{4^{n-1}{a}_{n-1}}$，两式相减得到$a_n=\frac{1}{4^n}(\frac{1}{a_n}-\frac{4}{a_{n-1}})$。然后我就不会了厚$\dots \dots$
聪明的$txl:$首先这个结构很丑，不如把$4^n$乘到左边去，然后$a_n$一个在分母一个在分子也挺令人不爽的，不如两边再同时乘一个$a_n$。这样最后的结果是$4^n{a}_n^2=1-\frac{4a_n}{a_{n-1}}$
愚蠢的$HP:$这结构我看着更不舒服了厚。
聪明的$txl:$看到$4^n{a}_n^2$这么令人讨厌的项，你就应该想到换元构造新数列。不如令$b_n=2^n{a}_n$，那么原式可以化为$b_n^2=1-\frac{2b_n}{b_{n-1}}$。

看到这个结构你应该为之一震，并且想到，$b_{n-1}$可以用$b_n$表示出来。
可以容易发现$b_{n-1}=\frac{2b_n}{1-b_n^2}$

仿佛陷入了瓶颈$\dots \dots$
愚蠢的$HP$在想了$5249$分钟之后，终于发现，这个式子为什么和$tan$的和角公式如此相似。

再进行一步换元，令$ta{n}_{{\theta }_n}=b_n$，则$ta{n}_{{\theta }_{n-1}}=\frac{2tan{\theta }_n}{1-ta{n}_{{\theta }_n}^2}=ta{n}_{2{\theta }_n}$
方便一点我们就可以直接说${\theta }_{n-1}=2{\theta }_n$，当然并不一定只有这一种关系，但这种关系是最显而易见的。

接下来我们只需要确定${\theta }_1$是多少就好了。
根据$a_1{S}_1=\frac{1}{4},$以及$a_n$各项为正，可以得到$a_1=\frac{1}{2}$，则$b_1=1,$得到${\theta }_1=\frac{\pi }{4}$。再根据${\theta }_n=\frac{1}{2}{\theta }_{n-1}$，得到${\theta }_n=\frac{\pi }{2^{n+1}}$。倒推回去可以得到$a_n=\frac{ta{n}_{\frac{\pi }{2^{n+1}}}}{2^n}$。

聪明的$txl$对这种做法表示了极大的认可，但是他认为这种做法没有普遍性。所以他给出了另一道题。

已知 a 1 = 1 , { S n } a_1=1,\{S_n\} a1​=1,{Sn​}是数列 { a n } \{a_n\} {an​}的前$n$项和，$a_{n+1}=\sqrt{S_n^2+S_n+1}$，求$a_n$的通项公式。

首先第一步当然是平方，$a_{n+1}^2=S_n^2+S_n+1$。
愚蠢的$HP$看到$S_n$头上的二次方，瞬间没辙了，因为头上有二次方就很难用$S_n-S_{n-1}=a_n$化掉。
聪明的$txl:$你不要老是想着把$S_n$变成$a_n$啊，这个式子有$3$个$S_n$但只有$1$个$a_{n+1}$，你为什么不把$a_{n+1}$换掉呢？
愚蠢的$HP$黄然大物。

$(S_{n+1}-S_n{)}^2=S_n^2+S_n+1$，得到$S_{n+1}^2-2S_n{S}_{n+1}=S_n+1$。然后愚蠢的$HP$又不会了。
聪明的$txl:$我刚刚不是给你指引过了吗，看到$S_n$是一次，你就不会想到用$S_{n+1}$表示$S_n?$

$S_n=\frac{S_{n+1}^2-1}{2S_{n+1}+1}$。这个式子和上面一道题的式子太像了，但是又感觉不像，因为这个式子看起来根本不是能换元的样子。

为了视觉上好受一点，令$T_n=2S_n+1$，则原式可转化为$T_n=\frac{T_{n+1}^2-3}{2T_{n+1}}。$并没有什么发现。

聪明的$txl$满足地看着愚蠢的$HP$在草稿纸上用了将近十页企图凑出个三角换元，最后不得不将草稿纸摔在地上的样子。
聪明的$txl:$算了吧，还是我来教你。这里有一个技巧叫做不动点。我们求解这种数列的通项公式，本质上是要凑出一个等比数列或者等差数列。我们知道二阶递推式我们可以用特征方程来解决，像这种分式我们一般也有套路，那就是不动点。

不动点的原理自行度娘$($因为本人也不知道$)$，这里直接说用法了。
将这个分式中的每一项都写成$x$，得到一个方程，等式两边同时减掉方程的某一个根，可以出现结构优异的式子。

题中递推式可以写成$x=\frac{x^2-3}{2x}$，得到方程$x^2=-3$。
愚蠢的$HP$被这个奇怪的方程吓得找不到胸了。
但是并不需要担心，因为复数是有用的工具，$x=\pm \sqrt{3}i$。

然后就是套路了。两边同时减去$\sqrt{3}i$，得到$T_n-\sqrt{3}i=\frac{(T_{n+1}-\sqrt{3}i{)}^2}{2T_{n+1}}$。看着是挺优美的，但有什么用呢？
聪明的$txl:$这不是有两个根吗$?$把另一个根也用上吧。

两边同时加上$\sqrt{3}i$，得到$T_n+\sqrt{3}i=\frac{(T_{n+1}+\sqrt{3}i{)}^2}{2T_{n+1}}$。

两式相除。
$\frac{T_n+\sqrt{3}i}{T_n-\sqrt{3}i}=(\frac{T_{n+1}+\sqrt{3}i}{T_{n+1}-\sqrt{3}i}{)}^2$
然后就可以愉快地令$g_n=\frac{T_n+\sqrt{3}i}{T_n-\sqrt{3}i},$就有$g_n=g_{n+1}^2$，所以$g_n=g_1^{2^{1-n}}$然后我们就只需要知道$g_1$是多少就可以了。

仔细一算，$S_1=a_1=1,T_1=2S_1+1=3,$则$g_1=\frac{3+\sqrt{3}i}{3-\sqrt{3}i}=\frac{1+\sqrt{3}i}{2}$。这个式子令人极为振奋。这已经告诉我们要使用极坐标了。$g_1$写成极坐标就是$(1,\frac{\pi }{3})$。则由极坐标中复数相乘的性质可以得到$g_n$写成极坐标的形式就是$(1,\frac{\pi }{3}\times 2^{1-n})$，也就是$(1,\frac{\pi }{3\times 2^{n-1}})$。也就是$g_n=cos\frac{\pi }{3\times 2^{n-1}}+isin\frac{\pi }{3\times 2^{n-1}}$。接下来就一步步倒推回去就可以了。

当然，每次都写那么复杂的式子那真是太恶心了，不如先设$\theta =\frac{\pi }{3\times 2^{n-1}}$使式子美观一点。

$g_n=\frac{T_n+\sqrt{3}i}{T_n-\sqrt{3}i}\Rightarrow T_n=\frac{2\sqrt{3}i}{g_n-1}+\sqrt{3}i=\sqrt{3}i(\frac{2}{cos\theta -1+isin\theta }+1)=\sqrt{3}i(\frac{2(cos\theta -1-isin\theta )}{(cos\theta -1+isin\theta )(cos\theta -1-isin\theta )}+1)=\sqrt{3}i(\frac{cos\theta -isin\theta -1}{1-cos\theta }+1)=\frac{\sqrt{3}sin\theta }{1-cos\theta }$。

看到这个结构，你应该要很快意识到它可以转化为$cot$。$\frac{\sqrt{3}sin\theta }{1-cos\theta }=\frac{2\sqrt{3}si{n}_{\frac{\theta }{2}}co{s}_{\frac{\theta }{2}}}{2si{n}_{\frac{\theta }{2}}^2}=\sqrt{3}co{t}_{\frac{\theta }{2}}$。再把$\theta =\frac{\pi }{3\times 2^{n-1}}$代回去得到$T_n=\sqrt{3}cot\frac{\pi }{3\times 2^n}$。回头看$S_n=\frac{T_n-1}{2}$。则$a_n=S_n-S_{n-1}=\frac{\sqrt{3}}{2}(cot\frac{\pi }{3\times 2^n}-cot\frac{\pi }{3\times 2^{n-1}})$。撒花！完结！

聪明的$txl$正在热烈庆祝的时候，却发现愚蠢的$HP$已经晕倒在地。他赶紧为他做了人工呼吸，并且责备自己没能让愚蠢的$HP$理解自己到底在干什么。

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