用matlab符号工具箱证明范德蒙矩阵的行列式.