ある対称式の冪乗から

　\(\textcolor{blue}{\displaystyle{x+\!\!\,\frac{1}{\!\:x\!\:}}\!=a}\,(\in\mathbb{R})\,\)を初期値として\(\,\displaystyle{\textcolor{blue}{x^n\!\!\:+\!\!\frac{1}{\!\:x^n\!\:}}}\,(n\in\mathbb{N}\!\:)\,\)の値を求める計算は, 大学入試における頻出問題である. 実際に見かける問題は\(\,n\!\leq\!5\,\)程度までの数値計算であり, 一般の冪乗について計算したり考察したりする問題については (市販されている受験用参考書を含めても) 見かけたことがない.
　
　試みに少し計算してみよう.

\[\begin{equation}\begin{split}\textcolor{blue}{f_{a\!\:}(2)}&\textcolor{blue}{\,=a^2-2}\\
\textcolor{blue}{f_{a\!\:}(3)}&\textcolor{blue}{\,={a^3-3a}^{　}}\\
\textcolor{blue}{f_{a\!\:}(4)}&\textcolor{blue}{\,={a^4-4a^2+2}^{　}}\\
\textcolor{blue}{f_{a\!\:}(5)}&\textcolor{blue}{\,={a^5-5a^3+5a}^{　}}\\
\textcolor{blue}{f_{a\!\:}(6)}&\textcolor{blue}{\,={a^6-6a^4+9a^2-2}^{　}}\\
\textcolor{blue}{\cdots}&\textcolor{bule}{\,\cdots{\\}^{　}}
\end{split}\end{equation}
{\tag{1.1}}\]

のように\(\,a\,\)の多項式が一意に定まる.
　
　\(f_{a\!\:}(n)\,\)の振る舞いは初期値\(\,f_{a\!\:}(1)\,\)の値によって変化する. たとえば, \(\,a\!=\!3\,\)のとき, \((1.1)\,\)より

\[\begin{equation}\begin{split}f_{\!\:3\!\:}(2)&=7\\
f_{\!\:3\!\:}(3)&={18}^{　}\\
f_{\!\:3\!\:}(4)&={47}^{　}\\
f_{\!\:3\!\:}(5)&={123}^{　}\\
f_{\!\:3\!\:}(6)&={322}^{　}\\
\cdots&\cdots{\\}^{　}
\end{split}\end{equation}
\tag{1.2}\]

が得られるから, \(f_{\!\:3\!\:}(n)\,\)は単調増大で\(\,\displaystyle{\lim_{n\!\:\to\!\:\infty}\!f_{\!\:3\!\:}(n)=\infty}\,\)であることがわかる. また, \(\,a\!=\!-1\,\)のとき, \((1.1)\,\)より

\[\begin{equation}\begin{split}f_{\!\:-1\!\:}(2)&=-1\\
f_{-1\!\:}(3)&={2}^{　}\\
f_{-1\!\:}(4)&={-1}^{　}\\
f_{-1\!\:}(5)&={-1}^{　}\\
f_{-1\!\:}(6)&={2}^{　}\\
\cdots&\cdots{\\}^{　}
\end{split}\end{equation}\]

　実際に\(\,(2.1)\,\)の右辺\[\left(x\!\:+\!\frac{1}{x}\!\right)\!\left(x^{n-1}\!+
\!\frac{1}{x^{n-1}}\!\right)\,-\left(x^{n-2}\!+\!\frac{1}{x^{n-2}}\!\right)\]を展開すればよい. \((2.1)\,\)を用いれば, \(f_{a\!\:}(2)\,\)は,

として得られる. なお, 前節では\(\,n\in\mathbb{N}\,\)としたが, ここでは, 便宜上\(\,n\!=\!0\,\)を認めて\(\,f_{\!\:a\!\:}(0)\!=\!2\,\)とした.
　
　他の\(\,n\,\)についても, 同様に計算すれば\(\,(1.1)\,\)が得られる. その右辺の各項の指数および係数に現れる規則性から,

