本節(jié)講述一個很重要也很有難度的定理；

為方便問題討論，我們假設球心在坐標原點

首先由極小值點可以很容易得出：

為了證明嚴格大于，我們僅需要能夠構造這樣的函數(shù)：

為了構造此函數(shù)，我們?nèi)缦虏僮鳎?/p>

具體言之：

（示意圖右下）

此時自然滿足star圖的第一個條件：

對star圖的第二個條件我們來看：

對于v我們可能感覺很抽象，下面構造了一個例子：