建立函数按照这篇文章建立
但是证明这个函数是单峰的还是比较困难,我们只能来感性理解一下
我们首先将\(CD\)从线段变成直线,然后在\(F\)为无穷远的时候,函数值显然为无穷,然后我们把\(F\)拉到附近,函数值显然就为有限值了,再将\(F\)拉到另一端的无穷远,函数值又为无穷了,像这种一般都是三分,可以直接上三分了