\[\begin{equation}\begin{split}\textcolor{blue}{f_{a\!\:}(n)}&\textcolor{blue}{\,
=\:\:\:\:a^n-n\,a^{n-2}}\\
&\textcolor{blue}{\:\:\:\:+\,\frac{1}{\!\:2!\!\:}n\,(n\!-\!3)\,a^{n-4}}\\
&\textcolor{blue}{\:\:\:\:-\,\frac{1}{\!\:3!\!\:}n\,(n\!-\!4)(n\!-\!5)\,a^{n-6}}\\
&\textcolor{blue}{\:\:\:\:+\,\frac{1}{\!\:4!\!\:}n\,(n\!-\!5)(n\!-\!6)(n\!-\!7)\,a^{n-8}}\\
&\textcolor{blue}{\:\:\:\:-\,\frac{1}{\!\:5!\!\:}n\,(n\!-\!6)(n\!-\!7)(n\!-\!8)(n\!-\!9)\,a^{n-10}}\\
&\textcolor{blue}{\:\:\:\:+\,\cdots\cdots{\\}^{　}}
\end{split}\end{equation}
\tag{2.2}\]

\[\textcolor{blue}
{f_{\!\:a\!\:}(n)=a^n+\sum_{k\!\:=\!\:1}^{\left[\frac{n}{\:2^{\!　}}\right]}\,\left(\frac{(-1)^k\cdot n}{k\!\,\,!}\,
\left(\,\prod_{\,i\!\:=\!\:k+1}^{2k-1}(\!\:n\!-\!i\!\:)\right)\,a^{n-2k}\right)\:\:\:(n\!\geq\!2)}\tag{2.3}\]

のように定式化できる. ここで, \(k\in\mathbb{N}\,\)は\(\,n\geq2k\,\)をみたし, \(p>q\,\)ならば\(\,\displaystyle{\prod_{i\!\:=\!\:p}^{q}\,g\:\!(\!\:i\!\:)=1}\,\)をみたすものとする.
　
　\((1.1)\,\)は\(\,(2.2)\,\)をみたし, \(n\!\geq\!2k\,\)をみたす\(\,k\,\)について, \((2.1)\,\)より, \(f_{a\!\:}(n)\,\)における第\(\,k+\!1\,\)項, すなわち

\[\begin{equation}\begin{split}&\:\:\:\:\:\frac{(-1)^k\cdot(n\!-\!1)}{k\!\,\,!}
\left(\,\prod_{i\!\:=\!\:k+1}^{2k-1}\!(\!\:(n\!-\!1)\!-\!i\!\:)\!\right)\,\,a^{(n-1)-2k}\cdot a\\
&\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:-\,\frac{(-1)^{k-1}\cdot(n\!-\!2)}{(k\!-\!1)\!\,\,!}
\left(\,\prod_{\,i\!\:=\!\:k}^{2k-3}\,(\!\:(n\!-\!2)\!-\!i\!\:)\right)\,a^{(n-2)-2k}\\
&=\frac{(-1)^k}{k\!\,\,!}\,
\left(\prod_{\,i\!\:=\!\:k+2}^{2k-1}(n-i)\right)((n\!-\!1)(n\!-\!2k)+k\,(n\!-\!2))\,a^{n-2k}\\
&=\frac{(-1)^k}{k\!\,\,!}\,\left(\prod_{\,i\!\:=\!\:k+2}^{2k-1}(n-i)\right)n\,(n\!-\!(k\!+\!1))\,a^{n-2k}
\end{split}\end{equation}\]

であることより\(\,(2.4)\,\)が得られる.
　
　\(f_{a\!\:}(1)\!=a\,\)すなわち\(\,x^2\!-\!ax\!+\!1\!=\!0\,\)から, この二次方程式の２解\(\,\alpha,\,\beta\,\)は, \(\alpha\!+\!\beta\!=\!a,\,\,\alpha\beta=1\,\)をみたす. したがって,

\[\begin{equation}\begin{split}k\equiv\pm\,1\:\:\!\:\textrm{mod}\:8\!\:\,
&\Longleftrightarrow\,f_{\sqrt{2\!\:}}\,(k)=\!\:\sqrt{2\!\!\:\:}\\
k\equiv\pm\,2\:\:\!\:\textrm{mod}\:8\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{2\!\:}}\,(k)=0\\
k\equiv\pm\,3\:\:\!\:\textrm{mod}\:8\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{2\!\:}}\,(k)=-\!\:\sqrt{2\!\!\:\:}\\
k\equiv\,0\:\:\!\:\textrm{mod}\:4\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{2\!\:}}\,(k)=2\cdot(-1)^k\end{split}\end{equation}\]

