(3)使用不動點法求\(a\)的通項公式\( a_{n+1}=\frac{a_n+7}{a_n+1},a_{n+1}-\sqrt{7}=\frac{a_n+7}{a_n+1}-\sqrt{7}\)
\(a_{n+1}-\sqrt{7}=\frac{(a_n-\sqrt{7})(1-\sqrt{7})}{a_n+1}\)
\(a_{n+1}+\sqrt{7}=\frac{(a_n+\sqrt{7})(1+\sqrt{7})}{a_n+1}\)
兩式相除，得到\(\frac{a_{n+1}-\sqrt{7}}{a_{n+1}+\sqrt{7}}=\frac{a_n-\sqrt{7}}{a_n+\sqrt{7}}\frac{(1-\sqrt{7})}{(1+\sqrt{7})}\)
\(a_1=1\)所以\(\frac{a_{n}-\sqrt{7}}{a_{n}+\sqrt{7}}=\frac{(1-\sqrt{7})^n}{(1+\sqrt{7})^n}\)
所以\(\frac{a_n}{\sqrt{7}}=\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}\)
要證\(2^{n-2}|2\ln a_n-\ln 7|<1\)，就是證明\(-\frac{1}{2^{n-1}}<\ln \frac{a_n}{\sqrt{7}}<\frac{1}{2^{n-1}}\)
當\(n\)是偶數，\((1-\sqrt{7})^n>0\)，\(\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}=\frac{a_n}{\sqrt{7}}>0\)需要證明\(\ln\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}<\frac{1}{2^{n-1}}\)，
\(\ln\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}<\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}-1=\frac{2(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}\)
令\(k=\frac{(1+\sqrt{7})}{(1-\sqrt{7})}\)，\(\frac{2(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}=\frac{2}{k^n-1}\)
使用數學歸納法證明\(\frac{2}{k^n-1}<\frac{1}{2^{n-1}},\frac{1}{k^n-1}<\frac{1}{2^n},1<k^n-2^n\)
假設對于\(n\)成立，要證明對于\(n+2\)成立，由于\(k^2>2^2\)，\(k^{n+2}-2^{n+2}>k^n2^2-2^{n+2}=2^2(k^n-2^n)\)
根據歸納假設，\(k^{n+2}-2^{n+2}>2^2(k^n-2^n)>4\)得證，所以偶數情況得證。
當\(n\)是奇數，\((1-\sqrt{7})^n>0\)，\(\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}=\frac{a_n}{\sqrt{7}}<0\)就是要證\(-\frac{1}{2^{n-1}}<\ln\frac{(1+\sqrt{7})^n+(1-\sqrt{7})^n}{(1+\sqrt{7})^n-(1-\sqrt{7})^n}\)
就是要證\(\ln\frac{(1+\sqrt{7})^n-(1-\sqrt{7})^n}{(1+\sqrt{7})^n+(1-\sqrt{7})^n}<\frac{1}{2^{n-1}}\)
類似\(n\)是偶數的情況同理可證。
事實上，\(\sqrt{7}\)是\(\{a_n\}\)的極限。
\(\lim_{n\to \inf}a_n=\sqrt{7}\frac{k^n+1}{k^n-1}=\sqrt{7}\frac{1+\frac{1}{k^n}}{1-\frac{1}{k^n}}\)
由于\(k>0\)，根據極限的運算法則有\(\lim_{n\to \inf}\sqrt{7}\frac{1+\frac{1}{k^n}}{1-\frac{1}{k^n}}=\sqrt{7}\frac{\lim_{n\to \inf}1+\frac{1}{k^n}}{\lim_{n\to \inf}1-\frac{1}{k^n}}=\sqrt{7}\)
根據\(-\frac{1}{2^{n-1}}<\ln \frac{a_n}{\sqrt{7}}<\frac{1}{2^{n-1}}\)，由夾逼定理可得\(\lim_{n\to \inf}\ln \frac{a_n}{\sqrt{7}}=0\),所以\(\lim_{n\to \inf} a_n=\sqrt{7}\)