質問: No. 7887546
kanamio
2×2 行列の A, B が (A + B)2 = A2 + B2 且つ,
(A + B)3 = A3 + B3 を満たすとする。
(1) B2A = -BA2 であることを示せ。
(2) BmA + (-1)mBAm = 0 であることを数学的帰納法により証明せよ。
(3) (A + B)m = Am + Bm を示せ。
証明:
(1) 先ず (A + B)2 = A2 + AB + BA + B2 = A2 + B2 なので
AB = -BA.
そして
(A + B)3
= (A + B)2(A + B)
= (A2 + B2)(A + B)
= A3 + A2B + B2A + B3
= A3 + B3
だから
B2A = -A2B.
ここで最初の式も使って
右辺 = -A(AB) = -A(-BA) = (AB)A = (-BA)A = -BA2.
(2) (1) より m = 2 で正しい。
従って
Bm + 1A
= B(BmA)
= B((-1)m - 1BAm)
= (-1)m - 1B2Am
= (-1)m - 1(B2A)Am - 1
= (-1)m - 1(-BA2)Am - 1
= (-1)mBAm + 1.
(3) (2) より
(A + B)m + 1
= (A + B)m(A + B)
= Am + 1 + AmB + BmA + Bm + 1
= Am + 1 + AmB + (-1)m - 1BAm + Bm + 1.
ここで数学的帰納法で
(-1)mBAm = AmB
を示す。
(1) により m = 2 で正しい。
(-1)m + 1BAm + 1
= -((-1)mBAm)A
= -(AmB)A
= -Am(BA)
= -Am(-AB)
= Am + 1B.
従って数学的帰納法で言えた。
ここで前に戻ってこれを使うと
(A + B)m + 1
= Am + 1 + AmB + (-1)m - 1BAm + Bm + 1
= Am + 1 + AmB - AmB + Bm + 1
= Am + 1 + Bm + 1 □
証明を見ればわかるように, 二次の正方行列でなくても成り立つ。
又, (2) の元は B^m*A + B*A^m = 0 であったが m = 3 で既に成り立たないので, これは修正した。
kanamio
2×2 行列の A, B が (A + B)2 = A2 + B2 且つ,
(A + B)3 = A3 + B3 を満たすとする。
(1) B2A = -BA2 であることを示せ。
(2) BmA + (-1)mBAm = 0 であることを数学的帰納法により証明せよ。
(3) (A + B)m = Am + Bm を示せ。
証明:
(1) 先ず (A + B)2 = A2 + AB + BA + B2 = A2 + B2 なので
AB = -BA.
そして
(A + B)3
= (A + B)2(A + B)
= (A2 + B2)(A + B)
= A3 + A2B + B2A + B3
= A3 + B3
だから
B2A = -A2B.
ここで最初の式も使って
右辺 = -A(AB) = -A(-BA) = (AB)A = (-BA)A = -BA2.
(2) (1) より m = 2 で正しい。
従って
Bm + 1A
= B(BmA)
= B((-1)m - 1BAm)
= (-1)m - 1B2Am
= (-1)m - 1(B2A)Am - 1
= (-1)m - 1(-BA2)Am - 1
= (-1)mBAm + 1.
(3) (2) より
(A + B)m + 1
= (A + B)m(A + B)
= Am + 1 + AmB + BmA + Bm + 1
= Am + 1 + AmB + (-1)m - 1BAm + Bm + 1.
ここで数学的帰納法で
(-1)mBAm = AmB
を示す。
(1) により m = 2 で正しい。
(-1)m + 1BAm + 1
= -((-1)mBAm)A
= -(AmB)A
= -Am(BA)
= -Am(-AB)
= Am + 1B.
従って数学的帰納法で言えた。
ここで前に戻ってこれを使うと
(A + B)m + 1
= Am + 1 + AmB + (-1)m - 1BAm + Bm + 1
= Am + 1 + AmB - AmB + Bm + 1
= Am + 1 + Bm + 1 □
証明を見ればわかるように, 二次の正方行列でなくても成り立つ。
又, (2) の元は B^m*A + B*A^m = 0 であったが m = 3 で既に成り立たないので, これは修正した。