🔨 构造法：找到它，就证明了它🔨 Constructive Proof: Find It, and It's Proven
上一篇数学归纳法（证明篇）用「两步」证明无穷多情况。可有些命题只问一件事：「存在吗？」——这时最直接的办法，是把它造出来，往桌上一放。The induction proof edition settled infinitely many cases with two steps. But some statements ask only one thing: “does it exist?” — and the most direct answer is to build one and put it on the table.
第 1 步：要证明存在，就造一个出来Step 1: to prove existence, build one
比如：证明「存在两个无理数，它们的和是有理数」。从哪里下手？For example: prove “there exist two irrational numbers whose sum is rational”. Where do you start?
题目说「存在」，那就动手找。从工具箱里取 √2——它确实是无理数；再造一个 2−√2。它也是无理数：假如它是有理数，那么 √2 = 2−(2−√2) 就成了两个有理数之差，也该是有理数——矛盾。两个零件到手，加起来试试：√2 + (2−√2) = 2，正好是有理数。命题得证——因为你真的造出了它。The claim says “there exist” — so go and find them. Take √2 from the toolbox: it is irrational. Build a second part, 2−√2. It is irrational too: if it were rational, then √2 = 2−(2−√2) would be a difference of two rationals, hence rational — a contradiction. Two parts in hand; add them: √2 + (2−√2) = 2, exactly a rational number. Claim proven — because you really built it.
造出来的东西，怎么让人相信它就是答案？How do you make people trust the thing you built?
第 2 步：摆上展示台，逐条验货Step 2: put it on the showcase and check every condition
展示台三连检：① √2 是无理数 ✓；② 2−√2 也是无理数 ✓；③ 两数之和 2 是有理数 ✓。三个条件全部对上，「存在」就被钉死了。构造法的要点：不能光说「有一个」，还要把那个东西、连同它满足条件的证据，一起交出来。Three checks on the showcase: (1) √2 is irrational ✓; (2) 2−√2 is irrational too ✓; (3) their sum, 2, is rational ✓. Every condition matches, and existence is nailed down. The key of a constructive proof: don't just say “there is one” — hand over the object itself, together with the evidence that it fits.
是不是所有「存在」的证明，都能造出具体例子？Can every existence proof hand over a concrete example?
第 3 步：构造 vs 非构造Step 3: constructive vs non-constructive
不一定。有的证明只告诉你「一定存在」，却永远说不出是哪一个——这种叫非构造证明。经典论证会绕圈子说「要么这个行、要么那个行」，就是不肯指出到底是谁。构造法更受欢迎：它递到手里的，是一个能检验的答案。下一篇「鸽巢原理」正好相反——只保证「至少有一个」，不点名。Not necessarily. Some proofs tell you something must exist but can never name it — those are non-constructive. A classic argument may circle around “either this one works, or that one does” without ever pointing to which. Constructive proofs are friendlier: they hand you an answer you can check. The next leaf, the pigeonhole principle, is the opposite — it guarantees “at least one” without naming any.
🎮 你来当构造师（1 分钟）🎮 Your turn: the constructor (1 minute)
4 道「存在题」：从选项里挑出真正把例子造出来的那一个，挑对了它就会摆上展示台。Four existence challenges: pick the option that truly builds a valid example — get it right and it lands on the showcase shelf.
一句话记住它：要证「存在」，最直接的路是把它造出来，再用条件一条条验货。Remember it in one line: to prove “it exists”, the most direct road is to build it and check every condition one by one.
构造法 = 给出具体例子 + 验证它满足全部条件Constructive proof = give a concrete example + verify it meets every condition例：√2 与 2−√2 都是无理数，它们的和却是有理数 2Example: √2 and 2−√2 are both irrational, yet their sum is the rational number 2有的证明只说「存在」不点名（非构造），构造法直接给出答案Some proofs only say “it exists” without naming it (non-constructive); a construction hands you the answer
内容参考 OpenStax 等公开教材，多来源核对 · AI 生成、人工审核 · 发现错误欢迎指正，帮这片叶子长得更好。Based on OpenStax and other open textbooks, cross-checked across sources · AI-generated, human-reviewed · Spotted a mistake? Tell us — help this leaf grow.
Back to tree