が成り立つから, \(f_{\sqrt{2\!\:}}\,(n)\,\)は, 任意の\(\,n\in\mathbb{N}\,\)について\(\,f_{\sqrt{2\!\:}}\,(n)=f_{\sqrt{2\!\:}}\,(n\!+\!8)\,\)をみたし, 周期\(\,8\,\)をもつことがわかる. また, \(a\!=\!\:\!\sqrt{3\!\!\:\:}\) とおくと, 任意の\(\,k\in\mathbb{N}\,\)について

\[\begin{equation}\begin{split}k\equiv\pm\,1\:\:\!\:\textrm{mod}\:12\!\:\,
&\Longleftrightarrow\,f_{\sqrt{3\!\:}}\,(k)=\!\:\sqrt{3\!\!\:\:}\\
k\equiv\pm\,2\:\:\!\:\textrm{mod}\:12\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{3\!\:}}\,(k)=1\\
k\equiv\pm\,3\:\:\!\:\textrm{mod}\:12\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{3\!\:}}\,(k)=0\\
k\equiv\pm\,4\:\:\!\:\textrm{mod}\:12\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{3\!\:}}\,(k)=-1\\
k\equiv\pm\,5\:\:\!\:\textrm{mod}\:12\!\:\,
&\Longleftrightarrow\,f_{\sqrt{3\!\:}}\,(k)=-\!\:\sqrt{3\!\!\:\:}\\
k\equiv\,0\:\:\!\:\textrm{mod}\:6\!\:\,
&\Longleftrightarrow\,f_{\!\:\sqrt{3\!\:}}\,(k)=2\cdot(-1)^k\end{split}\end{equation}\]

が成り立つから, \(f_{\sqrt{3\!\:}}\,(n)\,\)は, 任意の\(\,n\in\mathbb{N}\,\)について\(\,f_{\sqrt{3\!\:}}\,(n)=f_{\sqrt{3\!\:}}\,(n\!+\!12)\,\)をみたし, 周期\(\,12\,\)をもつことがわかる. 一方, \(a\!=\!1.5, \,\displaystyle{-\frac{1}{\sqrt{2\!\:\!\:}}, \, \frac{2}{\,\pi\,}}\,\)などとおいた場合は, このような周期性を見出すことは難しい.
　
　ここで, 次の補題を確認しておこう.

【補題】
　\(\left|\!\:a\:\!\right|\!\!\:\leq2\,\)をみたす任意の\(\,a\in\mathbb{R}\,\)に対して, \(a\!=\!2\cos\theta\,\)をみたす\(\,\theta\,\)が\(\,0\!\leq\!\theta\!\leq\!\pi\,\)において一意に存在する.

\[\begin{equation}\begin{split}f_{2\cos\theta\!\:}(2)
&=(2\cos\theta\!\:)^2\!-\!2=2\cos2\!\:\theta\\
f_{2\cos\theta\!\:}(3)&=(2\cos\theta\!\:)^3\!-\!3\!\:(2\cos\!\:\theta)=2\cos3\!\:\theta\\
f_{2\cos\theta\!\:}(4)&=(2\cos\theta\!\:)^4\!-\!4\!\:(2\cos\!\:\theta)^2\!+\!2=2\cos4\!\:\theta\\
\end{split}\end{equation}
\tag{3.1}\]

\[\begin{equation}\begin{split}f_{\!\:2\cos\theta\!\:}(n)&
=2\cos\!\:\theta\cdot2\cos\!\:(n\!-\!1)\!\:\theta\!-\!2\cos\!\:(n\!-\!2)\!\:\theta\\
&=4\cdot\frac{1}{\,2\,}\left(\cos n\!\:\theta\!+\!\cos\!\:(n\!-\!2)\!\:\theta\,\right)\!
-\!2\cos\!\:(n\!-\!2)\!\:\theta\end{split}\end{equation}\]

