ガラパゴ累乗定理（ガラパゴるいじょうていり）とは、複素数 $$z$$ の累乗は $$l=\bar{z}\cdotp z=|z|^2$$ と $$r=\bar{z}+z$$ を用いた漸化式より得られる数列を用いて $$+1$$ と $$z$$ の一次結合の形で表せるという定理である。
ガラパゴ数学の主定理の一つで、$$+1$$ と $$+z$$ を基底の元とする $$\mathbb{R}^2$$ 斜交平面上の幾何を扱うことを主目的として みゆ によって導出された。
目次
概要
複素数 $$z$$ の 整数 $$n$$ 乗は、$$l=\bar{z}\cdotp z=|z|^2$$ と $$r=\bar{z}+z=2\mathrm{Re}(z)$$ を用いて次のように表せる。
$$\begin{pmatrix}C_{n}&C_{n+1}\\S_{n}&S_{n+1}\end{pmatrix}=\begin{pmatrix}0&-l\\1&r\end{pmatrix}^n\\
~または~\begin{pmatrix}S_{n+1}\\S_{n}\end{pmatrix}=\begin{pmatrix}r&-l\\1&0\end{pmatrix}^n\begin{pmatrix}1\\0\end{pmatrix}
~すなわち~\begin{cases}
S_0=0\\
S_1=1\\
S_{n}=-(S_{n-2})l+(S_{n-1})r
\end{cases}~として$$
- $$z^n=C_{n}+S_{n}z=-(S_{n-1})l+S_{n}\\$$
- $$\begin{array}{l} z^1=&0+z\\ z^2=&-l+rz\\ z^3=&-rl+(-l+r^2)z\\ z^4=&-(-l+r^2)l+(-2rl+r^3)z\\ z^5=&-(-2rl+r^3)l+(-3r^2l+l^2+r^4)z\\ &\quad\quad\quad\vdots\\ \end{array}$$
- $$z^n=\displaystyle-\left[\sum_{k=0}^{\lfloor (n-2)/2\rfloor}\binom{n-k-2}{k}r^{n-2k-2}l^{k}\right]l+\left[\sum_{k=0}^{\lfloor (n-1)/2\rfloor}\binom{n-k-1}{k}r^{n-2k-1}l^{k}\right]z$$
特に $$z=e^{i\theta}$$ のとき、$$l=1,~r=2\cos\theta$$ であることから
$$\begin{pmatrix}C_{n}&C_{n+1}\\S_{n}&S_{n+1}\end{pmatrix}=\begin{pmatrix}0&-1\\1&2\cos\theta\end{pmatrix}^n\\
~または~\begin{pmatrix}S_{n+1}\\S_{n}\end{pmatrix}=\begin{pmatrix}2\cos\theta&-1\\1&0\end{pmatrix}^n\begin{pmatrix}1\\0\end{pmatrix}
~すなわち~\begin{cases}
S_0=0\\
S_1=1\\
S_{n}=-(S_{n-2})+(S_{n-1})(2\cos\theta)
\end{cases}~として$$
- $$z^n=C_{n}+S_{n}z=-(S_{n-1})+S_{n}\\$$
- $$\begin{array}{l} z^1&=0+z&\\ z^2&=-1+rz&=-1+(2\cos\theta)z\\ z^3&=-r+(-1+r^2)z&=-(2\cos\theta)+[(2\cos\theta)^2-1]z\\ z^4&=-(-1+r^2)+(-2r+r^3)z&=-[(2\cos\theta)^2-1]+[(2\cos\theta)^3-2(2\cos\theta)]z\\ z^5&=-(-2r+r^3)+(-3r^2+1+r^4)z&=-[(2\cos\theta)^3-2(2\cos\theta)]+[(2\cos\theta)^4-3(2\cos\theta)^2+1]z\\ &\quad\quad\quad\vdots\\ \end{array}$$
- $$z^n=\displaystyle-\left[\sum_{k=0}^{\lfloor (n-2)/2\rfloor}\binom{n-k-2}{k}(-1)^k(2\cos\theta)^{n-2k-2}\right]+\left[\sum_{k=0}^{\lfloor (n-1)/2\rfloor}\binom{n-k-1}{k}(-1)^k(2\cos\theta)^{n-2k-1}\right]z$$
導出
$$\{z\in\mathbb{C}\}$$ において、$$\mathbb{R}^2$$ 上の複素数 $$z$$ を次のように二乗する。
\begin{align*} z^2=&z\cdot z\\ =&(-\bar{z}+\bar{z}+z)z\\ =&-\bar{z}\cdotp z+(\bar{z}+z)z\\ \end{align*}
ここで、$$l=\bar{z}\cdotp z,~r=(\bar{z}+z)$$ と置くと
\begin{align*} z^2=-l+rz \end{align*}
両辺に $$z$$ を乗じると $$z^3=-lz+rz^2$$ となり、右辺に $$z^2=-l+rz$$ を代入することで一次結合の形へと変形できる。この操作を再帰的に繰り返すことで、任意の整数乗を同形へと帰結させられる。※この導出手順は、分配則や結合則を満たし共役同士の和と積を求めることができる数（四元数など）であれば $$z\in\mathbb{C}$$ の範囲に限らず適用可能であることを示している。
この $$z^2=-l+rz$$ は $$+1$$ と $$z$$ を基底の元とする斜交座標形式の複素数であり、$$z^2$$ の指し示す座標は $$(-l,r)$$、それぞれの元の指し示す座標は $$(1,0)$$ と $$(0,1)$$ である。ここで $$z$$ と $$z^2$$ を基底の元とする新たな斜交座標系を想定するとそれぞれの元が指し示す座標は旧座標系で $$(0,1)$$ と $$(-l,r)$$ であるため、基底は $$\begin{pmatrix}0&-l\\1&r\end{pmatrix}$$ と表される。旧座標系の基底と比べると原点を中心に $$\mathrm{Arg}~z~(\mathrm{rad})$$ 傾いた姿勢をとっているため、これを累乗することで任意の指数における基底の元の座標を得る。（ガラパゴ数学の乗算の項を参照）
幾何イメージ
複素平面上の $$0$$ を始点とし $$+1$$ を終点とする位置ベクトル $$\vec{s}$$ と、同じく $$0$$ を始点とし任意の複素数 $$z$$ を終点とする位置ベクトル $$\vec{t}$$ において、原点を中心として $$\vec{s}$$ と $$\vec{t}$$ の成す角度の整数倍だけ $$\vec{t}$$ を回転させて得られる新たな位置ベクトル $$\vec{t'}$$ は、$$\vec{s}$$ と $$\vec{t}$$ を基底の元とするベクトル空間上の１次結合の形で表現可能である。
応用
ガラパゴ三辺比定理
ユークリッド平面上の三角形 $$\triangle OAB$$ において、長さが $$x$$ の辺 $$OA$$ と 長さが $$y$$ の辺 $$AB$$ の成す内角が $$\angle A=\theta~\mathrm{rad}$$ である場合、辺 $$OB$$ を $$O$$ を中心として $$\angle O$$ の偶数倍回転させ、それに伴って各辺の長さを伸縮（負数倍も可）して得られる新たな三角形の三辺比は $$x$$、$$y$$、$$r=2\cos\theta$$ の整式で表せるという定理である。本定理を用いることで容易に導出できるが、詳しくはガラパゴ三辺比定理を参照のこと。
ガラパゴ三角関数
$$+1$$ と $$z=e^{i\theta}$$ を理論上の基底の元（$$z$$ が実数であっても独立した元であるものとみなして区別）とする斜交座標系において、極座標 $$e^{xz}$$ の示す座標の実部と $$z$$ 部を得る関数として次のような等式を想定する。
- $$e^{xz}=\cos_zx+z\sin_zx$$
これらの関数 $$\cos_zx$$ と $$\sin_zx$$ のマクローリン展開形は、本定理によって示すことが可能である。詳しくはガラパゴ三角関数を参照のこと。
黄金数・フィボナッチ数列との関係性
黄金数を $$\displaystyle z=\phi=\frac12-\frac{\sqrt{-5}}{2}i$$ と解釈して本定理を適用すると
- $$l=\left(\frac12+\frac{\sqrt{-5}}2i\right)\left(\frac12-\frac{\sqrt{-5}}2i\right)=\left(\frac14-\frac{-5}4\right)=\frac32$$
- $$r=2\times\frac12=1$$
であるため、本定理に従って