展开 平行线锄头模型证明过