树的直径（数学推导）

这篇写了重点在于数学推导，单纯的说总感觉有些情况没考虑。

所以特地推导一下树的直径两次dfs求法可行

条件：现有树tree有直径ab（直径就是树的最长路径）

推论：从树上任意一点能达到的最远的一个点一定是直径的端点。

反证法：

假设推论的反面成立，从树上任意一点达到的最远一个点不是直径的端点