轨迹方程 维空间 等距离 n阶行列式 证明过程 平面几何 卵形线 杨辉三角