\[\begin{equation}\begin{split}f_{\!\:2\cos\theta\!\:}(n)&
=\left(\frac{\,2\cos\!\:\theta\!+\!\sqrt{(2\cos\!\:\theta)^2\!-\!4\,}\,}{2}\right)^{\!n}\!
+\left(\frac{\,2\cos\!\:\theta\!-\!\sqrt{(2\cos\!\:\theta)^2\!-\!4\,}\,}{2}\right)^{\!n}\\
&={(\cos\theta\!\:+\!\:i\sin\theta\!\:)^n+(\cos\theta\!\:-\!\:i\sin\theta\!\:)^n}^{　}
\end{split}\end{equation}\]

に de Moivre の定理を適用してもよい.
　
　\((3.2)\,\)より, \(\displaystyle{\frac{\,2\pi\,}{\theta}\!\in\mathbb{N}}\,\)ならばこれが周期となる. たとえば, \(a\!=\!\sqrt{2\!\:}\,\)のときは\(\,\theta\!\,=\!\displaystyle{\frac{\,\pi\,}{4}}\,\)であるから,

であり, 周期は\(\,\displaystyle{\frac{\,2\pi\,}{\theta}\!=\!8}\,\)である.
　
　なお, \((3.2)\,\)の右辺から \(f_{\!\:a\!\:}(n)\,\)と Chebyshev 多項式との関連性が見出せるが, これに関しては広く知られていることであるから本稿では割愛する.

　前述した通り, \(|\!\:\!\:a\!\:\!\:|\!>\!2\,\)の場合は, \(f_{\!\:a\!\:}(n)\,\)の値について, 特に明確な規則性や周期性は見られない. そこで, \(a\geq3\,\,\)\((a\in\mathbb{N}\!\:)\,\)として, 特定の自然数を法とする\(\,f_{\!\:a\!\:}(n)\,\)の剰余類を考えることにしよう.
　
　\(a\!=\!3\,\)とおいた\(\,(1.2)\,\)の右辺を\(\,2\,\)を法とする剰余類に分けると, 任意の\(\,k\in\mathbb{N}\,\)について

\[\begin{equation}\begin{split}k\equiv 0\:\:\!\:\textrm{mod}\:3\!\:\,&\Longleftrightarrow\,f_{\!\:3\!\:}(k)\equiv 0\:\:\!\:\textrm{mod}\:2\!\:\\
k\equiv\pm\,1\:\:\!\:\textrm{mod}\:3\!\:\,&\Longleftrightarrow\,f_{\!\:3\!\:}(k)\equiv 1\:\:\!\:\textrm{mod}\:2\!\:\end{split}\end{equation}\]

\[\begin{equation}\begin{split}k\equiv\pm\,1\:\:\!\:\textrm{mod}\:4\!\:\,
&\Longleftrightarrow\,f_{\!\:3\!\:}(k)\equiv 0\:\:\!\:\textrm{mod}\:3\!\:\\
k\equiv 2\:\:\!\:\textrm{mod}\:4\!\:\,&\Longleftrightarrow\,f_{\!\:3\!\:}(k)\equiv 1\:\:\!\:\textrm{mod}\:3\!\:\\
k\equiv 0\:\:\!\:\textrm{mod}\:4\!\:\,&\Longleftrightarrow\,f_{\!\:3\!\:}(k)\equiv 2\:\:\!\:\textrm{mod}\:3\!\:
\end{split}\end{equation}\]

が成り立つから, これらはそれぞれ周期\(\,3, 4\,\)で循環することがわかる.
　
　これらは表計算ソフト Excel を用いた数値実験により得られる結果であり, なおも続けて実験を試みれば, \(a\!\geq\!3\,\)のとき, 任意の\(\,k\,\)について

\[\begin{equation}\begin{split}
\textcolor{blue}{k\equiv\pm\,1\:\:\!\:\textrm{mod}\:4\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)\equiv\,0\:\:\!\:\textrm{mod}\:a\!\:}\\
\textcolor{blue}{k\equiv 2\:\:\!\:\textrm{mod}\:4\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)\equiv -2\:\:\!\:\textrm{mod}\:a\!\:}\\
\textcolor{blue}{k\equiv 0\:\:\!\:\textrm{mod}\:4\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)\equiv\,2\:\:\!\:\textrm{mod}\:a\!\:}
\end{split}\end{equation}
\tag{4.1}\]

