截长补短法证明题