# 價值耦合智能論 09
# 從歐拉公式到拓撲學：反例如何改造定義

## 摘要

本篇從前八篇的抽象模型轉入第一個完整數學史案例：歐拉多面體公式

$$
V-E+F=2.
$$

對凸多面體而言，這個公式成立；但一旦「多面體」被理解得更寬，洞、環、非單連通表面以及各種病態對象便會產生反例。這些反例並沒有使公式變成一段失敗的數學史。相反，它們逐步迫使數學家區分「哪一類對象」共享同一個不變量，並最終促成 Euler characteristic 與拓撲思想的發展。

本文以 Euler、Lhuilier、Cauchy、Poincaré，以及 Lakatos 對這段歷史的重構為主線，檢驗《價值耦合智能論》第二部提出的幾個指標：終止式反駁、反例提取率、失敗回收率與生成式反駁。

核心歷史轉化可以表示為：

$$
V-E+F=2
$$

從一條「對所有多面體都成立」的樸素猜想，經由反例與定義修正，轉化成：

$$
\chi = V-E+F,
$$

再進一步得到對閉合可定向曲面：

$$
\chi = 2-2g,
$$

以及更一般的 Euler–Poincaré characteristic：

$$
\chi(K)
=
\sum_{k\ge 0}(-1)^k\alpha_k.
$$

因此這段歷史最值得研究的，不只是 Euler 的公式是對還是錯，而是：

$$
\boxed{
\text{一個被反例限制適用域的公式，}
}
$$

$$
\boxed{
\text{如何反而暴露出比原命題更一般的不變結構。}
}
$$

本篇主張，這正是「生成式反駁」最典型的案例之一：反例沒有摧毀原問題，而是迫使研究者重新定義研究對象，最終使「2」從答案變成了一個特殊拓撲類別的特徵值。

---

## 關鍵詞

Euler 多面體公式、Euler characteristic、拓撲學、Lakatos、Proofs and Refutations、Lhuilier、Cauchy、Poincaré、反例、定義修正、生成式反駁

---

# 一、最初看起來只是一條漂亮的計數公式

對一個凸多面體，令：

- \(V\)：頂點數；
- \(E\)：邊數；
- \(F\)：面數。

Euler 的多面體公式為：

$$
V-E+F=2.
$$

例如四面體：

$$
4-6+4=2,
$$

立方體：

$$
8-12+6=2,
$$

八面體：

$$
6-12+8=2.
$$

今天看來，這是一條極其基本的結果。

但從研究方法論角度看，它的歷史比公式本身更重要。

Euler 在十八世紀中葉系統研究多面體，相關論文刊於 1758 年；原始文獻中他把關係寫成等價形式：

$$
V+F=E+2.
$$

當時公式更像是「頂點、邊、面三個數量之間存在普遍關係」。

而現代讀法卻不同。

現代人更容易把：

$$
V-E+F
$$

視為一個整體。

這個視角的改變，正是後來 Euler characteristic 的入口。

---

# 二、第一個真正重要的變化：從「解方程」到「找不變量」

如果只把：

$$
V+F=E+2
$$

看成三個數量間的代數關係，它的作用是：

> 已知其中兩個，計算第三個。

但如果改寫：

$$
V-E+F=2,
$$

注意力便轉向：

$$
\boxed{
V-E+F
}
$$

本身。

這個量在大量不同凸多面體上都保持：

$$
2.
$$

於是問題從：

> 頂點、邊、面怎麼互相計算？

轉成：

> 為什麼形狀明明不同，這個組合卻不變？

這是一個非常典型的研究相位轉換：

$$
\text{relation}
\rightarrow
\text{invariant}.
$$

而拓撲學最核心的思想之一，正是尋找在某類變形下仍然不變的量。

---

# 三、如果公式永遠只遇到凸多面體，問題反而不會充分展開

對凸多面體：

$$
V-E+F=2.
$$

若研究者一直只考察這個安全域，公式可以長期維持完美。

但一旦「polyhedron」被理解得更寬，問題便出現。

例如考慮具有一個洞、拓撲上類似 torus 的多面體表面：

$$
V-E+F
\neq 2.
$$

典型情況為：

$$
V-E+F=0.
$$

此時最直接的反應是：

$$
\boxed{
\text{Euler 公式錯了。}
}
$$

若任務只是判斷：

