# 保西奴-華實斯定理

## 保西奴-華實斯定理

### 證明二

${\displaystyle a}$${\displaystyle b}$組成一個間距${\displaystyle I_{1}:=[a,b]}$

${\displaystyle n_{1}:=1}$，然後將${\displaystyle I_{1}}$斬開兩等分，即係${\displaystyle I_{1}'}$${\displaystyle I_{1}''}$。而將${\displaystyle (x_{n})}$大過一嘅項數${\displaystyle \{n\in \mathbb {N} :n>1\}}$分開做，${\displaystyle A_{1}:=\{n\in \mathbb {N} :n>n_{1}=1,x_{n}\in I_{1}'\}\quad B_{1}:=\{n\in \mathbb {N} :n>n_{1}=1,x_{n}\in I_{1}''\}}$咁明顯，其中一面${\displaystyle A_{1}}$或者${\displaystyle B_{1}}$係有無限咁多點。假設${\displaystyle A_{1}}$係有無限咁多點，

${\displaystyle n_{2}}$定義為${\displaystyle A_{1}}$入面項數最細嗰一項。即係${\displaystyle A_{1}}$入面有${\displaystyle \{x_{3},x_{2},x_{5},x_{11},\cdots \}}$，咁${\displaystyle n_{2}:=2}$

${\displaystyle I_{2}:=I_{1}'}$，之後再將${\displaystyle I_{2}}$斬開兩等分，即係${\displaystyle I_{2}'}$${\displaystyle I_{2}''}$。而再將${\displaystyle A_{1}}$嘅數分開，${\displaystyle A_{2}:=\{n\in \mathbb {N} :n>n_{2},x_{n}\in I_{2}'\}\quad B_{2}:=\{n\in \mathbb {N} :n>n_{2},x_{n}\in I_{2}''\}}$同樣原理，咁其中一面${\displaystyle A_{2}}$或者${\displaystyle B_{2}}$係有無限咁多點。假設${\displaystyle A_{2}}$係有無限咁多點，

${\displaystyle n_{3}}$定義為${\displaystyle A_{2}}$入面項數最細嗰一項。