\[\begin{equation}\begin{split}\textcolor{blue}{k\equiv 3\:\:\!\:\textrm{mod}\:6\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)\equiv -2\:\:\!\:\textrm{mod}\:(a\!-\!1)\!\:}\\
\textcolor{blue}{k\equiv\pm\,2\:\:\!\:\textrm{mod}\:6\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)\equiv -1\:\:\!\:\textrm{mod}\:(a\!-\!1)\!\:}\\
\textcolor{blue}{k\equiv\pm\,1\:\:\!\:\textrm{mod}\:6\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)
\equiv 1\:\:\!\:\textrm{mod}\:(a\!-\!1)\!\:}\\
\textcolor{blue}{k\equiv 0\:\:\!\:\textrm{mod}\:6\!\:\,}
&\textcolor{blue}{\Longleftrightarrow\,f_{\!\:a\!\:}(k)
\equiv 2\:\:\!\:\textrm{mod}\:(a\!-\!1)\!\:}
\end{split}\end{equation}
\tag{4.2}\]

が成り立つと予想される.
　
　\((4.1)\), \((4.2)\), \((4.3)\,\)は, \((1.1)\,\)および\(\,(2.1)\,\)を用いた同値変形により示せる. たとえば, \(a\!-\!1\,\)を法とする\(\,(4.2)\,\)については,

を\(\,(2.1)\,\)に適用すればよい. 他の場合についても同様である.
　
　なお, \(m\!\!\!\:\,\geq\!3\,\,(\!\:m\in\mathbb{N}\!\:)\,\)を定数として, \(\textrm{mod}\,(a\!-\!m\!\:)\,\)の場合についても種々の数値実験を試みたが, 上記のように\(\,a\,\)の値を固定して\(\,n\,\)の値を動かした場合については特に明確な規則性は見出せなかった. 一方, \(n\,\)の値を固定して, \(a\geq m\!+\!2\,\)をみたす範囲で\(\,a\,\)の値を動かした場合,

　前節までは変数を\(\,n\in\mathbb{N}\,\)として\(\,f_{\!\:a\!\:}(n)\,\)を考察してきたが, これを正の有理数に変えてみよう. すなわち, \(x\!>\!0\,\)として, \(f_{\!\:a\!\:}(r)\,\,(\,r\in\mathbb{Q}^{+}\!\,)\,\)を考える. たとえば,

\(\displaystyle{\left(\!f_{\!\:a\!\:}\!
\left(\!\!\frac{1}{\,2\,}\!\!\right)\!\right)^{\!2}\!
=a+2}\,\)すなわち\(\,\displaystyle{\,a=\!\left(\!f_{\!\:a\!\:}\!
\left(\!\!\frac{1}{\,2\,}\!\!\right)\!\right)^{\!2}\!-2}\)

\(\displaystyle{\left(\!f_{\!\:a\!\:}\!\left(\!\!\frac{1}{\,3\,}\!\!\right)\!\right)^{\!3}
=a+3f_{\!\:a\!\:}\!\left(\!\!\frac{1}{\,3\,}\!\!\right)}\,\)すなわち\(\displaystyle{\,a=\!\left(\!f_{\!\:a\!\:}\!\left(\!\!\frac{1}{\,3\,}\!\!\right)\!\right)^{\!3}
\!-3f_{\!\:a\!\:}\!\left(\!\!\frac{1}{\,3\,}\!\!\right)}\)
　

