クラメルの公式

線型代数学におけるクラメルの法則あるいはクラメルの公式（クラメルのこうしき、テンプレート:Lang-en-short; クラメルの規則）は、未知数の数と方程式の本数が一致し、かつ一意的に解ける線型方程式系の解を明示的に書き表す行列式公式である。これは、方程式の解を正方係数行列とその各列ベクトルを一つずつ方程式の右辺のベクトルで置き換えて得られる行列の行列式で表すものになっている。名称はガブリエル・クラーメル (1704–1752) に因むもので、クラーメルは任意個の未知数に関する法則を1750年に記している^[1]。なお特別の場合に限れば、コリン・マクローリンが1748年に公表^[2]している（また、恐らくはそれを1729年ごろにはすでに知っていたと思われる^[3]^[4]^[5]）。

主張

与えられた線型方程式が n 個の変数を持ち、同数 n 本の一次方程式からなる形： ${\begin{matrix} a_{11} x_{1} + a_{12} x_{2} + \dots + a_{1 n} x_{n} = b_{1}, \\ a_{21} x_{1} + a_{22} x_{2} + \dots + a_{2 n} x_{n} = b_{2}, \\ ⋮ \\ a_{n 1} x_{1} + a_{n 2} x_{2} + \dots + a_{n n} x_{n} = b_{n} \end{matrix}$ で与えられているとする。あるいはこれを $A : = [\begin{matrix} a_{11} & a_{12} & \dots & a_{1 n} \\ a_{21} & a_{22} & \dots & a_{2 n} \\ ⋮ & ⋮ & ⋱ & ⋮ \\ a_{n 1} & a_{n 2} & \dots & a_{n n} \end{matrix}], x : = [\begin{matrix} x_{1} \\ x_{2} \\ ⋮ \\ x_{n} \end{matrix}], b : = [\begin{matrix} b_{1} \\ b_{2} \\ ⋮ \\ b_{n} \end{matrix}]$ と置いてテンプレート:Math と行列の記法で書いていてもよい。この時さらに、係数行列テンプレート:Mvar が正則（可逆）であるものと仮定する。これはテンプレート:Math であることと同値。

これらの仮定の下、この方程式系は一意的に解くことができて、一意的な解テンプレート:Mvar の各成分テンプレート:Mvar は $x_{i} = \frac{\det (A_{i})}{\det (A)}$ で与えられる。ただし、ここで用いた行列テンプレート:Mvar は行列テンプレート:Mvar の第テンプレート:Mvar-列 (テンプレート:Math) を系の右辺であるテンプレート:Mvar で置き換えて得られる行列 $A_{i} : = [\begin{matrix} a_{1, 1} & \dots & a_{1, i - 1} & b_{1} & a_{1, i + 1} & \dots & a_{1, n} \\ a_{2, 1} & \dots & a_{2, i - 1} & b_{2} & a_{2, i + 1} & \dots & a_{2, n} \\ ⋮ & ⋮ & ⋮ & ⋮ & ⋮ \\ a_{n, 1} & \dots & a_{n, i - 1} & b_{n} & a_{n, i + 1} & \dots & a_{n, n} \end{matrix}]$ とする。

例

二階線型方程式系

例えば、次の線型方程式系 ${\begin{matrix} 1 x_{1} + 2 x_{2} = 3 \\ 4 x_{1} + 5 x_{2} = 6 \end{matrix}$ を考える。この方程式系の拡大係数行列は $(A ∣ b) = [\begin{matrix} 1 & 2 & 3 \\ 4 & 5 & 6 \end{matrix}]$ である。クラメルの法則により、系の解は $\begin{matrix} x_{1} & = \frac{\det (A_{1})}{\det (A)} = \frac{| \begin{matrix} 3 & 2 \\ 6 & 5 \end{matrix} |}{| \begin{matrix} 1 & 2 \\ 4 & 5 \end{matrix} |} = \frac{3}{- 3} = - 1, \\ x_{2} & = \frac{\det (A_{2})}{\det (A)} = \frac{| \begin{matrix} 1 & 3 \\ 4 & 6 \end{matrix} |}{| \begin{matrix} 1 & 2 \\ 4 & 5 \end{matrix} |} = \frac{- 6}{- 3} = 2 \end{matrix}$ と求められる。ここで、縦棒は行列式を表す標準的な記号法に従ったものである。

三階線型方程式系

別な例として次の線型方程式系 ${\begin{matrix} 82 x_{1} + 45 x_{2} + 9 x_{3} = 1 \\ 27 x_{1} + 16 x_{2} + 3 x_{3} = 1 \\ 9 x_{1} + 5 x_{2} + 1 x_{3} = 0 \end{matrix}$ をとる。拡大係数行列は $(A ∣ b) = [\begin{matrix} 82 & 45 & 9 & 1 \\ 27 & 16 & 3 & 1 \\ 9 & 5 & 1 & 0 \end{matrix}]$ である。解をクラメルの法則に従って求めれば、 $\begin{matrix} x_{1} & = \frac{\det (A_{1})}{\det (A)} = \frac{| \begin{matrix} 1 & 45 & 9 \\ 1 & 16 & 3 \\ 0 & 5 & 1 \end{matrix} |}{| \begin{matrix} 82 & 45 & 9 \\ 27 & 16 & 3 \\ 9 & 5 & 1 \end{matrix} |} = \frac{1}{1} = 1, \\ x_{2} & = \frac{\det (A_{2})}{\det (A)} = \frac{| \begin{matrix} 82 & 1 & 9 \\ 27 & 1 & 3 \\ 9 & 0 & 1 \end{matrix} |}{| \begin{matrix} 82 & 45 & 9 \\ 27 & 16 & 3 \\ 9 & 5 & 1 \end{matrix} |} = \frac{1}{1} = 1, \\ x_{3} & = \frac{\det (A_{3})}{\det (A)} = \frac{| \begin{matrix} 82 & 45 & 1 \\ 27 & 16 & 1 \\ 9 & 5 & 0 \end{matrix} |}{| \begin{matrix} 82 & 45 & 9 \\ 27 & 16 & 3 \\ 9 & 5 & 1 \end{matrix} |} = \frac{- 14}{1} = - 14 \end{matrix}$ となる。

歴史

クラメルの法則は、ガブリエル・クラメルが1750年に出版した著書 «Introduction à l′analyse des lignes courbes algébriques» ^[1] の付録 1 に収録されている。クラメルは、より多くの本数の方程式を持つ系を解くための公式の作り方を述べるために、三本の方程式を持つ線型方程式系に対する明示公式を与えている。この頃にはまだ行列式の概念は存在していないので、クラメルは分母と分子が多項式であるような分数を用いて記述していた。以下はクラメルのオリジナルの論文からの抜粋である（これらは行列式に関するライプニッツの公式と同じものである）

クラメルの公式

この例においてクラメルが現代的なものとは違う記法を用いていることが見て取れる。これは現代的な記法で言えば

x_{1} = \frac{b_{1} a_{22} a_{33} - b_{1} a_{32} a_{23} - b_{2} a_{12} a_{33} + b_{2} a_{32} a_{13} + b_{3} a_{12} a_{23} - b_{3} a_{22} a_{13}}{a_{11} a_{22} a_{33} - a_{11} a_{32} a_{23} - a_{21} a_{12} a_{33} + a_{21} a_{32} a_{13} + a_{31} a_{12} a_{23} - a_{31} a_{22} a_{13}}

なることを示すものである。クラメル自身は一意的に解くことができない線型方程式系が存在することを知っていた^[6]。ベズーは1764年に、一意的に解くことができない線型方程式系では、この式の分母が 0 になることを示す^[6]。クラメルもまた、この法則の証明を与えてはおらず、それが成されるのは1815年、コーシーの手によってである（今日用いられるクラメルの法則の記法を導入したのもコーシーである）。ライプニッツは1678年の手書きの論文において既にクラメルの法則を用いているが、しかしこれは後々まで発見されず、線型方程式系の解法の発展に影響を与えはしなかった^[6]。マクローリンは1748年の著書“Treatise on Algebra”において、方程式が二本または三本であるような場合の線型方程式に対する、クラメルの法則の特別の場合を述べている。マクローリンも、これらの公式をより方程式の本数が多い一般の場合へ拡張するアイデアを持っていたが、クラメルと違って多項式の符号を正しく定める方法が分からなかった^[7]。20世紀になって、数学史家テンプレート:仮リンクは、クラメルとマクローリンのどちらがこの公式を発見したのかという疑義を提示し、名称はマクローリン・クラメルの法則とすべしとした^[8]。

計算量

クラメルの法則を利用してテンプレート:Mvar 元線型方程式系を解こうとすれば、テンプレート:Math 個の行列式を計算しなければならない。このアルゴリズムにおいて算術演算の数は専ら行列式の計算から生じる。

クラメルの法則に現れる行列式をライプニッツの公式に従って計算すれば、(n − 1)·n! 回の掛け算と n − 1 回の足し算をすることになる。これは4本の方程式を持つ系の場合でも、360回の掛け算、4回の割り算、115回の足し算をすることを意味する。これは他の方法に比べて極めて多くの計算を要する。行列式の計算により効率的なアルゴリズムを用いたとしても、線型方程式をクラメルの法則で解こうとすれば、ガウス消去法などよりもずっと大きな計算量が必要になる。

テンプレート:Mvar 元一次連立方程式に対して、毎秒 10テンプレート:Sup 回浮動小数点演算可能 (100 Mflops) な性能の計算機で計算すると、計算時間は次の表のようになる^[9]:

n	10	12	14	16	18	20
計算時間	0.4秒	1分	3.6時間	41日	38年	16,000年

証明の概略と一般化について

証明のために、単位行列の第テンプレート:Mvar-列を方程式テンプレート:Math の変数ベクトルテンプレート:Mvar に置き換えて得られる行列テンプレート:Mvar を考える。例えばテンプレート:Math のときのテンプレート:Math は $X_{2} = [\begin{matrix} 1 & x_{1} & 0 & 0 \\ 0 & x_{2} & 0 & 0 \\ 0 & x_{3} & 1 & 0 \\ 0 & x_{4} & 0 & 1 \end{matrix}]$ で与えられる。このとき、テンプレート:Math およびテンプレート:Math となることが示せる。実際、いま挙げた例では $\begin{matrix} A \cdot X_{2} & = [\begin{matrix} a_{11} & a_{12} & a_{13} & a_{14} \\ a_{21} & a_{22} & a_{23} & a_{24} \\ a_{31} & a_{32} & a_{33} & a_{34} \\ a_{41} & a_{42} & a_{43} & a_{44} \end{matrix}] \cdot [\begin{matrix} 1 & x_{1} & 0 & 0 \\ 0 & x_{2} & 0 & 0 \\ 0 & x_{3} & 1 & 0 \\ 0 & x_{4} & 0 & 1 \end{matrix}] \\ = [\begin{matrix} a_{11} & a_{11} x_{1} + a_{12} x_{2} + a_{13} x_{3} + a_{14} x_{4} & a_{13} & a_{14} \\ a_{21} & a_{21} x_{1} + a_{22} x_{2} + a_{23} x_{3} + a_{24} x_{4} & a_{23} & a_{24} \\ a_{31} & a_{31} x_{1} + a_{32} x_{2} + a_{33} x_{3} + a_{34} x_{4} & a_{33} & a_{34} \\ a_{41} & a_{41} x_{1} + a_{42} x_{2} + a_{43} x_{3} + a_{44} x_{4} & a_{43} & a_{44} \end{matrix}] \\ = [\begin{matrix} a_{11} & b_{1} & a_{13} & a_{14} \\ a_{21} & b_{2} & a_{23} & a_{24} \\ a_{31} & b_{3} & a_{33} & a_{34} \\ a_{41} & b_{4} & a_{43} & a_{44} \end{matrix}] \\ = A_{2} \end{matrix}$ が成り立っている。また行列式の乗法性により $\begin{matrix} \det (A) \cdot \det (X_{i}) & = \det (A_{i}) \\ \det (A) \cdot x_{i} & = \det (A_{i}) \\ x_{i} & = \det (A_{i}) \cdot \det (A)^{- 1} \end{matrix}$ となる。仮定によりテンプレート:Math ゆえテンプレート:Math が存在することに注意。

証明の内容を省みれば、クラメルの法則の成立は以下の定理

正方線型方程式系テンプレート:Math が与えられたとき、テンプレート:Math がこの方程式系の解であるならば、各テンプレート:Mvar についてテンプレート:Math が成り立つ。

に集約されることがわかる。もちろん行列テンプレート:Mvar は行列テンプレート:Mvar の第テンプレート:Mvar-列を系の右辺であるテンプレート:Mvar で置き換えて得られる行列である。方程式の解が一意であるという仮定を外せば、割り算を実行することができないことも起こり得るが、いま述べた形の定理であれば、方程式系の係数が可換環に値をとる場合も含めて常に成立する^[10]が、これはもはやクラメルの法則と呼ばれることはない。

応用

逆行列の計算

テンプレート:Main 行列テンプレート:Mvar の逆行列は単位行列の各列ベクトルテンプレート:Mvar に対して、線型方程式系テンプレート:Math の解を求めれば求まる。これらの解をクラメルの法則によって求めれば、余因子行列テンプレート:Math を用いて公式 $A^{- 1} = \frac{1}{\det (A)} adj (A)$ を得る。この公式は行列の成分が（実数体テンプレート:Mathbf のような）体とは限らない可換環テンプレート:Mvar に値をとるとしても成り立つ。従って、行列テンプレート:Mvar が可逆となることとテンプレート:Math が（テンプレート:Mvar において）可逆（単元）となることとが同値であることもわかる。テンプレート:Mvar が体であるときは、この条件はテンプレート:Math と同じである。

斉次方程式系の解法

クラメルの法則を使えば、テンプレート:Math のとき斉次方程式系が自明な解テンプレート:Math を唯一の解として持つことは容易に示せる。各テンプレート:Mvar についてテンプレート:Mvar の第テンプレート:Mvar-列を零ベクトルで置き換えて得られる行列テンプレート:Mvar は、列ベクトルの全体がもはや線型独立ではなく、従ってテンプレート:Math が成り立つ。これによりテンプレート:Math が結論付けられる。

上記性質により、線型方程式系テンプレート:Math の核が零ベクトルのみからなることが従い、従ってそれが唯一の解である。

低次線型方程式系に対する行列式公式

線型方程式系 ${\begin{matrix} a x + b y = e \\ c x + d y = f \end{matrix}$ あるいは行列記法で $[\begin{matrix} a & b \\ c & d \end{matrix}] [\begin{matrix} x \\ y \end{matrix}] = [\begin{matrix} e \\ f \end{matrix}]$ を考え、テンプレート:Math と仮定すると、テンプレート:Mvar およびテンプレート:Mvar はクラメルの法則で計算できて $\begin{matrix} x = \frac{| \begin{matrix} e & b \\ f & d \end{matrix} |}{| \begin{matrix} a & b \\ c & d \end{matrix} |} = \frac{e d - b f}{a d - b c}, \\ y = \frac{| \begin{matrix} a & e \\ c & f \end{matrix} |}{| \begin{matrix} a & b \\ c & d \end{matrix} |} = \frac{a f - e c}{a d - b c} \end{matrix}$ を得る。三次の場合も同様で、線型方程式系 ${\begin{matrix} a x + b y + c z = j \\ d x + e y + f z = k \\ g x + h y + i z = l \end{matrix}$ あるいは $[\begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix}] [\begin{matrix} x \\ y \\ z \end{matrix}] = [\begin{matrix} j \\ k \\ l \end{matrix}]$ に対して、 x, y, z は $x = \frac{| \begin{matrix} j & b & c \\ k & e & f \\ l & h & i \end{matrix} |}{| \begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix} |}, y = \frac{| \begin{matrix} a & j & c \\ d & k & f \\ g & l & i \end{matrix} |}{| \begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix} |}, z = \frac{| \begin{matrix} a & b & j \\ d & e & k \\ g & h & l \end{matrix} |}{| \begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix} |}$ で求められる。

微分幾何

クラメルの法則は微分幾何学における問題を解くのにもきわめて有効である。二つの方程式テンプレート:Math およびテンプレート:Math を考える。テンプレート:Mvar とテンプレート:Mvar とが独立変数のとき、テンプレート:Math とテンプレート:Math が陰伏的に定まる。

テンプレート:Math に対する方程式を求めることは、クラメルの法則の自明な応用である。

まずテンプレート:Math2 それぞれの一階微分を計算する： $\begin{matrix} d F & = \frac{\partial F}{\partial x} d x + \frac{\partial F}{\partial y} d y + \frac{\partial F}{\partial u} d u + \frac{\partial F}{\partial v} d v = 0, \\ d G & = \frac{\partial G}{\partial x} d x + \frac{\partial G}{\partial y} d y + \frac{\partial G}{\partial u} d u + \frac{\partial G}{\partial v} d v = 0, \\ d x & = \frac{\partial X}{\partial u} d u + \frac{\partial X}{\partial v} d v, \\ d y & = \frac{\partial Y}{\partial u} d u + \frac{\partial Y}{\partial v} d v . \end{matrix}$ テンプレート:Math をテンプレート:Math に代入して $\begin{matrix} d F & = (\frac{\partial F}{\partial x} \frac{\partial x}{\partial u} + \frac{\partial F}{\partial y} \frac{\partial y}{\partial u} + \frac{\partial F}{\partial u}) d u + (\frac{\partial F}{\partial x} \frac{\partial x}{\partial v} + \frac{\partial F}{\partial y} \frac{\partial y}{\partial v} + \frac{\partial F}{\partial v}) d v = 0, \\ d G & = (\frac{\partial G}{\partial x} \frac{\partial x}{\partial u} + \frac{\partial G}{\partial y} \frac{\partial y}{\partial u} + \frac{\partial G}{\partial u}) d u + (\frac{\partial G}{\partial x} \frac{\partial x}{\partial v} + \frac{\partial G}{\partial y} \frac{\partial y}{\partial v} + \frac{\partial G}{\partial v}) d v = 0 \end{matrix}$ を得る。テンプレート:Mvar は独立変数だからテンプレート:Math の係数はテンプレート:Math でなければならない。故に係数に関する方程式を立てれば、 ${\begin{matrix} \frac{\partial F}{\partial x} \frac{\partial x}{\partial u} + \frac{\partial F}{\partial y} \frac{\partial y}{\partial u} = - \frac{\partial F}{\partial u} \\ \frac{\partial G}{\partial x} \frac{\partial x}{\partial u} + \frac{\partial G}{\partial y} \frac{\partial y}{\partial u} = - \frac{\partial G}{\partial u} \\ \frac{\partial F}{\partial x} \frac{\partial x}{\partial v} + \frac{\partial F}{\partial y} \frac{\partial y}{\partial v} = - \frac{\partial F}{\partial v} \\ \frac{\partial G}{\partial x} \frac{\partial x}{\partial v} + \frac{\partial G}{\partial y} \frac{\partial y}{\partial v} = - \frac{\partial G}{\partial v} \end{matrix}$ を得る。ここでクラメルの法則を使えば、 $\frac{\partial x}{\partial u} = \frac{| \begin{matrix} - \frac{\partial F}{\partial u} & \frac{\partial F}{\partial y} \\ - \frac{\partial G}{\partial u} & \frac{\partial G}{\partial y} \end{matrix} |}{| \begin{matrix} \frac{\partial F}{\partial x} & \frac{\partial F}{\partial y} \\ \frac{\partial G}{\partial x} & \frac{\partial G}{\partial y} \end{matrix} |}$ が得られる。これは二つの函数行列式 $\frac{\partial x}{\partial u} = - \frac{(\frac{\partial (F, G)}{\partial (u, y)})}{(\frac{\partial (F, G)}{\partial (x, y)})}$ を使って書き表される公式である。同様の公式がテンプレート:Math2 からもそれぞれ導かれる。

整数計画法

クラメルの法則は、制約行列が完全単模 (totally unimodular) で、右辺値が整数、基本解も整数であるような整数計画問題を解くのにも利用できる。これにより整数問題を解くことが大幅に容易になる。

常微分方程式

クラメルの法則は非斉次の線型微分方程式の一般解を定数変化法で導く場合にも利用できる。

幾何学的解釈

クラメルの法則を幾何学的に解釈することもできて、それは証明や幾何学的な性質を詳しく見ることによって得られる。この幾何学的な論法は、以下に例示する二次元の場合のみならず、一般の場合においても通用する。

方程式系 $\begin{matrix} a_{11} x_{1} + a_{12} x_{2} & = b_{1} \\ a_{21} x_{1} + a_{22} x_{2} & = b_{2} \end{matrix}$ はベクトルの間の方程式 $x_{1} [\begin{matrix} a_{11} \\ a_{21} \end{matrix}] + x_{2} [\begin{matrix} a_{12} \\ a_{22} \end{matrix}] = [\begin{matrix} b_{1} \\ b_{2} \end{matrix}]$ と見做すことができる。テンプレート:Math とテンプレート:Math の張る平行四辺形の面積は系の係数行列の行列式 $| \begin{matrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{matrix} |$ で与えられる。一般に、変数と方程式を増やして、長さテンプレート:Mvar のテンプレート:Mvar 本のベクトルを考えるとき、その行列式はテンプレート:Mvar-次元ユークリッド空間においてそれらのベクトルが張る平行体 (parallelepiped) の容積 (volume) を与える。

従って、テンプレート:Math とテンプレート:Math の張る平行四辺形の面積は、先ほどの面積のテンプレート:Math-倍である。この平行四辺形の面積は、カヴァリエリの原理により、テンプレート:Math とテンプレート:Math の張る平行四辺形の面積に等しい。

最後とその前の平行四辺形の面積が等しいことは方程式 $| \begin{matrix} b_{1} & a_{12} \\ b_{2} & a_{22} \end{matrix} | = | \begin{matrix} a_{11} x_{1} & a_{12} \\ a_{21} x_{1} & a_{22} \end{matrix} | = x_{1} | \begin{matrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{matrix} |$ の成立を意味するが、これはクラメルの法則からも得られる。

不能や不定の場合

方程式系が、不能 (incompatible) であるとは解が存在しないことを言う。また不定 (indeterminate) であるとは、二つ以上の解を持つことを言う。線型方程式の場合（基礎体が無限体であるとすると）、それが不定な系ならば一つ以上の変数が任意の値を取り得るから、解は無数に存在する。

クラメルの法則は係数行列の行列式がテンプレート:Math　でない場合にしか適用できないから、テンプレート:Math の系で行列式の値に基づく不能や不定の場合とは相容れない。

テンプレート:Math あるいはより高次の系に対して、係数行列の行列式がテンプレート:Math のときに言えるのは

（クラメルの公式の）分子になっている行列式のどれか一つでもテンプレート:Math でないならば、系は不能である。

ということだけである。逆は正しくなく、系が不能であっても全ての行列式がテンプレート:Math になる場合がある。例えばテンプレート:Math がそのような系である。

脚注

テンプレート:Reflist

外部リンク

テンプレート:Wikibooks

テンプレート:線形代数

↑ ^1.0 ^1.1 テンプレート:Citation
↑ テンプレート:Cite book
↑ テンプレート:Cite book
↑ テンプレート:Cite book
↑ テンプレート:Citation
↑ ^6.0 ^6.1 ^6.2 Jean-Luc Chabert et al.. A History of Algorithms. Form of the Pebble to the Microchip. Springer-Verlag, 1999, ISBN 3-540-63369-3, pp. 284–287. （クラメルのオリジナルの本の英語訳も載っている）
↑ Antoni A. Kosinski: Cramer's Rule Is Due to cramer. In: Mathematics Magazine. Bd. 74, Nr. 4, Oktober 2001, S. 310–312.
↑ Bruce A. Hedman: An Earlier Date for „Cramer's Rule“ In: Historica Mathematica. Bd. 24, 1999, S. 365–368.
↑ W. Dahmen, A. Reusken: Numerik für Ingenieure und Naturwissenschaftler, Springer, 2006, ISBN 3-540-25544-3
↑ Serge Lang: Algebra. 2. Auflage. Addison-Wesley, 1984, ISBN 0-201-05487-6, S. 451.

[CRAMER-1] 1.0 ^1.1 テンプレート:Citation

[2] テンプレート:Cite book

[3] テンプレート:Cite book

[4] テンプレート:Cite book

[5] テンプレート:Citation

[CHABERT_EN-6] 6.0 ^6.1 ^6.2 Jean-Luc Chabert et al.. A History of Algorithms. Form of the Pebble to the Microchip. Springer-Verlag, 1999, ISBN 3-540-63369-3, pp. 284–287. （クラメルのオリジナルの本の英語訳も載っている）

[KOSINSKI-7] Antoni A. Kosinski: Cramer's Rule Is Due to cramer. In: Mathematics Magazine. Bd. 74, Nr. 4, Oktober 2001, S. 310–312.

[HEDMAN-8] Bruce A. Hedman: An Earlier Date for „Cramer's Rule“ In: Historica Mathematica. Bd. 24, 1999, S. 365–368.

[9] W. Dahmen, A. Reusken: Numerik für Ingenieure und Naturwissenschaftler, Springer, 2006, ISBN 3-540-25544-3

[LANG-10] Serge Lang: Algebra. 2. Auflage. Addison-Wesley, 1984, ISBN 0-201-05487-6, S. 451.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

クラメルの公式

目次

主張

例

二階線型方程式系

三階線型方程式系

歴史

計算量

証明の概略と一般化について

応用

逆行列の計算

斉次方程式系の解法

低次線型方程式系に対する行列式公式

微分幾何

整数計画法

常微分方程式

幾何学的解釈

不能や不定の場合

脚注

関連文献

関連項目

外部リンク

ナビゲーションメニュー

クラメルの公式

主張

例

二階線型方程式系

三階線型方程式系

歴史

計算量

証明の概略と一般化について

応用

逆行列の計算

斉次方程式系の解法

低次線型方程式系に対する行列式公式

微分幾何

整数計画法

常微分方程式

幾何学的解釈

不能や不定の場合

脚注

関連文献

関連項目

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー