1.4.6 线段分解定理