連分数(木田雅成) 第８章

連分数の第８章命題8.15で、ある行列が対称行列であることを示している。計算が強引に感じるので、線形代数の基礎的なテクニックを使って計算のストレスを軽減してみた。

対称行列の証明
命題8.15証明における注意
その他

対称行列の証明

p.87 では
$B = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array}) (\begin{array}{cc} x / 2 & m y \\ y & x / 2 \end{array}) (\begin{array}{cc} 1 & - a_{0} \\ 0 & 1 \end{array})$
が対称行列であることを示している。これを $B = X Y^{t} X$ ( $Y$ は対称行列) の形に変形することにより示したい。線形代数の基礎的なテクニックである行基本変形
$(\begin{array}{cc} 1 & - a_{0} \\ 0 & 1 \end{array}) \to (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
を行列の積で表現して
$(\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 1 & - a_{0} \\ 0 & 1 \end{array}) = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
$(\begin{array}{cc} 1 & - a_{0} \\ 0 & 1 \end{array}) = (\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
これを代入して
$B = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array}) (\begin{array}{cc} x / 2 & m y \\ y & x / 2 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
となり、目標の形における $X = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$ が現れた。
$Y = (\begin{array}{cc} x / 2 & m y \\ y & x / 2 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}) = (\begin{array}{cc} m y & x / 2 \\ x / 2 & y \end{array})$
と $Y$ が対称行列であることが確認できたので $B$ は対称行列である。

p.88 における
$B = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array}) (\begin{array}{cc} (x + 4 y) / 2 & (m - 1) y \\ 4 y & (x - 4 y) / 2 \end{array}) (\begin{array}{cc} 1 & 1 - a_{0} \\ 0 & 1 \end{array})$
が対称行列であることも同じように示そう。行基本変形
$(\begin{array}{cc} 1 & 1 - a_{0} \\ 0 & 1 \end{array}) \to (\begin{array}{cc} 0 & 1 \\ 1 & 1 - a_{0} \end{array}) \to (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
を行列の積で表現して
$(\begin{array}{cc} 1 & 0 \\ - 1 & 1 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 1 & 1 - a_{0} \\ 0 & 1 \end{array}) = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
$(\begin{array}{cc} 1 & 1 - a_{0} \\ 0 & 1 \end{array}) = (\begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
これを代入して
$B = (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array}) (\begin{array}{cc} (x + 4 y) / 2 & (m - 1) y \\ 4 y & (x - 4 y) / 2 \end{array}) (\begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array}) (\begin{array}{cc} 0 & 1 \\ 1 & - a_{0} \end{array})$
$Y = (\begin{array}{cc} (x + 4 y) / 2 & (m - 1) y \\ 4 y & (x - 4 y) / 2 \end{array}) (\begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array}) = (\begin{array}{cc} * & (x + 4 y) / 2 \\ (x + 4 y) / 2 & 4 y \end{array})$
ここで対称性を示すために対角成分は不要。 $Y$ の対称性が示せたので、 $B$ も対称行列である。

命題8.15証明における注意

命題8.15の証明の中で対称性が利用されている部分(p.87)については、注意が必要と感じた。対称行列であることを使って、次の等式が示されている。
$(\begin{array}{cc} a_{1} & 1 \\ 1 & 0 \end{array}) \dots (\begin{array}{cc} a_{t - 1} & 1 \\ 1 & 0 \end{array}) = (\begin{array}{cc} a_{t - 1} & 1 \\ 1 & 0 \end{array}) \dots (\begin{array}{cc} a_{1} & 1 \\ 1 & 0 \end{array})$
テキストでは、ここから直ちに $(a_{1}, \dots, a_{t - 1}) = (a_{t - 1}, \dots, a_{1})$ と結論付けているが、この等式は積が等しいことを意味しているので、対応する個々の行列が等しいとするには抵抗がある。行列の積を $(\begin{array}{cc} p & * \\ q & * \end{array})$ とするとき、 $\frac{p}{q} = [a_{1}; \dots, a_{t - 1}] = [a_{t - 1}; \dots, a_{1}]$ となる。有理数の連分数展開は２通りあるが、同じ長さの連分数展開は唯一。したがって、この等式の連分数は一致する。

その他

p.92 の一番上の式で $(- 1)^{n}$ が抜けてる？執筆時では訂正は出ていない。 $B_{n} = p_{n - 1}^{2} - m q_{n - 1}^{2}$ とすれば良さそうにも見えるが、 $A_{n} \geq 0$ が示せず困っている。