数学の本 第90巻

この3つの条件から、

det(A) = Σ±a_{1, α} * a_{2, β} * … * a_{n, ω}

ただし、 {α, β, …, ω} = {1, 2, …, n}

という式を導いています。

これって、3つの条件を満たす関数があるとするとこうならなければならないということを示しただけですよね。