典型的高二几何概型，先表示所有事件可能的总图形面积，再表示 AB 两人碰面的面试（解不等式）