差分

'''ガラパゴ累乗定理'''（ガラパゴるいじょうていり）とは、複素数（あるいは多元数） （ガラパゴるいじょうていり）とは、複素数 $$z$$ の累乗は $$r=2z+\mathrmoverline{Rez}(z)$$ と $$l=|z|^2\cdot\overline{z}$$ の多項式 を元とする多項式より生成される実数を係数とする $$P$$、$$Q$$ を用いて $$Pz+Qz$$ の形で表わせるという定理である。の一次式で表せるという定理である。

[[ガラパゴ数学]]の主定理の一つで、$$+1$$ と $$+z$$ を基底の元とする $$\mathbb{R}^2$$ 上の幾何を扱うことを主目的として 斜交平面上の幾何を扱うことを主目的として [[みゆ]] によって導出された。

複素数 $$z$$ の 正整数 整数 $$n$$ 乗を、乗は、$$rl=2z\cdotp\mathrmbar{Rez}(z)$$ と $$l=|z|^2$$ を用いて次のように表す。:と $$\displaystyle r=z^n=\left[+\sum_bar{kz}=0}^{\lfloor (n-1)/2\rfloor}\binommathrm{n-k-1}{kRe}(-1)^kr^{n-2k-1}l^{k}\right]z-\left[\sum_{k=0}^{\lfloor (n-2)/2\rfloor}\binom{n-k-2}{k}(-1)^kr^{n-2k-2}l^{k}\right]l$$を用いて次のように表せる。

 :$$\begin{array}{l}\begin{pmatrix}z^n\\z^{n+1}\end{pmatrix}&=\begin{pmatrix}C_{n}&S_{n}\\C_{n+1}&S_{n+1}\end{pmatrix}\begin{pmatrix}1\\z$$\end{pmatrix}\\:$$z^2&=rz\begin{pmatrix}0&1\\-l$$:$$z^3=(&r\end{pmatrix}^2-l)n\begin{pmatrix}1\\z\end{pmatrix}=\begin{pmatrix}0&1\\-rl$$:$$z^4=(r^3-2rl)\cdotp\bar{z-(r^2-l)l$$:$$}&z^5=(r^4-3r^2l+l^2)\bar{z-(r}\end{pmatrix}^3-2rl)l$$:$$n\quadbegin{pmatrix}1\quad\quadz\quadend{pmatrix}\vdotsend{array}$$  ここで得られる数列 :$$z^n=A_{n}z-A_{n-1}\quad\begin{cases}A_0S_0=0\\A_1S_1=1\\A_S_{kn}=-l(A_S_{kn-12})+r-(A_S_{kn-21})l

 :$$z^n=C_{n}+S_{n}z=-l(S_{n-1=})+(S_{n})z\\$$:$$\begin{array}{l}z^2=rz-1=(2&0+z\cos\theta)z^2=&-1$$l+rz\\:$$z^3=&-rl+(-l+r^2-1)z\\z^4=&-(-l+r=[^2)l+(2-2rl+r^3)z\cos\theta)z^25=&-1]z(-2rl+r^3)l+(-3r^2l+l^2+r^4)z\cos\theta)&\quad\quad\quad\vdots\\\end{array}$$  ちなみに、数列 $$S_n$$ の一般項は次の通りであり、$$z$$を生成元とする第１種[[ガラパゴ数列]]と同一である。  :$$z^4\displaystyle S_{n}=\frac{\displaystyle\left(r+\sqrt{r^32-2l4l}\right)z^n-\left(r-\sqrt{r^2-14l}\right)^n}{\displaystyle2^n\sqrt{r^2-4l}}=[(2\cosdisplaystyle\theta)frac{z^3n-(2\cos\theta)]overline{z}^{~n}}{z-[(2\cosoverline{z}}=\theta)sum_{k=0}^2{n-1]$$:$$}\overline{z}^{~k}\cdot z^5{n-k-1}=\sum_{k=0}^{\lfloor (r^4n-3r^2+1)z/2\rfloor}\binom{n-k-(1}{k}r^3{n-2k-2r)1}l^{k}$$   ===絶対値が１のケース=== $$z=[(2\cose^{i\theta)^4-3(2}$$ である場合、$$l=z\coscdotp\theta)bar{z}=|z|^2=1,~r=z+1]\bar{z-[(}=2\cos\thetamathrm{Re}(z)^3-2(=2\cos\theta)]$$であることから  :$$\quadbegin{array}{l}\begin{pmatrix}C_{n}&S_{n}\\C_{n+1}&S_{n+1}\end{pmatrix}\begin{pmatrix}1\\z\end{pmatrix}&=\begin{pmatrix}0&1\\quad-z\quadcdotp\quadbar{z}&z+\vdots$$:$$bar{z}\end{pmatrix}^n\begin{pmatrix}1\\z\end{pmatrix}\\&=A_\begin{npmatrix}z0&1\\-A_1&2\cos\theta\end{pmatrix}^n-\begin{pmatrix}1\\z\end{pmatrix}\quadend{array}$$  ここで得られる数列 :$$\begin{cases}A_0S_0=0\\A_1S_1=1\\A_S_{kn}=-(A_S_{kn-12})r-+(2\cos\theta)(A_S_{kn-21})

$$\{a,b\in\mathbb{Z}\}、\{z\in\mathbb{C}\}$$ において、$$+1$$ と $$+i$$ を基底の元とする $$\mathbb{R}^2$$ 上の複素数 $$z=a+bi$$ を次のように二乗する。

z^2=&(a+bi)(a+bi)z\cdot z\\=&(a+bi)(2a-(a-bi))\bar{z}+\=&2a(abar{z}+bi)-(a+bi)(a-biz)z\\=&2a(a+bi)-(a^2+b^2)\bar{z}\=&2a(a+bicdotp z)-\sqrt{a^2+b^2}^2\\=&2(\mathrmbar{Rez}(+z)z-|z|^2\\

ここで、$$l=\bar{z}\cdotp z,~r=2(\mathrmbar{Rez}(+z)$$、$$l=|z|^2$$ と置くと

z^2=rz-l+rz

両辺に $$z$$ を乗じると $$z^3=-lz+rz^2$$ となり、右辺に $$z^2=-lzl+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}$$ を基底の元とするベクトル空間上の１次結合の形で表現可能である。 [[ファイル:ガラパゴ累乗定理.png |480px|center|border|ガラパゴ累乗定理のイメージ]]   ==実数の累乗と数列== $$ を代入することで z=\left(\frac{r}2\right)+\left(\mp\sqrt{l-\left(\frac{r}2\right)^2}\right)i$$Pzは $$z^2=-l+Qrz$$ の解 であり、 :$$l=\bar{z}\cdot z$ の形へと変形できる。この操作を再帰的に繰り返し、任意の整数乗を $:$Pz$r=\bar{z}+Qz$$ であるため、本定理より次の三項間漸化式による数列を得る。  :$$\begin{cases}S_0=0\\S_1=1\\S_{n}=-l(S_{n-2})+r(S_{n-1})\end{cases}$$  ここで、$$l\leqq\left(\frac{r}2\right)^2$$ のとき $$z$$ は実数となるため実際の虚部は $$0$$ ということになる。  しかし、$$z=a+b=(a)+\left(-\sqrt{-b^2}\right)i$$ と虚部を任意に解釈した場合にも :$$l=\bar{z}\cdot z=a^2-b^2$$:$$r=\bar{z}+z=2a$$ であり、$$z^2=-(a^2-b^2)+2az$$ は $$z=a+b$$ において真である。  また、 $$\begin{pmatrix}C_{n}&S_{n}\\C_{n+1}&S_{n+1}\end{pmatrix}=\begin{pmatrix}0&1\\-(a^2-b^2)&2a\end{pmatrix}^n$$ あるいは $$\begin{pmatrix}S_{n+1}\\S_{n}\end{pmatrix}=\begin{pmatrix}2a&-(a^2-b^2)\\1&0\end{pmatrix}^n\begin{pmatrix}1\\0\end{pmatrix}$$ より得られる数列  :$$\begin{cases}S_0=0\\S_1=1\\S_{n}=-(a^2-b^2)(S_{n-2})+2a(S_{n-1})\end{cases}$$  を用いても、一般項 $$S_{n}=\frac{\displaystyle(a+b)^n-(a-b)^n}{\displaystyle2b}$$ より  :$$\begin{array}{rl}z^n=&C_{n}+S_{n}z\\=&-(a^2-b^2)(S_{n-1})+(a+b)(S_{n})\\=&\displaystyle\frac{(a+b)[(a+b)^n-(a-b)^n]-(a^2-b^2)[(a+b)^{n-1}-(a-b)^{n-1}]}{2b}\\=&\displaystyle\frac{(a+b)[(a+b)^n-(a-b)^n]-(a+b)[(a-b)(a+b)^{n-1}-(a-b)^n]}{2b}\\=&\displaystyle\frac{(a+b)[(a+b)^n]-(a+b)[(a-b)(a+b)^{n-1}]}{2b}\\=&\displaystyle\frac{(a+b)[(a+b)^n-(a-b)(a+b)^{n-1}]}{2b}\\=&\displaystyle\frac{(a+b)^n[(a+b)-(a-b)]}{2b}\\=&(a+b)^n\end{array}$$  と真であることを確認できる。  このことは、複素共役の捉え方を拡張することで実数の累乗にも本定理を応用可能であることを示している。   ===黄金数とフィボナッチ数列===  黄金数を $$\displaystyle z=\phi=\frac{1+\sqrt5}2=\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)=-1$$:$$r=\left(\frac12+\frac{\sqrt{-5}}2i\right)+\left(\frac12-\frac{\sqrt{-5}}2i\right)=1$$ の形へと帰結させて恒等式を得る。

==幾何への応用==複素平面上において、$$0$$ を始点とし $$\begin{pmatrix}C_{n}&S_{n}\\C_{n+1}&S_{n+1$$ を終点とするベクトル $$}\end{pmatrix}=\vecbegin{spmatrix}$$ と、同じく $$0&1\\1&1\end{pmatrix}^n$$ を始点とし実数ではない任意の複素数 $$z$$ を終点とするベクトル あるいは $$\vecbegin{tpmatrix}$$ は線形独立である。$$S_{n+1}\\vecS_{tn}$$ を、原点を中心として $$\vecend{spmatrix}$$ と $$=\vecbegin{tpmatrix}$$ の成す角度の整数倍回転させて得られるベクトル $$1&1\\1&0\vecend{upmatrix}$$ は、ガラパゴ累乗定理によって $$^n\vecbegin{spmatrix}$$ と $$1\\0\vecend{tpmatrix}$$ を基底の元とするベクトル空間上に表現可能である。より得られる

ユークリッド平面上の三角形 $$\triangle OAB$$ において、長さが $$x$$ の辺 $$OA$$ と 長さが $$y$$ の辺 $$AB$$ の成す内角が $$\angle A=\theta~\mathrm{rad}$$ である場合、辺 $$OB$$ を $$O$$ を中心として $$\angle O$$ の偶数倍回転させ、それに伴って各辺の長さを伸縮（負数倍も可）して得られる新たな三角形の三辺比は $$x$$、$$y$$、$$cr=2\cos\theta$$ の整式で表せるという定理である。これはガラパゴ累乗定理を用いることで容易に導出できるが、詳しくはの整式で表せるという定理である。本定理を用いることで容易に導出できるが、詳しくは[[ガラパゴ三辺比定理]]を参照のこと。 

$$+1$$ と $$z=e^{i\theta}$$ を理論上の基底の元（$$z$$ が実数であっても独立した元であるものとみなして区別）とする $$\mathbb{R}^2$$ において、極座標 が実数であっても独立した元であるものとみなして区別）とする斜交座標系において、極座標 $$e^{xz}$$ の示す座標の実部と $$z$$ 部を得る関数として次のような等式を想定する。の示す座標を基底の元の線形結合で表現したときの各元の係数を得る関数として次のような等式を想定する。

:$$e^{xz}=\cos(x,z)cos_zx+z\sin(x,z)sin_zx$$

これらの関数 $$\cos(x,z)cos_zx$$ と $$\sin(x,z)sin_zx$$ はガラパゴ累乗定理を用いて級数展開可能である。詳しくはは、本定理と非常に密接な関係にある。詳しくは[[ガラパゴ三角関数]]を参照のこと。