成比例线段的基本性质 成比例线段的基本性质的证明