范德蒙行列式证明过程中用到的方法