证明若 A 三角, \det A = 对角元素乘积。