关于为什么最远点对一定在凸包上的证明（可能伪证了求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长。

所以综上可以得到最远点对一定在凸包上了。。。。。。。吧。。。。。。。。（如果有纰漏请指出我会马上修正）

转载于:https://www.cnblogs.com/Ishtar/p/10010792.html