冷启动:两项的周期都是 π,难的那一半在「最小」
f(x)=sin(2x−4π)−22sin2x.
三句话先把局面理清。
第一句:sin2x 的周期是 π,不是 2π。 这是本题的第一个坎。sinx 的最小正周期确实是 2π,可平方之后负号被吃掉了:
sin2(x+π)=(−sinx)2=sin2x.
于是第二项以 π 为周期。凭「里面写的是 sinx,所以周期 2π」就把答案写成 2π,正是易错点「和函数的周期取成了其中一项的」那个坑的另一面:和的周期既不能随手取某一项的,也不能凭括号里那个 x 的系数瞎猜,得对两项各算一遍再取公共的。
第二句:π 一定是 f 的周期。 第一项
sin(2(x+π)−4π)=sin(2x−4π+2π)=sin(2x−4π),
第二项刚刚也验过。两项都不变,所以 f(x+π)=f(x)——这一步一个公式都不用,直接代入就成。
第三句:难的是「最小」。 题目问的是最小正周期。π 是周期只说明答案不超过 π;要断定它就是最小的,还得排除 2π、3π、……这些更小的候选。下面三条路里,前两条都靠把 f 化成一条标准正弦曲线(化完周期就一眼可读),第三条专门补上「为什么不能更小」这一步。

解法一:原卷路线——降幂、展开、合角,化成一条标准正弦曲线
第一步:降幂。 由二倍角公式 cos2x=1−2sin2x,
sin2x=21−cos2x⟹−22sin2x=−2(1−cos2x)=2cos2x−2.
这一步是本题唯一需要挑公式的地方。 cos2x 有三种写法,手里只有 sin 时要用的是 1−2sin2x;顺手写成 2cos2x−1 就得先把 cos2x 换成 1−sin2x,绕一圈还容易把符号弄反(易错点「二倍角余弦的三种形式选错」)。
第二步:展开。 由两角和与差的正弦,
sin(2x−4π)=sin2xcos4π−cos2xsin4π=22sin2x−22cos2x.
第三步:相加、合角。 两式加起来,cos2x 的系数是 −22+2=22:
f(x)=22sin2x+22cos2x−2.
由辅助角公式,(22)2+(22)2=1,而两个系数相等说明辅助角是 4π:
f(x)=sin(2x+4π)−2.
读周期。 化完之后 f 只是一条振幅为 1、中线为 y=−2 的标准正弦曲线,x 前的系数 ω=2:
T=∣ω∣2π=22π=π.
最小正周期是 π。
这里有一句话是跳过去的。 T=∣ω∣2π 这个公式给的正是最小正周期,但它成立的前提是振幅不为 0——若合角之后振幅是 0,f 就成了常函数 −2,那时任何正数都是周期、根本没有最小的。本题振幅是 1,前提兑现了。至于「振幅不为 0 时为什么 ∣ω∣2π 真的最小」,解法三把它证一遍。
解法二:待定系数——先断定 f 长什么样,再代三个好算的 x 把系数解出来
怎么想到的。 解法一要背三个公式、算三行。可仔细看就会发现:我们其实只需要知道 f 的「形状」,不需要一路展开。
- sin(2x−4π) 展开后是 sin2x 与 cos2x 的组合;
- sin2x 降幂后是常数与 cos2x 的组合。
两项加起来,f 必然能写成
f(x)=Asin2x+Bcos2x+C
的样子。这一步只用到「形状」,三个系数是多少先不管。剩下的事就是代特殊值把 A,B,C 解出来——挑那些让 sin2x、cos2x 取 0 或 ±1 的 x,一个乘法都不用做。
代三个点。 取 x=0, 4π, 2π,右边分别退化成 B+C、A+C、−B+C:
f(0)=sin(−4π)−0=−22,
f(4π)=sin4π−22⋅21=22−2=−22,
f(2π)=sin43π−22⋅1=22−22=−232.
于是
B+C=−22,A+C=−22,−B+C=−232.
第一式与第三式相加得 2C=−22,即 C=−2;回代得 B=22,再由第二式得 A=22。
读周期。 A 与 B 不全为 0,所以 Asin2x+Bcos2x 的振幅 A2+B2=1=0,f 是一条以 ω=2 为 x 前系数的正弦曲线:
T=22π=π.
答案 π。
这条路的代价与收获。 代价是它依赖「f 一定是 Asin2x+Bcos2x+C」这个先验判断——这一步仍然要知道降幂之后只剩 cos2x,绕不开。收获是:一旦形状定了,后面全是加减法,既不必记辅助角公式的相位怎么取,也不会在展开时漏掉负号。对「只问周期、不问相位」的题,这条路最省事:其实只要算出 A,B 不全为零,周期就已经定了,C 是多少根本不影响答案。
解法三:把「最小」真的证一遍——严格单调的那半个周期挡住了一切更小的周期
怎么想到的。 前两条路都在最后一步引用了「T=∣ω∣2π 是最小正周期」。这句话是对的,但它本身需要证明——而这道题问的恰恰就是「最小」两个字。下面把它补上。用到的只有一件事:由前两条路已经得到
f(x)=sin(2x+4π)−2.
第一步:π 是周期。 冷启动里已经直接代入验过,这一步不依赖任何化简。
第二步:f 在一段长为 2π 的区间上严格递增。 当
x∈[−83π, 8π]时2x+4π∈[−2π, 2π],
而正弦在 [−2π,2π] 上严格递增,2x+4π 又随 x 严格递增,所以 f 在 [−83π,8π] 上严格递增。这段区间的长度正是 2π。
第三步:任何正周期都大于 2π。 设 T 是周期且 0<T⩽2π。取 x0=−83π,则 x0 与 x0+T 都落在上面那段递增区间里,且 x0<x0+T,于是
f(x0)<f(x0+T).
可 T 是周期,又要求 f(x0+T)=f(x0)——矛盾。所以没有哪个不超过 2π 的正数是 f 的周期。
第四步:也没有介于 2π 与 π 之间的周期。 先记一条:两个周期之差仍是周期。 若 S、T 都是 f 的周期,则
f(x+(S−T))=f(x+(S−T)+T)=f(x+S)=f(x),
所以 S−T(只要它是正的)也是周期。
现在设 T 是周期且 2π<T<π。π 也是周期,于是 π−T 是周期,而
0<π−T<2π,
与第三步矛盾。
收口。 π 是周期;任何小于 π 的正数都不是周期(第三步管 (0,2π],第四步管 (2π,π))。所以 f 的最小正周期恰是 π。
这条路配的正是图上那把尺。 图里量的「相邻两个最高点相距 π」是同一件事的几何版本:最高点只在 2x+4π=2π+2kπ 处出现,即 x=8π+kπ,彼此相距 π;而周期必须把一个最高点搬到另一个最高点上,所以任何正周期都不小于 π。两种说法可以互相替换,写在卷面上任取其一即可。