次: 二次行列と実数の連分数展開 上: 連分数 前: 連分数

一次不定方程式と連分数

メビウス変換の定義

定理6で， 一次不定方程式の解をユークリッドの互除法で構成するとき， 二次行列を用いると明快な表現ができることが示された． そこで用いられたユークリッドの互除法を二次行列で表現する方法を再検討する． $b$は0でないとする．整数$a$を$b$で割って余りが$r$，つまり

$$a=qb+r \ \ (\ 0 \le r <\vert b\vert\ )$$

であるとする．この除法の式は行列で

$$\vecarray{a}{b}=\matrix{q}{1}{1}{0}\vecarray{b}{r}$$

と表される． ここで $a$ と $b$ の比を考えると，$r \ne 0$のとき

$$\dfrac{a}{b}=\dfrac{qb+r}{b} =\dfrac{q\left(\dfrac{b}{r}\right)+1}{1\left(\dfrac{b}{r}\right)+0}$$

である． ここに $q$ は有理数 $\dfrac{a}{b}$ の整数部分であり, $\dfrac{b}{r}$ は小数部分の 逆数であることに注意しよう． 整数部分をとり，小数部分の逆数をとるという操作は，小数部分が0でないかぎり実行可能な操作である．この操作を行列で表現し，古典的な連分数との関連を調べることがこの節の目的である．

一般に，実数$\omega$に対して，成分が実数の行列 $\matrix{a}{b}{c}{d}$によって 実数 $\dfrac{a\omega +b}{c\omega +d}$を対応させる変換をメービウス変換と呼び， この実数を $\matrix{a}{b}{c}{d}\omega$と記す．これは $\omega =-\dfrac{d}{c}$ 以外のすべての実数に対して定義される．

次のことはすぐに確認される．

1. $\matrix{a}{b}{c}{d}\left\{\matrix{e}{f}{g}{h}\omega \right\} =\left\{\matrix{a}{b}{c}{d}\matrix{e}{f}{g}{h}\right\}\omega$
2. $\matrix{1}{0}{0}{1}\omega =\omega$
3. $\matrix{ka}{kb}{kc}{kd}\omega =\matrix{a}{b}{c}{d}\omega$
4. $u=\matrix{a}{b}{c}{d}\omega\quad なら\quad \matrix{a}{b}{c}{d}^{-1}u =\omega$

したがって，メービウス変換をくりかえし行った結果は，各行列の積の行列によるメービウス変換の結果と一致する．これをメービウス変換の積と呼ぶ．

連分数展開

実数の整数部分をとり，残された小数部分の逆数をとるという操作を繰り返すことが二次行列の積のメビウス変換で表される．

$\omega$ を整数でない正の実数とする． また実数$x$に対し$[x]$ は$x$を越えない最大の整数を表す． 実数 $\omega$ に対し，次の手続きを考える．

(i)

$q_0=[\omega]$ とする．

(ii)

$\omega=q_0 +u\ \ (0 < u <1)$ とおく．

(iii)

そして $\omega_1=\dfrac{1}{u}$ とする． $1<\omega_1$ である．

このとき，

$$\omega=q_0+\dfrac{1}{\omega_1} =\dfrac{q_0 \omega_1+1}{\omega_1} =\matrix{q_0}{1}{1}{0} \omega_1$$

と，上の手続きが二次行列で表現される．

数列$\{w_n\}$と数列$\{k_n\}$を， $k=1,\ 2,\ \cdots$に対して

$$\begin{array}{l} \omega_0=\omega,\ q_0=[\omega],\ \\ ... ...c{1}{\omega_{k-1}-q_{k-1}},\ q_k=[\omega_k] \end{array}$$

で定める．ただし，$\omega_k$が整数となれば いったんそこでやめるものとする．

これを $\omega$ の 連分数展開という． $k$ 回この手続きを行うと，

$$\omega = \matrix{q_0}{1}{1}{0 } \cdots \matrix{q_{k-1}}{1}{1}{0 } \omega_k$$

となる．ここで$\omega_k$ が整数になったとする． そのときはそこで展開を終えるか，または次のようにもう一つ展開して終える．

$$\omega_k=\matrix{\omega_k-1}{1}{1}{0} \cdot 1$$

つまり， $\omega_{k+1}=1,\ q_k=\omega_k-1$ とする．

