判据从哪来
设 a 是正整数而 a 是无理数(a=2,3,5,…),把 (a)m 按 m 的奇偶分两种:
m=2s ⟹ (a)m=as (整数),m=2s+1 ⟹ (a)m=asa (无理数)
于是二项展开式 (a+x)n=∑r=0nCnr(a)n−rxr 里,第 r+1 项的系数 Cnr(a)n−r:
- n−r 偶 ⇒ 系数 =Cnra(n−r)/2,是整数,有理;
- n−r 奇 ⇒ 系数 =Cnra(n−r−1)/2a,是「非零有理数 ×a」,无理。
第二条要用一句话补严:Cnr>0,所以那个有理因子不为零,乘上无理数 a 一定还是无理数。
为什么各项之间不会互相抵消
有人会担心:无理的部分会不会在合并同类项时被别的项消掉?不会——展开式里 x 的次数 r 两两不同,每个 xr 只由一项贡献,根本没有同类项可合并。所以「逐项判」就是「对整个展开式判」,不用另外验证。
(若括号里两块都带 x,先把 x 的总次数算出来,确认各项次数互不相同再逐项判;出现次数相同的项时必须先合并。)
数项数的两种数法
以 (2+x)9 为例,r 取 0,1,…,9 共 10 个值,系数有理 ⇔ 9−r 偶 ⇔ r 奇:
- 列举:r=1,3,5,7,9,共 5 项。
- 数奇偶:0∼n 一共 n+1 个整数,奇数有 ⌈2n+1⌉ 或 ⌊2n+1⌋ 个——n=9 时 10 个数奇偶各半,故 5 个。n 小就直接列举,列举比套公式稳。
推广:换成别的根号
判据的形状不变,只是「偶数」换成别的整除条件:
| 括号里的无理块 | 通项里的指数 | 有理(整数)条件 |
|---|
| a | n−r | 2∣n−r |
| 3a | n−r | 3∣n−r |
| x1/2(求 x 的整数次幂项) | x 的总次数 | 总次数是整数 |
| a 与 b 都在(ab 非平方数) | 两处指数 | 两个指数同时为偶 |
最后一行是最容易漏的:两处无理因子要同时驯服,只满足一处仍是无理数。
常见失手
- 把「系数有理」与「常数项」当成同一件事:前者看根号的指数、后者看 x 的次数,是两个独立的判据。
- 只数了 r 的奇偶却没先算 n−r:n 是偶数时结论正好反过来(n 偶 ⇒ 有理项在 r 偶处)。每道题都从 n−r 的奇偶重新推一遍,别背「r 奇」。
- 把项数与项号混了:问「有几项」答个数,问「是第几项」答 r+1。