为什么平行线分线段成比例是基本事实