上の展開を「連分数展開」というのは，この手続きを一つの分数形式で書いていくと，次のようになるからである．

$$\begin{eqnarray*} \omega &=&q_0+\dfrac{1}{\omega_1}\\ &=&q_0+\dfrac{1}{q_1+... ...\ &=&q_0+\dfrac{1}{q_1+\dfrac{1}{q_2+\dfrac{1}{q_3+\cdots}}} \end{eqnarray*}$$

今後，連分数展開という表現で，行列の積としてメービウス変換の積を表すこともあれば， 分数形式で書いたものを表すこともある．

展開の一意性

$k\ge1$に対して

$$\matrix{q_0}{1}{1}{0}\matrix{q_1}{1}{1}{0}\cdots\matrix{q_{k-1}}{1}{1}{0} =\matrix{P_k}{P_{k-1}}{Q_k}{Q_{k-1}}$$

で $(P_k,\ Q_k)$を定める．このとき$k\ge1$ に対して，

$$\vecarray{P_{k+1}}{Q_{k+1}}=\vecarray{P_{k}q_{k}+P_{k-1}}{ Q_{k}q_{k}+Q_{k-1}}$$

となる． このような展開は本質的に一意である． $\omega$ を整数でない実数とし, $\omega$ に二つの連分数展開ができたとする．

$$\begin{eqnarray*} \omega &=& \matrix{k_0}{1}{1}{0}\matrix{k_1}{1}{1}{0} \cd... ...1}{0} \cdots \matrix{h_m}{1}{1}{0} \omega '' \ (\omega ''>1) \end{eqnarray*}$$

このとき，$n \ge m$ であれば，

$$k_0=h_0 ,\ k_1=h_1 ,\ \cdots ,\ k_m=h_m$$

となる． それを示すために，

$$\begin{array}{l} X=\matrix{k_1}{1}{1}{0} \cdots \matrix{... ...1}{1}{0} \cdots \matrix{h_m}{1}{1}{0} \omega '' \end{array}$$

と置く． すると，$X>1,Y>1$ である．このとき，

$$\begin{eqnarray*} \omega &=&\matrix{k_0}{1}{1}{0} X = k_0+ \dfrac{1}{X}\\ &=&\matrix{h_0}{1}{1}{0} Y = h_0+ \dfrac{1}{Y} \end{eqnarray*}$$

となり, $k_0$ と $h_0$ は同じ実数の整数部分であるから等しい． この結果$X=Y$ となる．同様の議論をくり返せば，順次

$$k_0=h_0 ,\ k_1=h_1 ,\ \cdots ,\ k_m=h_m$$

となるからである． 有理数の連分数展開は必ず有限で終わるが，その長さは，最後の展開の方法の調整によって 偶数，奇数のいずれのものも作ることができる． ある数の連分数展開における違いは，この違いのみである．

また，有理数 $\dfrac{a}{b}$ の連分数展開は，ユークリッドの互除法からつくったものと一致する． つまり，互除法による展開が次のようになったとする．

$$\begin{eqnarray*} \vecarray{a}{b}&=&\matrix{q_0}{1}{1}{0}\matrix{q_1}{1}{1}{0}... ...s\matrix{q_{n}-1}{1}{1}{0}\matrix{1}{1}{1}{0}\vecarray{1}{0}\\ \end{eqnarray*}$$

この途中をまとめ，

$$\begin{eqnarray*} \matrix{P_k}{P_{k-1}}{Q_k}{Q_{k-1}}&=&\matrix{q_0}{1}{1}{0}\m... ...atrix{q_k}{1}{1}{0} \cdots\matrix{q_n}{1}{1}{0}\vecarray{1}{0} \end{eqnarray*}$$

とおくと，

$$\vecarray{a}{b}=\matrix{P_k}{P_{k-1}}{Q_k}{Q_{k-1}}\vecarray{r_k}{r_{k+1}}\ (k=1,2, \cdots,n)$$

である．よって

$$\dfrac{a}{b}=\matrix{P_k}{P_{k-1}}{Q_k}{Q_{k-1}}\dfrac{r_k}{r_{k+1}}\ (k=1,2,\cdots,n)$$

となる． つまり, $\omega =\dfrac{a}{b}$ , $\omega_{k}=\dfrac{r_k}{r_{k+1}}$ とおけば， 実数の連分数展開と一致する． 次: 二次行列と実数の連分数展開 上: 連分数 前: 連分数