显式函数 线性方程组 计算公式 导数 范得蒙行列式 表达式 孤子解 列线