一句话
赋值就是给本来与数量无关的对象(或给恒等式里的变量)赋上恰当的数值,让问题变成一道算术题:
格子↦±1,x↦0, ±1, ω,n↦n 中素数 p 的次数
赋值之后,乘积的符号、和的奇偶、系数之和、素因子的次数,都可以用运算法则推出来。好的赋值,要让我们关心的量变成算得出来的量。
先猜后证
5×5 的方格表里每格填 +1 或 −1。算出每行的乘积和每列的乘积,共 10 个数。这 10 个数的和能等于 0 吗?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
不能。先在上面的表里试几次,再看下面的证明:关键是把 10 个乘积乘起来。
例:n 为奇数时,2n 个乘积之和不为 0
第 1 / 4 步 -
如果和为 0 10 个 ±1 的和为 0,意味着恰有 5 个 −1、5 个 +1。
r1+⋯+r5+c1+⋯+c5=0⟺恰有 5 个 −1
-
换一个运算:乘起来
-
−1 的个数是偶数
-
矛盾
第 1 站 · 函数方程中的赋值(卷二)
方程对一切 x,y 成立,就可以挑最省事的值代进去:先 x=y=0,再 y=0。
例:求所有 f: R → R,使 f(x)f(y) − f(xy) = x + y 对一切实数 x, y 成立
第 1 / 4 步 -
令 x = y = 0 f(0)2−f(0)=0,所以 f(0)=0 或 f(0)=1。
f(0)(f(0)−1)=0
-
令 y = 0
-
得到候选
-
代回检验
第 2 站 · 单位根:把系数“筛”出来(卷四)
x=1 把所有系数加起来,x=−1 让奇偶项分开;要按下标模 3 分开,就令 x=ω(ω3=1, ω=1),利用 1+ωk+ω2k 在 3∣k 时为 3、否则为 0。
一题多解
求 (09)+(39)+(69)+(99)。
直接算
代价项少时最快,但项一多就算不动了。
单位根赋值
在 (1+x)9=∑(k9)xk 中分别令 x=1,ω,ω2 并相加,下标不被 3 整除的项全部抵消:
3[(09)+(39)+(69)+(99)]=29+(1+ω)9+(1+ω2)9.
1+ω=−ω2,(1+ω)9=−ω18=−1;同理 (1+ω2)9=−1。所以和为 3512−2=170。
代价多一点复数运算,换来任意 n 都适用的公式。
第 3 站 · 对恒等式取特殊值(卷五)
例:(2x − 1)⁶ = a₀ + a₁x + … + a₆x⁶,求 a₀ + a₂ + a₄ + a₆
第 1 / 4 步 -
令 x = 1 全部系数之和。
a0+a1+a2+⋯+a6=(2−1)6=1
-
令 x = −1
-
相加
-
顺便:令 x = 0
第 4 站 · 集合的划分与素因子的次数(卷一)
给每个正整数赋值“它含素数 p 的次数” vp(n)。乘积的次数等于次数之和:vp(ab)=vp(a)+vp(b)。
例:能否把 {1, 2, …, 10} 分成两组,使两组数的乘积相等?
第 1 / 3 步 -
赋值 对每个数取 v7(含因子 7 的次数)。1 到 10 中只有 7 含因子 7。
v7(7)=1,v7(k)=0 (k=7)
-
两组乘积相等 ⇒ 次数相等
-
奇偶矛盾
练一练
3×3 方格表中有一格填 −1,其余填 +1。三个行积与三个列积之和是多少?
提示 · 方向−1 所在的那一行、那一列,乘积是多少?
完整解答4−2=2。(与“−1 的个数是偶数”一致。)
(1+x+x2)5=a0+a1x+⋯+a10x10。求 a0+a2+a4+⋯+a10。
提示 · 第一步x=1:35=243;x=−1:(1−1+1)5=1。
用 x=1,i,−1,−i 赋值,求 (08)+(48)+(88)。
提示 · 方向1+ik+(−1)k+(−i)k 在 4∣k 时为 4,否则为 0。
提示 · 方法4[(08)+(48)+(88)]=28+(1+i)8+08+(1−i)8。
提示 · 第一步(1+i)2=2i,所以 (1+i)8=(2i)4=16;同理 (1−i)8=16。
完整解答4256+16+16=72。直接验算:1+70+1=72。
求 (110)+(410)+(710)+(1010)(下标模 3 余 1 的组合数之和)。
提示 · 方向想要下标 ≡1(mod3) 的项,先乘上 x−1 的“权”:考虑 ω−k。
提示 · 方法∑k≡1(k10)=31[210+ω−1(1+ω)10+ω−2(1+ω2)10]。
提示 · 第一步(1+ω)10=(−ω2)10=ω20=ω2;(1+ω2)10=(−ω)10=ω。
完整解答中括号内为 1024+ω−1ω2+ω−2ω=1024+ω+ω2=1023,所以和为 341。验算:10+210+120+1=341。