> 「所有廣義多面體是否都滿足 \(V-E+F=2\)？」

那麼這個回答完全正確。

但如果研究就在此停止，後來的故事便不會出現。

---

# 四、這是一個完美的 Proposition Closure / Inquiry Closure 分離案例

第 05 篇提出：

$$
\text{Proposition Closure}
\neq
\text{Inquiry Closure}.
$$

Euler 公式的歷史正好展示這一點。

原始強命題若寫成：

$$
H_0:
\forall P\in\mathcal P,\quad
V(P)-E(P)+F(P)=2,
$$

只要 \(\mathcal P\) 足夠寬，就存在反例：

$$
c\in\mathcal P
$$

使：

$$
V(c)-E(c)+F(c)\neq2.
$$

所以：

$$
H_0=\text{false}.
$$

但是新的研究問題立即出現：

1. 哪些 \(P\) 仍然滿足 2？
2. 不滿足 2 的對象得到什麼數？
3. 這個數與形狀的哪種結構有關？
4. 換一種分割方法，數值會改變嗎？
5. 是否能用這個數分類曲面？

因此：

$$
H_0\text{ 死亡}
$$

並沒有導致：

$$
\operatorname{Inquiry}=0.
$$

反而造成：

$$
|\mathcal H_{\mathrm{new}}|\uparrow.
$$

---

# 五、Lhuilier：反例開始暴露 genus

十九世紀初，Simon Lhuilier 將公式推廣到具有洞的可定向曲面。

若 genus 為：

$$
g,
$$

則：

$$
\boxed{
V-E+F=2-2g.
}
$$

因此：

### Sphere-like surface

$$
g=0
$$

所以：

$$
\chi=2.
$$

### Torus

$$
g=1
$$

所以：

$$
\chi=0.
$$

### Double torus

$$
g=2
$$

所以：

$$
\chi=-2.
$$

原本看起來像「破壞公式」的洞，現在反而成為：

$$
\boxed{
\text{控制公式數值的結構變量。}
}
$$

這是生成式反駁非常典型的成果。

---

# 六、一個反例從「例外」升級成「新變量」

如果使用第 07 篇的語言，torus 反例提供的不只是：

$$
\operatorname{Refute}=1.
$$

它還提供：

$$
\Gamma(c;h)
=
(
L,B,M,G,R,T
).
$$

其中最重要的是：

### Boundary

原來公式 \(=2\) 的適用域不是所有表面。

### Mechanism

改變數值的重要因素之一是：

$$
g,
$$

也就是 genus。

### Generalization

具有相同 genus 的大量曲面共享：

$$
\chi=2-2g.
$$

因此一個反例族直接生成了一個新分類參數。

這已經不是：

> 修理一條錯誤公式。

而是：

$$
\boxed{
\text{產生新的對象分類方式。}
}
$$

---

# 七、真正被修改的其實是「多面體」概念

Lakatos 在《Proofs and Refutations》裡使用 Euler 公式，正是因為這個案例可以展示：

> 數學定義並不總是在研究開始前就完全固定。

當出現新的反例，研究者可能：

- 限縮 polyhedron 定義；
- 排除某類「monster」；
- 修改 lemma；
- 加入 connectedness 條件；
- 加入 face 的拓撲條件；
- 重新思考到底什麼才是原公式真正描述的對象。

因此反例攻擊的不只是：

$$
H.
$$

它甚至可能攻擊：

$$
\boxed{
\mathcal O
=
\text{object ontology}.
}
$$

也就是「我們到底在研究什麼東西」。

---

# 八、Monster-barring：最簡單但最危險的修法

當反例出現時，最容易的方法是說：

> 那不算真正的多面體。

形式上：

$$
c\in\mathcal P
$$

被重新定義成：

$$
c\notin\mathcal P'.
$$

於是：

$$
H_0
$$

重新成立。

這種做法 Lakatos 稱之為 monster-barring 類型的反應。

它不一定錯。

定義本來就需要邊界。

問題在於：

> 排除這個對象是否有獨立的結構理由？

如果只是：

$$
\text{因為它讓定理失敗，所以把它踢掉},
$$

那麼定義便被命題綁架。

這是一種：

$$
\boxed{
\text{Theory-protective definition}.
}
$$

---

# 九、好的定義修正不是為了保住公式，而是為了暴露分類

因此可以區分：

## 防禦式修正

$$
\text{counterexample}
\rightarrow
\text{exclude object}
\rightarrow
\text{preserve theorem}.
$$

## 生成式修正

$$
\text{counterexample}
\rightarrow
\text{identify structural difference}
\rightarrow
\text{refine object classes}
\rightarrow
\text{new theorem family}.
$$

後者的終點不是：

$$
V-E+F=2
$$

重新無條件成立。

而是得到：

$$
\chi=2-2g.
$$

也就是：

> 2 只是 \(g=0\) 時的一個特例。

這才是真正的概念升級。

---

# 十、原本的「錯」沒有被刪除，而是被重新定位

這正好對應我們前面提出的：

$$
\operatorname{Relocate}(T_{\mathrm{valid}}).
$$

原公式：

$$
V-E+F=2
$$

不是垃圾。

它只是從：

$$
\text{all polyhedral-like objects}
$$

被重新放到：

$$
\text{sphere-like / genus-zero class}.
$$

因此研究更新不是：

$$
T
\rightarrow
\varnothing.
$$

而是：

$$
T
\rightarrow
(T,\operatorname{Domain}(T)).
$$

這正是：

$$
\boxed{
\text{理論重定位}
}
$$

而不是單純理論修補。

---

# 十一、Cauchy：證明方法本身也推動概念轉換

十九世紀早期，Cauchy 對 Euler 多面體公式給出著名的展平式證明方法：移去一個面，把多面體表面攤平為平面圖，再透過逐步簡化維持相關計數關係。

這類證明的重要性不只在於：

$$
V-E+F=2
$$

終於得到更清楚的證明。

更重要的是，它促使人們看到：

> 真正重要的可能不是多面體的度量形狀，而是頂點、邊、面之間的連接關係。

因此：

$$
\text{solid geometry}
$$

開始向：

$$
\text{combinatorial/topological structure}
$$

移動。

公式不再依賴：

- 邊有多長；
- 角有多大；
- 面積多少；
- 多面體被如何扭曲。

它依賴的是：

$$
\boxed{
\text{connection pattern}.
}
$$

---

# 十二、這就是拓撲式思考的萌芽

若把一個立方體變形成近似球狀：

$$
V-E+F
$$

不會因為：

- 拉長；
- 壓縮；
- 彎曲；

而改變。

真正會改變它的，是：

- 穿洞；
- 黏合；
- 改變連通結構。

於是研究焦點從：

$$
\text{metric properties}
$$

轉成：

$$
\text{topological properties}.
$$

這就是為什麼 Euler 多面體公式經常被描述成拓撲學誕生史中的核心線索之一。

---

# 十三、從常數 2 到函數 \(\chi\)

最重要的概念跳躍可以寫成：

### 第一階段

$$
V-E+F=2.
$$

### 第二階段

$$
V-E+F
$$

本身值得命名。

於是定義：

$$
\boxed{
\chi
=
V-E+F.
}
$$

現在：

$$
2
$$

不再是公式的唯一核心。

核心變成：

$$
\chi.
$$

這是一個非常典型的概念生成：

$$
\boxed{
\text{把一個固定答案提升成一個可變的不變量。}
}
$$

---

# 十四、這一步在研究方法論上非常深

原本問題是：

> 為什麼答案總是 2？

反例出現後，如果採終止式反駁：

> 因為並不總是 2，所以原猜想錯了。

問題結束。

但生成式路徑會問：

> 如果不是 2，那它究竟是多少？

於是：

$$
2
$$

被升級為：

$$
\chi(X).
$$

原本的常數：

$$
2
$$

只是：

$$
\chi(S^2)=2.
$$

這就是：

$$
\boxed{
\text{從結果中心轉向結構中心。}
}
$$

---

# 十五、Euler characteristic 最終變成拓撲不變量

對有限 CW complex，可定義：

$$
\chi(K)
=
\sum_{k=0}^{\infty}
(-1)^k\alpha_k,
$$

其中 \(\alpha_k\) 是 \(k\)-維 cell 的數量。

更進一步：

$$
\chi(K)
=
\sum_{k=0}^{\infty}
(-1)^k b_k,
$$

其中 \(b_k\) 為 Betti numbers。

這意味：

$$
\chi
$$

不再只是：

> 數多面體的頂點、邊和面。

而成為：

$$
\boxed{
\text{homological / topological invariant}.
}
$$

