你读一份标准解答,最容易在哪儿崩溃?不是在难的步骤,是在那些一笔带过的词上:

显然,\(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\),于是……”

你心想:凭什么你就"注意到"了,我怎么没注意到?

实话:作者多半也不是一眼注意到的,是先做出来了,再倒回去把关键那步包装成"注意到”。 写解答是"结果导向"的,他知道终点在哪,于是回头挑出那条最近的路,轻描淡写写成"注意到”。这是一种事后的整洁,不是现场的灵感。

所以读到"注意到",你该做两件事:

  1. 承认这一步是钥匙。 整道题的劲,往往就拧在这儿。
  2. 回头想它从哪儿来。 是配方?是因式分解?是凑对称?把它的"出处"想明白,下次类似的题你也"注意得到"。第二部那七件工具,干的就是把各种"注意到"拆成你能主动去试的动作。

五、行话小词典(夹在书里随时翻)

行话大白话你该做的动作
显然 / 易得 / 易证套定义或小验算,懒得写停下,自己把那一步补出来
不妨设(WLOG)这些情况本质一样,挑顺手的写先确认"交换对象题目不变",再排队
当且仅当(\(\iff\))两件事是一回事两个方向各证一遍
注意到事后挑出的那把钥匙想清它从哪来(配方/分解/对称…)
反之反过来那个方向检查反方向是否真成立,别想当然
矛盾假设撞墙了看清是哪条假设撞的墙(第 7 章)
故 / 因此 / \(\therefore\)前面推出来了倒回去确认这一步是从哪几句来的

这一章要带走的东西:

  • “显然"是"懒得写”,不是"凭感觉"——读到就自己补那一步。
  • “不妨设"是省力大杀器,使用许可证是"对象对称、交换后题目不变”。
  • “当且仅当"是双开门,两个方向都要推。
  • “注意到"是事后挑出的钥匙,要回头想它的出处。

就这样。


本书目录 · 上一章 · 下一章