方針
(1) は を成分計算し、 と を代入して零行列になることを示す。(2) は2次行列の行列式が積で掛け合わされることを使い、 なら と見る。(3) は (2) で を得たうえで、直接計算から を導く。これを帰納的に使い、 となるには でない限り が必要であることを示す。
解答
(1)
直接計算するとである。
(i)より である。 であり、 だから である。したがって であり、さらに である。よってすべての成分が0となり、 である。
(2)
2次正方行列について、成分を直接計算すると が成り立つ。したがって である。
いま (iii) より、ある自然数 に対して である。零行列の行列式は0だから である。よって である。
(3)
(2)より である。この条件のもとで をもう一度見ると、 だからである。
もし なら、もちろん かつ であり、(i) が成り立つ。以下では とする。
から、帰納的に が成り立つ。実際、 で成り立つとすれば である。
(iii)より、ある自然数 で である。 なので、上の式から となる。したがって である。これと (2) の を合わせると (i) が成り立つ。
総評
べき零行列を2次行列の成分計算だけで処理する証明問題である。目安時間は22分。 の成分を一度正確に計算しておくと、(1) でも (3) でも使える。(2) は行列式の積の性質を使うが、高校範囲の行列式計算として成分で確認できる。最後は の場合を分けておくと、 から を出す論理が明確になる。