這個量不依賴特定 triangulation。

換句話說：

> 同一拓撲空間可以被切成完全不同的 cell，但 Euler characteristic 仍不變。

---

# 十六、Poincaré：把三維直覺推向任意維度

Euler 的公式起點是三維多面體表面。

Poincaré 則把結構推向更高維：

$$
\chi
=
n_0-n_1+n_2-n_3+\cdots
$$

其中：

$$
n_k
$$

是 \(k\)-維 simplex／cell 的數量。

於是：

$$
V-E+F
$$

只是更一般 alternating sum 的低維版本。

這是一個非常典型的生成鏈：

$$
\text{local counting relation}
$$

$$
\downarrow
$$

$$
\text{surface invariant}
$$

$$
\downarrow
$$

$$
\text{higher-dimensional invariant}.
$$

---

# 十七、這段歷史展示了極高的 CER

第 07 篇定義：

$$
CER
=
\frac{
I_{\mathrm{extracted}}(c)
}{
I_{\mathrm{available}}(c)
}.
$$

Euler 公式的反例史可以被理解為高 CER 案例。

因為研究者沒有只提取：

$$
\text{formula false}.
$$

而逐步提取：

### Localization

不是所有「多面體」都屬於同一結構類。

### Boundary

genus zero 與 higher genus 行為不同。

### Mechanism

洞／拓撲連通結構改變 Euler characteristic。

### Generalization

$$
\chi=2-2g.
$$

### Repair

限制原公式適用域。

### Transfer

形成一般拓撲不變量。

因此：

$$
\Gamma(c;h)
$$

幾乎每一項都產生了後續數學。

---

# 十八、這也是高 FSR 的歷史案例

第 08 篇提出：

$$
\Phi(F)
=
(K,B,M,A,T,N,H).
$$

如果把原始廣義猜想的失敗看作：

$$
F,
$$

則它留下：

### \(K\)

凸／sphere-like 情形仍然成立。

### \(B\)

成立與失效的拓撲邊界。

### \(M\)

genus／holes。

### \(A\)

多種證明與 combinatorial reduction 方法。

### \(T\)

圖論、拓撲與高維複形。

### \(N\)

什麼量能分類不同空間？

### \(H\)

整個反例—定義修正歷史。

因此：

$$
FSR(F)
$$

極高。

原始命題失效的一部分，反而成為後來新數學的原料。

---

# 十九、真正被拯救的不是原命題，而是結構

這再次提醒：

$$
\text{salvage}
\neq
\text{save the original claim}.
$$

沒有必要堅持：

$$
V-E+F=2
$$

對 torus 也成立。

真正被保留的是：

$$
\boxed{
V-E+F
}
$$

這個結構。

原來的：

$$
=2
$$

被拆掉。

留下：

$$
\chi=V-E+F.
$$

這是極其漂亮的理論回收：

$$
\text{wrong universal constant}
$$

被轉化成：

$$
\text{right invariant function}.
$$

---

# 二十、這是「局部錯誤不等於整體生成價值歸零」的歷史版本

用本系列的語言：

$$
T
=
(
T_{\mathrm{core}},
T_{\mathrm{scope}},
T_{\mathrm{expression}}
).
$$

Euler 公式的核心：

$$
T_{\mathrm{core}}
=
V-E+F
$$

具有巨大價值。

錯誤主要在：

$$
T_{\mathrm{scope}}
$$

若把適用域過度擴張。

所以最佳操作不是：

$$
\operatorname{Discard}(T).
$$

而是：

$$
\operatorname{RepairScope}(T).
$$

再進一步：

$$
\operatorname{GeneralizeCore}(T).
$$

最後得到：

$$
\chi.
$$

---

# 二十一、反例甚至改變了「問題是什麼」

最初問題：

> 多面體的頂點、邊、面有什麼關係？

後來變成：

> 哪些表面具有相同 Euler characteristic？

再後來：

> 哪些量在 homeomorphism 下保持不變？

再後來：

> 如何用 homology 描述空間？

也就是：

$$
Q_0
\rightarrow
Q_1
\rightarrow
Q_2
\rightarrow
Q_3.
$$

這說明生成式反駁最強的結果，不一定是：

$$
h'
$$

即「更正後的命題」。

還可能是：

$$
\boxed{
Q'
}
$$

也就是「更好的問題」。

---

