证明观念成形：从量出来到必然如此

本课要解决的问题

为什么测量一百个三角形仍不等于证明一个定理？

这不是先背名词再找用途。我们从一个确切问题出发，逐步抽出能够重复使用的数学结构。学完本课，你应能解释“为什么要这样定义”，并独立完成一个计算或证明。

概念建立

演绎证明从明确的定义、公理和已证命题出发，经有效推理得到结论。它追求的不是“目前没见过反例”，而是在给定前提下不可能为假。直接证明、反证法和数学归纳法是不同的推理组织方式。

推导主线

证明素数有无穷多个：假设只有 p₁,…,pₙ。构造 N=p₁p₂…pₙ+1。N 除以任何 pᵢ 都余1，因此 N 本身是素数，或含有不在列表中的素因子；两种情况都与列表完整矛盾。构造对象把有限假设推向自身之外。

完整例题

若列出的素数只有2,3,5，则 N=2×3×5+1=31，不被2、3、5整除。31恰为素数，但一般证明不要求 N 必是素数，只需它存在新的素因子。

严格边界

证明依赖前提。改变公理体系，结论可能改变；图形直观、数值实验和计算机搜索可帮助发现猜想、检查有限情形，却不能自动替代覆盖无限情形的论证。

课后闭环

把无穷素数证明压缩成五个逻辑句，再解释“构造数 N 必为素数”为何是多余且可能错误的要求。最后区分猜想、证据与证明。

完成页面中的单选、多选和计算题。计算题要保留中间步骤；多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误，隔一天遮住答案重做。