\[\begin{equation}\begin{split}\textcolor{blue}{a\,}
&\textcolor{blue}{\,=\!\left(f_{\!\:a\!\:}\!\left(\!\frac{1}{\,2\,}\!\right)\!\right)^{\!2}\!-\!2}\\
&\textcolor{blue}{\,=\!\left(f_{\!\:a\!\:}\!
\left(\!\frac{1}{\,3\,}\!\right)\!\right)^{\!3}\!-3f_{\!\:a\!\:}
\!\left(\!\frac{1}{\,3\,}\!\right)}\\
&\textcolor{blue}{\,=\!\left(f_{\!\:a\!\:}\!
\left(\!\frac{1}{\,4\,}\!\right)\!\right)^{\!4}\!-4\left(f_{\!\:a\!\:}
\!\left(\!\frac{1}{\,4\,}\!\right)\!\right)^{\!2}+2}\\
&\textcolor{blue}{\,=\!\left(f_{\!\:a\!\:}\!
\left(\!\frac{1}{\,5\,}\!\right)\!\right)^{\!5}\!-5\left(f_{\!\:a\!\:}
\!\left(\!\frac{1}{\,5\,}\!\right)\!\right)^{\!3}+5f_{\!\:a\!\:}\!\left(\!\frac{1}{\,5\,}\!\right)}\\
&\textcolor{blue}{\,=\!\left(f_{\!\:a\!\:}\!
\left(\!\frac{1}{\,6\,}\!\right)\!\right)^{\!6}\!-6\left(f_{\!\:a\!\:}
\!\left(\!\frac{1}{\,6\,}\!\right)\!\right)^{\!4}+9\left(f_{\!\:a\!\:}
\!\left(\!\frac{1}{\,6\,}\!\right)\!\right)^{\!2}-2}\\
\:\:\:\:\:&\textcolor{blue}{\cdots\cdots^{　}}
\end{split}\end{equation}
\tag{5.1}\]

が得られる.
　一般に, 任意の\(\,n\in\mathbb{N}\,\)について, \((2.2)\,\)あるいは\(\,(2.3)\,\)の右辺における\(\,a\,\)に\(\,\displaystyle{f_{\!\:a\!\:}\!\left(\!\frac{1}{n}\!\right)}\,\)を代入したものは\(\,a\,\)に等しい. すなわち,

\[\textcolor{blue}{\left(\!f_{\!\:a\!\:}\!\left(\!\frac{1}{\!\:n\!\:}\!\right)\!\right)^n
+\sum_{k\!\:=\!\:1}^{\left[\frac{n}{\:2^{\!　}}\right]}\!\left(\frac{(-1)^k\cdot n}{k\!\,\,!}\,\left(\prod_{\,i\!\:=\!\:k+1}^{2k-1}\!(\!\:n\!-\!i\!\:)\right)
\left(f_{\!\:a\!\:}\!\left(\!\frac{1}{\!\:n\!\:}\!\right)\right)^{\!n-2k}\right)=f_{\!\:a\!\:}(1)}\]

\[\begin{equation}\begin{split}\left(\!f_{\!\:a\!\:}\!
\left(\!\frac{2}{\!\:n\!\:}\!\right)\!\right)^{\!n}&
+\sum_{k\!\:=\!\:1}^{\left[\frac{n}{\:2^{\!　}}\right]}\!\left(\frac{(-1)^k\cdot n}{k\!\,\,!}\,
\left(\prod_{\,i\!\:=\!\:k+1}^{2k-1}\!(\!\:n\!-\!i\!\:)\right)\left(f_{\!\:a\!\:}\!
\left(\!\frac{2}{\!\:n\!\:}\!\right)\!\right)^{\!n-2k}\right)=f_{\!\:a\!\:}(2)\\
\left(\!f_{\!\:a\!\:}\!\left(\!\frac{3}{\!\:n\!\:}\!\right)\!\right)^{\!n}&
+\sum_{k\!\:=\!\:1}^{\left[\frac{n}{\:2^{\!　}}\right]}\!
\left(\frac{(-1)^k\cdot n}{k\!\,\,!}\,\left(\prod_{\,i\!\:=\!\:k+1}^{2k-1}\!(\!\:n\!-\!i\!\:)\right)
\left(f_{\!\:a\!\:}\!\left(\!\frac{3}{\!\:n\!\:}\!\right)\!\right)^{\!n-2k}\right)=f_{\!\:a\!\:}(3)\\
&{\cdots\cdots^{　}}^{　}\end{split}\end{equation}\]