# 二十二、這對 AI 數學研究有直接啟示

若研究 Agent 只保存：

```text
Euler formula failed on torus-like object.
```

那麼系統得到：

$$
\text{negative knowledge}.
$$

若再記錄：

```text
Failure correlates with genus.
```

就得到：

$$
\text{mechanistic knowledge}.
$$

若再形成：

$$
\chi=2-2g,
$$

得到：

$$
\text{generalized knowledge}.
$$

若最後抽象成：

$$
\chi(X),
$$

則得到：

$$
\text{new mathematical object}.
$$

所以 AI 的 counterexample module 理想上應該具有四層輸出：

$$
\text{Refute}
\rightarrow
\text{Classify}
\rightarrow
\text{Generalize}
\rightarrow
\text{Reconceptualize}.
$$

---

# 二十三、可以定義「概念生成收益」

第 07 篇已有：

$$
CGR
=
\text{Counterexample Generative Return}.
$$

但 Euler 案例顯示，最高級的反例收益甚至不是生成新猜想數量。

而是生成新的概念：

$$
\chi.
$$

因此可以增加：

$$
CNR
=
\text{Concept Novelty Return}.
$$

也就是：

$$
\boxed{
\text{反例是否促使研究者建立新的概念變量或不變量？}
}
$$

Euler characteristic 就是極高 CNR 的歷史案例。

---

# 二十四、定義修改本身也需要防止「保護性過擬合」

這個案例還帶來另一個警告。

如果每一個反例 \(c_i\) 出現，就加入一條條件：

$$
H_{i+1}
=
H_i\land\neg c_i,
$$

最後可以得到一條：

> 永遠沒有反例

的命題。

但它可能完全失去：

- 簡潔性；
- 一般性；
- 可理解性；
- 結構價值。

這相當於：

$$
\boxed{
\text{theory overfitting}.
}
$$

因此反例驅動修正不能只是：

> 補洞。

而必須尋找：

$$
\boxed{
\text{能同時解釋一整類反例的低維結構。}
}
$$

在 Euler 案例裡，這個低維結構就是：

$$
g.
$$

---

# 二十五、好修正的標準不是「讓反例消失」

可以把修正版價值表示為：

