成比例线段与比例的基本性质