式展開
間違いしかありません.コメントにてご指摘いただければ幸いです(気が付いた点を特に断りなく頻繁に書き直していますのでご注意ください).
行列A(2x2)に対してA, A+E, A-Eのいずれかは逆行列を持つ証明
行列
A
(
2
x
2
)
に対して
A
,
A
+
E
,
A
−
E
のいずれかは逆行列
A
−
1
を持つ証明(Eは単位行列
[
1
0
0
1
]
)
A
=
[
a
b
c
d
]
A
−
1
=
1
|
A
|
[
d
−
b
−
c
a
]
A
+
E
=
[
a
b
c
d
]
+
[
1
0
0
1
]
=
[
a
+
1
b
c
d
+
1
]
(
A
+
E
)
−
1
=
1
|
A
+
E
|
[
d
+
1
−
b
−
c
a
+
1
]
A
−
E
=
[
a
b
c
d
]
−
[
1
0
0
1
]
=
[
a
−
1
b
c
d
−
1
]
(
A
+
E
)
−
1
=
1
|
A
−
E
|
[
d
−
1
−
b
−
c
a
−
1
]
A
,
A
+
E
,
A
−
E
の全てが逆行列を持たないとすると
|
A
|
,
|
A
+
E
|
,
|
A
−
E
|
の全てが同時にゼロ
0
になるのでこれを仮定として始める.
(1)
|
A
|
=
a
d
−
b
c
=
0
(2)
|
A
+
E
|
=
(
a
+
1
)
(
d
+
1
)
−
b
c
=
a
d
−
b
c
+
a
+
d
+
1
=
0
(3)
|
A
−
E
|
=
(
a
−
1
)
(
d
−
1
)
−
b
c
=
a
d
−
b
c
−
a
−
d
+
1
=
0
(1)
を
(2)
に代入すると
a
+
d
=
−
1
.
a
d
−
b
c
+
a
+
d
+
1
=
0
0
+
a
+
d
+
1
=
0
(4)
a
+
d
=
−
1
(1)
を
(3)
に代入すると
a
+
d
=
1
.
a
d
−
b
c
−
a
−
d
+
1
=
0
0
−
a
−
d
+
1
=
0
−
a
−
d
=
−
1
(5)
a
+
d
=
1
a
+
d
=
−
1
(4)
と
a
+
d
=
1
(5)
で矛盾するので,
|
A
|
,
|
A
+
E
|
,
|
A
−
E
|
の全てが同時にゼロ
0
になるという前提が間違いということになり,
|
A
|
,
|
A
+
E
|
,
|
A
−
E
|
のいずれかはゼロ
0
でない.よって
A
,
A
+
E
,
A
−
E
のいずれかは逆行列を持つ.
0 件のコメント:
コメントを投稿
次の投稿
前の投稿
ホーム
登録:
コメントの投稿 (Atom)
0 件のコメント:
コメントを投稿