展开 证明两条线段相等