広義積分． を仮定していろいろ計算．

n 次行列式を第1列に関する展開によって n-1 次行列式を用いて定義したとき，各列に関する線形性，列に関する交代性，単位行列の行列式が 1 であること，を証明した．第 1，j 列に関する交代性以外は自明．j > 2 の場合は j = 2 の場合に帰着できる．そして，…