看到定理证明跳步就懵：ProofWiki 把每一步都补上
看证明最怕跳步：书上写「显然成立」，你盯着看十分钟也不知道显然在哪里。ProofWiki 把定义、定理和证明拆成独立条目，证明的每一步都注明依据的是哪条结论，卡住时顺着链接点进去，缺的那一块就能补上。
它解决什么问题
教材里的证明省略太多步骤，中间那几行怎么也接不上。
想查某个结论到底怎么证，搜出来的答案各说各话。
核心能力
| 能力 | 具体能做到什么 |
|---|---|
| 定义与定理分列 | 各自成条目，引用关系清晰，找依据方便 |
| 每步标依据 | 证明过程注明用到了哪条结论，便于逐行核对 |
| 链接可追 | 不懂的地方点进去就是对应的定义或者定理 |
| 分类索引 | 按数学分支归类，可以顺着一个方向读下去 |
| 社区协作 | 条目由志愿者补充与勘误，修改记录可查 |
| 免费开放 | 内容开放阅读，不需要注册 |
顺着链接往回追，把缺的那步补上
遇到看不懂的证明，别硬盯着原文，把每一步引用的定义或者定理点开，一层层往回读，直到读到自己熟悉的地方为止。这个过程看着慢，实际比反复啃那段文本高效得多：卡住你的往往不是当前这一步，而是前面某个没在意的前提。补完之后再回到原来的证明，通常一眼就通了。
这是由志愿者协作维护的证明库，完备程度并不均匀：热门定理条目写得很细，冷门方向可能只有一句话甚至缺失，不能指望它把一门课覆盖全。条目里的符号体系由社区约定，不同分支的写法需要适应一下，偶尔还能在讨论页看到志愿者为某个步骤争论，读一读也有收获。引用到正式写作之前，还是建议和标准教材核对一遍。
同类工具怎么选
| 工具 | 授权 | 差别在哪 |
|---|---|---|
| Wolfram MathWorld | 免费闭源 | 查定义和公式更快，证明过程不是它的重点 |
| Cut the Knot | 免费闭源 | 同样讲证明，但更多是命题与谜题的合集 |
| LibreTexts 数学 | 开源免费 | 成体系的开放教材，证明放在完整章节里讲 |
谁适合用
- 读教材证明卡在某一步、需要补细节的学生
- 准备讲义、需要核对定理依据的老师
- 对数学证明本身感兴趣、想自己琢磨的自学者
怎么开始
- 打开站点，用搜索框找你要查的定理或者定义。
- 先读定理条目的表述，确认前提条件和你手上的问题一致。
- 进入证明条目，逐行看每一步标注的依据。
- 遇到不熟的引用，点进链接读完再返回。
- 补全缺的环节后，把整个证明在纸上自己重写一遍。
常见问题
内容完整吗？
完备程度不均，热门条目较细，冷门方向可能缺失，更适合当补充而不是唯一来源。
是中文的吗？
条目以英文撰写，术语规范，配合词典阅读即可。
能引用吗？
可以注明条目来源，正式写作前建议与标准教材核对。
要收费吗？
不需要，内容开放阅读。
授权与合规
由社区志愿者协作编写维护，内容以开放许可协议发布，任何人都可以免费阅读并参与完善。 官网：proofwiki.org。
继续找同类资源
这条属于「学习资料」栏目，同栏目还有更多可直接使用的免费资源，可以在 学习资料全部资源 里按需翻阅。
相关资源
同栏目下这几条也常被一起翻到：
资源信息
界面语言
英文
授权方式
开源免费
适用平台
Web
获取方式
直链下载
资源更新
2026-09-20
页面更新
2026-09-20
↓ 获取资源
点击按钮直接前往资源页面。
