证明线段相等的基本思路