$$
U(h')
=
w_TT
+
w_GG
+
w_SS
+
w_EE
-
w_CC.
$$

其中：

- \(T\)：真實性；
- \(G\)：一般性；
- \(S\)：結構簡潔性；
- \(E\)：解釋力；
- \(C\)：補丁複雜度。

如果只是為了排除反例而大量加條件：

$$
C\uparrow
$$

卻沒有：

$$
E\uparrow,
$$

那只是低品質修補。

真正好的生成式反駁應該讓：

$$
\text{explanatory compression}
$$

上升。

$$
\chi=2-2g
$$

正是這種類型。

---

# 二十六、反例讓公式從幾何走向拓撲

這段歷史最重要的整體變化可以表示為：

$$
\text{Geometry}
\rightarrow
\text{Combinatorics}
\rightarrow
\text{Topology}.
$$

起點是實體多面體。

中間是：

$$
V,E,F
$$

的組合計數。

終點則是：

$$
\chi(X)
$$

這種不依賴具體度量形狀的拓撲不變量。

所以真正的創造不是：

> 找到另一條方法證明 2。

而是：

> 發現 2 原來只是一個更大結構中的一個值。

---

# 二十七、從本系列角度重新閱讀這段數學史

現在可以把前八篇的指標全部放進來。

### TRP：Terminal Refutation Preference

若高：

$$
\text{torus counterexample}
\rightarrow
\text{Euler formula false}
\rightarrow
\text{stop}.
$$

數學史到此為止。

### PSR：Premature Switching Rate

若高：

$$
\text{formula fails}
\rightarrow
\text{abandon polyhedra}
\rightarrow
\text{change problem}.
$$

也無法形成後續理論。

### CER：Counterexample Extraction Rate

高 CER 促成：

$$
\text{holes}
\rightarrow
g.
$$

### FSR：Failure Salvage Rate

高 FSR 保留：

$$
V-E+F
$$

並重新定位適用域。

### FTR：Failure Transfer Rate

最終：

$$
V-E+F
$$

從多面體問題遷移成：

$$
\chi(X)
$$

的一般拓撲概念。

這是一個近乎完整的：

$$
\boxed{
\text{生成式失敗循環}
}
$$

歷史案例。

---

# 二十八、這也說明「嚴格反駁」與「生成性」完全可以共存

torus 反例不是被忽略。

原來的普遍命題就是錯。

嚴格智能應該立即接受：

$$
H_0=\text{false}.
$$

但生成性智能接著做：

$$
\operatorname{Extract}(H_0,c).
$$

所以：

$$
\text{rigor}
$$

與：

$$
\text{generativity}
$$

根本不是互斥。

反而可以：

$$
\boxed{
\text{越精確地知道錯在哪，越容易生成更好的理論。}
}
$$

這正是「生成式反駁」與盲目樂觀的根本差異。

---

# 二十九、這段歷史的真正主角不是 Euler，而是更新規則

Euler 當然是核心歷史人物。

Lhuilier、Cauchy、Poincaré 也都在後續推廣中扮演重要角色。

但從本文關心的角度，真正的主角其實是：

$$
\boxed{
\text{Mathematical Update Rule}.
}
$$

也就是：

$$
\text{遇到反例之後，數學系統如何更新？}
$$

若更新規則是：

$$
\text{refute}\rightarrow\text{delete},
$$

得到的是一次正確否定。

若更新規則是：

$$
\text{refute}
\rightarrow
\text{localize}
\rightarrow
\text{classify}
\rightarrow
\text{generalize}
\rightarrow
\text{redefine},
$$

則可能得到一個新領域。

---

# 三十、結論：真正重要的不是把 2 保住，而是發現 \(\chi\)

Euler 多面體公式的歷史如果只從「定理正確性」看，非常簡單：

$$
V-E+F=2
$$

對特定多面體類成立。

對更一般對象則需要修改。

但從數學發現角度，它展示的是另一件事。

一個反例可以迫使研究者從：

$$
\boxed{
\text{「答案是不是 2？」}
}
$$

轉向：

$$
\boxed{
\text{「什麼結構決定這個數？」}
}
$$

然後從：

$$
2
$$

發現：

$$
\chi.
$$

再從：

$$
\chi
$$

走向：

$$
\text{topological invariants}.
$$

所以：

$$
\boxed{
\text{好的反例不是只讓原命題縮小，}
}
$$

$$
\boxed{
\text{它可能讓研究空間反而變大。}
}
$$

這正是本系列所謂「反例是新結構入口」最清楚的歷史實例。

也因此：

$$
\boxed{
\text{局部失敗}
\not\Rightarrow
\text{生成價值歸零}.
}
$$

在最好的情況下甚至可能：

$$
\boxed{
\text{局部失敗}
\rightarrow
\text{新的不變量}
\rightarrow
\text{新的分類}
\rightarrow
\text{新的數學領域}.
}
$$

下一篇將繼續第三部的歷史案例：

# 價值耦合智能論 10
# 從錯誤附近誕生的新數學：龐加萊、懷爾斯與狄利克雷原理

第 09 篇主要展示：

$$
\text{反例}
\rightarrow
\text{定義／概念改造}.
$$

第 10 篇將展示另一種路徑：

$$
\boxed{
\text{證明失敗或論證缺口}
\rightarrow
\text{方法重組}
\rightarrow
\text{更深的新結構}.
}
$$

---

## 參考資料（本篇重新查核）

1. Leonhard Euler, *Elementa doctrinae solidorum*, published in *Novi Commentarii Academiae Scientiarum Imperialis Petropolitanae* 4 (1758).
2. MAA Convergence, Lee Stemkoski, *Investigating Euler's Polyhedral Formula Using Original Sources*.
3. Imre Lakatos, *Proofs and Refutations: The Logic of Mathematical Discovery*. Cambridge University Press.
4. Jesse Alama, *Euler's Polyhedron Formula*, Formalized Mathematics 16(1), 2008.
5. Encyclopedia of Mathematics, *Euler characteristic*.
6. Mathematical Association of America reviews of David S. Richeson, *Euler's Gem: The Polyhedron Formula and the Birth of Topology*.
7. Historical accounts of Simon Lhuilier's 1812 extension \(V-E+F=2-2g\).
8. Modern accounts of Cauchy's method for Euler's formula.
9. Poincaré's generalization to the Euler–Poincaré characteristic.
10. AMS treatments of the Euler–Poincaré characteristic as a topological/homotopy invariant.