方針
(1) は与式に左から を掛ける。(2)では の可逆性から を得て、 から を一意に定める。(3)は と表し、直交的な冪等関係で積を二成分に分ける。
解答
(1)
与えられた式より である。左から を掛けるとである。よって が成り立つ。
(2)
いまであり, だから である。したがって は逆行列をもつ。
(1) より であるから,右から を掛けて を得る。これを に代入すると である。よってであり,である。
実際に が直接確認できるので,求める行列はである。
(3)
(2) で得た は によらない。したがってと表せる。
また であるから,積を展開したとき, だけを選ぶ項と だけを選ぶ項以外はすべて になる。よってである。
これに を代入するとである。
は互いを消す補完成分で、積では同じ成分だけが残る。
別解
解法2((3)を成分漸化式で計算)
方針
(1) (2)は解法1と同様に可逆性から を決める。(3)では射影分解を使わず、下三角行列の積の対角成分と左下成分を漸化式で追う。
解答
(1) 解法1と同様に、与式へ左から を掛けてを得る。
(2) は可逆なので である。したがって(3) とおく。下三角行列の積なのでと書ける。実際、対角成分は各対角成分の積である。
の左下成分を比較するとここでと仮定すれば でも成り立つので、帰納法によりゆえにである。
総評
難度6,計算量5。抽象的な条件に見えるが, が互いに混ざらない成分であることを利用する問題である。(2)では が可逆であることを確認してから を導くのが重要で,ここを省くと論理が弱くなる。(3)は通常の行列積で押し切るより, 成分と 成分に分けると一気に短くなる。別解の成分漸化式は検算に有効で,20分程度でまとめたい。