保西奴中間點定理

保西奴中間點定理係屬於數學分析入面，間上連續函數入面一個定理嘅推斷。佢係來自根定位定理，而根定位定理係一個相當重要嘅定理，佢會利用左斬半間距嘅做法。

根定位定理 
假設，係喺上面連續。

如果或者，咁就會有一點符合。

證明：

假設。

設一個間距，，就係呢個間距嘅中間點。

如果，咁，可以收工。

如果，咁即係或者。
 如果，設，就係間距嘅中間點。
 如果，設，就係間距嘅中間點。

無論如何，都會得出一個循環間距符合同埋。

將以上步驟做落去可以得到以下設定：

有間距符合同埋，設，將佢斬半。
 如果，咁，可以收工。
 如果，設，就係間距嘅中間點。
 如果，設，就係間距嘅中間點。

如果上面嘅步驟係有限咁多步就做到，咁定理就成立。

需要考慮，呢個步驟係無限咁進行落去嘅話會點。

假設以上步驟係無窮咁進行，咁就會得出一串循環間距。

，同時間會有同埋。

因為每次間距都斬半，所以嘅長度係。

利用循環間距定理，得知對應所有嘅，會有一點係入面，即係話。

利用長度嚟計算，所以。

因為喺呢點上面係連續，所以。

利用極限排序性質，同埋。

所以總結出。

中間點定理 
中間點定理係上面根定位嘅推理。

假設係一個間距同埋係喺上面連續。

如果同埋符合，咁就會有一點喺同之間，使到。

證明：

只有兩個可能性，就係或者。

設。

咁，。

利用得知，。

即係，再利用根定位定理得知，有點符合。

設。

咁，。

利用得知，。

即係，再利用根定位定理得知，有點符合。

推斷：

設係一個關閉又被綁定嘅間距，係喺上面連續嘅。

如果係任何一個數符合，咁就會有一點使到。

應用 
設係一個關閉又被綁定嘅間距，係喺上面連續嘅。咁都係一個關閉又被綁定嘅間距。

證明：

設同。

利用最高點最低點定理，得知。

所以。

設。

咁因為中間點嘅推斷得知，有會一點符合。

所以。

因此。

綜合兩者，係一個間距，佢係。

極限
 連續函數
 函數組合嘅連續性
 間上連續函數
 函數最高點與最低點
 統一連續

數學分析
函數
連續函數