t等于2.5的时候，ko已经不能完全包含hl了，不成立。我理解是完全包含且端点可重合。
【 在 jindx 的大作中提到: 】
: 第一，原题对于友好线段的定义是“有公共部分（端点可以重合）”
: 第二，那t=2.5呢？
:
--
FROM 223.160.151.*