next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�... : 鐃醇ー鐃緒申鐃緒申奪匹慮濬鐃祝� : 鐃緒申鐃緒申

鐃緒申鐃�

o) 鐃殉わ申鐃緒申 $ A=E$ (単鐃縮刻申鐃緒申)鐃祝とる。必鐃緒申的鐃祝わ申鐃塾とわ申 $ l=a$, $ m=b$ 鐃叔わ申鐃暑。

(鐃竣誌申):鐃緒申鐃緒申 i),ii) 鐃薯繰わ申鐃瞬わ申

i) $ m$=0 鐃淑わ申 (鐃重上げ) 鐃祝進む。

ii) $ l$ 鐃緒申 $ m$ 鐃叔鰹申辰鐃緒申鐃緒申鐃� $ l$, 余鐃緒申鐃� $ r$ 鐃夙わ申鐃緒申鐃夙￥申

% latex2html id marker 750 $\displaystyle l= m q +r \qquad (\vert r\vert<\vert m\vert) $

鐃夙わ申鐃緒申鐃舜件申鐃緒申鐃緒申鐃緒申鐃緒申立鐃縦￥申

% latex2html id marker 752 $\displaystyle \begin{pmatrix} l\\ m \end{pmatrix}= \begin{pmatrix} q & 1\\ 1 & 0 \end{pmatrix}\begin{pmatrix} m\\ r \end{pmatrix}$

鐃淑わ申愀鐃緒申鐃緒申鐃緒申椶鐃緒申襦ｏ申鐃緒申佞砲任討鐃緒申鐃緒申鷦々鐃緒申鐃塾逆刻申鐃緒申鐃� 直鐃緒申鐃祝計誌申鐃叔わ申鐃銃￥申

% latex2html id marker 754 $\displaystyle \begin{pmatrix} m\\ r \end{pmatrix}= \begin{pmatrix} 0 & 1\\ 1 & -q \end{pmatrix}\begin{pmatrix} l\\ m \end{pmatrix}$

鐃醇え鐃緒申

% latex2html id marker 756 $\displaystyle \begin{pmatrix} m\\ r \end{pmatrix}= ... ...in{pmatrix} 0 & 1\\ 1 & -q \end{pmatrix}A \begin{pmatrix} a\\ b \end{pmatrix}$

鐃縦まり、$ A$ 鐃塾とわ申鐃緒申鐃緒申

% latex2html id marker 760 $\displaystyle \begin{pmatrix} 0 & 1\\ 1 & -q \end{pmatrix}A $

鐃緒申鐃瞬わ申鐃緒申鐃緒申鐃緒申弌鐃�$ m$ 鐃塾とわ申鐃緒申鐃緒申 $ r$ 鐃緒申鐃瞬わ申鐃緒申鐃緒申鐃緒申未砲覆蝓� 鐃竣誌申鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申鐃緒申箸砲覆襦�

(鐃重上げ)鐃緒申鐃銃￥申 $ m=0$ 鐃祝なっわ申鐃熟わ申鐃叔わ申鐃暑。 鐃緒申鐃塾とわ申鐃緒申

$\displaystyle A= \begin{pmatrix} x& y \\ z& w \end{pmatrix}$

鐃夙わ申鐃緒申鐃夙￥申

$\displaystyle \begin{pmatrix} l \\ 0 \end{pmatrix}= \begin{pmatrix} x& y \\ z& w \end{pmatrix}\begin{pmatrix} a \\ b \end{pmatrix}$

鐃緒申鐃緒申鐃初、

$\displaystyle a x +b y=l$ (I)

鐃緒申鐃緒申鐃緒申立鐃縦￥申

他鐃緒申鐃緒申 $ \operatorname{det}(A)=\pm 1$ 鐃緒申鐃緒申鐃春わ申鐃緒申函鐃�

$\displaystyle \begin{pmatrix} a \\ b \end{pmatrix}= \pm \begin{pmatrix} w& -y \\ -z& x \end{pmatrix}\begin{pmatrix} l \\ 0 \end{pmatrix}$

鐃緒申鐃緒申鐃初、

(II) $ a,b$ 鐃緒申 $ l$ 鐃緒申鐃旬随申鐃叔わ申鐃暑。

(I),(II) 鐃薯あわせ鐃緒申函鐃�$ l$ 鐃緒申 $ a,b$ 鐃塾削申鐃緒申鐃緒申鐃緒申 $ d$ 鐃緒申 鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申个覆鐃淑わ申鐃緒申鐃夙わ申分鐃緒申鐃暑。

鐃緒申鐃淑わ申鐃緒申鐃�(鐃重上げ)鐃殉でわ申鐃緒申鐃緒申鐃緒申箸鐃緒申鐃緒申鐃� $ A$ 鐃緒申鐃緒申分鐃緒申 $ x ,y$ 鐃夙￥申 $ l$ 鐃緒申鐃緒申鐃緒申鐃塾になる。


平鐃緒申17年6鐃緒申7鐃緒申