展开 范德蒙行列式用对角化解