你读一份标准解答,最容易在哪儿崩溃?不是在难的步骤,是在那些一笔带过的词上:
“显然,\(x>0\)。” “不妨设 \(a\le b\le c\)。” “易得 矛盾。”
你盯着那个"显然”,半天看不出哪里显然,于是怀疑自己是不是脑子有问题。
我先替你解套:这些词不是数学内容,是数学家之间的行话黑话。 它们各自代表一个被省掉的动作。你之所以看不懂,不是因为笨,是因为没人把这套黑话翻译给你听。这一章就当个行话词典。认全了,你读解答会顺很多,自己写解答也会像样很多。
一、“显然 / 易得 / 易证”——省掉的是一步小验算
“显然"的潜台词是:“这一步我懒得写,因为它就是套个定义或做个小验算,你自己半分钟能补出来。”
它不是"凭感觉”,是"懒得写"。读到"显然",你的正确反应不是慌,是停下来,把那半分钟的验算自己补一遍。补出来了,你就真懂了;补不出来,那这个"显然"可能有问题,或者你漏了前提——这恰恰是该警惕的地方。
小例子:“因为 \(a,b\) 都是正数,显然 \(a+b>0\)。” 补:两个正数相加还是正数,套加法定义即可。半分钟,确实显然。
提醒一句:别人写"显然"是省事,你自己写题时少用。 改卷老师看到你写"显然",往往会想"你是真会还是蒙混"。能写一步就写一步,这是第 16 章的事,先记下。
二、“不妨设”——这是奥数里最值钱的一个词
“不妨设”(也写作 WLOG,without loss of generality,“不失一般性”)听着像废话,其实是省力的大杀器。意思是:
“这几种情况本质一样,我挑个最顺手的来写,证完它,别的照搬,一个不漏。”
为什么能"不妨"?因为问题里有对称。三个数 \(a,b,c\) 谁大谁小,如果题目对它们一视同仁(换个顺序题目不变),那你大可以先排个队,不妨设 \(a\le b\le c\),省掉一堆重复讨论。
例 3.1(☼☼) 证明:任意三个整数里,必有两个数之差是 2 的倍数(即同奇偶)。
三个整数 \(a,b,c\),每个不是奇就是偶。它们对题目是对称的——谁叫 \(a\) 谁叫 \(b\) 无所谓。不妨设奇数的个数 \(\ge\) 偶数的个数(否则奇偶对调,证法一样)。那么三个数里至少有两个是奇数(因为奇偶两类装三个数,多的那类至少占两个)。两个奇数之差是偶数,差为 2 的倍数。就这样。
你看,“不妨设"帮我们把"到底谁多"这种啰嗦的分类,一句话压掉了。
什么时候能用"不妨设”?只有当你交换这些对象,题目本身不变的时候。 这是它的使用许可证,别乱发。\(a-b\) 这种式子里 \(a,b\) 不对称(换了符号要变),就不能随便"不妨设 \(a\ge b\)"——除非你另作说明把符号也照顾到。
三、“当且仅当”——一扇必须两边都推的门
“\(A\) 当且仅当 \(B\)"(记作 \(A \iff B\)),意思是 \(A\) 和 \(B\) 是一回事,有它就有它,没它就没它。
它其实是两句话扣在一起:
- “\(A\) 当 \(B\)":有 \(B\) 就有 \(A\)(\(B \Rightarrow A\))。
- “\(A\) 仅当 \(B\)":有 \(A\) 必有 \(B\)(\(A \Rightarrow B\))。
画面是一扇双开门:两个方向都得推得开,才算"当且仅当”。你证这种命题时,要老老实实证两遍——一遍从左到右,一遍从右到左。只证一半就交卷,是初学者最常丢分的地方。
记一个常见陷阱:\(A\Rightarrow B\) 成立,不等于 \(B\Rightarrow A\) 成立。“下雨地会湿"对,“地湿一定下过雨"就不对(也可能是洒水车)。箭头是单向的,除非你两边都验过。
四、“注意到”——魔术的揭幕词
解答里最让人挫败的是这句:”注意到 \(x^2+y^2=(x+y)^2-2xy\),于是……”
你心想:凭什么你就"注意到"了,我怎么没注意到?
实话:作者多半也不是一眼注意到的,是先做出来了,再倒回去把关键那步包装成"注意到”。 写解答是"结果导向"的,他知道终点在哪,于是回头挑出那条最近的路,轻描淡写写成"注意到”。这是一种事后的整洁,不是现场的灵感。
所以读到"注意到",你该做两件事:
- 承认这一步是钥匙。 整道题的劲,往往就拧在这儿。
- 回头想它从哪儿来。 是配方?是因式分解?是凑对称?把它的"出处"想明白,下次类似的题你也"注意得到"。第二部那七件工具,干的就是把各种"注意到"拆成你能主动去试的动作。
五、行话小词典(夹在书里随时翻)
| 行话 | 大白话 | 你该做的动作 |
|---|---|---|
| 显然 / 易得 / 易证 | 套定义或小验算,懒得写 | 停下,自己把那一步补出来 |
| 不妨设(WLOG) | 这些情况本质一样,挑顺手的写 | 先确认"交换对象题目不变",再排队 |
| 当且仅当(\(\iff\)) | 两件事是一回事 | 两个方向各证一遍 |
| 注意到 | 事后挑出的那把钥匙 | 想清它从哪来(配方/分解/对称…) |
| 反之 | 反过来那个方向 | 检查反方向是否真成立,别想当然 |
| 矛盾 | 假设撞墙了 | 看清是哪条假设撞的墙(第 7 章) |
| 故 / 因此 / \(\therefore\) | 前面推出来了 | 倒回去确认这一步是从哪几句来的 |
这一章要带走的东西:
- “显然"是"懒得写”,不是"凭感觉"——读到就自己补那一步。
- “不妨设"是省力大杀器,使用许可证是"对象对称、交换后题目不变”。
- “当且仅当"是双开门,两个方向都要推。
- “注意到"是事后挑出的钥匙,要回头想它的出处。
就这样。