成比例线段的基本事实