4.1 线段的理论基础