线段的和差倍分问题的证明