宽对角行列式公式推导过程