MATHEMATICAL THEOREMS · PROOF JOURNEYS
一个结论的背后，
是一条证明之路
数学定理不只是课本中的结论。它可能从一个古老的观察开始，经历猜想、反例与新方法，最终成为可以逐步检验的证明。这里按问题的来历、证明的核心想法和关键文献，讲述39个定理故事。从初中几何到纯数学博士专题，先读懂问题，再沿着适合自己的路线往里走。
开始浏览定理卡片 ↓阅读方式
每张卡片聚焦一个定理。点击后可查看准确表述、通俗证明路线、历史节点、意义与原始论文或权威资料。证明思路是导览，不替代论文中的完整论证；历史归属存在争议时，会明确标注不确定性。
∴
THEOREM INDEX · 39 STORIES
定理索引
从初等证明到计算机辅助证明，覆盖几何、数论、代数、分析、概率、拓扑、组合与逻辑；可按证明准备程度选择。
39 / 39
HOW A PROOF JOURNEY UNFOLDS
从一个问题，走到可检验的结论
问题出现→提出猜想→寻找方法→证明与核验→影响后来的数学
有些定理很快得到证明；有些问题则改变了数学家使用的工具。页面会区分“猜想提出”“宣布证明”“正式发表”和“后续核验”，避免把不同阶段混为一谈。
SOURCES & NOTES
资料与口径
原始文献优先
优先提供原始论文、经典原典、期刊页面及大学或专业机构的数学史资料。各条目按定理分别列出来源，点击卡片即可查看。
证明路线说明
证明简述用于建立直观，不省略结论成立所需的关键假设。涉及计算机辅助或形式化证明时，分别说明计算核验与机器检查的范围。
整理信息
资料整理日期：截至2026年10月
本站为数学史导览，技术细节以所列论文与正式资料为准。