延长线数学定义