树上（正权）最远点对问题

对于无根树上任意一点 $u$，以 $u$ 为根的有根树的最大深度的叶子节点中必然有一个为直径

因此，对于一棵树，将其任意一边断开，得到两颗树，设每棵树的最远点对集为 $diam(t)$，则 $diam(u+v)=diam(diam(u)\cup diam(v))$，反证法可证

更进一步，对于 $S=S_1\cup S_2$，有 $diam(S)=diam(diam(S_1)\cup diam(S_2))$

可能是错的？待证，但貌似没有用的地方？好像 NOI 2018 用到了。