套路

按根号指数的奇偶筛有理项

通项里含 (a) n−r(\sqrt{a})^{\,n-r} 时,这一项的系数是不是有理数只由 n−rn-r 的奇偶决定(偶则 (a)2s=as(\sqrt{a})^{2s}=a^{s} 有理,奇则留着一个 a\sqrt{a});把满足奇偶的 rr 数一遍,就得到有理项的个数。

判据从哪来

设 aa 是正整数而 a\sqrt{a} 是无理数(a=2,3,5,…a=2,3,5,\dots),把 (a)m(\sqrt{a})^{m} 按 mm 的奇偶分两种:

m=2s ⟹ (a)m=as (整数),m=2s+1 ⟹ (a)m=asa (无理数)m=2s\ \Longrightarrow\ (\sqrt{a})^{m}=a^{s}\ \text{(整数)},\qquad m=2s+1\ \Longrightarrow\ (\sqrt{a})^{m}=a^{s}\sqrt{a}\ \text{(无理数)}

于是二项展开式 (a+x)n=∑r=0nCnr(a) n−rxr(\sqrt{a}+x)^{n}=\sum_{r=0}^{n}\mathrm{C}_{n}^{r}(\sqrt{a})^{\,n-r}x^{r} 里,第 r+1r+1 项的系数 Cnr(a) n−r\mathrm{C}_{n}^{r}(\sqrt{a})^{\,n-r}:

  • n−rn-r 偶 ⇒\Rightarrow 系数 =Cnra(n−r)/2=\mathrm{C}_{n}^{r}a^{(n-r)/2},是整数,有理;
  • n−rn-r 奇 ⇒\Rightarrow 系数 =Cnra(n−r−1)/2a=\mathrm{C}_{n}^{r}a^{(n-r-1)/2}\sqrt{a},是「非零有理数 ×a\times\sqrt{a}」,无理。

第二条要用一句话补严:Cnr>0\mathrm{C}_{n}^{r}>0,所以那个有理因子不为零,乘上无理数 a\sqrt{a} 一定还是无理数。

为什么各项之间不会互相抵消

有人会担心:无理的部分会不会在合并同类项时被别的项消掉?不会——展开式里 xx 的次数 rr 两两不同,每个 xrx^{r} 只由一项贡献,根本没有同类项可合并。所以「逐项判」就是「对整个展开式判」,不用另外验证。

(若括号里两块都带 xx,先把 xx 的总次数算出来,确认各项次数互不相同再逐项判;出现次数相同的项时必须先合并。)

数项数的两种数法

以 (2+x)9(\sqrt{2}+x)^{9} 为例,rr 取 0,1,…,90,1,\dots,9 共 1010 个值,系数有理 ⇔\Leftrightarrow 9−r9-r 偶 ⇔\Leftrightarrow rr 奇:

  • 列举:r=1,3,5,7,9r=1,3,5,7,9,共 55 项。
  • 数奇偶:0∼n0\sim n 一共 n+1n+1 个整数,奇数有 ⌈n+12⌉\left\lceil\frac{n+1}{2}\right\rceil 或 ⌊n+12⌋\left\lfloor\frac{n+1}{2}\right\rfloor 个——n=9n=9 时 1010 个数奇偶各半,故 55 个。nn 小就直接列举,列举比套公式稳。

推广:换成别的根号

判据的形状不变,只是「偶数」换成别的整除条件:

括号里的无理块通项里的指数有理(整数)条件
a\sqrt{a}n−rn-r2∣n−r2\mid n-r
a3\sqrt[3]{a}n−rn-r3∣n−r3\mid n-r
x1/2x^{1/2}(求 xx 的整数次幂项)xx 的总次数总次数是整数
a\sqrt{a} 与 b\sqrt{b} 都在(abab 非平方数)两处指数两个指数同时为偶

最后一行是最容易漏的:两处无理因子要同时驯服,只满足一处仍是无理数。

常见失手

  • 把「系数有理」与「常数项」当成同一件事:前者看根号的指数、后者看 xx 的次数,是两个独立的判据。
  • 只数了 rr 的奇偶却没先算 n−rn-r:nn 是偶数时结论正好反过来(nn 偶 ⇒\Rightarrow 有理项在 rr 偶处)。每道题都从 n−rn-r 的奇偶重新推一遍,别背「rr 奇」。
  • 把项数与项号混了:问「有几项」答个数,问「是第几项」答 r+1r+1。

学它之前先会

共 1 条前置、最深 1 层。

共 1 道题考到本条。