1. 程式人生 > >關於為什麼最遠點對一定在凸包上的證明(可能偽證了求dalao指出)

關於為什麼最遠點對一定在凸包上的證明(可能偽證了求dalao指出)

分析一波為什麼最遠的點對一定是在凸包上:

如上圖,給出了平面內的一堆點,凸包已畫出。對於給出的點,只有兩種情況:在凸包上或在凸包內,所以我們需要否認兩種情況:1.最遠點對均在凸包內。2.最遠點對一個在凸包上一個在凸包內。

1.最遠點對均在凸包內

我們在凸包內任選一個點,向凸包上的所有點連邊(如上圖所示)

這樣所有在凸包內的點一定就被分在了某個三角形內了(或者三角形邊上)

所以情況轉化為下圖所示:

所以問題就轉化為證AD<AB或者AD<AC。

我們延長AD至BC,得到下圖:

所以就有\beta+\theta+\gamma=180\degree,如果有AD>AB,那麼AE>AB,\beta>\alpha\angle AEC=180\degree-\alpha,\angle ACB=180\degree-\beta-\theta

所以就有\angle AEC>\angle ABC,所以就有AC>AE>AD,所以最遠點對一定不會在內部。

2.最遠點對一個在凸包上,一個在凸包內

證法其實與上面相同,只是將A,B,C都視作凸包上的點,D視為凸包內一點,仍然可得AB,AC至少有一個會比AD長。

所以綜上可以得到最遠點對一定在凸包上了。。。。。。。吧。。。。。。。。(如果有紕漏請指出我會馬上修正)