证明：
取;容易有由是的外接圆,以及有:右边可由极坐标计算得带入可得:即得证.
求:
令 ，则 。
设在上为凸函数,且在上二阶可导,证明,在上有:
若当有,则对于由泰勒公式使得:以及两式子相加有由可得与在上为凸函数矛盾.故假设不成立,当有.