同值两点关于对称轴对称

解题套路

题目给的条件里出现两个不同的自变量取到同一个函数值，而问的却是它们的和—— 这是套路的触发信号：

道理只有一句：函数图象关于直线 $x=t$ 对称，说的就是 $f(t+u)=f(t-u)$ 对一切 $u$ 成立， 也就是”把原点搬到 $t$ 之后它是偶函数”。反过来，若 $f$ 的对称轴是一族孤立的直线 （三角函数、二次函数都是这样），那么取到同值的两个不同点只能是关于其中某一条对称—— 它们互为镜像，中点自然落在轴上。

用它做什么

把一个”两处相等”的条件换成一个”和等于定值”的等式。 这一步的价值在于： $x_1$、$x_2$ 各自是多少往往求不出来，也不需要求，题目要的常常正是 $x_1+x_2$。

典型场景：

• 三角形里给 $f(A)=f(B)$、$A\neq B$，问 $C$。 由套路得 $A+B=2t$， 再由 $C=\pi-(A+B)$ 一步到位，全程不必知道 $A$、$B$ 各是多少。
• 给 $f(x_1)=f(x_2)=m$ 求 $x_1+x_2$（三角函数或二次函数与水平线的两个交点）。
• 数列 / 函数的对称型求和：$a_p=a_q$ 推出下标关于对称中心配对。

三条使用前提

1. 必须有 $x_1\neq x_2$。 少了它，“两点关于轴对称”退化成”两点重合”， 结论 $\frac{x_1+x_2}{2}=t$ 就不成立了。题面给的 $a\neq b$、$x_1\neq x_2$ 这类看着多余的条件，往往就是专门为这一步准备的。
2. 对称轴不止一条，要按取值范围筛。 周期函数的对称轴排成一族 $t=t_0+\frac{T}{2}k$，于是 $x_1+x_2=2t_0+Tk$ 也是一族。 哪一个 $k$ 成立要用自变量的范围逐个验，不能默认取 $k=0$。
3. 先把 $f$ 化成”看得出对称轴”的形状。 三角式要先用辅助角合成单个 $A\sin(\omega x+\varphi)+B$ 或 $A\cos(\omega x+\varphi)+B$， 对称轴才读得出来（正弦型在 $\omega x+\varphi=\frac{\pi}{2}+k\pi$ 处， 余弦型在 $\omega x+\varphi=k\pi$ 处）。没合成之前，图象长什么样是看不出来的。

与”两族解”的关系

同一件事也可以纯代数地做：$\sin\alpha=\sin\beta$ 给出 $\alpha=\beta+2k\pi$（对应两点重合那一支） 与 $\alpha+\beta=\pi+2k\pi$（对应关于轴对称那一支）。

两条路给的是同一个结论，差别在于哪一支容易漏。 代数写法要靠记忆写全两族， 漏了第二族就整题错；图象写法一眼看得见”同一高度的水平线交曲线于两点”， 反而是”两点重合”那一支容易被忽略——而它恰好被 $x_1\neq x_2$ 排除掉。 两条一起用最稳：代数保证不漏支，图象保证不选错支。

失手处

• 忘了验 $x_1\neq x_2$，把两点重合当成对称，结论无中生有。
• 对称轴取错一条：周期函数在给定区间里可能有两条轴，只有其中一条能让 $x_1+x_2$ 落进允许的范围里。
• 把对称轴当成对称中心：$f(x_1)=f(x_2)$ 给的是轴对称（中点在轴上）， 而 $f(x_1)+f(x_2)=2c$ 才是关于点 $(t,c)$ 中心对称。两者的结论都是 $\frac{x_1+x_2}{2}=t$，但条件完全不同，别混用。