多くの教科書ではクラメルの公式を逆行列の公式から導出しているようだ。私の使っていた教科書もそうだった。ラング著「線形代数学」で行列式の性質から直接導いているのを見つけ、以降これに従って講義をするようにした。長谷川浩二著「線型代数」でも採用されていた。
クラメルの公式
クラメルの公式は連立方程式の解の公式を与える。
上式で
が得られた。
逆行列の公式
正則行列
第2式の分子は
まとめ
逆行列の公式からクラメルの公式を導く方法はよく見られる。本記事では逆にクラメルの公式から逆行列の公式を導く方法を取り上げた。どちらの順が良いだろうか。逆行列の公式は余因子展開から導かれるであろう。クラメルの公式経由の方が前提知識が少なくて済むので証明は易しいかもしれないが、余因子展開を使った方が構成として見通しが良さそうである。クラメルの公式は逆行列経由より直接導いた方が見通しが良さそうに感じる。個人的な意見としては、どちらも独立して証明するのが良いと思う。そして、2つの定理がお互いに導出できることは応用例として取り上げると良いと思うが、底辺国立大ではその余裕はなさそうだった。