\[\textcolor{blue}{\left(\!f_{\!\:a\!\:}\!\left(\!\frac{\!\:\!\!\!\:\:\:m^{\!\!\!　}}{\!\:n\!\:}\!\right)\!\right)^{\!n}
+\sum_{k\!\:=\!\:1}^{\left[\frac{n}{\:2^{\!　}}\right]}\!\left(\frac{(-1)^k\cdot n}{k\!\,\,!}\,\left(\prod_{\,i\!\:=\!\:k+1}^{2k-1}\!(\!\:n\!-\!i\!\:)\right)
\left(\!f_{\!\:a\!\:}\!\left(\!\frac{\!\!\!\!\:\:\:\:m^{\!\!\!　}}{\!\:n\!\:}\!\right)\!\right)^{\!n-2k}\right)
=f_{\!\:a\!\:}(m)}\]

が成り立つと予想される. これは\(\,(2.3)\,\)と同様にして証明できるが, 煩雑である.
　
　\(f_{a}(r)\,\)についての以上の結果は\(\,f_{a}(n)\,\)から派生した単なる数式上の遊戯に過ぎず, 残念ながら本質的に新しい成果をもたらすものではない.

　本稿は, 冒頭に掲げた入試問題を端緒とした数値実験の中で気づいたことをいくつか挙げたまでであるから, この話題に関連する文献やウェブサイトについては (存在するのかも知れないが, 詳しく検索していないため) 紹介することができない. 代わりに, 本稿の考察をもとに創作した問題を３題ほど掲げて筆を置くことにしよう.
　

【問１】\(\displaystyle{\alpha\!\:\!\:\!+\!\frac{1}{\,\alpha\,}\!=
\!\frac{\,\sqrt{6\!\:\!\:}\!\,+\sqrt{2\!\:\!\:}\,}{2}}\,\)のとき, \(\,\displaystyle{\alpha^{100}\!+\!\frac{1}{\alpha^{100}}}\,\)の値を求めよ.

［略解］　\(\displaystyle{\frac{\,\sqrt{6\!\:\!\:}\!\,+\!\sqrt{2}\,}{2}}\!\leq 2\,\)であるから, 【補題】より, \(2\cos\theta=\!\displaystyle{\frac{\,\sqrt{6\!\:\!\:}\!\,+\!\sqrt{2\!\:\!\:}\,}{2}}\,\)をみたす\(\,\theta\,\,(\!\:0\!\leq\!\theta\!\leq\!\pi\!\:)\,\)が一意に存在する. これを解くと\(\,\theta=\!\displaystyle{\frac{\,\pi\,}{12}}\,\)を得るから, \((3.2)\,\)より,

【問２】実数解をもたない二次方程式\(\,x^2\!-\!ax\!+\!1=0\:(\!\:a\in\mathbb{R})\,\)の解\(\,\alpha\,\)について, \(\displaystyle{\left|\,\alpha^{100}\!+\!\frac{1}{\alpha^{100}}\right|\leq\!2}\,\)であることを示せ.

をみたす\(\,\theta=\cos^{-1}\!\displaystyle{\frac{a}{\,2\,}}(\!\:0\!\leq\!\theta\!\leq\!\pi\!\:)\,\)が一意に存在し, \(\theta\!\!\:\!\:=\!\!\displaystyle{\frac{\,\pi\,}{2}}\,\)すなわち\(\,\alpha\!=\!\sqrt{-1\!\:}\,\)のとき, 等号が成立する.
　

【問３】異なる２実数解をもつ二次方程式\(\,x^2\!-\!ax\!+\!1=0\:(\!\:a\in\mathbb{N}\!\:)\,\)の解\(\,\alpha\,\)について, \(\displaystyle{\left[\,\alpha^{100}\!+\!\frac{1}{\alpha^{100}}\right]}\,\)を\(\,a\!-\!1\,\)で割ったときの余りを求めよ.

［略解］　\(\displaystyle{\alpha\!\,+\!\frac{1}{\,\alpha\,}\!=a}\,\)かつ\(\,a\geq\!\:\!3\,\)であり, \((1.1)\,\)および\(\,(2.1)\,\)より\(\,f_{a\!\:}(1)\in\mathbb{N}\,\Longrightarrow\!\,f_{\!\:a\!\:}(100)\in\mathbb{N}\,\)であるから, \((4.2)\,\)を適用する. \(100\equiv -2\,\,\textrm{mod}\,6\,\)であるから,