关于为什么最远点对一定在凸包上的证明（可能伪证了求dalao指出）
写在前面
看了看网上关于“为什么最远点对一定在凸包上”的文章，都是。。。。。。“易证”，“证明略去”balabala，但是我还是对这个结论有多么易证有点小懵逼啊，所以就手推了一波。。。。。
分析一波为什么最远的点对一定是在凸包上：
如上图，给出了平面内的一堆点，凸包已画出。对于给出的点，只有两种情况：在凸包上或在凸包内，所以我们需要否认两种情况：1.最远点对均在凸包内。2.最远点对一个在凸包上一个在凸包内。
1.最远点对均在凸包内
我们在凸包内任选一个点，向凸包上的所有点连边（如上图所示）
这样所有在凸包内的点一定就被分在了某个三角形内了（或者三角形边上）
所以情况转化为下图所示：
所以问题就转化为证AD<AB或者AD<AC。
我们延长AD至BC，得到下图：
所以就有，如果有AD>AB，那么AE>AB，
，
。
所以就有，所以就有AC>AE>AD，所以最远点对一定不会在内部。
2.最远点对一个在凸包上，一个在凸包内
证法其实与上面相同，只是将A,B,C都视作凸包上的点，D视为凸包内一点，仍然可得AB,AC至少有一个会比AD长。
所以综上可以得到最远点对一定在凸包上了。。。。。。。吧。。。。。。。。（如果有纰漏请指出我会马上修正）
