展开 证明两条线相等的定理