差分的时候不要把 LCA 减两次，而是 LCA 和 fa[LCA] 分别减一次，因为实际拆上是 $u\to$ LCA 和 $v\to$ fa[LCA] 两条链。

唐完了。