对于一棵树上三个点 \(p, q, i\) 存在 \(dis(p, q) \leq dis(p, i) + dis(i, q)\) 等号成立条件： 当且仅当 \(i\) 位于 \(p, q\) 的路径上。