证明线段相等