第14章 14.9

X=(x11x12x21x22)X = \begin{pmatrix} x_{11} & x_{12} \\ x_{21} & x_{22} \end{pmatrix} A=(abcd)A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} とおくと

(abcd)(x11x12x21x22)=(x11x12x21x22)(abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} x_{11} & x_{12} \\ x_{21} & x_{22} \end{pmatrix} = \begin{pmatrix} x_{11} & x_{12} \\ x_{21} & x_{22} \end{pmatrix}\begin{pmatrix} a & b \\ c & d \end{pmatrix}

(ax11+bx21ax12+bx22cx11+dx21cx12+dx22)=(ax11+cx12bx11+dx12ax21+cx22bx21+dx22)\begin{pmatrix} ax_{11}+bx_{21} & ax_{12}+bx_{22} \\ cx_{11}+dx_{21} & cx_{12}+dx_{22} \end{pmatrix} = \begin{pmatrix} ax_{11}+cx_{12} & bx_{11}+dx_{12} \\ ax_{21}+cx_{22} & bx_{21}+dx_{22} \end{pmatrix}

これより

ax11+bx21=ax11+cx12ax_{11}+bx_{21} = ax_{11}+cx_{12} ① ax12+bx22=bx11+dx12ax_{12}+bx_{22} = bx_{11}+dx_{12} ②

cx11+dx21=ax21+cx22cx_{11}+dx_{21} = ax_{21}+cx_{22} ③ cx12+dx22=bx21+dx22cx_{12}+dx_{22} = bx_{21}+dx_{22} ④

これら4式を行列に書き直して

(0x21−x120x12−x11+x220−x12x210−x11+x22−x210x21−x120)(abcd)=(0000)\begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ x_{21} & 0 & -x_{11}+x_{22} & -x_{21} \\ 0 & x_{21} & -x_{12} & 0 \end{pmatrix}\begin{pmatrix} a \\ b \\ c \\ d \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \end{pmatrix}

(0x21−x120x12−x11+x220−x12x210−x11+x22−x210x21−x120)→(0x21−x120x12−x11+x220−x12x210−x11+x22−x210000)\begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ x_{21} & 0 & -x_{11}+x_{22} & -x_{21} \\ 0 & x_{21} & -x_{12} & 0 \end{pmatrix} \rightarrow \begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ x_{21} & 0 & -x_{11}+x_{22} & -x_{21} \\ 0 & 0 & 0 & 0 \end{pmatrix}

→(0x21−x120x12−x11+x220−x120−x21(−x11+x22)−x11+x2200000)→(0x21−x120x12−x11+x220−x120−x21100000)\rightarrow \begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ 0 & -x_{21}(-x_{11}+x_{22}) & -x_{11}+x_{22} & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \rightarrow \begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ 0 & -x_{21} & 1 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}

→(0x21−x120x12−x11+x220−x12001+x1200000)→(x12−x11+x220−x120x21−x120001+x1200000)\rightarrow \begin{pmatrix} 0 & x_{21} & -x_{12} & 0 \\ x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ 0 & 0 & 1+x_{12} & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \rightarrow \begin{pmatrix} x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ 0 & x_{21} & -x_{12} & 0 \\ 0 & 0 & 1+x_{12} & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}

→(x12−x11+x220−x120x210000100000)→(x1200−x12010000100000)→(100−1010000100000)\rightarrow \begin{pmatrix} x_{12} & -x_{11}+x_{22} & 0 & -x_{12} \\ 0 & x_{21} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \rightarrow \begin{pmatrix} x_{12} & 0 & 0 & -x_{12} \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \rightarrow \begin{pmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}

これから

(abcd)=α(1001)\begin{pmatrix} a \\ b \\ c \\ d \end{pmatrix} = \alpha \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix}

(α00α)(α は任意)\begin{pmatrix} \alpha & 0 \\ 0 & \alpha \end{pmatrix} \quad (\alpha \text{ は任意})

解説: r31bn1z