高中数学笔记

liuhaopeng · 2024-12-21 12:01:32 · 学习·文化课

以下这份数学笔记是笔者从 2023 年 7 月开始记录至现在的，.md 源文件达到了 232 KB（ 比上次更新增加了 80 KB ）。目前笔者高二，所学知识尚未完善，部分知识点未齐全，请读者见谅。

以下内容可能加载时间较长，请耐心等待。并且大约消耗 1\sim 2 GB 的内存。可以当作电脑性能测试了哈哈哈

可能存在图片加载不出来的情况或者其他意见建议，请私聊告知我，谢谢！

本笔记可能多次修改，以后可能会多次提交审核，辛苦洛谷管理员们！

如果你谷有朝一日修好剪贴板了，可以看这里的勘误：here

由于洛谷文章不能频繁更新（ 打扰管理员 ），可以访问我的博客：My Blog

方程求解

• 代数基本定理：任何一元 n(n\in\N ^{*}) 次复系数多项式方程 f(x)=0 至少有一个复数根。

• 一元一次方程

  ax+b=0(a\neq 0) \implies x=-\frac{b}{a}

• 一元二次方程

  ax^2+bx+c=0(a\neq0) \Delta<0，x=\frac{-b\pm\sqrt{-\Delta}i}{2a} \\ \Delta=0，x=-\frac{b}{2a} \\ \Delta>0，x=\frac{-b\pm\sqrt{\Delta}}{2a},\ 二者相距\ |\frac{\sqrt{\Delta}}{a}| \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 顶点坐标\ (-\frac{b}{2a},\ -\frac{\Delta}{4a}),\ 两根相加 -\frac{b}{a},\ 两根相乘 \frac{c}{a} \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 其与坐标轴围成的面积\ S=\frac{\Delta^{1.5}}{6a^2} \end{cases}

• 一元三次方程

  ax^3+bx^2+cx+d=0(a\neq0)

  1. 盛金公式

     重根判别式 \begin{cases} A=b^2-3ac \\ B=bc-9ad \\ C=c^2-3bd \end{cases}

     总判别式 \Delta=B^2-4AC

     • A=B=0
     x_1=x_2=x_3=\frac{-b}{3a}=\frac{-c}{b}=\frac{-3d}{c}
     • \Delta>0

     令 Y_{1,2}=Ab+3a(\frac{-B\pm\sqrt{B^2-4AC}}{2}),\ i^2=-1

     \boxed{x_1=\frac{-b-(\sqrt[3]{Y_1}+\sqrt[3]{Y_2})}{3a}\ \ \ \ \ \ \ \ \ \ \ \ x_{2,3}=\frac{-b+\frac{1}{2}(\sqrt[3]{Y_1}+\sqrt[3]{Y_2})\pm\frac{\sqrt{3}}{2}(\sqrt[3]{Y_1}-\sqrt[3]{Y_2})i}{3a}}
     • \Delta=0(A\neq 0)
     \boxed{x_1=\frac{-b}{a}+\frac{B}{A}\ \ \ \ \ \ \ \ \ \ \ \ x_2=x_3=\frac{-B}{2A}}
     • \Delta<0
     \boxed{x_1=\frac{-b-2\sqrt{A}\cos\frac{\theta}{3}}{3a}\ \ \ \ \ \ \ \ \ \ \ \ x_{2,3}=\frac{-b+\sqrt{A}(\cos\frac{\theta}{3}\pm\sqrt{3}\sin\frac{\theta}{3})}{3a}}

     其中 \theta=\arccos \frac{2Ab-3aB}{2\sqrt{A^3}}\ (A>0,-1<T<1)

  2. 卡尔达诺公式

     先左右除以 a，令 y=x+\frac{b}{3a} 得到一个奇数次的方程 y^3+3py+2q=0，再令 y=u+v 得到 u^3+v^3+(u+v)(3uv+3p)+2q=0

     瞪眼法可以知道 u^3+v^3=-2q,uv=-p 的一个根，再解出 u,v 即可。

  x_1+x_2+x_3=-\frac{b}{a} \\ x_1x_2+x_1x_3+x_2x_3=\frac{c}{a} \\ x_1x_2x_3=-\frac{d}{a} \end{cases}}}

• 一元四次方程

  ax^4+bx^3+cx^2+dx+e=0(a\neq 0) x_1+x_2+x_3+x_4=-\frac{b}{a} \\ x_1x_2+x_1x_3+x_1x_4+x_2x_3+x_2x_4+x_3x_4=\frac{c}{a} \\ x_1x_2x_3+x_1x_2x_4+x_1x_3x_4+x_2x_3x_4=-\frac{d}{a} \\ x_1x_2x_3x_4=\frac{e}{a} \end{cases}

• 若将韦达定理推广到一元 n 次方程 a_nx^n+a_{n-1}x^{n-1}+\dots+a_1x+a_0=0 (a_n\neq 0)，则方程的根可以表示为

  x_k = -\frac{1}{n} \displaystyle\sum_{j=1}^{n} \omega^j a_j

  其中 \omega 是 n 次单位根，即 \omega = e^{\frac{2\pi i}{n}}

  根的和与系数的关系：x_1 + x_2 + \ldots + x_n = -\frac{a_{n-1}}{a_n}

  根的积与系数的关系：x_1x_2\dots x_n = (-1)^n \frac{a_0}{a_n}

• 二元一次方程组

  a_1x+b_1y=c_1 \\ a_2x+b_2y=c_2 \end{cases} \Delta=0,\ \text{无解\ 或\ 无数组解} \\ \Delta\neq0,\ \begin{cases} x=\frac{c_1b_2-b_1c_2}{\Delta} \\ y=\frac{a_1c_2-c_1a_2}{\Delta} \end{cases} \end{cases}

不等式

以下 i=1,2,\dots,n.

均值不等式（ AM-GM 不等式 ）

对于 a_i\geq 0，有 \displaystyle\frac{n}{\sum_{i=1}^{n}\frac{1}{a_i}}\leq\sqrt[n]{\prod_{i=1}^{n}a_i}\leq\frac{\sum_{i=1}^{n}a_i}{n}\leq\sqrt{\frac{\sum_{i=1}^{n}a_i^2}{n}}

也就是 调和平均值 \leq 几何平均值 \leq 算术平均值 \leq 平方平均值

加权形式：a_i\geq 0,w_i>0 且 \displaystyle\sum_{i=1}^{n}w_i=1，有 \displaystyle\prod_{i=1}^{n}a_i^{w_i}\leq\sum_{i=1}^{n}w_ia_i

比较常用的二元形式：\displaystyle\frac{2}{\frac{1}{x}+\frac{1}{y}}\leq \red{\boxed{\sqrt{xy}\leq\frac{x+y}{2}}}\leq\sqrt{\frac{x^2+y^2}{2}}

1. 已知 x>0,y>0,x+y=2，求 \displaystyle\frac{2}{x}+\frac{3}{y} 的最小值。

   \frac{2}{x}+\frac{3}{y}=\frac{1}{2}(\frac{2}{x}+\frac{3}{y})(x+y)=\frac{1}{2}(5+\frac{2y}{x}+\frac{3x}{y})\geq\frac{5+2\sqrt{6}}{2}
   • 注意 \sin^2\alpha+\cos^2\alpha=1

2. 已知 a>b>0，求 \displaystyle a^2+\frac{1}{ab}+\frac{1}{a(a-b)} 的最小值。

   a^2+\frac{1}{ab}+\frac{1}{a(a-b)}=a^2-ab+ab+\frac{1}{ab}+\frac{1}{a(a-b)}

   使用基本不等式化简，取等条件 a=\sqrt{2},b=\frac{\sqrt{3}}{2}。

3. 已知 a>0,b>0,c>0，求证 \displaystyle\frac{c}{a+b}+\frac{a}{b+c}+\frac{b}{c+a}\geq\frac{3}{2}。

   设 x=a+b,y=b+c,z=c+a，则 a=(a+b+c)-(b+c)=\frac{z+x-y}{2}。

   同理可得 b=\frac{x+y-z}{2},c=\frac{y+z-x}{2}，代入原式得

   LHS=\frac{1}{2}(\frac{y}{x}+\frac{x}{y}+\frac{x}{z}+\frac{z}{x}+\frac{y}{z}+\frac{z}{y})-\frac{3}{2}

   使用基本不等式化简，取等条件 x=y=z，即 a=b=c。

   注：在数学中 LHS 表示左边的式子，同理 RHS 表示右边的式子。

4. x,y>0,x+y=2$，则 $(\ \ \ \ )

答案：\text{AB}

提示：\text{C} 中 \frac{x^2}{x+1}=x-1+\frac{1}{x+1}=x+1+\frac{1}{x+1}-2。

类似构造：m,n>0,m+n=1，求 \frac{1}{m+1}+\frac{2m-1}{n+2} 的最小值 ？答案：\frac{\sqrt{5}-1}{2}

柯西不等式

二元形式：\displaystyle \red{\boxed{(a^2+b^2)(c^2+d^2)\geq(ab+cd)^2}}，当 \displaystyle\frac{a}{c}=\frac{b}{d} 时取等。

三元形式：\displaystyle \red{\boxed{(a^2+b^2+c^2)(d^2+e^2+f^2)\geq(ad+be+cf)^2}}，当 \displaystyle\frac{a}{d}=\frac{b}{e}=\frac{c}{f} 取等。

例 1：a,b>0,a^2+b^2=2，求 a+2b 的最大值。

方法一：由柯西不等式，(a+2b)^2\leq(1^2+2^2)(a^2+b^2)=10,a+2b\leq\sqrt{10}。

方法二：三角换元，令 a=\sqrt{2}\sin\theta,b=\sqrt{2}\cos\theta，然后用辅助角公式得出最大值 =\sqrt{(\sqrt{2})^2+(2\sqrt{2})^2}=\sqrt{10}。

例 2：已知 x,y,z\in\R,x-2y+2z=5，求 (x+5)^2+(y-1)^2+(z+3)^2 最小值。

当且仅当 \displaystyle x=y=-3,z=1 取等。

（ 逆用 ）例 3：已知 x,y,z\in\R,x-2y-3z=4，求 x^2+y^2+z^2 最小值。

推论：权方和不等式

常见的二元形式：\displaystyle\red{\boxed{\frac{a^2}{x}+\frac{b^2}{y}\geq\frac{(a+b)^2}{x+y}}}

例题：已知 x,y>0,x+y=1，求 \displaystyle\frac{1}{x}+\frac{4}{y} 的最小值。

Aczel 不等式（ 反向柯西不等式 ）

常见的二元形式：\displaystyle\red{\boxed{(a^2-b^2)(c^2-d^2)\leq(ac-bd)^2}}，当 \displaystyle\frac{a}{c}=\frac{b}{d} 时取等。

例 1：求 f(x)=\sqrt{5x-4}-\sqrt{x-4} 最小值。

当且仅当 \displaystyle\frac{\sqrt{5}}{1}=\frac{\sqrt{x-\frac{4}{5}}}{\sqrt{x-4}} 即 x=\frac{24}{5} 时取等。

练 1：求 f(x)=2\sqrt{x^2+1}-x 最小值。答案：\sqrt{3}。

练 2：求 f(x)=\sqrt{4x^2+25}-\sqrt{3}x 最小值。答案：\frac{5}{2}。

总结：对于 a\sqrt{x^2+b}-cx+d 的最小值是 \sqrt{(a^2-c^2)b}+d，此时 x=c\sqrt{\frac{b}{a^2-c^2}}。

例 2：求 \displaystyle f(x)=\frac{1}{2x^2+1}-\frac{2}{x^2+1} 最小值。

所以 f(x)\geq -1，在 x=0 取等。

伯努利不等式

若实数 a_i 各项符号相同，且 a_i>-1，则：

当 x_i 相等时，变为：

例题：欲证明 \ln(1+\sqrt{2})>\frac{\sqrt{2}}{2}，有

故

即

幂平均不等式

加权形式：\displaystyle a_i>0,p_i>0,\alpha>\beta\ \ \ \ \ (\frac{\sum_{i=1}^{n}p_ia_i^{\beta}}{\sum_{i=1}^{n}p_i})^{\frac{1}{\beta}}\leq(\frac{\sum_{i=1}^{n}p_ia_i^{\alpha}}{\sum_{i=1}^{n}p_i})^{\frac{1}{\alpha}}

切比雪夫不等式

若 a_1\leq a_2\leq\dots\leq a_n,b_1\leq b_2\leq\dots\leq b_n，则：

排序不等式

若 a_1\leq a_2\leq\dots\leq a_n,b_1\leq b_2\leq\dots\leq b_n，则：正序和 \geq 乱序和 \geq 反序和

Holder 不等式

例：已知 a,b>0,\displaystyle\frac{1}{a}+\frac{8}{b}=1，求 a^2+b^2 最小值。

使用三维 Holder 不等式，\displaystyle(a^2+b^2)(\frac{1}{a}+\frac{8}{b})(\frac{1}{a}+\frac{8}{b})\geq(\sqrt[3]{1}+\sqrt[3]{64})^3=125。

或者 \displaystyle\begin{cases}a^2+\frac{125}{a}+\frac{125}{a}\geq 3\sqrt[3]{a^2\frac{125}{a}\frac{125}{a}}=75\\b^2+\frac{1000}{b}+\frac{1000}{b}\geq 3\sqrt[3]{b^2\frac{1000}{b}\frac{1000}{b}}=300\end{cases}\implies a^2+b^2+250(\frac{1}{a}+\frac{8}{b})\geq 375

琴生不等式

设 f(x) 为单调区间 [a,b] 的下凸函数，x_i\in[a,b]

例子

1. 若实数 x,y 满足 x^2+y^2+xy=1, 则 x+y 的最大值是 ？

   使用判别式法，令 k=x+y, x=k-y 代入得

   y^2-ky+k^2-1=0,\ \Delta=k^2-4(k^2-1)\geq 0 \implies -\frac{2\sqrt{3}}{3}\leq k\leq \frac{2\sqrt{3}}{3}, x+y\leq \frac{2\sqrt{3}}{3}

2. 已知正实数 y 满足 \frac{xy}{y-x}=\frac{1}{5x+4y}, 则正实数 x 的最大值是 ？

   4xy^2+(5x^2-1)y+x=0\implies y_1y_2=\frac{1}{4}>0, y_1+y_2=-\frac{5x^2-1}{4x}>0 \therefore \begin{cases}5x^2-1<0 \\ x>0 \end{cases} 或\begin{cases} 5x^2-1>0 \\ x<0 \end{cases}\implies 0<x<\frac{\sqrt{5}}{5} \Delta=(5x^2-1)^2-16x^2\geq 0 \implies 5x^2-1\geq 4x\ \text{or} \ 5x^2-1\leq -4x\implies x\in(0,\frac{1}{5}]
3. 所求式中 $a,b,c$ **等价**，故 $a=b=c$ 时取最值 $\frac{\sqrt{3}}{12}$。

函数单调性、奇偶性、对称性与周期性

复合函数单调性——同增异减

奇偶性

• 奇函数：对称中心 (0,0)，如 y=\frac{k}{x}\ (k\neq 0)。

• 偶函数：关于 x=0 对称，如 y=|x|,\ y=x^2。

• 一个多项式函数为奇函数，当且仅当它只有奇数次幂，如 f(x)=2x^7+5x^5-x^3。

• 一个多项式函数为偶函数，当且仅当它只有偶数次幂，如 f(x)=x^6-6x^4+x^2+9。

• \red{\boxed{y=f(ax+b)+c 是奇函数，则 f(x) 的对称中心 (b,-c)。}}
• \red{\boxed{y=f(ax+b)+c 是偶函数，则 f(x) 关于 x=b 对称。}}

• 反函数：定义域和值域与原函数互换的新函数，如 f(x)=\log_ax 的反函数为 g(x)=a^x，反之亦然。

  例：已知函数 f(x)=a^{x-1}+3(a>0\ 且 \ a\neq 1)，则 f(x) 的的图像恒过定点 (1,4) \\ \implies f(x) 的反函数的图像恒过定点 (4,1)，即横坐标与纵坐标互换。

  反函数的其他性质：原函数与其反函数关于直线 y=x 对称。

• 奇偶函数加减法则

• 复合函数奇偶性（ 有偶则偶，同奇则奇 ）

对称性

必记二级结论

以下记 T 为函数的周期, 记 C\in\R 为某个常数。

• f(x+a)=f(x+b) \implies T=|b-a|
• f(x)+f(x+a)=C \implies T=2a
• f(x)\times f(x+a)=C \implies T=2a
• f(x+2a)=f(x+a)-f(x) \implies T=6a
• f(x)\ 关于\ x=a,\ x=b\ 对称 \implies T=|2(b-a)|
• f(x)\ 的两个对称中心\ (a,0),\ (b,0)\ \implies T=|2(b-a)|
• f(x)\ 关于\ x=a\ 对称且有个对称中心\ (b,0) \implies T=|4(b-a)|

拓展二级结论

• 三次及以下的多项式函数具有一般对称性，四次及以上的多项式函数不具有一般对称性。

  最高幂次为奇数的多项式函数只可能具有中心对称性，最高幂次为偶数的多项式函数只可能具有轴对称性。

  如果一个多项式函数 f(x)=a_n x^n + a_{n-1}x^{n-1}+\dots+a_1 x+a_0 具有中心对称性，那么它的对称中心 (-\frac{a_{n-1}}{na_n},f(-\frac{a_{n-1}}{na_n}))。

  如果一个多项式函数 f(x)=a_n x^n + a_{n-1}x^{n-1}+\dots+a_1 x+a_0 具有轴对称性，那么它的对称轴 x=-\frac{a_{n-1}}{na_n}。

• 注意到该函数的定义域为 $\set{x|x\neq - \frac{d}{c}}$，值域是 $\set{x|x\neq\frac{a}{c}}$。 例：$f(x)=\frac{x}{x+1}+\frac{x+1}{x+2}+\frac{x+2}{x+3}$ 的对称中心 ？ 首先我们知道，这三个式子的对称中心分别是 $(-1,1)$，$(-2,1)$，$(-3,1)$。 如果这个函数有对称中心，其横坐标就在 $-1,-2,-3$ 中间即 $-2$。 因为函数是三个式子相加，所以纵坐标就是三个纵坐标相加即 $3$。 所以函数的对称中心 $(-2,3)$。

• 任何一个函数 f(x) 都可以拆分为一个奇函数 F(x)=\frac{f(x)-f(-x)}{2} 与一个偶函数 G(x)=\frac{f(x)+f(-x)}{2} 之和。

• f(x+a)=\frac{mf(x)+b}{cf(x)-m}(a,b,c\in\R,c\neq 0,m^2+bc\neq 0) \implies T=2a
• f(x+a)=\frac{1+f(x)}{1-f(x)} \implies T=4a

幂、对数的基本计算

• a\in\Z^+,\ 直接计算 \\ a=0,\ x^a=0 \\ a\in\Z^-,\ x^a=\frac{1}{x^{-a}} \\ \text{Otherwise} ,\ 令 \ a=\frac{b}{c}, \ x^a=\sqrt[c]{x^b} \\ \end{cases}
• \log_ab+\log_ac=\log_a bc
• \log_ab-\log_ac=\log_a\frac{b}{c}
• \log_ab=\frac{\log_cb}{\log_ca}
• \frac{b}{c}\log_aN=\log_{a^c}N^b
• M^{\log_aN}=N^{\log_aM}
• a^{\lg b}=b^{\lg a}

例子

• 例 1：已知正实数 x,y,z 满足 3^x=5^y=15^z，则 （ BCD ）

  A. x+y=z\ \ \ \ \ \ \text{} B. xz+yz=xy\ \ \ \ \ \ \text{} C. \frac{x}{3}>\frac{y}{5}>\frac{z}{15}\ \ \ \ \ \ \text{} D. xy>4z^2

  令 3^x=5^y=15^z=k，则 x=\log_{3}k，y=\log_{5}k，z=\log_{15}k。

  令 k=100 易证 A 选项不成立。

  显然有 \frac{1}{x}=\log_{k}3，\frac{1}{y}=\log_{k}5，\frac{1}{z}=\log_{k}15。

  即 \frac{1}{x}+\frac{1}{y}=\frac{1}{z}，两边同乘 xyz 可证得 B 选项成立。

  C 选项题意转化得 \frac{3}{x}<\frac{5}{x}<\frac{15}{x}，易证其成立。

  D 选项即证明 xy-4z^2=\frac{(\lg{k})^2}{\lg 3\lg 5}-\frac{4(\lg{k})^2}{(\lg{15})^2}>0 \implies (\lg{15})^2-4\lg{3}\lg{5}=(\lg 3+\lg 5)^2-4\lg{3}\lg{5}=(\lg 3-\lg 5)^2>0。

• 例2：设 a=\log_{3}2,b=\log_{5}3,c=\log_{8}5，比较大小：a<b<c。

  \because (a+b)^2\geq 4ab\ \ \ \ \ \ \text{}$ $\therefore ab\leq\frac{(a+b)^2}{4} \frac{b}{c}=\log_{5}3\times\log_{5}8\leq\frac{(\log_{5}3+\log_{5}8)^2}{4}<1\implies b<c \log_{3}2=\log_{3}\sqrt[3]{8}<\log_{3}\sqrt[3]{9}=\frac{2}{3},\log_{5}3=\log_{5}\sqrt[3]{27}>\log_{5}\sqrt[3]{25}=\frac{2}{3}\implies a<b

复数

• z=a+b\text{i}$ $\ \ \ \ \ \text{}$ 模或绝对值 $|z|=|a+b\text{i}|=\sqrt{a^2+b^2}

  共轭复数 \={z}=a-b\text{i} \ \ \ \ \ \text{} 几何意义：复平面上点 (a,b)

  注意实部为 a，虚部为 b （不带 \text{i}）\ \ \ \ \ \text{}。 注意当 a=0,b\neq 0 时为纯虚数，0 不是纯虚数。

  所有虚数均不能直接比较大小，如 \xcancel{2+\text{i}>1+\text{i}}，当且仅当 b=0 时可以比较。

• z_1=a+b\text{i},\ z_2=c+d\text{i}$ $\ \ \ \ \ \text{}\implies$ $z_1\pm z_2=(a\pm c)+(b\pm d)\text{i} \implies z_1 z_2=ac-bd+(bc+ad)\text{i}$ $\ \ \ \ \ \text{}$ $\frac{z_1}{z_2}=\frac{ac+bd+(bc-ad)\text{i}}{c^2+d^2}

  利用三角形三边关系：|z_1|-|z_2|\leq|z_1+z_2|\leq|z_1|+|z_2|。 此公式适用于实数、复数、向量，当 a,b 为向量时，利用 |\mathbf{a}\cdot\mathbf{b}|\leq|\mathbf{a}||\mathbf{b}| 可证明。

• (a\pm b\text{i})^2=a^2-b^2\pm 2ab\text{i},(a+b\text{i})(a-b\text{i})=a^2+b^2,(1\pm\text{i})^2=\pm 2\text{i} (-\frac{1}{2}\pm\frac{\sqrt{3}\text{i}}{2})^3=1 \frac{1}{\text{i}}=-\text{i},\frac{1-\text{i}}{1+\text{i}}=-\text{i},\frac{1+\text{i}}{1-\text{i}}=\text{i} n\in\Z,i^{4n}=1,i^{4n+1}=i,i^{4n+2}=-1,i^{4n+3}=-i

复数的三角表示

其中 r=\sqrt{a^2+b^2},\tan\theta=\frac{b}{a}(a\neq 0)\implies a=r\cos\theta,b=r\sin\theta。

规定在 0\leq\theta<2\pi 时 \theta 为辐角的主值，记为 \arg z，且满足 0\leq\arg z<2\pi。

• 设 z_1=a+b\text{i}=r_1(\cos\theta _1+\text{i}\sin\theta _1),z_2=c+d\text{i}=r_2(\cos\theta _2+\text{i}\sin\theta _2)

  z_1z_2=r_1r_2[\cos(\theta _1+\theta _2)+\text{i}\sin(\theta _1+\theta _2)] \frac{z_1}{z_2}=\frac{r_1}{r_2}[\cos(\theta _1-\theta _2)+\text{i}\sin(\theta _1-\theta _2)](z_2\neq 0) z_1z_2\dots z_n=r_1r_2\dots r_n[\cos(\theta _1+\theta _2+\dots +\theta _n)+\text{i}\sin(\theta _1+\theta _2+\dots +\theta _n)]

• 棣莫弗定理：对于 z=r(\cos\theta+\text{i}\sin\theta), z^n=r^n(\cos n\theta+\text{i}\sin n\theta),n\in\N ^{*}。

复数与圆

• $|z-z_1|=r\implies z$ 在复平面内对应点的集合是以 $z_1$ 在复平面内的对应点为圆心，$r$ 为半径的圆。 $|z-z_1|=|z-z_2|\implies z$ 在复平面内对应点的集合是 $Z_1,Z_2$ 为端点的线段的**中垂线**。

• 设复数 z_1,z_2,z_1+z_2 在复平面内对应点为 A,B,C，结合平面向量的基本运算。

  $|z_1|=|z_2|\implies$ 四边形 $\text{OACB}$ 为**菱形**。 $|z_1|=|z_2|$ 且 $|z_1+z_2|=|z_1-z_2|\implies$ 四边形 $\text{OACB}$ 为**正方形**。

• 综合题：已知复数 z_1,z_2 满足 |z_1|=|z_2|=1，若 |z_1-z_2|=|z_1-1|=|z_2-z|，则 |z| 的最大值是 ？

  |z|=|(z_2-z)-z_2|\leq|z_2-z|+|z_2|=|z_1-1|+1\leq|z_1|+1+1=3$，此时 $z_1=-1,z_2=1,z=3

三角恒等变换

诱导公式

• 毕达哥拉斯定理：\sin^2\alpha+\cos^2\alpha=1，两边同除 \sin^2x 或 \cos^2x 可得 1+\tan^2x=\sec^2x,1+\cot^2x=\csc^2x。

• \tan\alpha=\frac{\sin\alpha}{\cos\alpha},\cot x=\frac{1}{\tan x},\sec x=\frac{1}{\cos x},\csc x=\frac{1}{\sin x}

• 奇函数：\sin,\tan,\cot,\csc\ \ \ \ \text{} 偶函数：\cos,\sec

简单的三角恒等变换

• \sin(\alpha+\beta)\sin(\alpha-\beta)=\sin^2\alpha-\sin^2\beta
• \cos(\alpha+\beta)\cos(\alpha-\beta)=\cos^2\alpha-\sin^2\beta
• 1+\cos\alpha=2\cos^2\frac{a}{2}$，$1-\cos\alpha=2\sin^2\frac{a}{2}
• \tan^2\alpha\sin^2\alpha=\tan^2\alpha-\sin^2\alpha

• 对于任意非直角三角形中，总有 \tan A+\tan B+\tan C=\tan A\tan B\tan C

  经典值：\tan A=1,\ \tan B=2,\ \tan C=3, 此时 A=45\degree,\ B=63.43\degree,\ C=71.57\degree

• 其他三角形恒等式（ \Delta ABC 中 ）：\begin{cases} \sin A+\sin B+\sin C=4\cos\frac{A}{2}\cos\frac{B}{2}\cos\frac{C}{2} \\ \cos A+\cos B+\cos C=1+4\sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2} \\ \cot A+\cot B+\cot C=4\cot\frac{A}{2}\cot\frac{B}{2}\cot\frac{C}{2} \\ \sin^2 A+\sin^2 B+\sin^2 C=2+2\cos A\cos B\cos C \\ \cos^2A+ \cos^2B+\cos^2C=1-2\cos A\cos B\cos C \\ \sin 2A+\sin 2B+\sin 2C=4\sin A\sin B\sin C \\ \cos 2A+\cos 2B+\cos 2C=-1-4\cos A\cos B\cos C\\ \tan\frac{A}{2}\tan\frac{B}{2}+\tan\frac{B}{2}\tan\frac{C}{2}+\tan\frac{A}{2}\tan\frac{C}{2}=1 \end{cases}

• 若已知 \tan \alpha=k, 则有 \frac{a\sin\alpha+b\cos\alpha}{m\sin\alpha+n\cos\alpha}=\frac{ak+b}{mk+n}。

• \frac{1-\tan\alpha}{1-\tan^2\alpha}=\frac{1}{2}\tan 2\alpha$，$\frac{1-\tan\alpha}{1+\tan^2\alpha}=\frac{1}{2}\sin 2\alpha

• 对于 x\in (0,\frac{\pi}{2}),\ \sin x<x<\tan x。

若 \Delta ABC 为锐角 \Delta 且满足 \tan A+\tan B+\tan C\leq \lfloor\tan A\rfloor+\lfloor\tan B\rfloor+\lfloor\tan C\rfloor，若 A\leq B\leq C，求 \tan C-\tan B。

我们知道正切恒等式 \tan A\tan B\tan C=\tan A+\tan B+\tan C。其证明：

我们又知道

于是 \tan A\geq\lfloor\tan A\rfloor,\tan B\geq\lfloor\tan B\rfloor,\tan C\geq\lfloor\tan C\rfloor，也即 \tan A,\tan B,\tan C\in\Z^*。

因为 A\leq B\leq C<\frac{\pi}{2}，所以 A<\frac{\pi}{3},\tan A<\sqrt{3}，所以 \tan A=1，由正切恒等式解方程得

在 \Delta ABC 中，c=2,\frac{1}{\tan A}+\frac{1}{\tan B}+\frac{1}{\tan A\tan B}=1，求 S_{\Delta ABC} 最大值。

三角函数的平移

• y=A\sin(\omega x+\varphi)+h\ 或\ y=A\cos(\omega x+\varphi)+h \implies T=\frac{2\pi}{|\omega|}

  三角函数的应用：振幅 A 周期 T=\frac{2\pi}{\omega} 频率 f=\frac{1}{T}=\frac{\omega}{2\pi} 相位 \omega x+\varphi 初相 \varphi

• y=A\tan(\omega x+\varphi)+h\implies T=\frac{\pi}{|\omega|}

• 三角函数里图像的平移都是针对单个 x 进行 左加右减。

  例：y=3\sin(2x+\frac{\pi}{3})+1 向左平移 \frac{\pi}{4} 个单位长度，再将图像上所有点的横坐标缩短为原来的 \frac{1}{2}：

  y=3\sin(2x+\frac{\pi}{3})+1 \implies y=3\sin[2(x+\frac{\pi}{6})]+1

  第一步转移变成 y=3\sin[2(x+\frac{\pi}{6}+\frac{\pi}{4})]+1 \implies y=3\sin(2x+\frac{5\pi}{6})+1

  第二步转移变成 y=3\sin(4x+\frac{5\pi}{6})+1

三角不等式

若 \alpha,\beta,\gamma 为同一个三角形的内角，则有下列不等式：（ 取等条件均为 \alpha=\beta=\gamma = \frac{\pi}{3} ）

双曲函数

并且满足 \cosh^2x-\sinh^2x=1。

n 倍角公式

平面向量

定义及基本运算

• 我们把既有大小又有方向的量称为向量，把只有大小没有方向的量称为数量。向量用有向线段 \overrightarrow{AB} 表示（ 但向量 \neq 有向线段 ），它的长度/模记作 |\overrightarrow{AB}|。 长度等于 1 个单位长度的向量，称为单位向量，一般用 \mathbf{e} 表示。长度等于 0 个单位长度的向量，称为零向量，用 \mathbf{0} 表示，它的方向是任意的。坐标轴不能说是向量（ 没有长度 ）。

• 平行向量 / 共线向量：方向 相同 或 相反 的非零向量叫做平行向量。零向量与任何向量平行。所以 \mathbf{a}//\mathbf{b},\mathbf{b}//\mathbf{c}\ \xcancel{\implies}\ \mathbf{a}//\mathbf{c}。

  向量 \mathbf{a}(\mathbf{a}\neq\mathbf{0}) 与 \mathbf{b} 共线 \Longleftrightarrow 存在唯一一个实数 \lambda 使 \mathbf{b}=\lambda\mathbf{a}。

• 相等向量：长度相等 且 方向相同的两个向量。相反向量：长度相等 且 方向相反的两个向量。

• 投影向量：设 \overrightarrow{AB}=\mathbf{a},\overrightarrow{CD}=\mathbf{b}，过 \overrightarrow{AB} 的起点 A 和终点 B，分别作 \overrightarrow{CD} 所在直线的垂线，垂足分别为 A_1,B_1 并得到 \overrightarrow{A_1B_1}，称上述变换为向量 \mathbf{a} 向向量 \mathbf{b} 投影，\overrightarrow{A_1B_1} 叫做向量 \mathbf{a} 在向量 \mathbf{b} 上的投影向量。

• 两个向量之间的夹角可用 \theta=\langle\mathbf{a},\mathbf{b}\rangle 表示，注意两个向量此时必须共顶点。

向量的 +,-, 数乘运算统称为向量的线性运算，向量线性运算的结果仍为向量。点乘运算叫做 \mathbf{a} 与 \mathbf{b} 的数量积/内积，结果为数量。

定理及二级结论

• 平面向量基本定理：若 \mathbf{e_1,e_2} 是同一平面内的两个不共线向量，则对于这一平面内的任意向量 \mathbf{a}，有且只有一对实数 \lambda _1,\lambda _2，使得 \mathbf{a}=\lambda _1\mathbf{e_1}+\lambda _2\mathbf{e_2}。

  若 \mathbf{e_1,e_2} 不共线，我们把 \set{\mathbf{e_1,e_2}} 叫做这一平面内所有向量的一个 基底；任一向量都可以由同一个基底唯一表示。

• 定比分点公式：已知点 D 为线段 BC 靠近点 B 的第 k 个 n 等分点 \implies \overrightarrow{AD}=\frac{k}{n}\overrightarrow{AC}+\frac{n-k}{n}\overrightarrow{AB}，其中 A 为平面内任取的一点。

  已知 A(x_1,y_1),B(x_2,y_2),P(x,y)，若 \overrightarrow{AP}=\lambda\overrightarrow{PB}，则 x=\frac{x_1+\lambda x_2}{1+\lambda},y=\frac{y_1+\lambda y_2}{1+\lambda}。

• $|\mathbf{a}|=|\mathbf{b}|\implies$ 菱形 $\ \ \ \ \ \ \ \ \text{}$ $|\mathbf{a}+\mathbf{b}|=|\mathbf{a}-\mathbf{b}|$ 且 $|\mathbf{a}|=|\mathbf{b}|\implies$ 正方形

• 正弦定理：\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=\frac{a+b+c}{\sin A+\sin B+\sin C}=2R=D，其中 R 为三角形外接圆半径。

  变形：要证 (a+b)(\sin A-\sin B)=(c-b)\sin C，可转化为 (a+b)(a-b)=(c-b)c\implies b^2+c^2-a^2=bc\implies\cos A=\frac{b^2+c^2-a^2}{2bc}=\frac{1}{2}。

  注意 \sin C=\sin(\pi-(A+B))=\sin(A+B)=\sin A\cos B+\cos A\sin B。

• 余弦定理：\begin{cases} a^2=b^2+c^2-2bc\cos A \\ b^2=a^2+c^2-2ac\cos B \\ c^2=a^2+b^2-2ab\cos C \end{cases}\implies\begin{cases} \cos A=\frac{b^2+c^2-a^2}{2bc} \\ \cos B=\frac{c^2+a^2-b^2}{2ac} \\ \cos C=\frac{a^2+b^2-c^2}{2ab}\end{cases}

• 正切定理：\displaystyle\frac{a+b}{a-b}=\frac{\tan\frac{a+b}{2}}{\tan\frac{a-b}{2}}

• 任意三角形射影定理（ 将 \cos 展开即可证明 ）：\begin{cases} a=b\cos C+c\cos B \\ b=a\cos C+c\cos A \\ c=a\cos B+b\cos A \end{cases}

• 极化恒等式：\mathbf{a}\cdot\mathbf{b}=(\frac{\mathbf{a}+\mathbf{b}}{2})^2-(\frac{\mathbf{a}-\mathbf{b}}{2})^2

  对于平行四边形 ABCD，满足 AC^2+BD^2=2(AB^2+AD^2),\overrightarrow{AB}\cdot\overrightarrow{AD}=\frac{1}{4}(\overrightarrow{AC}^2-\overrightarrow{BD}^2)。

  对于三角形 ABC，M 为 BC 中点，\overrightarrow{AB}\cdot\overrightarrow{AC}=\overrightarrow{AM}^2-\frac{1}{4}\overrightarrow{BC}^2=\overrightarrow{AM}^2-\overrightarrow{BM}^2。

• 对任意四边形 ABCD，若两对角线相垂直，则 S=\frac{1}{2}|\overrightarrow{AC}||\overrightarrow{BD}|。

• 中线长定理：对于三角形 ABC，AD 为 BC 边上的中线，则有 AB^2+AC^2=2(AD^2+BD^2)\\ \overrightarrow{AB}\cdot\overrightarrow{AC}=|\overrightarrow{AD}|^2-|\overrightarrow{BD}|^2。

• 张角定理：\Delta ABC,D 在 BC 上，令 \angle BAD=\alpha,\angle CAD=\beta，则有 \frac{\sin\alpha}{AC}+\frac{\sin\beta}{AB}=\frac{\sin(\alpha+\beta)}{AD}。

• 奔驰定理：点 O 是 \Delta ABC 所在平面内不与 A,B,C 重合的一点，若 x\overrightarrow{OA}+y\overrightarrow{OB}+z\overrightarrow{OC}=\mathbf{0},xyz\neq 0，则 S_{\Delta OBC}\overrightarrow{OA}+S_{\Delta OAC}\overrightarrow{OB}+S_{\Delta OAB}\overrightarrow{OC}=\mathbf{0}，且 S_{\Delta OBC}:S_{\Delta OAC}:S_{\Delta OAB}=x:y:z。

  证明：x\overrightarrow{OA}+y\overrightarrow{OB}+z\overrightarrow{OC}=\mathbf{0} \implies \frac{x}{y}\overrightarrow{OA}+\overrightarrow{OB}+\frac{z}{y}\overrightarrow{OC}=\mathbf{0}。

  将 OA 延长到 OE 满足 OE=\frac{x}{y}OA，OC 延长到 OF 满足 OF=\frac{z}{y}OC，变为 \overrightarrow{OE}+\overrightarrow{OB}+\overrightarrow{OF}=\mathbf{0}。

  同理根据相似 $S_{\Delta AOC}:S_{\Delta AOB}:S_{\Delta BOC}=\frac{y^2}{xz}:\frac{yz}{xz}:\frac{xy}{xz}=y:z:x$。

例题：\Delta ABC 中，D 为 BC 中点，BE=2EA，AD 与 CE 交于 O，\overrightarrow{AB}\cdot\overrightarrow{AC}=6\overrightarrow{AO}\cdot\overrightarrow{EC},\frac{AB}{AC}=(\ \sqrt{3}\ \text{})。

方法一：\overrightarrow{AO}=\lambda\overrightarrow{AD}=\frac{\lambda}{2}(\overrightarrow{AB}+\overrightarrow{AC})=(1-\mu)\overrightarrow{AE}+\mu\overrightarrow{AC}=\frac{1-\mu}{3}\overrightarrow{AB}+\mu\overrightarrow{AC}

解方程得 \lambda=\frac{1}{2},\mu=\frac{1}{4}，\overrightarrow{AO}=\frac{1}{4}\overrightarrow{AB}+\overrightarrow{AC},\overrightarrow{EC}=-\frac{1}{3}\overrightarrow{AB}+\overrightarrow{AC}。

代入题目，\frac{1}{2}AB^2=\frac{3}{2}AC^2,\frac{AB}{AC}=\sqrt{3}。

方法二：作 AB 另一个三等分点 F，连接 DF 构造中位线。

平面向量的坐标表示

• 在平面直角坐标系中，设与 x 轴，y 轴方向相同的两个单位向量分别为 \mathbf{i},\mathbf{j}，取 \set{\mathbf{i},\mathbf{j}} 作为基底，对于平面内任意一个向量 \mathbf{a}，有且只有一对实数 x,y，使得 \mathbf{a}=x\mathbf{i}+y\mathbf{j},(x,y) 就是 \mathbf{a} 的坐标，记作 \mathbf{a}=(x,y)。

  显然，\mathbf{i}=(1,0),\mathbf{j}=(0,1),\mathbf{0}=(0,0)，\overrightarrow{OA}=x\mathbf{i}+y\mathbf{j} \Longleftrightarrow A 的坐标 (x,y)。

  若表示向量 \mathbf{a} 的有向线段的起点和终点的坐标分别为 (x_1,y_1),(x_2,y_2)，则 \mathbf{a}=(x_2-x_1,y_2-y_1)。

• 若 \mathbf{a}=(x_1,y_1),\mathbf{b}=(x_2,y_2)，则有 \mathbf{a}\pm\mathbf{b}=(x_1\pm x_2,y_1\pm y_2),\mathbf{a}\cdot\mathbf{b}=x_1x_2+y_1y_2。

  向量 $\mathbf{a},\mathbf{b}$ 共线 $\Longleftrightarrow x_1y_2=x_2y_1$；向量 $\mathbf{a}\perp\mathbf{b} \Longleftrightarrow x_1y_2=x_2y_1$。 $\theta=\langle\mathbf{a},\mathbf{b}\rangle\implies\cos\theta=\frac{\mathbf{a}\cdot\mathbf{b}}{|\mathbf{a}||\mathbf{b}|}=\frac{x_1x_2+y_1y_2}{\sqrt{x_1^2+y_1^2}\sqrt{x_2^2+y_2^2}}\implies$ 柯西不等式的二元形式。

笛卡尔斜坐标系

• 模长：\mathbf{a}=(x',y'),|\mathbf{a}|=\sqrt{x^2+y^2+2xy\cos\theta}

• 夹角：\mathbf{a}=(x_1',y_1'),\mathbf{b}=(x_2',y_2'),\cos\gamma=\frac{\mathbf{a}\cdot\mathbf{b}}{|\mathbf{a}||\mathbf{b}|}

例题：\Delta ABC 中，D,E 为 BC 上的两个三等分点，\overrightarrow{AB}\cdot\overrightarrow{AD}=2\overrightarrow{AC}\cdot\overrightarrow{AE}，则 \cos\angle ADE 的最小值为（ \frac{4}{7} ）。

以 \overrightarrow{DC},\overrightarrow{DA} 的方向作为平面 ABC 斜坐标系中 x',y' 轴的正方向，并设 |\overrightarrow{DA}|=m,|\overrightarrow{DC}|=2，可得 A(0,m),B(-1,0),C(2,0),D(0,0),E(1,0)。

于是 \overrightarrow{AB}\cdot\overrightarrow{AD}=(-1,-m)\cdot(0,-m)=m^2+m\cos\angle ADE,\overrightarrow{AC}\cdot\overrightarrow{AE}=(2,-m)\cdot(1,-m)=2+m^2-3m\cos\angle ADE。

根据题意整理得 \cos\angle ADE=\frac{1}{7}(m+\frac{4}{m})\geq\frac{4}{7}。

三角形

三角形四心

• 内接圆半径 r=\frac{\tan\frac{A}{2}(b+c-a)}{2}。

• 欧拉定理：O,I 分别为外接圆、内切圆圆心，则有 OI^2=R^2-2Rr。

• 欧拉线定理：三角形的外心 O，垂心 H，重心 G 依次位于同一直线上，且重心到外心的距离是重心到垂心的距离的一半，即 \overrightarrow{OG}=\frac{1}{3}\overrightarrow{OH}=\frac{1}{3}(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC})。

• 锐角三角形外心到三边距离之和等于 R+r。 证明：等价于证 R(\cos A+\cos B+\cos C)=R+r，我们知道

  \frac{1}{2}(a+b+c)r=S_{\Delta ABC}=S_{\Delta OAB}+S_{\Delta OAC}+S_{\Delta OBC}=\frac{1}{2}R(a\cos A+b\cos B+c\cos C)

  联立上两式（ 相乘 ），则需证

  (a+b+c)(\cos A+\cos B+\cos C)=a+b+c+a\cos A+b\cos B+c\cos C

  直接展开易知等式成立。

例题：根据欧拉线定理，在 \Delta ABC 中有 AB=2,AC=3，以下正确的有（ ACD ）

对 A，因为 H 为垂心，所以 AH\perp BC，显然正确。

对 B，\overrightarrow{AG}=\frac{1}{3}(\overrightarrow{AB}+\overrightarrow{AC}),\ \overrightarrow{BC}=\overrightarrow{AC}-\overrightarrow{AB}\implies\overrightarrow{AG}\cdot\overrightarrow{BC}=\frac{5}{3}

对 C，\overrightarrow{BC}=\overrightarrow{AC}-\overrightarrow{AB},\ \overrightarrow{AO}\cdot\overrightarrow{AB}=\frac{1}{2}|\overrightarrow{AB}|^2,\ \overrightarrow{AO}\cdot\overrightarrow{AC}=\frac{1}{2}|\overrightarrow{AC}|^2

对 D，\overrightarrow{OG}=\frac{1}{3}\overrightarrow{OH},\overrightarrow{GA}+\overrightarrow{GB}+\overrightarrow{GC}=\overrightarrow{0}\implies\overrightarrow{OG}=\frac{1}{3}(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC})=\frac{1}{3}\overrightarrow{OH}

三角形面积公式

以下记 S 为三角形面积，r 为三角形内切圆半径，R 为三角形外接圆半径。

• 海伦公式：p=\frac{a+b+c}{2},S=\sqrt{p(p-a)(p-b)(p-c)},r=\sqrt{\frac{(p-a)(p-b)(p-c)}{p}}。

• 利用 \sin：S=\frac{bc\sin A}{2}=\frac{ab\sin C}{2}=\frac{ac\sin B}{2}=\frac{a^2\sin B\sin C}{2\sin A}=\frac{b^2\sin A\sin C}{2\sin B}=\frac{c^2\sin A\sin B}{2\sin C}。

• 内切圆：S=\frac{r(a+b+c)}{2}, 外接圆：S=2R^2\sin A\sin B\sin C=\frac{abc}{4R}, 注意可与 正弦定理 连用。

• 多边形面积（ 皮克定理 ）：S=a+\frac{b}{2}-1，其中 a 为多边形内部的点数，b 为多边形落在格点上的点数。

• 等边三角形面积：S=\frac{\sqrt{3}}{4}a^2，其中 a 为等边三角形边长。

• 在 \Delta ABC 中，已知 \overrightarrow{AB}=(x_1,y_1), \overrightarrow{AC}=(x_2, y_2)\implies S=\frac{1}{2}|x_1y_2-x_2y_1|。

例题 1：已知锐角三角形里 B=\frac{\pi}{3},c=2，求 S 范围？

例题 2：\Delta ABC 中满足 4\sqrt{3}S=a^2+b^2+c^2，求 \frac{2a}{3b+c} 的值？

由 S=\frac{1}{2}ab\sin C 和 c^2=a^2+b^2-2ab\cos C 得到 ab(\sqrt{3}\sin C+\cos C)=a^2+b^2

同样的一道练习题：实数 a,b,c 满足 e^{a-b+c}+e^{a+b-c}=2e^2(a-1)，求 \large(\frac{abc}{a^4+b^4+c^4})_{\max}

答案：\frac{\sqrt{2}}{8}，此时 b^4=c^4=8,a=2。

求三角形内最值问题

已知 \Delta ABC，D 在边 BC 上。

1. 已知 \frac{BD}{CD},AD,\cos\angle_{BAC}\implies 向量法，(\overrightarrow{AD})^2=[x\overrightarrow{AB}+(1-x)\overrightarrow{AC}]^2,S=\frac{1}{2}AB\cdot AC\cdot\sin\angle_{BAC}
2. 已知 AD\perp BC,AD,\cos\angle_{BAC}\implies 正弦定理 + 三角恒等变换，AB=\frac{AD}{\sin B},AC=\frac{AD}{\sin C}
3. 已知一角一边 \implies 正弦定理 a=\frac{b\sin A}{\sin B}\dots
4. 已知 AD 为角平分线 \left[\overrightarrow{AD}=\lambda(\frac{\overrightarrow{AC}}{|\overrightarrow{AC}|}+\frac{\overrightarrow{AB}}{|\overrightarrow{AB}|})\right] 与 AB,AC\implies 角平分线定理 / 正弦定理 / 面积。

5. 求内切圆半径取值范围 r=\frac{2S}{a+b+c}

   例：已知 c=2,C=60\degree\implies r=\frac{\sqrt{3}}{2}\frac{ab}{a+b+2}\xlongequal{余弦定理}\frac{\sqrt{3}}{6}\frac{(a+b)^2-4}{a+b+2}=\frac{\sqrt{3}}{6}(a+b-2)=\frac{\sqrt{3}}{6}(\frac{c\sin A}{\sin C}+\frac{c\sin B}{\sin C})=\dots

立体几何

弧度制与面积计算

• 360\degree=2\pi\ \text{rad},\ 180\degree=\pi\ \text{rad}
• 1\degree=\frac{\pi}{180}\ \text{rad}\approx0.01745\ \text{rad},1\ \text{rad}=(\frac{180}{\pi})\degree\approx 57.29578\degree
• x\degree=\frac{x\pi}{180}\ \text{rad},x \ \text{rad}=(\frac{180x}{\pi})\degree

• 圆心角大小（ 弧度 ） |\alpha|=\frac{l}{r}\ \ \ \ \text{} 圆心角大小（ 角度 ） n=\frac{180\cdot l}{r\pi}

• 弧长 l=\alpha r，周长 C=2r+l，面积 S=\frac{1}{2}\alpha r^2=\frac{1}{2}lr

基本立体图形

• 共性：都具有顶点、底面、侧面、侧棱（ 相邻侧面的公共边 ）。

• 棱柱：有两个面相互平行，其余各面都是四边形，并且相邻两个四边形的公共边都相互平行。底面是 n 边形就叫 n 棱柱。斜高：侧面的高。

  侧棱垂直于底面的柱叫做直棱柱，侧棱不垂直于底面的棱柱叫做斜柱。底面是正多边形的直棱柱叫做正棱柱，底面是平行四边形的四棱柱也叫做平行六面体。

  \set{正方体}\in\set{正四棱柱}\in\set{长方体}\in\set{直四棱柱}

• 棱锥：三棱锥又叫四面体（ 即由四个面组成的封闭图形只能是三棱锥 ），底面是正多边形，并且顶点与底面中心的连线垂直于底面的棱锥叫做正棱锥。

  正三棱锥 / 正四面体的三条对棱两两垂直。

• 棱台：棱锥上部通过平行于底面的面截取上部且上下底面平行。

• 圆柱 / 圆锥 / 圆台：旋转轴称为它的轴，平行于轴的边叫做它侧面的母线。

• 欧拉公式：V-E+F=2，即 顶点数 - 棱数 + 面数 =2。

  对于正 n 面体（ n 个等边三角形 ），面数为 n，棱数为 \frac{3}{2}n（ 每个面 3 条棱，每条棱分属 2 个面 ）。

立体图形的直观图

• 斜二测画法

• S_{直}=\frac{\sqrt{2}}{4}S_{原},S_{原}=2\sqrt{2}S_{直}

简单几何体的表面积和体积

下表中 r 为底面半径，l 为母线长，h 为高，C 为底面周长；特别地，台体 S 与 S' 分别代表上下底面面积，r 与 r' 同理。\\ 棱锥侧面积计算公式中，a 代表底面边长，h' 为斜高。棱台侧面积计算公式中，C'',C' 分别代表上下底面周长，h'' 代表斜高。

• 祖暅原理：夹在两个平行平面之间的两个几何体，被平行于这两个平面的任意平面所截，如果截得的两个截面的面积总相等，那么这两个几何体的体积相等。

• 画展开图类问题：绳绕棱锥 / 圆锥，先求出展开图圆心角的度数（ 大概率 90\degree ）

  例 1：在正四棱锥 O-ABCD 中，侧棱长均为 4，且相邻两条侧棱的夹角为 30\degree，E,F 分别为线段 OB,OC 上的一点，则 AE+EF+FD 的最小值为 ？（ 4\sqrt{2} ）

  例 2：一个圆台的上、下底面半径分别为 5,10，母线 AB=20，从圆台母线 AB 的中点 M 拉一条绳子绕圆台侧面转到 A，求绳子的最短长度（ 50 ）和上底面圆周上的点到绳子的最短距离（ 4 ）。

• 射影问题：三棱锥 P-ABC 中，O 为 P 在平面 ABC 内的射影，则：

球与几何体的外接、内切问题

• 外接球：多面体 / 旋转体的顶点均在球面上，球心到各个顶点的距离相等，球心在旋转轴上。

  注意 球心可能在几何体外。

• 内切球：多面体 / 旋转体的各面均与球面相切，球心到各面的距离相等，球心在旋转轴上。

  利用等体积法求半径（ V=\frac{1}{3}S_表 r ），再求每个面面积，最后 \boxed{各个棱锥的体积之和 = 多面体体积}\implies 内切球半径。

  例 1：若三棱锥的三条侧棱两两垂直，且长度均为 2，则三棱锥外接球半径 R=\frac{\sqrt{2^2+2^2+2^2}}{2}=\sqrt{3}。

  例 2：若三棱锥 P-ABC 的三条侧棱两两垂直，AB=\sqrt{5},BC=\sqrt{7},AC=2，则此三棱锥的外接球的体积为 ？

  2R=\sqrt{PA^2+PB^2+PC^2}=\sqrt{\frac{1}{2}(AC^2+AB^2+BC^2)}=2\sqrt{2},R=\sqrt{2},V=\frac{4}{3}\pi R^3=\frac{8\sqrt{2}}{3}\pi

• 球内接正三棱锥的体积最大值 = 球内接正四面体的体积。

  球内接正四棱锥的体积最大值 = 一个底面边长 = 高的正四棱锥的体积。

• 若某一几何体的表面积为 S，体积为 V，内切球半径为 r，则满足 V=\frac{1}{3}Sr。

• 将四面体补形成长方体的条件（ 满足其中之一即可 ）：

  1. 有三条棱两两垂直。
  2. 四个面均是直角三角形。
  3. 正四面体 P-ABC 可以补形成正方体且棱长 a=\frac{PA}{\sqrt{2}}。
  4. 三组对棱分别相等，长度记为 x,y,z，长方体边长记为 a,b,c，则 \begin{cases} x=\sqrt{a^2+b^2} \\ y=\sqrt{b^2+c^2} \\ z=\sqrt{a^2+c^2} \end{cases}

空间点、直线、平面之间的关系

• 平面的表示：用横向 / 竖向的平行四边形表示，书写方法：平面 \alpha,\beta,\gamma\dots 或 平面 ABCD，平面 AC,BD。

四个基本事实与三个推论

• 基本事实

  1. 过不在 同一直线上 的三个点，有且只有一个平面。即不共线的三点确定一个平面。

     一条直线与直线外一点也能确定一个平面。

     在同一平面内，n 条直线最多把平面划分为 1+\frac{n(n-1)}{2} 份；在空间内，n 个平面最多把空间分为 \frac{n^3+5n+6}{6} 份。

     相交于同一点的 n 条直线最多可以确定 \begin{cases}\frac{n(n-1)}{2}\ 个平面 & 任意\ 3\ 条不共面 \\ \frac{(n-3)(n-4)}{2}\ 个平面 & 有\ 3\ 条不共面 \end{cases}

  2. 如果一条直线上的两个点在同一平面内，那么这条直线在这个平面内。即：

     直线 l 在 \alpha 内 \xLeftrightarrow{}l\subset\alpha\ \ \ \ \text{} 直线 l 不在 \alpha 内 \xLeftrightarrow{}l\not\subset\alpha

     基本事实 2 用符号表示为：A\in l,B\in l 且 A\in\alpha,B\in\alpha\implies l\subset\alpha

  3. 如果两个不重合的平面有一个公共点，那么它们有且只有一条过该点的公共直线。

     平面 \alpha 与 \beta 相交于直线 l，记作 \alpha\bigcap\beta=l。

     基本事实 3 用符号表示为：P\in\alpha 且 P\in\beta\implies\alpha\bigcap\beta=l 且 P\in l

  4. 平行于同一条直线的两条直线平行。（ 平行线的传递性 ）

  注意表示 点 在 直线 / 平面 内用 \in，表示 直线 在 平面 内用 \subset。

• 推论（ 基本事实 1 + 2 + 两点确定一条直线 ）

  1. 经过一条直线和这条直线外一点，有且只有一个平面。
  2. 经过两条相交直线，有且只有一个平面。
  3. 经过两条平行直线，有且只有一个平面。

空间点、直线、平面之间的位置关系

证明共面、共线、共点

1. 证明点、线共面：证明直线平行 / 相交；确定一个辅助平面；反证法。
2. 证明三点共线：先找 2 个平面，证明这 3 点都是 2 个平面公共点 / 其中 2 点确定 1 条直线，证另一点也在直线上。
3. 证明三线共点：先证明两条直线交于一点，再证明第三条直线经过这个点或交点在第三条直线上。

注意梯形两腰必交于一点；在空间中，不能用两组对边分别相等证明平行四边形。

例题：已知正方体 ABCD-A_1B_1C_1D_1，M,N 为棱 A_1B_1,B_1C_1 中点，求证：\\ \ \ \ \ \ (1) 直线 AM,CN 共面； \\ \ \ \ \ \ (2) 直线 D_1B 和 CC_1 是异面直线。

3. 直线与平面平行的性质定理：一条直线与一个平面平行，如果过该直线的平面与此平面相交，那么该直线与交线平行。

   用符号表示：a//\alpha,\alpha\bigcap\beta=b,a\subset\beta\implies a//b

4. 平面与平面平行的判定定理：如果一个平面内的 两条相交直线 与另一个平面平行，那么这两个平面平行。

   用符号表示：a\subset\beta,b\subset\beta,a\bigcap b=P,a//\alpha,b//\alpha\implies\alpha//\beta

5. 平面与平面平行的性质定理：两个平面平行，如果另一个平面与这两个平面相交，那么两条交线平行。

   用符号表示：\alpha//\beta,\alpha\bigcap\gamma=a,\beta\bigcap\gamma=b\implies a//b

可简记为：线线平行 \xLeftrightarrow{} 线面平行 \implies 面面平行 \implies 线线平行，恰好形成一个循环。

空间直线、平面的垂直

• 直线与平面垂直的判定定理：如果一条直线与一个平面内的 两条相交直线 垂直，那么该直线与此平面垂直。

  用符号表示：m\subset\alpha,n\subset\alpha,m\bigcap n=P,l\perp m,l\perp n\implies l\perp\alpha

• 直线与平面垂直的性质定理：垂直于同一个平面的两直线平行。

• 平面与平面垂直的判定定理：如果一个平面过另一个平面的垂线，那么这两个平面垂直。

  用符号表示：a\subset\alpha,a\perp\beta\implies\alpha\perp\beta

• 平面与平面垂直的性质定理：两个平面垂直，如果一个平面内有一直线垂直于这两个平面的交线，那么这条直线与另一个平面垂直。

空间直线、平面的平行

1. 三棱锥 P-ABC 中，D,E 分别是 PB,BC 中点，点 F 在线段 AC 上，且满足 AD // 平面 PEF，则 \frac{AF}{FC}=\ ?

   解析：连接 CD，交 PE 于点 G，连接 FG，如图所示。

   AD //$ 平面 $PEF$， 平面 $PEF\ \cap$ 平面 $ADC=FG\implies AD // FG

2. 长方体 ABCD-A_1B_1C_1D_1,AB=BC,E 是 AB 上靠近 B 的三等分点，F 是 A_1D_1 中点，\\ O 为直线 DB_1 与平面 EFC 交点，\frac{DO}{OB_1}=\ ?

   解析：连接 BD,B_1D_1,BD \cap CE=M，\\ 设平面 CEF 与平面 A_1B_1C_1D_1 的交线交 C_1D_1,B_1D_1,A_1B_1 分别于点 P,N,Q，如图所示。

   CE // PQ \implies \angle PFD_1=\angle BCE \implies \mathrm{Rt}\Delta PFD_1 \backsim \mathrm{Rt}\Delta ECB,\frac{PD_1}{FD_1}=\frac{EB}{BC}=\frac{1}{3} QA_1=PD_1=\frac{1}{3}FD_1=\frac{1}{6}A_1B_1\implies\frac{B_1N}{ND_1}=\frac{B_1Q}{PD_1}=7 \frac{DM}{MB}=\frac{DC}{EB}=3\implies DM=\frac{3}{4}BD\implies\frac{DO}{OB_1}=\frac{DM}{NB_1}=\frac{6}{7}

3. 四棱锥 P-ABCD 的底面是边长为 1 的正方形，E 是 PD 上一点满足 PE=3ED，\\ 若 \overrightarrow{PF}=\lambda\overrightarrow{PC} 且 BF// 平面 AEC，则 \lambda= ？

   解析：连接 BD 交 AC 于点 O，连接 OE，在 PD 上取一点 G 使得 GE=ED。

   在 \Delta BGD 中 EO 为其中位线 \implies BG// 平面 AEC\implies 平面 BFG\ // 平面 AEC。

   \frac{PF}{FC}=\frac{PG}{GE}=2,\lambda=\frac{2}{3}

4. 在长方体 ABCD-A_1B_1C_1D_1 中，AD=DD_1=1,AB=\sqrt{3},E,F,G 分别是 AB,BC,C_1D_1 的中点，点 P 在平面 ABCD 内，若直线 D_1P\ // 平面 EFG，则点 D_1 与满足题意的点 P 构成的平面截长方体所得的截面的面积为 ？

   解析：

   只需证明点 D_1 与满足题意的点 P 构成的平面 D_1AC 平行于平面 EFG 即可，答案即为 S_{\Delta D_1AC}=\frac{\sqrt{7}}{2}。

5. 如图，三棱柱 ABC-A_1B_1C_1 中，D 是 B_1C_1 中点，E 是 A_1C_1 上一点满足 A_1B// 平面 B_1DE，\frac{A_1E}{EC_1}=\ ?

   解析：连接 BC_1 交 B_1D 于 F，易证 \Delta A_1BC_1 \backsim \Delta EFC_1,\frac{A_1E}{EC_1}=\frac{BF}{FC_1}=\frac{BD}{B_1C}=\frac{1}{2}。

空间直线、平面的垂直

1. 如图，P 是 \Delta ABC 所在平面外一点，PA\perp 平面 ABC,\angle ABC=90\degree,AE\perp PB 于 E,AF\perp PC 于 F.\\ 求证：(1)\ BC\perp 平面 PAB \\ \ \ \ \ \ \ \ \ \ \ (2)\ AE\perp 平面 PBC \\ \ \ \ \ \ \ \ \ \ \ (3)\ PC\perp 平面 AEF

   解析：(1)\ \angle ABC=90\degree\implies BC\perp AB\ \ \ \ \ \ \ PA\perp 平面 ABC\implies BC\perp PA\\ \ \ \ \ \ \ \ \ \ \ (2)\ BC\perp 平面 PAB\implies AE\perp BC\\ \ \ \ \ \ \ \ \ \ \ (3)\ AE\perp 平面 PBC\implies PC\perp AE

定理 & 二级结论

• 三垂线定理：如果平面内的一条直线与平面外的一条斜线在该平面内的射影垂直，那么它也和这条斜线垂直。

  逆定理：如果平面内一直线和这个平面外的一条斜线垂直，那么它也和这条斜线在平面内的射影垂直。

• 空间第一余弦定理：如图，AE\perp BC,DF\perp BC，则二面角 A-BC-D 的大小 \theta 满足

  \cos\theta=\frac{AE^2+EF^2+FD^2-AD^2}{2AE\cdot FD}

• 空间第二余弦定理：空间中两直线 AB,CD 的夹角 \theta 满足 \cos\theta=\frac{|AD^2+BC^2-AC^2-BD^2|}{2AB\cdot CD}

  证明：\overrightarrow{AC}\cdot\overrightarrow{BD}=\overrightarrow{AC}\cdot(\overrightarrow{AD}-\overrightarrow{AB})=|\overrightarrow{AC}||\overrightarrow{AD}|\cos\angle_{CAD}-|\overrightarrow{AC}||\overrightarrow{AB}|\cos\angle_{CAB}=AC\cdot AD\cdot \frac{AC^2+AD^2-CD^2}{2AC\cdot AD}-AC\cdot AB\cdot\frac{AC^2+AB^2-BC^2}{2AC\cdot AB}=\frac{AD^2+CB^2-AB^2-CD^2}{2}

• 三面角公式求二面角：已知 \angle_{APB}=\theta_1,\angle_{BPC}=\theta_2,\angle_{APC}=\theta_3，则二面角 A-PB-C 的余弦值为

  \cos\theta=\frac{\cos\theta_3-\cos\theta_1\cos\theta_2}{\sin\theta_1\sin\theta_2}=\frac{\cos\angle_{APC}-\cos\angle_{APB}\cdot\cos\angle_{BPC} }{\sin\angle_{APB}\cdot\sin\angle_{BPC} }

  注意三个角度在公式中分布特点，\theta_3 是二面角 A-PB-C 的对角，而 \theta_1,\theta_2 就是二面角 A-PB-C 的两个邻角

• 三正弦定理：二面角 M-AB-N 的度数为 \alpha，平面 M 上有一射线 AC 与 AB 所成角为 \beta，与平面 N 所成角为 \gamma，则 \sin\gamma=\sin\alpha\sin\beta。

• 三余弦定理 / 最小角定理：设 A 为平面 \alpha 上一点，过点 A 的斜线 AO 在平面 \alpha 上的射影为 AB，AC 为平面 \alpha 内的一条直线，那么有 \cos\angle OAC=\cos\angle BAC\times\cos\angle OAB。

证明：\cos\angle OAC=\frac{AC}{AO}\ \ \ \ \cos\angle BAC=\frac{AC}{AB}\ \ \ \ \cos\angle OAB=\frac{AB}{AO}

即斜线与射影所成的角是斜线与平面内的任何直线所成的角中最小的角。

• 异面直线段 AB=a,CD=b，它们之间的距离为 d，夹角为 \theta，则 V_{A-BCD}=\frac{1}{6}abd\sin\theta。

• 面积余弦定理：\Delta ABC 在平面 \alpha 内的射影为 \Delta ABO，记 \Delta ABC 所在平面与 \alpha 所称的锐二面角为 \theta，则 S_{\Delta ABO}=\cos\theta S_{\Delta ABC}。

翻折问题

• 不在同一平面的两点路径问题的翻折只能以折点所在直线翻折。

例：长方体 ABCD-A_1B_1C_1D_1 中，AB=1,AD=2,AA_1=3,P 是线段 B_1C 上一动点，求 AP+PD_1 的最小值 ？

画出直观图后，应将平面 AB_1C 和平面 B_1CD_1 翻折到同一平面上，显然 AB_1D_1C 是平行四边形。

根据平行四边形中对角线平分和 = 四条边平方和可得 (AP+PD_1)_{\min}=AD_1=\sqrt{17}。

• 注意分类讨论

例：直三棱柱 ABC-A_1B_1C_1 中，E,F 分别为 AA_1,C_1B_1 的中点，沿棱柱的表面从 E 到 F 两点的最短路径的长度是 ？

分三类讨论：

1. 沿 BB_1 展开，算得 EF=\frac{\sqrt{22}}{2}。
2. 沿 A_1C_1 展开，算得 EF=\frac{3\sqrt{2}}{2}。
3. 沿 A_1B_1 展开，算得 EF=\sqrt{\frac{7}{2}+\sqrt{2}}。

于是 EF_{\min}=\frac{3\sqrt{2}}{2}。

截面问题

1. 求过圆锥顶点的截面面积最大值：记轴截面顶角为 \theta，\sin\theta=\frac{r}{l} \begin{cases}\theta>\frac{\pi}{2},S_{\max}=\frac{1}{2}l^2\sin\theta\implies\frac{1}{2}l^2 \\ \theta\leq\frac{\pi}{2},S_{\max}=\ 轴截面面积 \end{cases}

2. 正方体棱长为 1，每条棱所在直线与平面 \alpha 所称角相等，则 \alpha 截此正方体所得截面面积最大值 ？

注意正方体截面可以是 3,4,5,6 边形，最大面积是 \frac{3\sqrt{3}}{4}。

例题：在棱长为 2 的正方体 ABCD-A_1B_1C_1D_1 中，E 为棱 AA_1 中点，点 F 在 A_1B_1 上且满足 \overrightarrow{A_1F}=\lambda\overrightarrow{A_1B_1}，以下正确的有（ \text{ACD} ）

2. 点面距 / 线面距 / 面面距 —— 求点 A 到平面 BCD 的距离。

   1. 等体积法，V_{A-BCD}=V_{B-ACD}=V_{C-ABD}=V_{D-ABC}
   2. 求平面 BCD 的法向量 \overrightarrow{n},d=\frac{|\overrightarrow{BA}\cdot\overrightarrow{n}|}{|\overrightarrow{n}|}
   3. A(x_0,y_0,z_0)$，平面的解析式 $Ax+By+Cz+D=0,d=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A^2+B^2+C^2}}

3. 线线角 —— 求 AB,CD 夹角 \theta

   1. 求出它们的方向向量 \overrightarrow{u},\overrightarrow{v}，则 \cos\theta=\frac{\overrightarrow{AB}\cdot\overrightarrow{CD}}{|\overrightarrow{AB}||\overrightarrow{CD}|}=\frac{|\overrightarrow{u}\cdot\overrightarrow{v}|}{|\overrightarrow{u}||\overrightarrow{v}|}
   2. 空间第二余弦定理 \cos\theta=\frac{|AD^2+BC^2-AC^2-BD^2|}{2AB\cdot CD}

4. 线面角 —— \sin\theta=\frac{|\overrightarrow{u}\cdot\overrightarrow{n}|}{|\overrightarrow{u}||\overrightarrow{n}|} ，较难做的题目亦可用等体积法。

5. 二面角 —— \cos\theta=\frac{|\overrightarrow{n_1}\cdot\overrightarrow{n_2}|}{|\overrightarrow{n_1}||\overrightarrow{n_2}|}

向量叉乘

• 若 \overrightarrow{a}=a_x\overrightarrow{i}+a_y\overrightarrow{j}+a_z\overrightarrow{k}，\overrightarrow{b}=b_x\overrightarrow{i}+b_y\overrightarrow{j}+b_z\overrightarrow{k}，则 \overrightarrow{c}=\overrightarrow{a}\times\overrightarrow{b}=\begin{vmatrix} \overrightarrow{i} & \overrightarrow{j} & \overrightarrow{k} \\ a_x & a_y & a_z \\ b_x & b_y & b_z \end{vmatrix}

叉乘的结果是向量，该向量的模值与 \overrightarrow{a},\overrightarrow{b} 构成的平行四边形面积相等，即 |\overrightarrow{a}\times\overrightarrow{b}|=|\overrightarrow{a}||\overrightarrow{b}||\sin\theta|=x_1y_2-x_2y_1。

该向量的方向垂直于 \overrightarrow{a},\overrightarrow{b} 构成的平面，用右手螺旋性质确定。

运算特性：\begin{cases} \overrightarrow{a}\times\overrightarrow{b}=-\overrightarrow{b}\times\overrightarrow{a} \\ \overrightarrow{a}\times\overrightarrow{a}=\overrightarrow{0} \\ \overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})=\overrightarrow{a}\times\overrightarrow{b}+\overrightarrow{a}\times\overrightarrow{c} \\ (\overrightarrow{a}\times\overrightarrow{b})\times\overrightarrow{c}=(\overrightarrow{a}\cdot\overrightarrow{c})\overrightarrow{b}-(\overrightarrow{b}\cdot\overrightarrow{c})\overrightarrow{a} \end{cases}

直线和圆的方程

倾斜角：x 轴正向与直线 l 向上的方向之间所成的角 \alpha。

斜率：k=\tan\alpha=\frac{y_2-y_1}{x_2-x_1}。

直线的一般式方程：Ax+By+C=0\implies 斜截式方程 y=-\frac{A}{B}x-\frac{C}{B}\implies 该直线的方向向量 \overrightarrow{u}=(B,-A)，法向量 \overrightarrow{n}=(A,B)。

点到直线距离公式：\displaystyle \boxed{d=\frac{|Ax_0+By_0+C|}{\sqrt{A^2+B^2}}}

两条平行直线之间距离：\displaystyle \boxed{d=\frac{|C_1-C_2|}{\sqrt{A^2+B^2}}}

两条平行直线之间的铅锤高差：\displaystyle\boxed{h=\frac{|C_1-C_2|}{|B|}}

若 y=kx+b，则直线上两点间距离 |AB|=\sqrt{1+k^2}|x_1-x_2|=\sqrt{1+\frac{1}{k^2}}|y_1-y_2|

对称问题

1. 点 (x,y) 关于 (a,b) 对称点为 (2a-x,2b-y)。
2. 直线 l:Ax+By+C=0 关于点 (x_0,y_0) 的对称直线 A(2x_0-x)+B(2y_0-y)+C=0。
3. 点关于直线的对称点通过设中点来列方程求。

圆

圆的标准方程：(x-a)^2+(y-b)^2=r^2

圆的一般方程：x^2+y^2+Dx+Ey+F=0，其中 D^2+E^2-4F>0，化为标准形式为 \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \displaystyle\boxed{\left(x+\frac{D}{2}\right)^2+\left(y+\frac{E}{2}\right)^2=\frac{D^2+E^2-4F}{4}}

以 (x_1,y_1),(x_2,y_2) 为直径的两端点的圆的方程：

化简为

过圆 (x-a)^2+(y-b)^2=r^2 上一点 (x_0,y_0) 的切线方程：（ 直接设斜率 k 得证 ）

过圆 x^2+y^2+Dx+Ey+F=0\ (D^2+E^2-4F>0) 上一点 (x_0,y_0) 的切线方程为

设点 M(x_0,y_0) 是圆 O:(x-a)^2+(y-b)^2=r^2 外一点，过点 M 作圆的两条切线，切点分别为 A,B，则直线 AB 的方程为

证明：O,M,A,B 四点共圆，求出这个圆的方程，然后与圆 O 的方程相减即可。

两圆相交时，两圆方程做差得到公共弦所在直线的方程，即

参数方程：P(x,y) 满足 \begin{cases}x=a+r\cos\theta \\ y=b+r\sin\theta\end{cases}(r>0) 的轨迹为 (x-a)^2+(y-b)^2=r^2。

例题：圆 O:x^2+y^2=16，P 在 x=8 上运动，过 P 作 PA,PB 两切线，求 AB 定点 ？

设 P(8,t)，有 O,A,P,B 四点共圆，方程为 (x-4)^2+(y-\frac{t}{2})^2=16+\frac{t^2}{4}，与 x^2+y^2=16 相减得到定点 (2,0)。

阿氏圆：平面上 A(a,0)，则动点 P(x,y) 满足 \frac{PA}{PO}=k(k>0,k\neq 1) 时 P 的轨迹是圆。

例题：x^2+y^2=4,A(3,0),B(0,4)，P 为圆上一点，求 2PA+PB 最小值 ？

式子变成 2(PA+\frac{1}{2}PB)，设 C(0,1)，相似得到 \frac{1}{2}PB=PC，得到答案 2\sqrt{10}。

圆锥曲线的方程

椭圆

• 概念：平面内到两个焦点 F_1,F_2 的距离的和等于常数（ 大于 |F_1F_2| ）的点的轨迹叫做椭圆。

集合 P=\set{M||MF_1|+|MF_2|=2a},|F_1F_2|=2c

• \boxed{c^2=a^2-b^2}$，离心率 $\boxed{e=\frac{c}{a}}\ (0<e<1)

又因为 $\frac{\sin\theta}{1+\cos\theta}=\frac{2\sin\frac{\theta}{2}\cos\frac{\theta}{2}}{1+(2\cos^2\frac{\theta}{2}-1)}=\frac{\sin\frac{\theta}{2}}{\cos\frac{\theta}{2}}=\tan\frac{\theta}{2}$

因此 $S=\frac{1}{2}|PF_1||PF_2|\sin\theta=\frac{b^2\sin\theta}{1+\cos\theta}=b^2\tan\frac{\theta}{2}$

3. |PF_1|\cdot|PF_2|\in (b^2,a^2]
4. 设 \angle PF_1F_2=\alpha,PF_2F_1=\beta，则 \displaystyle\boxed{e=\frac{\sin(\alpha+\beta)}{\sin\alpha+\sin\beta}}=\frac{\cos\frac{\alpha+\beta}{2}}{\cos\frac{\alpha-\beta}{2}} （ 证明：正弦定理 ）。
5. 若焦点三角形内切圆的圆心为 I，延长 PI 交 F_1F_2 于点 Q，则 \frac{|PI|}{|IQ|}=\frac{|PF_1|}{|F_1Q|}=\frac{|PF_2|}{|F_2Q|}=\frac{|PF_1|+|PF_2|}{|F_1Q|+|F_2Q|}=\frac{2a}{2c}=\frac{1}{e}
6. 若椭圆上存在点 P 使得 \angle F_1PF_2=\theta，则 e\in[\sin\frac{\theta}{2},1)。

椭圆的其它几何性质

• 通径：过椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 的焦点作垂直于长轴的直线，该直线被椭圆截得的弦叫做通径，其长度为 \frac{2b^2}{a}。

  若不垂直，则其长度为 |PP_0|=\frac{\frac{2b^2}{a}}{1-e^2\cos^2\theta}\geq \frac{2b^2}{a}

• 焦半径：设 P(x,y)\in C,F_1(-c,0),F_2(c,0)，则 |PF_1|=\sqrt{(x+c)^2+b^2\frac{a^2-x^2}{a^2}}=\sqrt{\frac{c^2}{a^2}x^2+2cx+a^2}=|a+ex|，同理 |PF_2|=a-ex，因此 \boxed{|PF|=|a\pm ex|}。

• 焦点弦（ 过焦点的弦 ）：设 AB 是过椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1\ (a>b>0) 的右焦点 F的一条弦，A(x_1,y_1),B(x_2,y_2),AB 的倾斜角为 \theta，准线 l:x=\frac{a^2}{c}，则 \boxed{\frac{|AF|}{|BF|}=\frac{1-e\cos\theta}{1+e\cos\theta},|AB|=\frac{2a(1-e^2)}{1-e^2\cos^2\theta}}。

  证明：过 A 作 AA_1\perp AB 于点 A_1，则 |AF|=e|AA_1|=e(\frac{a^2}{c}-c-|AF|\cos\theta)\implies|AF|=\frac{b^2}{a+c\cos\theta}

  同理 |BF|=\frac{b^2}{a-c\cos\theta}，代入得证。

  注：一条过焦点的直线会有两个一长一短的焦半径，在公式中，长的对应取减号，短的对应取加号；当焦点在 y 轴上，将 \cos\theta 换为 \sin\theta。

• 过一个焦点 F 作弦 AB,AF=d_1,BF=d_2，则 \displaystyle\frac{1}{d_1}+\frac{1}{d_2}=\frac{2a}{b^2}

• 弦长公式：设直线 y=kx+m 与椭圆有两个公共点 M(x_1,y_1),N(x_2y_2)，则弦长公式：

• 中点弦问题：求直线 AB 与圆锥曲线相交弦的中点 M 和原点的连线 OM 的斜率问题，\\ 有 \boxed{k_{AB}\cdot k_{OM}=-\frac{b^2}{a^2}=e^2-1} （ 若焦点在 y 轴，则 k_{AB}\cdot k_{OM}=-\frac{a^2}{b^2} ）

  证明：联立 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1\ (a>b>0) 与 y=k_{AB}x+m 得

  (b^2+a^2k_{AB}^2)x^2+2mk_{AB}a^2x+a^2m^2-a^2b^2=0

  所以 x_1+x_2=\frac{-2mk_{AB}a^2}{b^2+a^2k_{AB}^2},M_x=\frac{x_1+x_2}{2}=\frac{-mk_{AB}a^2}{b^2+a^2k_{AB}^2},m=\frac{b^2+a^2k_{AB}^2}{-k_{AB}a^2}M_x

  代入 y=k_{AB}x+m 得 y=-\frac{b^2}{k_{AB}a^2}x\implies k_{AB}\cdot k_{OM}=-\frac{b^2}{a^2}

  例题：过椭圆 \frac{x^2}{16}+\frac{y^2}{4}=1 内一点 P(3,1)，且被这点平分的弦所在的直线方程是 ？

  方法一：设 A(x_1,y_1),B(x_2,y_2)\implies \frac{x_1^2}{16}+\frac{y_1^2}{4}=1,\frac{x_2^2}{16}+\frac{y_2^2}{4}=1，两式相减得 \frac{(x_1+x_2)(x_1-x_2)}{16}+\frac{(y_1+y_2)(y_1-y_2)}{4}=0

  P$ 为 $AB$ 中点 $\implies x_1+x_2=6,y_1+y_2=2 \implies k_{AB}=\frac{y_1-y_2}{x_1-x_2}=-\frac{3}{4}

  所以直线 AB 的方程是 3x+4y-13=0。

  方法二：设弦为 AB,k_{OP}=\frac{1}{3},k_{AB}=-\frac{b^2}{a^2}\div\frac{1}{3}=-\frac{3}{4}，后同方法一。

• 中点弦问题的推广：椭圆上的点 P 与过椭圆中心的弦 AB 的端点的连线 MA,MB 斜率之积为 \boxed{-\frac{b^2}{a^2}=e^2-1}

  证明：作中位线 OT，易证 k_{MA}\cdot k_{MB}=k_{MA}\cdot k_{OT}=-\frac{b^2}{a^2}=e^2-1

• 蒙日圆：椭圆上两条互相垂直的切线的交点必在一个与椭圆同心的圆上，且圆的方程为 x^2+y^2=a^2+b^2。

  过蒙日圆上一点 M 做关于椭圆的切线，与椭圆交于 A,B，D 为椭圆上任意一点，则 \boxed{k_{DA}k_{DB}=e^2-1}。

• 椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 在 (x_0,y_0) 处的切线方程为 \frac{x_0x}{a^2}+\frac{y_0y}{b^2}=1，直接设直线 y=kx+m，算 \Delta 得证。

• 过椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 上任意一点 P（ 不是椭圆的顶点 ）作椭圆的切线，设切线的斜率为 k_1，直线 OP 的斜率为 k_2，则 \boxed{k_1k_2=e^2-1}，双曲线同样成立。

• 过原点 O 的直线 l 与椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 相交于 A,B 两点，P 为椭圆上任意一点，则 k_{PA}k_{PB}=e^2-1。

• 过椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 上的任意一点 P（ 非顶点 ）作倾斜角互补的两条直线交椭圆于 A,B 两点，有 k_{AB}k_{OP}=1-e^2。

如果是焦点在 y 轴上的椭圆或双曲线，则 \boxed{e^2-1\to\frac{1}{e^2-1}}。

• 椭圆两焦点到椭圆上任意一条切线的距离之积为定值 b^2。 证明：设切点为 (x_0,y_0)，切线方程为 b^2x_0x+a^2y_0y=a^2b^2，距离 d_1=\frac{|-b^2x_0c-a^2b^2|}{\sqrt{b^4x_0^2+a^4y_0^2}},d_2=\frac{|b^2x_0c-a^2b^2|}{\sqrt{b^4x_0^2+a^4y_0^2}}，则

  d_1d_2=\frac{|a^4b^4-b^4x_0^2c^2|}{b^4x_0^2+a^4y_0^2}\xlongequal{b^2x_0^2+a^2y_0^2=a^2b^2}b^2\frac{a^4b^2-a^2b^2x_0^2+b^4x_0^2}{b^4x_0^2+a^4b^2-a^2b^2x_0^2}=b^2

好题

1. 设直线 l:y=x+1 与椭圆 C:\frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 相交于 A,B 两点，与 x 轴相交于左焦点 F，且 \overrightarrow{AF}=3\overrightarrow{FB}，则椭圆的离心率 e= ___

答案：\frac{\sqrt{2}}{2}

解析：方法一：由题得 F(-1,0),c=1，设 A(x_1,y_1),B(x_2,y_2)，联立 y=x+1 与椭圆方程 b^2x^2+a^2y^2=a^2b^2 得

由 \overrightarrow{AF}=3\overrightarrow{FB} 得 0-y_1=3(y_2-0) 即 y_1=-3y_2\ \circledcirc

由 \circledast \circledcirc 消去 y_1,y_2 得 -3b^2=(a^2+b^2)(1-a^2)\xRightarrow{a^2-b^2=c^2=1}a^4-3a^2+1=0\implies a=\pm\sqrt{2}\ \text{or}\ \pm 1

取 a=\sqrt{2}，所以 e=\frac{c}{a}=\frac{\sqrt{2}}{2}。

方法二：注意上述关于焦点弦的结论，\frac{|AF|}{|BF|}=\frac{1-e\cos\theta}{1+e\cos\theta}=3，代入 \cos\theta=\frac{\sqrt{2}}{2} 可得 e=\frac{\sqrt{2}}{2}

2. 已知椭圆 \frac{x^2}{4}+y^2=1，直线 l:y=kx+m 满足 m\neq -2k 且与椭圆相交于不同的两点 A,B，若以线段 AB 为直径的圆始终过点 Q(2,0)，试判断直线 l 是否过定点？若是，求出该定点的坐标；若不是，请说明理由。

解：设 A(x_1,y_1),B(x_2,y_2)，联立 \begin{cases} y=kx+m \\ \frac{x^2}{4}+y^2=1 \end{cases}

得 (1+4k^2)x^2+8kmx+4m^2-4=0,\Delta=16(4k^2-m+1)>0

则 x_1+x_2=\frac{-8km}{1+4k^2},x_1x_2=\frac{4m^2-4}{1+4k^2},y_1y_2=(kx_1+m)(kx_2+m)=k^2x_1x_2+km(x_1+x_2)+m^2=\frac{m^2-4k^2}{1+4k^2}

因为以线段 AB 为直径的圆过点 Q，所以 \overrightarrow{QB}\cdot\overrightarrow{QA}=0，又 \overrightarrow{QB}=(x_2-2,y_2),\overrightarrow{QA}=(x_1-2,y_1)

所以 \overrightarrow{QB}\cdot\overrightarrow{QA}=x_1x_2-2(x_1+x_2)+4+y_1y_2=\frac{(6k+5m)(2k+m)}{1+4k^2}=0

显然 m=-\frac{6}{5}k\implies l:y=kx-\frac{6}{5}k=k(x-\frac{6}{5})，恒过定点 (\frac{6}{5},0)。

（ 齐次化 ）3. 已知 \frac{x^2}{4}+\frac{y^2}{3}=1，是否存在定圆与 MN(OM\perp ON)（ 动直线 ）总相切 ？

设 MN:mx+ny=1，代入得 3x^2+4y^2-12(mx+ny)^2=0\implies (3-12m^2)x^2+(4-12n^2)y^2-24mnxy=0

化成 (4-12n^2)k^2-24mnk+3-12m^2=0，因为 k_1k_2=\frac{3-12m^2}{4-12n^2}=-1，因此 m^2+n^2=\frac{7}{12}，定圆为 x^2+y^2=\frac{12}{7}。

（ 定比点差法 ）4. 已知 \frac{x^2}{4}+y^2=1,A(-2,0)，经过 B(1,0) 且斜率存在的直线 l 交椭圆于 P,Q 两点，点 C 与点 P 关于坐标原点对称，连接 AC,AQ，求 \frac{k_{AC}}{k_{AQ}} 的值。

设 P(x_1,y_1),Q(x_2,y_2),\overrightarrow{PB}=\lambda\overrightarrow{BQ}，则 x_1+\lambda x_2=1+\lambda,y_1+\lambda y_2=0

两式作差得 \frac{(x_1+\lambda x_2)(x_1-\lambda x_2)}{4}+(y_1+\lambda y_2)(y_1-\lambda y_2)=1-\lambda ^2

代入解得 x_1=\frac{5-3\lambda}{2},x_2=\frac{5\lambda -3}{2\lambda},\frac{k_{AC}}{k_{AQ}}=\frac{y_1(x_2+2)}{y_2(x_1-2)}=\frac{-\lambda(x_2+2)}{x_1-2}=\frac{3-9\lambda}{1-3\lambda}=3

• 练习题：设 F_1,F_2 分别是椭圆 \frac{x^2}{3}+y^2=1 的左右焦点，点 A,B 在椭圆上，\overrightarrow{F_1A}=5\overrightarrow{F_2B}，则点 A 的坐标是 ？（ 答案：(0,\pm 1) ）

（ 正难则反 ）5. 设椭圆 \frac{x^2}{a^2}+y^2=1(a>1)，若以点 A(0,1) 为圆心的圆与椭圆至多有 3 个公共点，求 e 范围？

从反面考虑，若有 4 个公共点，可知在 y 轴两侧各有 2 个交点，可知椭圆的一侧存在一个等腰 \Delta APQ,AP=AQ。

设 PQ 中点为 M(x_0,y_0)，则 k_{OM}k_{PQ}=e^2-1=-\frac{1}{a^2}。因为 k_{AM}k_{PQ}=\frac{y_0-1}{x_0}k_{PQ}=-1，

两式相除得 \frac{y_0-1}{y_0}=a^2>2，得出 e\in(0,\frac{\sqrt{2}}{2}]。

（ 齐次化 ）6. （ 2022 I 卷，T22 ）已知 C:\frac{x^2}{6}+\frac{y^2}{3}=1,A(2,1)，点 M,N 在 C 上，AM\perp AN,AD\perp MN，D 为垂足，证明：存在定点 Q，使得 |DQ| 是定值。

方法一：设 MN:y=kx+m，暴力联立 + 向量得 (2k+3m+1)(2k+m-1)=0，得出 MN 过定点 P(\frac{2}{3},-\frac{1}{3})。令 Q(\frac{4}{3},\frac{1}{3}) 为 AP 中点，得出 |DQ|=\frac{1}{2}|AP|=\frac{2\sqrt{2}}{3} 是定值。

方法二：先将 C 平移一下，变为 \frac{(x+2)^2}{6}+\frac{(y+1)^2}{3}=1，使得 A 点在新坐标的原点上。设 MN:mx+ny=1，联立得 (2+4n)(\frac{y}{x})^2+4(m+n)\frac{y}{x}+4m+1=0，显然 \frac{y_1y_2}{x_1x_2}=\frac{4m+1}{2+4n}=-1，得到 (-\frac{4}{3})m+(-\frac{4}{3})n=1，即定点 (\frac{2}{3},-\frac{1}{3})。

（ 点差法 + 二次代换消元 ）7. （ 华附 2024 5 月测试 ）已知 E:\frac{x^2}{4}+y^2=1，E 上有 3 点 G,S,T，直线 ST 过点 C(2,2)，点 M 为 GS 中点且在直线 y=x 上，证明：直线 GT 与直线 y=x 的交点为定点。

设 S(x_1,y_1),T(x_2,y_2),G(x_3,y_3)，进行一次点差法：\frac{x_1^2}{4}+y_1^2=1,\frac{x_3^2}{4}+y_3^2=1，相减得 \frac{y_1-y_3}{x_1-x_3}=-\frac{y_1+y_3}{4(x_1+x_3)}

因为 GT 中点在 y=x 上所以 y_1+y_3=x_1+x_3 得 y_1-y_3=-\frac{1}{4}(x_1-x_3)。

两式相加得 2y_1=\frac{3}{4}x_1+\frac{5}{4}x_3\implies x_3=\frac{8y_1-3x_1}{5},y_3=\frac{3y_1+2x_1}{5}

代入 GT:\frac{y-y_3}{x-x_3}=\frac{y-y_2}{x-x_2} 得 (5y_2-3y_1-2x_1)x+(8y_1-3x_1-5x_2)y=-3(x_1y_2+x_2y_1)+8y_1y_2-2x_1x_2

设交点为 (m,m)，代入得 5m(y_1+y_2)-5m(x_1+x_2)=8y_1y_2-2x_1x_2-3(x_1y_2+x_2y_1)

即证明存在 m 使该式恒成立。

由直线 ST 过点 C(2,2),\frac{y_2-2}{x_2-2}=\frac{y_1-2}{x_1-2}\implies x_1(y_2-2)-x_2(y_1-2)=2(y_2-y_1)，进行二次代换凑出和积：

即 x_1y_2+x_2y_1=2(x_1+x_2)+10(y_1+y_2)-8-8y_1y_2 ①

同理有 (x_1-2)y_2-(x_2-2)y_1=-2(x_2-x_1)

即 x_1y_2+x_2y_1=(x_1+x_2)+2(y_1+y_2)-2-\frac{1}{2}x_1x_2 ②

两式比对系数凑配出 8y_1y_2-2x_1x_2 和目标式比对：

对比 5m(y_1+y_2)-5m(x_1+x_2)=8y_1y_2-2x_1x_2-3(x_1y_2+x_2y_1) 得 m=\frac{2}{5} 时恒成立。

故定点为 (\frac{2}{5},\frac{2}{5})。

（ 极点极线 ）8. 已知 A,B 分别为椭圆 E:\frac{x^2}{9}+y^2=1 的左右顶点，P 为直线 x=6 上的动点，PA 与 E 的另一交点为 C，PB 与 E 的另一交点为 D，证明：CD 过定点。

聪明的同学可以直接极点极线秒了，定点是 (\frac{a^2}{6},0)，但我们要求普通联立。

设 P(6,t)，联立椭圆方程得到 \displaystyle C(\frac{27-3t^2}{t^2+9},\frac{6t}{t^2+9}),D(\frac{3t^2-3}{t^2+1},-\frac{2t}{t^2+1})。

由对称性得定点在 x 轴上，设其为 T(s,0)，于是 k_{CT}=k_{TD}，代入解得 s=\frac{3}{2}。计算量稍大。

（ 勇敢 ）9. 已知 C:x^2-\frac{y^2}{16}=1(x>0)，设点 T 在直线 x=\frac{1}{2} 上，过 T 的两条直线分别交 C 于 A,B 两点和 P,Q 两点，且 |TA|\cdot|TB|=|TP|\cdot|TQ|，求直线 AB 的斜率和直线 PQ 的斜率之和。

设 T(\frac{1}{2},t)，则 AB:y=k_1(x-\frac{1}{2})+t，联立 C 得 x_1+x_2=\frac{k_1^2-2k_1n}{k_1^2-16},x_1x_2=\frac{\frac{1}{4}k_1^2+n^2-k_1n+16}{k_1^2-16}，于是算出

同理 |TP|\cdot|TQ| 也可以得出来，据题意化简得 k_1+k_2=0。

①设 MN:y=kx+m，联立算 \Delta 和 \overrightarrow{AM}\cdot\overrightarrow{AN}，得出 m^2+9-3k^2>0 和 (2k+m-\sqrt{3})(4k-m+2\sqrt{3})=0，得 m=4k+2\sqrt{3}，定点 P(-4,2\sqrt{3})。

②由①得 AP 中点 Q(-1,\frac{3\sqrt{3}}{2})，因为 AD\perp MN，所以 PQ=QA=QD=\frac{\sqrt{39}}{2}。

双曲线

• 概念：平面内到两个焦点 F_1,F_2 的距离的差等于非零常数（ 小于 |F_1F_2| ）的点的轨迹叫做双曲线。

双曲线就是下列点的集合 P=\set{M|||MF_1|-|MF_2||=2a}，|F_1F_2|=2c>2a。

• \boxed{c^2=a^2+b^2}$，离心率 $\boxed{e=\frac{c}{a}}\ (e>1)

实轴长 =2a 虚轴长 =2b。

等轴双曲线：a=b 的双曲线。

• 焦半径：双曲线一点 P(x_0,y_0) 与左（ 下 ）焦点 F_1或右（ 上 ）焦点 F_2 之间的线段叫做双曲线的焦半径，分别记作 r_1=|PF_1|,r_2=|PF_2|。

• 设 AB 是 \frac{x^2}{a^2}-\frac{y^2}{b^2}=1(a>0,b>0) 的一条弦，AB 中点为 M(x_0,y_0)，则 k_{AB}=\frac{b^2x_0}{a^2y_0}，\boxed{k_{AB}k_{OM}=e^2-1}。

• 已知双曲线 \frac{x^2}{a^2}-\frac{y^2}{b^2}=1(a>0,b>0)，过双曲线的左焦点 F(-c,0) 的直线交双曲线于 A,B 两点，交 y 轴于点 P，设 \overrightarrow{PF}=\lambda_1\overrightarrow{FA}=\lambda_2\overrightarrow{FB}，则 \lambda_1+\lambda_2=\frac{2e^2}{1-e^2} 扩展：若 F 改为 x 轴上一点 M(m,0)，则 \lambda_1+\lambda_2=\frac{2m^2}{a^2-m^2}。

• 双曲线 \frac{x^2}{a^2}-\frac{y^2}{b^2}=1(a>0,b>0) 的两条相互垂直的切线的交点轨迹是 x^2+y^2=a^2-b^2。

• 对于双曲线上一点 P 做切线交两条渐近线于 A,B，则 S_{\Delta PAB}=ab 证明：OA:\frac{x}{a^2}-\frac{y}{b^2}=0,OB:\frac{x}{a^2}+\frac{y}{b^2}=0,AB:\frac{x_0x}{a^2}-\frac{y_0y}{b^2}=1

  设 A(x_1,y_1),B(x_2,y_2),P(x_0,y_0)，分别代入得 \frac{x_0x_1}{a^2}-\frac{y_0y_1}{b^2}=1,\frac{x_0x_2}{a^2}-\frac{y_0y_2}{b^2}=1

  代入 y_1=\frac{b}{a}x_1,y_2=-\frac{b}{a}x_2 得到 \begin{cases}\frac{x_1}{a}(\frac{x_0}{a}-\frac{y_0}{b})=1 \\ \frac{x_2}{a}(\frac{x_0}{a}+\frac{y_0}{b})\end{cases}

  相乘：\frac{x_1^2x_2^2}{a^2}(\frac{x_0^2}{a^2}-\frac{y_0^2}{b^2})=1\implies x_1x_2=a^2,OA\cdot OB=\frac{a^2+b^2}{a^2}x_1x_2=a^2+b^2=c^2

  \sin\angle AOB=\sin 2\angle AOx=2\sin\angle AOx\cos\angle AOx=2\frac{ab}{c^2} \\ S=\frac{1}{2}OA\cdot OB\sin\angle AOB=ab

好题

1. 若双曲线的一条渐近线过点 (8,-6)，则其离心率等于 ？

分 2 种情况讨论，焦点在 x 轴上（ \frac{b}{a}=\frac{3}{4}\ \ \ e=\frac{5}{4} ），在 y 轴上（ \frac{a}{b}=\frac{3}{4}\ \ \ e=\frac{5}{3} ）

2. 动圆 M 与圆 C_1:(x+4)^2+y^2=1，圆 C_2:(x-4)^2+y^2=9 都外切，则动圆圆心 M 的轨迹方程为 ？

解：圆 C_1(-4,0),r_1=1,C_2(4,0),r_2=3，设 M(x,y)，半径为 r，则 \begin{cases} |MC_1|=r+1 \\ |MC_2|=r+3 \end{cases}

即 |MC_2|-|MC_1|=2<|C_1C_2|，所以 M 的轨迹为以 C_1,C_2 为焦点，2a=2 的双曲线的左支，b=\sqrt{15}。

所以 M 的轨迹方程为 x^2-\frac{y^2}{15}=1\ (x\leq -1)。

3. 是否存在过点 P(1,-\frac{1}{2}) 的直线 l 与双曲线 \frac{x^2}{2}-y^2=1 相交于 A,B 两点，且满足 P 是线段 AB 的中点？若存在，求出直线 l 的方程；若不存在，请说明理由。

（ 点差法 ）解：设 l:y=k(x-1)-\frac{1}{2},A(x_1,y_1),B(x_2,y_2)，则 \begin{cases} \frac{x_1^2}{2}-y_1^2=1 \\ \frac{x_2^2}{2}-y_2^2=1 \end{cases}，

两式相减得 (x_1-x_2)(x_1+x_2)=2(y_1-y_2)(y_1+y_2)，因为 P(1,-\frac{1}{2}) 为线段 AB 的中点，则

联立 \begin{cases} y=-x+\frac{1}{2} \\ \frac{x^2}{2}-y^2=1 \end{cases} 消去 y 可得 2x^2-4x+5=0,\Delta<0，方程无实根，故 l 不存在。

4. [ 安徽十校联盟 2023 期中 ] 已知双曲线 C:\frac{x^2}{a^2}-\frac{y^2}{b^2}=1\ (a>0,b>0) 的左、右焦点分别为 F_1,F_2，焦距为 4，点 M 在圆 E:x^2+y^2+4x-8y+16=0 上，且 C 的一条渐近线上存在点 N，使得四边形 OMNF_2 为平行四边形，O 为坐标原点，则 C 的离心率的取值范围为（ ）

   \text{A.} [2,+\infty)\ \ \ \ \ \ \text{B.} [\sqrt{3},+\infty)\ \ \ \ \ \ \text{C.} [4,+\infty)\ \ \ \ \ \ \text{D.} (1,\sqrt{3})

   答案：\text{A}。

5. 已知直线 y=ax+1 与双曲线 3x^2-y^2=1 交于 A,B 两点。

   $(2)$ 是否存在这样的实数 $a$，使 $A,B$ 两点关于直线 $y=\frac{1}{2}x$ 对称？若存在，请求出 $a$ 的值；若不存在，请说明理由。

解：(1) 联立 \begin{cases} y=ax+1\\ 3x^2-y^2=1 \end{cases} 消去 y 得 (3-a^2)x^2-2ax-2=0，依题意 \begin{cases} 3-a^2\neq 0\\ \Delta >0 \end{cases}\\

所以 k_{PB}k_{BM}=-3，再设 y=kx+3\dots

7. 设 F_1,F_2 为双曲线 C:\frac{x^2}{a^2}-\frac{y^2}{b^2}=1(a>0,b>0) 的左右焦点，A 是右支上一点，\Delta AF_1F_2 内切圆圆心为 M，半径为 a，\exist \lambda\in\R,\overrightarrow{AM}+2\overrightarrow{OM}=\lambda\overrightarrow{OF_2}，则 C 的离心率为 ？

得到 M(a,a)\implies A(3a-\lambda c,3a),AF_2=2c-a=ex_A-a，因此 x_A=2a,e=2

抛物线

• 概念：平面内与一个定点 F 和一条定直线 l（ 不经过点 F ）的距离相等的点的轨迹叫做抛物线。

抛物线的离心率 e=1。

通径：过抛物线的焦点作垂直于对称轴的直线，交抛物线于 AB，线段 AB 就是抛物线的通径，长为 2p，是所有过焦点的弦中最短的。

抛物线焦点弦的性质

证明：当直线 AB 的斜率存在时，\frac{1}{|AF|}+\frac{1}{|BF|}=\frac{1}{|AA_1|}+\frac{1}{|BB_1|}=\frac{1}{x+\frac{p}{2}}+\frac{1}{x_2+\frac{p}{2}}=\frac{x_1+x_2+p}{x_1x_2+\frac{p}{2}(x_1+x_2)+\frac{p^2}{4}}=\frac{x_1+x_2+p}{\frac{p^2}{4}+\frac{p}{2}(x_1+x_2)+\frac{p^2}{4}}=\frac{2}{p}

同理可证直线 AB 的斜率不存在时，命题也成立。

6. 若直线 AB 的倾斜角为 \alpha，则 |AB|=\frac{2p}{\sin^2\alpha}

证明：当直线 AB 的斜率存在时，设 AB:y=k(x-\frac{p}{2}),k\neq 0，由 \begin{cases} y=k(x-\frac{p}{2}) \\ y^2=2px\end{cases} 得 ky^2-2py-kp^2=0。

易知 \Delta>0,y_1+y_2=\frac{2p}{k},y_1y_2=-p^2,|AB|=\sqrt{(1+\frac{1}{k^2})[(y_1+y_2)^2-4y_1y_2]}=\sqrt{1+\frac{1}{k^2}}\cdot\frac{2p\sqrt{1+k^2}}{|k|}=\frac{2p(1+k^2)}{k^2}=\frac{2p(1+\tan^2\alpha)}{\tan^2\alpha}=\frac{2p}{\sin^2\alpha}

当直线 AB 的斜率不存在时，|AB|=2p=\frac{2p}{\sin^2 90\degree}，命题也成立。

推广：|AF|=\frac{p}{1-\cos\alpha},|BF|=\frac{p}{1+\cos\alpha}，O 到 AB 的距离 =\frac{p\sin\alpha}{2},S_{\Delta AOB}=\frac{p^2}{2\sin\theta}

注：若抛物线为 x^2=\pm 2py，将上述 \cos 换为 \sin，\sin 换为 \cos。

设 AB:x=my+\frac{p}{2} 即可通过斜率相等证明。

8. A_1F\perp B_1F

9. 对于 y^2=2px(p>0)，当直线过点 (a,0) 与抛物线交于 P,Q，则 k_{OP}k_{OQ}=-\frac{2p}{a}。

10. 对于 y^2=2px，AB 为其一条弦，则 k_{AB}=\frac{2p}{y_1+y_2}；对于 x^2=2py，则 k_{AB}=\frac{x_1+x_2}{2p}。

11. 对于 x^2=2py，过其上一点 P(x_1,y_1) 做切线 y=kx+(y_1-kx_1)，联立得 \Delta=pk^2-2x_1k+2y_1=0\implies k=\frac{x_1}{p}，即切线为 y=\frac{x_1}{p}-\frac{x_1^2}{2p}。

好题

1. 过点 Q(4,1) 作抛物线 y^2=8x 的弦 AB，恰被点 Q 平分，则弦 AB 所在直线的方程为 ？

（ 点差法 ）解：设 A(x_1，y_1),B(x_2,y_2)，则 \begin{cases} y_1^2=8x_1 (1) \\ y_2^2=8x_2 (2)\end{cases}，因为 Q(4,1) 是 AB 中点，所以 \begin{cases} x_1+x_2=8 \\ y_1+y_2=2 \end{cases}(3)

显然 2(|MN|+1)=|AA_1|+|BB_1|=|AF|+|BF|=|AB|=2r，所以 |MN|=r-1,|DE|=2\sqrt{r^2-(r-1)^2}=\frac{8}{5}r

解得 r=\frac{5}{2}\ \text{or}\ \frac{5}{8}（ 舍 ），所以 M_x=\frac{3}{2}\ \ \ \text{} 设直线 l:y=k(x-1),A(x_1,y_1),B(x_2,y_2)。

联立 \begin{cases} y=k(x-1) \\ y^2=4x\end{cases} 得 k^2x^2-(2k^2+4)x+k^2=0\implies x_1+x_2=\frac{2k^2+4}{k^2}=3，解得 k=\pm 2。

故直线 l 的方程为 2x\pm y-2=0。

3. （ 多选 ）已知点 F 是抛物线 y^2=2px\ (p>0) 的焦点，AB,CD 是经过点 F 的弦，且 AB\perp CD，直线 AB 的斜率为 k 且 k>0，A,C 两点在 x 轴上方，以下一定成立的有（ ）

   \text{A.}\ \frac{1}{|AB|}+\frac{1}{|CD|}=\frac{1}{2p}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text{B.}$ 若 $|AF|\cdot|BF|=\frac{4}{3}p^2$，则 $k=\frac{\sqrt{3}}{3} \text{C.}\ \overrightarrow{OA}\cdot\overrightarrow{OB}=\overrightarrow{OC}\cdot\overrightarrow{OD}\ \ \ \ \ \ \ \ \text{D.}$ 四边形 $ACBD$ 面积的最小值为 $16p^2

答案：\text{AC}

解析：\text{A.} 由题得 k_{CD}=-\frac{1}{k}，设 AB:y=k(x-\frac{p}{2})，联立 \begin{cases} y=k(x-\frac{p}{2}) \\ y^2=2px\end{cases} 得

其他问题

共焦点问题

已知 F_1,F_2 为椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0)（ 离心率 e_1 ）和双曲线 \frac{x^2}{m^2}-\frac{y^2}{n^2}=1(a>b>0)（ 离心率 e_2 ）的公共焦点，P(x_0,y_0) 是一个公共点，\angle F_1PF_2=\theta，则

因此可以推出 e_1e_2\geq 2\sin\frac{\theta}{2}\cos\frac{\theta}{2}=\sin\theta。

一类求离心率的问题

对于焦点 F 在 x 轴上的圆锥曲线 C，经过 F 的直线交 C 于 A,B 两点，倾斜角为 \theta，斜率为 k，\overrightarrow{AF}=\lambda\overrightarrow{FB}，则

若是双曲线，则变为 |\frac{\lambda+1}{\lambda-1}|；若是焦点在 y 轴上，则变为 \sin\theta 和 \sqrt{1+\frac{1}{k^2}}

一类求轨迹方程的问题——交轨法

例题：坐标系中 P(-2,2),Q(0,2)，直线 l:y=x，长度为 \sqrt{2} 的线段 AB 在 l 上运动，延长 PA,QB 交于点 M，求 M 轨迹方程。

设 A(a,a),B(a+1,a+1)，那么 PA:y-2=\frac{a-2}{a+2}(x+2),PB:y-2=\frac{a-1}{a+1}x，稍加转换变为

因此 2\frac{x+y}{x-y+4}=\frac{x+y-2}{x-y+2}，即 \frac{(y+1)^2}{8}-\frac{(x+1)^2}{8}=1。

注意上述运算是在 a\neq -2,-1 时进行的，需要单独验证 a=-2,-1。

伯努利双纽线

定义：平面中一点 P 到点 F_1(-a,0),F_2(a,0) 的距离的乘积是定值 a^2 的曲线。即

可以化简为

一些性质：

1. 关于原点中心对称。
3. 每个弧形的面积是 a^2。（ From Baidu ）

极点极线问题

设圆锥曲线 C:Ax^2+By^2+Cxy+Dx+Ey+F=0，平面上任意一点 P(x_0,y_0)，则极点 P 关于 C 的极线方程是 Ax_0x+By_0y+C\frac{x_0y+y_0x}{2}+D\frac{x_0+x}{2}+E\frac{y_0+y}{2}+F=0。也就是说：

4. 常数项不变。

对于椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0)，P 的极线方程为 \boxed{\frac{x_0x}{a^2}+\frac{y_0y}{b^2}=1}；当 P 是焦点时，极线 = 准线，即 x=\frac{a^2}{c}

极点 P 和极线 l 的【位置关系】满足：

3.  【部分证明】 设 $CD:x=ty+m,C(x_1,y_1),D(x_2,y_2),N(m,0)$，则 $y_1+y_2=\frac{-2b^2mt}{a^2+b^2t^2},y_1y_2=\frac{b^2m^2-a^2b^2}{a^2+b^2t^2}

注意到 \displaystyle m(y_1+y_2)+2ty_1y_2=\frac{-2a^2b^2t}{a^2+b^2t^2}=\frac{a^2}{m}(y_1+y_2)

有 AC:x=\frac{x_1+a}{y_1}y-a,BD:x=\frac{x_2-a}{y_2}y+a，联立得

【性质】

过 P 作直线 PQ，交极线 MN 于 Q，交椭圆于 A,B 两点 \iff\frac{|PA|}{|PB|}=\frac{|QA|}{|QB|}（ 调和点列 ）。

【例题】

设 C:\frac{x^2}{4}+\frac{y^2}{3}=1，过 C 的右焦点，且斜率不为 0 的直线交 C 于 M,N 两点，直线 AM,BN 交于点 Q，证明：点 Q 在直线 x=4 上。

解：显然右焦点 (1,0) 是极点，那么极线就是 \frac{x}{4}=1，即 x=4。

与定值 \frac{2}{e} 有关的问题：

1. 若 AB 是过椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 的焦点 F 的焦点弦，AB 的垂直平分线交 x 轴于点 M，则 \frac{|AB|}{|FM|} 为定值 \frac{2}{e}。

   证明：设 F 为左焦点，以 F 为极点，x 轴为极轴建立极坐标系，得极坐标方程 \rho = \frac{ep}{1-e\cos\theta}，

   所以 |AB|=\rho_1+\rho_2=\frac{2ep}{1-e^2\cos^2\theta}，|FM|=\frac{1}{|\cos\theta|}|\frac{\rho_1-\rho_2}{2}|=\frac{e^2p}{1-e^2\cos^2\theta}\implies\frac{|AB|}{|FM|}=\frac{2}{e}

2. 椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 的左焦点为 F，在 x 轴上点 F 右侧有一点 A，以 FA 为直径作半径为 R 的圆，在 x 轴上方部分交于 N,M 两点，则 \frac{|FM|+|FN|}{R}=\frac{2}{e}

   证明：设圆为 [x-(R-c)]^2+y^2=R^2，联立得 x_1+x_2=\frac{2a^2(R-c)}{c^2},|FM|+|FN|=a+ex_1+a+ex_2=\frac{2R}{e}

3. 若 AB 为椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 焦点 F 的弦，FM 为与焦点 F 对应的焦准距，则 \frac{|AB||FM|}{|FA||FB|}=\frac{2}{e}

   证明：同 1 建极坐标系，|FM|=p,|FA|=\frac{ep}{1-e\cos\theta},|FB|=\frac{ep}{1+e\cos\theta},|AB|=|FA|+|FB|=\frac{2ep}{1-e^2\cos^2\theta},|FA||FB|=\frac{e^2p^2}{1-e^2\cos^2\theta}。

4. 已知椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 的左右焦点分别为 F_1,F_2,A(-a,0),B(a,0)，点 P 是椭圆上的点（ 不与 A,B 重合 ），\angle APB=2\alpha,\angle F_1PF_2=2\beta,|\tan\beta\tan 2\alpha| 为定值 \frac{2}{e}

光学性质

【椭圆】：设 F_1,F_2 是椭圆的两个焦点，从 F_1 出发的光线经过反射必经过 F_2。

【双曲线】：设 F_1,F_2 是双曲线的两个焦点，从 F_1 出发的光线经过反射后的反向延长线必经过 F_2。

【抛物线】：设 F 为焦点，从 F 出发的光线经过反射后，平行于对称轴。

【椭圆+抛物线】设 P 为反射点，AB 为 P 处的切线，PT 平分 \angle F_1PF_2，则 PT\perp AB

【2025 八省联考 T18】已知椭圆 C:\frac{x^2}{4}+\frac{y^2}{3}=1，左右焦点 F_1(-1,0),F_2(1,0)，设 M 是坐标平面上的动点，且线段 F_1M 的垂直平分线与 C 恰有一个公共点，证明 M 的轨迹为圆，并求该圆的方程。

设 A 点为切点，由光学性质，从左焦点 F_1 出发经过 A 点，且被椭圆反射的光线会经过 F_2。

显然 |AF_1|=|AM|，故 |MF_2|=|MA|+|AF_2|=|AF_1|+|AF_2|=2a=4，所以 M:(x-1)^2+y^2=16。

仿射变换

设 a>0,b>0，将原来曲线上的每个点的横坐标乘以 a，纵坐标乘以 b，形成了新的曲线。

【性质】：

1. 对原来的两条曲线作仿射变换，交点数不变。
2. 对曲线 f(x,y)=0 作仿射变换，曲线变为 f(\frac{x}{a},\frac{y}{b})=0。
3. 对面积为 S 的曲线作仿射变换，面积变为 abS。
4. 对直线 Ax+By+C=0 作仿射变换，变为 \frac{A}{a}x+\frac{B}{b}y+C=0

【推论】

1. 椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 与直线 Ax+By+C=0 相切的充要条件是 A^2a^2+B^2b^2=C^2。
2. 椭圆面积为 \pi ab

阿基米德三角形

圆锥曲线的弦和过弦端点的两条切线所围成的三角形称为阿基米德三角形，该弦称为底边。

【2006高考卷】已知抛物线 x^2=4y 的焦点为 F，点 A,B 是抛物线上两个动点，且 \overrightarrow{AF}=\lambda\overrightarrow{FB}(\lambda>0)，过 A,B 两点分别作抛物线的切线，设其交点为 M，证明：\overrightarrow{FM}\cdot\overrightarrow{AB} 是定值。

解：设 A(x_1,\frac{x_1^2}{4}),B(x_2,\frac{x_2^2}{4})，由 \overrightarrow{AF}=\lambda\overrightarrow{FB} 得 x_1x_2=-4。

已知抛物线方程为 y=\frac{1}{4}x^2，求导得 y`=\frac{1}{2}x，所以过 A,B 两点的切线方程是 y=\frac{1}{2}x_1x-\frac{1}{4}x_1^2,y=\frac{1}{2}x_2x-\frac{1}{4}x_2^2

交点 M(\frac{x_1+x_2}{2},-1)，所以 \overrightarrow{FM}=(\frac{x_1+x_2}{2},-2),\overrightarrow{AB}=(x_2-x_1,\frac{x_2^2-x_1^2}{4})，从而 \overrightarrow{FM}\cdot\overrightarrow{AB}=0

扩展开来，对于抛物线 y^2=2px(p>0) 的焦点 F 的直线交抛物线于 A,B 两点，过 A,B 两点的切线交于 M，则 \boxed{\overrightarrow{FM}\cdot\overrightarrow{AB}=0}，并且 M 在准线上，并且 \boxed{|MF|^2=|FA|\cdot|FB|}。（ 证明 MA\perp MB 即可，射影定理 ）

对于椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 的左焦点 F 任意做一条直线 AB，交椭圆于 A,B 两点，分别过 A,B 作椭圆的切线交于点 M，则 M 在左准线上，且 \boxed{\overrightarrow{FM}\cdot\overrightarrow{AB}=0}。（ 通过设 A(a\cos\theta_1,b\sin\theta_1) 等证明 ）

阿基米德三角形面积公式为

柯西不等式

引理

设 \overrightarrow{a}=(x_1,y_1),\overrightarrow{b}=(x_2,y_2)，由 |\overrightarrow{a}|\cdot|\overrightarrow{b}|\geq\overrightarrow{a}\cdot\overrightarrow{b}

得 (x_1^2+y_1^2)\cdot(x_2^2+y_2^2)\geq(x_1x_2+y_1y_2)^2，当且仅当 \frac{x_1}{x_2}=\frac{y_1}{y_2} 时等号成立。

例题

1. 设椭圆 C:\frac{x^2}{16}+\frac{y^2}{12}=1,M(2,\sqrt{2})，过点 P(-8,0) 的直线与 C 交于 A,B 两点，求 \Delta ABF 面积的最大值。

设 A(x_1,y_1),B(x_2,y_2)，由 P,A,B 三点共线得 k_{PA}=k_{PB}\implies\frac{y_1}{x_1+8}=\frac{y_2}{x_2+8}\implies x_2y_1-x_1y_2=8(y_2-y_1)

当且仅当 \frac{x_1x_2}{4}=-\frac{y_1y_2}{3} 时成立。

2. 【天津静海四校 2021 阶段性检测】已知 E:\frac{x^2}{4}+y^2=1,A(-2,0),B(0,1),F_1(-\sqrt{3},0),F_2(\sqrt{3},0),P 为椭圆上一动点。C,D 是 E 上两个不同的点，CD//AB，直线 CD 与 x,y 轴分别交于 M,N 两点，且 \overrightarrow{MC}=\lambda\overrightarrow{CN},\overrightarrow{MD}=\mu\overrightarrow{DN}，求 \lambda+\mu 的取值范围。

显然 k_{AB}=\frac{1}{2}，可设 CD 的方程为 y=\frac{1}{2}x+m(m\neq\pm 1)，得 M(-2m,0),N(0,m)，设 C(x_1,y_1),D(x_2,y_2)

由 \overrightarrow{MC}=\lambda\overrightarrow{CN}，得 (x_1+2m,y_1)=\lambda(-x_1,m-y_1)\implies\begin{cases}x_1=\frac{-2m}{1+\lambda} \\ y_1=\frac{\lambda m}{1+\lambda}\end{cases}

代入椭圆方程并化简得 (m^2-1)\lambda^2-2\lambda+m^2-1=0，把 \lambda 换成 \mu 得到同构方程，因此 \lambda,\mu 可看成 (m^2-1)x^2-2x+m^2-1=0 的两根。

得到 \lambda+\mu=\frac{2}{m^2-1}，因为 C,D 都在 E 上，由柯西不等式

当且仅当 C,D 重合时等号成立，与题意不符，故 0\leq m^2<2 且 m^2\neq 1，所以 \lambda+\mu=\frac{2}{m^2-1}\in(-\infty,-2]\cup(2,\infty)

拉格朗日恒等式

椭圆形式的拉格朗日恒等式

设 A(x_1,y_1),B(x_2,y_2) 是椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 上非顶点的两点，则：

引理 - 三角形面积公式

因此，拉格朗日恒等式可用于处理三角形面积定值问题。当 (\frac{x_1x_2}{a^2}+\frac{y_1y_2}{b^2})^2=0 时，S_{\max}=\frac{ab}{2}

引理 - 和积关系 & 合比关系

已知 A(x_1,y_1),B(x_2,y_2) 在椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0) 上，直线 AB 经过 M(m,0) 满足：

直线 AB 经过 N(0,n) 满足：

可用点差法证明。

例题

1. 椭圆 E:\frac{x^2}{16}+\frac{y^2}{4}=1,P(0,1),Q(0,2)，过点 P 的直线 l:y=kx+1 交椭圆 E 于 A,B 两点，求 S_{\Delta ABQ} 最大值。

由 A,B,P 三点共线得 \frac{y_1-1}{x_1}=\frac{y_2-1}{x_2}，得

由 (y_1+y_2)^2-(y_1-y_2)^2=4y_1y_2 和 (2) 得 (y_1+y_2)^2-(y_1-y_2)^2=10(y_1+y_2)-16

配方得 (y_1+y_2-5)^2=9+(y_1-y_2)^2\geq 9

所以 y_1+y_2\leq 2 当且仅当 y_1=y_2=1 时成立（ y_1+y_2\geq 8 舍去 ）

由拉格朗日恒等式得

得 |x_1y_2-x_2y_1|\leq 4\sqrt{3}，所以 S=\frac{1}{2}|PQ||x_1-x_2|=\frac{1}{2}|x_1y_2-x_2y_1|\leq 2\sqrt{3}

2. 已知椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0)，A,B 是其上两动点，k_{OA}\cdot k_{OB}=-\frac{b^2}{a^2}，点 M 满足 \overrightarrow{OM}=\lambda\overrightarrow{OA}+\mu\overrightarrow{OB} 且 \lambda^2+\mu^2=1，证明 M 在椭圆上。

设 A(x_1,y_1),B(x_2,y_2)，易得 \frac{x_1x_2}{a^2}+\frac{y_1y_2}{b^2}=0，点 \frac{x_1^2}{a^2}+\frac{y_1^2}{b^2}=1,\frac{x_2^2}{a^2}+\frac{y_2^2}{b^2}=1

因此 M(\lambda x_1+\mu x_2,\lambda y_1+\mu y_2)，代入椭圆方程联立得

得到 \lambda^2+\mu^2=1，结论成立。（ 每一步都是等价关系 ）

参数方程

本质就是利用 \sin^2\alpha+\cos^2\alpha=1。

例题

1. 过椭圆 C:\frac{x^2}{4}+\frac{y^2}{9}=1 上一点 P 作与直线 l:2x+y-6=0 夹角为 30\degree 的直线，交于 A，求 |PA| 的最值。

设 P(2\cos\theta,3\sin\theta)，距离 d(P,l)=\frac{\sqrt{5}}{5}|4\cos\theta+3\sin\theta-6|，

则 |PA|=\frac{d}{\sin 30\degree}=\frac{2\sqrt{5}}{5}|5\sin(\theta+\alpha)-6|，其中 \alpha 为锐角。所以最值为 \frac{2\sqrt{5}}{5} 和 \frac{22\sqrt{5}}{5}。

2. 椭圆 C:\frac{x^2}{a^2}+\frac{y^2}{b^2}=1(a>b>0)，A,B,C 为其上三点，满足 \Delta ABC 的重心坐标为 O，求 S_{\Delta ABC}。

设 A(a\cos\alpha,b\sin\alpha),B(a\cos\beta,b\sin\beta)\implies C(-a(\cos\alpha+\cos\beta),-b(\sin\alpha+\sin\beta))，代入得

由重心性质，S_{\Delta ABC}=3S_{\Delta AOB}=\frac{3}{2}|AB|d=\frac{3\sqrt{3}}{4}ab。

• 扩展开来，对于平行四边形 OABC，其中 A,B,C 三点都在椭圆上，则 S=2S_{\Delta AOB}=\frac{\sqrt{3}}{2}ab。

圆锥曲线与四点共圆

前置知识：here

• 椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1 上四边形 ABCD 四点共圆 \iff k_{AB}+k_{CD}=0（ 圆锥曲线均适用，任选两组点斜率相加 =0 即可 ）。若圆心为 O(x_0,y_0)，则四边形 ABCD 重心坐标是 \displaystyle G\left(\frac{1}{e^2}x_0,\left(1-\frac{1}{e^2}\right)y_0\right)。

例 1：双曲线 x^2-y^2=1,A(x_1,y_1),B(x_2,y_2),C(x_3,y_3),D(x_4,y_4) 共圆，求证 (x_1+y_1)(x_2+y_2)(x_3+y_3)(x_4+y_4) 为定值。

设 AB:my_1+t，可以得到 (x_1+y_1)(x_2+y_2)=-\frac{m_1+1}{m_1-1}，同理 (x_3+y_3)(x_4+y_4)=-\frac{m_2+1}{m_2-1}，因 m_1+m_2=0，可以得出定值为 1。

例 2：E:y^2=4x，过 F(1,0) 的动直线交 E 于 A,B 两点，\Delta OAB 的外接圆交 E 于 C，证明：(1)\ \Delta ABC 的重心在定直线上；(2) 若 OACB 是凸四边形，求 S_{OACB} 范围。

因为凸四边形，不妨设 y_1>0,y_2<0,y_3=-4m=-(y_1+y_2)<y_2，而 y_1y_2=-4 得 y_2\in(-\sqrt{2},0),m^2>\frac{1}{8}，所以 S_{OACB}=16m^2\sqrt{m^2+1}，范围 (\frac{3\sqrt{2}}{2},+\infty)。

例 3：【2022.8 ZJ 新高考研究测试卷】椭圆 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1 上三点 A,B,C 构成三角形，\Delta ABC 外心为 D，求证：当 AB,BC,CA,OD 斜率存在时，\red{\boxed{k_{AB}k_{BC}k_{CA}k_{OD}=\frac{b^2}{a^2}}}

设 AB,BC 中点分别为 E(x_1,y_1),F(x_2,y_2),D(x_0,y_0)，有

类似可以推出双曲线满足 \red{\boxed{k_{AB}k_{BC}k_{CA}k_{OD}=-\frac{b^2}{a^2}}}，抛物线满足 \red{\boxed{\frac{1}{k_1^2}+\frac{1}{k_2^2}+\frac{1}{k_3^2}+\frac{2}{k_1k_2k_3k_4}=-2}}

例 4：【2021 I 卷】在平面直角坐标系 xOy 中，已知点 F_1(-\sqrt{17},0),F_2(\sqrt{17},0),|MF_1|-|MF_2|=2，点 M 的轨迹为 C。

• 等比数列通项公式：a_n=a_1q^{n-1}=S_n-S_{n-1}(n\geq 2), 其中 q 为公比。

• 等比数列前 n 项和：S_n=\frac{a_1(1-q^n)}{1-q}=\frac{a_1-a_n q}{1-q}(q\neq 1)

• 自然数幂求和公式：\displaystyle\sum_{i=1}^{n}i=\frac{n(n+1)}{2}

  \displaystyle\sum_{i=1}^{n}i^2=\frac{n(n+1)(2n+1)}{6} \displaystyle\sum_{i=1}^{n}i^3=[\frac{n(n+1)}{2}]^2 \displaystyle\sum_{i=1}^{n}i^4=\frac{n(n+1)(2n+1)(3n^2+3n-1)}{30} 1+3+5+\dots+(2n-1)=n^2

求数列通项公式

累加法

条件：形如 a_{n+1}=a_n+f(n) 且 {f(n)} 可求和。

例题：已知 a_1=1,a_{n+1}=a_n+2，求 {a_n} 通项公式。

由已知得 a_{n+1}-a_n=2,a_n-a_{n-1}=2,\dots,a_2-a_1=2，将它们全部相加得到 a_{n+1}-a_1=a_{n+1}-1=2n，即 a_{n}=2n-1。

验证 a_1 也符合上式，因此 a_n=2n-1。

练习：已知 \set{a_n} 满足 a_1=2,a_{2020}=2020,na_{n-1}+n(n-1)a_{n+1}=(n-1)a_n,n\in\N^*,n>1。求 S_3 和 S_{2021}。

答案都是 3。

累乘法

形如 a_{n+1}=f(n)a_n 且 {f(n)} 可求积。

例题：a_1=1,(n+1)a_{n+1}=na_n，求 {a_n} 通项公式。

验证 a_1 也符合上式，因此 a_n=\frac{1}{n}。

a_n=S_n-S_{n-1}

例题：S_n=3^n+k，求 a_n 通项公式。

裂项

以下是一些基本的小学奥数难度的裂项。

• 一个特点：前面保留几项，后面就保留几项。例如

练习：已知 \set{a_n} 是首项为 1，公比为 \frac{1}{2} 的等比数列，证明：\forall n\in\N^*，\frac{2a_2}{S_1S_2}+\frac{2a_3}{S_2S_3}+\dots+\frac{2a_{n+1}}{S_nS_{n+1}}<1-\frac{1}{2^{n+1}}。

现在我们要学习一些高难度的裂项。坐稳了，前方高能！

等差数列的性质

• 若等差数列的项数为 2n，则 S_{2n}=n(a_n+a_{n+1})，且 S_{偶}-S_{奇}=nd,\frac{S_{奇}}{S_{偶}}=\frac{a_n}{a_{n+1}}

• 若等差数列的项数为 2n-1，则 S_{2n-1}=(2n-1)a_n，且 S_{偶}-S_{奇}=a_n,\frac{S_{奇}}{S_{偶}}=\frac{n}{n-1}

• 等差数列依次每 k 项之和仍成等差数列，即 S_k,S_{2k}-S_k,S_{3k}-S_{2k},\dots,S_{nk}-S_{(n-1)k} 成等差数列，公差 k^2d。

• 等差数列 {a_n},{b_n} 的前缀和分别为 S_n,T_n，则 \frac{a_n}{b_n}=\frac{S_{2n-1}}{T_{2n-1}}。

• S_m=p,S_n=q\implies S_{n+m}=\frac{(S_n-S_m)(n+m)}{n-m}=\frac{(q-p)(n+m)}{n-m}

  特别的，若 S_m=n,S_n=m，则 S_{n+m}=-(n+m)；若 S_n=S_m，则 S_{n+m}=0。

等比数列的性质

• 若 m+n=r+s(m,n,r,s\in\N^+)，则 a_ma_n=a_ra_s。

• **注意 $q=\pm 1$ 是否满足条件**。

构造等比数列求通项公式

• 对于 a_n=pa_{n-1}+q(p\neq 1,pq\neq 0,n\geq 2)，转化为 a_n-\frac{q}{1-p}=p(a_{n-1}-\frac{q}{1-p})\implies a_n=(a_1+x)p^{n-1}-x，其中 x=\frac{q}{p-1}。

  也可以通过与 a_{n-1}=pa_{n-2}+q 相减得 a_n-a_{n-1}=p(a_{n-1}-a_{n-2})

• 对于 a_n=pa_{n-1}+q^{n-1}，转化为 a_n-\frac{q^n}{q-p}=p(a_{n-1}-\frac{q^{n-1}}{q-p})

  也可以同除 q^n 变成上一点的方法。

• 对于 a_n=pa_{n-1}+q^{n-1}+t，转化为 a_n-\frac{t}{1-p}=p(a_{n-1}-\frac{t}{1-p})+q^{n-1}，再用上一点的方法。

数列的快算方法

大题基本禁用，小题屡试不爽的方法。

等差数列 / 等比数列 S_0=0

例题：等比数列 \set{a_n} 的 S_n=a\cdot 2^{n-1}+a-2，求 a。

直接代入 S_0=\frac{3}{2}a-2=0 得 a=\frac{4}{3}。

练习：已知数列 \set{a_n} 的 S_n=3^n+k，以下正确的是（ \ \ \ \ \text{} ）

等差数列中的符号问题

证明：S_{2n-1}=\frac{a_1+a_{2n-1}}{2}(2n-1)=\frac{2a_n}{2}(2n-1)=a_n(2n-1)>0

例题：已知 \set{a_n} 为等差数列，a_1>0，若 \frac{a_{1004}}{a_{1005}}<-1，则使得 S_n>0 的最大 n 值为 ？

可以得到 a_{1004}>0,a_{1005}<0,a_{1004}+a_{1005}>0，那么答案为 2008。

练习：等差数列 S_8<S_{10}<S_9，则使得 S_n>0 的最大 n 值为 ？

答案：18。

等差数列的最值

• 显然当 \boxed{n=\left[\frac{1}{2}-\frac{a_1}{d}\right]} 时取最值。[x] 表示将 x 四舍五入后的值。

若 S_p=S_q，则 S_n 函数的对称轴为 \frac{p+q}{2}。

若 S_p=0，则 S_n 函数的对称轴为 \frac{p}{2}。

例：已知等差数列 a_1>0,\frac{a_6}{a_5}=\frac{9}{11}，求 S_n 最大时 n 的值。

整理得 \frac{a_1}{d}=-\frac{19}{2},n=10 取最值。

求数列通项的最值

解不等式 \begin{cases}a_n\geq a_{n+1}\\a_n\geq a_{n-1}\end{cases} 或 \begin{cases}a_n\leq a_{n+1}\\a_n\leq a_{n-1}\end{cases} 即可。

例：求数列 a_n=n(n+4)(\frac{2}{3})^n 的最大项。

解 \begin{cases}n(n+4)(\frac{2}{3})^n\geq (n+1)(n+5)(\frac{2}{3})^{n+1}\\ n(n+4)(\frac{2}{3})^n\geq (n-1)(n+3)(\frac{2}{3})^{n-1}\end{cases} 得 \sqrt{10}\leq n\leq\sqrt{10}+1，即 n=4。

练：求数列 a_n=(n+1)(\frac{7}{8})^n 的最大项。答案：6 或 7。

一类证明问题

• 要证明 S_n<T_n，而 T_0=0，则只需证明 a_n<T_n-T_{n-1}。大于号同理。

其实跟下面要讲的数学归纳法很像。

例 1：a_n=\sqrt{\frac{n(n+1)}{2}}，证明 S_n>\frac{n(n+1)}{2\sqrt{2}}。

二阶线性递推数列

对于形如 a_{n+1}=pa_n+qa_{n-1}，则方程 x^2-px-q=0 为该数列的特征方程，方程的两个根 a,b 即为数列的特征根。

当 a\neq b 时，设数列 a_n=\alpha a^{n-1}+\beta b^{n-1}，由 \begin{cases}a_1=\alpha+\beta\\a_2=\alpha a+\beta b\end{cases} 解得 \begin{cases}\alpha=\frac{a_2-ba_1}{a-b}\\\beta=\frac{a_2-aa_1}{b-a}\end{cases}。

因此数列通项公式为 a_n=\frac{a_2-ba_1}{a-b}a^{n-1}+\frac{a_2-aa_1}{b-a}b^{n-1}。

需要注意的是 a=b 时，数列应设为 a_n=(\alpha+n\beta)a^n

例题：Fibonacci 数列满足 a_1=a_2=1,a_{n+2}=a_{n+1}+a_n，求通项公式。

特征方程 x^2-x-1=0 得到 x_1=\frac{1+\sqrt{5}}{2},x_2=\frac{1-\sqrt{5}}{2}。

设 a_n=Ax_1^n+Bx_2^n，联立 a_1=a_2=1 得 A=B=\frac{1}{\sqrt{5}}，故

一种数列处理技巧

例：a_1=1,a_2=1,a_3=2，有递推式 a_na_{n+3}=3+a_{n+1}a_{n+2}，求通项公式。

我们由递推式还可以得到 a_{n+1}a_{n+4}=3+a_{n+2}a_{n+3}，联立两式消掉 3 得

特征根解出 a_n=A(\frac{3+\sqrt{5}}{2})^n+B(\frac{3-\sqrt{5}}{2})^n，再代入 a_1,a_2 得 A=\frac{5-2\sqrt{5}}{5},B=\frac{5+2\sqrt{5}}{5}。

练：a_1=a_2=1,a_3=3,a_na_{n-2}=a_{n-1}^2+2，求通项公式。

有 \frac{a_{n+1}+a_{n-1}}{a_n}=\dots=\frac{a_1+a_3}{a_2}=4，之后同上。

例 2：a_0=0,a_{n+1}=3a_n+\sqrt{8a_n^2+1}，求通项公式。

所以 a_{n-1},a_{n+1} 是方程 x^2-6a_nx+a_n^2-1=0 的两个根，得 a_{n-1}+a_{n+1}=6a_n。

答案：a_n=\frac{\sqrt{2}}{8}(3+2\sqrt{2})^n-\frac{\sqrt{2}}{8}(3-2\sqrt{2})^n。

【2024 HB 邢台二模】若数列 \set{a_n} 满足递推关系 a_{n+k}=c_1a_{n+k-1}+c_2a_{n+k-2}+\dots+c_ka_n(k\geq 2)(*) 其中 c_i(i=1,2,\dots,k) 为常数，我们称该数列为 k 阶常系数齐次线性递推数列，并称方程 x^k=c_1x^{k-1}+\dots+c_k 为递推关系式 (*) 的特征方程，该方程的根称为 \set{a_n} 的特征根。我们有以下结论：对于 k 阶常系数齐次线性递推数列，若其不同的特征根为 x_1,x_2,\dots,x_s(s\leq k)，且特征根 x_j 的重数为 t_j(1\leq j\leq s)，则数列 \set{a_n} 的通项公式为

其中 A_j=b_j^{t_j-1}+\dots+b_j^1n+b_j^0(1\leq j\leq s)，这里 b_j^m(0\leq m\leq t_j-1) 都是常数，它们由数列初始值可以确定。

令 m=1,n=0 得 a_2=7；令 m\geq 1,n=1 得 a_{2m}=2a_{m+1}+2a_{m-1}-2m-7

联立得 a_{m+2}-2a_{m+1}+a_m-2=0。因此 a_{m+2}-3a_{m+1}+3a_m-a_{m=1}=0。

特征方程 x^3-3x^2+3x-1=0，解得根为 1（ 重数为 3 ）。

设 a_n=(An^2+Bn+C)\cdot 1^n，联立 a_0,a_1,a_2 得 a_n=n^2+n+1。

因此 \displaystyle\frac{a_n-1}{a_n-2}=\frac{a_1-1}{a_2-2}(\frac{3}{2})^{n-1}\implies a_n=\frac{2^{n-2}-2\cdot 3^{n-1}}{2^{n-2}-3^{n-1}}

例 2：\displaystyle a_1=5,a_{n+1}=\frac{3a_n-4}{a_n-1}

三角代换

通项杯——求数列通项公式

来自 here & here，我们从第 3 题开始。

3. \displaystyle \boxed{a_1=\frac{1}{2},a_{n+1}=2a_n^2+2a_n}

令 b_n=2a_n+1 代入得 \displaystyle\frac{b_{n+1}-1}{2}=\frac{b_n^2-2b_n+1}{2}+b_n-1 即 \displaystyle b_{n+1}=b_n^2=b_1^{2^{n-1}}=2^{2^{n-1}}，从而 a_n=\frac{1}{2}(2^{2^{n-1}}-1)

4. \displaystyle \boxed{a_1=\frac{1}{3},a_{n+1}=2a_n^2-1}

显然当 a_n\in[-1,1] 时 a_{n+1}\in[-1,1]，故令 a_n=\cos x_n,x_n\in[0,\pi]。可得 x_n=2x_{n-1}=2^{n-1}\arccos\frac{1}{3},a_n=\cos(2^{n-1}\arccos\frac{1}{3})

5. \displaystyle \boxed{a_1=1,a_{n+1}=\frac{1}{a_n+1}}

6. \displaystyle \boxed{a_1=3,a_{n+1}=\sqrt{a_n+2}}

有 \displaystyle\frac{a_{n+1}}{2}=\sqrt{\frac{\frac{a_n}{2}+1}{2}}，因 \displaystyle\cosh x=\sqrt{\frac{\cosh 2x+1}{2}}，所以设 a_{n}=\cosh \theta_n,\theta_{n+1}=\frac{\theta_n}{2}，得 \displaystyle\theta_n=\frac{1}{2^{n-1}}\theta_1=\frac{\cosh^{-1}\frac{3}{2}}{2^{n-1}}，故 \displaystyle a_n=2\cosh\left(\frac{\cosh^{-1}\frac{3}{2}}{2^{n-1}}\right)

7. \displaystyle \boxed{a_1=1,a_{n+1}=a_n+\sqrt{a_n^2+a_n+1}}

令 a_n 为 b_n 的求和，则 b_{n+1}=\sqrt{a_n^2+a_n+1},b_0=1,b_1=\sqrt{3}，由几何意义 - 余弦定理

8. \displaystyle \boxed{a_1=2,2a_{n+1}=a_n+\frac{1}{a_n}}

9. \displaystyle \boxed{a_1=1,a_{n+1}=a_n^3+3a_n}

微积分的应用

秒杀神秘放缩的终极方法。但是需要一些高等知识（ 甚至是解常微分方程 ）。

注意实际 a_{2024}=63.6516,\sqrt{2024}=63.616，当 x\to +\infty 时二者才相等。

已知 a_1=1,a_{n+1}=a_n-\frac{1}{3}a_n^2，则 100a_{100} 的范围是：(2,\frac{5}{2}),(\frac{5}{2},3), (3,\frac{7}{2}) ？

后面有个神奇的放缩，没时间写了先咕着

积分法：f(x)=a_n,f'(x)=\frac{df(x)}{dx}=-\frac{1}{3}f^2(x)\implies \displaystyle\int f^{-2}(x)df(x)=\int-\frac{1}{3}dx\\-f^{-1}(x)=-\frac{1}{3}x+C,f(x)=\frac{3}{x+C}\implies\frac{3}{x+2}，显然 (\frac{5}{2},3)。

已知 \displaystyle a_1=1,a_{n+1}=\frac{a_n}{1+\sqrt{a_n}}，求 S_{100} 的整数部分。

数学归纳法

这部分内容为人教版选学内容，但是学习数归十分有必要。同学们使用时需注意数归是个容错度低的方法，只要有错大题分全扣，全对才给分。

一般地，证明一个与正整数 n 有关的命题，可按下列步骤进行：

1. （ 归纳奠基 ）证明当 n=n_0 时命题成立。
2. （ 归纳递推 ）以“当 n=k(k\in\N^+,k\geq n_0) 时命题成立”为条件推出 “当 n=k+1 时命题也成立”。

完成以上 2 个步骤就可以证明命题对从 n_0 开始的所有正整数 n 都成立。

例 1：证明 \displaystyle\sum_{i=1}^n i^2=\frac{1}{6}n(n+1)(2n+1)(n\in\N^+)

（1）当 n=1 时，1^2=1=\frac{1}{6}\cdot 1\cdot 2\cdot 3，命题成立。

（2）假设当 n=k 时，命题成立，那么当 n=k+1 时有：

即当 n=k+1 时，命题也成立。

由 （1）（2） 可知，命题对任意 n\in\N^+ 都成立。

练：证明 \displaystyle\sum_{i=1}^n i\times (i+1)^2=\frac{1}{12}n(n+1)(3n^2+11n+10)。

例 2：（ 2012 湖北卷 ）

① 当 n=1 时推广成立。

② 假设 n=k 时成立，且 \displaystyle\sum_{i=1}^k b_i=1，则 \prod_{i=1}^k a_i^{b_i}\leq \sum_{i=1}^k a_ib_i。

当 n=k+1 时，\displaystyle\sum_{i=1}^{k+1} b_i=1，于是 a_1^{b_1}a_2^{b_2}\dots a_k^{b_k}a_{k+1}^{b_{k+1}}=(a_1^{\frac{b_1}{1-b_{k+1}}}a_2^{\frac{b_2}{1-b_{k+1}}}\dots a_k^{\frac{b_k}{1-b_{k+1}}})a_{k+1}^{b_{k+1}}

因 \displaystyle\sum_{i=1}^n \frac{b_i}{1-b_{k+1}}=1，由归纳假设得 (a_1^{\frac{b_1}{1-b_{k+1}}}a_2^{\frac{b_2}{1-b_{k+1}}}\dots a_k^{\frac{b_k}{1-b_{k+1}}})\leq\frac{a_1b_1+a_2b_2+\dots a_kb_k}{1-b_{k+1}}

又因 (1-b_{k+1})+b_{k+1}=1，得 (\frac{a_1b_1+a_2b_2+\dots a_kb_k}{1-b_{k+1}})^{1-b_{k+1}}a_{k+1}^{b_{k+1}}\leq\frac{a_1b_1+a_2b_2+\dots+a_kb_k}{1-b_{k+1}}\cdot(1-b_{k+1})+a_{k+1}b_{k+1}

从而当 n=k+1 时，推广成立。

结合 ①②，对于一切正整数 n，推广命题成立。

放缩

分式型

已知正项数列满足 4a_{n+1}^2a_n-5a_n^2a_{n+1}+4a_n-5a_{n+1}=0,a_1=2。

另外一种放缩：\displaystyle c_n=\frac{1}{b_n-\frac{4}{b_n}}=\frac{1}{2}\frac{1}{(\frac{5}{4})^n-(\frac{4}{5})^n}=\frac{1}{2}(\frac{4}{5})^n\frac{1}{1-(\frac{16}{25})^n}\leq\frac{1}{2}(\frac{4}{5})^n\frac{1}{1-\frac{16}{25}}=\frac{25}{18}\cdot\left(\frac{4}{5}\right)^n

关键要想到当等比 |q|<1 时 S_n 会收敛的特性。 \displaystyle\sum_{n=1}^{\infty}c_n<\frac{25}{18}\frac{\frac{4}{5}}{1-\frac{4}{5}}=\frac{50}{9}

例 2：\displaystyle a_1=1,a_{n+1}=a_n+4\left(\sqrt{a_n}+\frac{1}{\sqrt{a_n}}\right)，记 \displaystyle\set{\frac{1}{a_n}} 的前缀和为 S_n，则 S_{2022} 的范围 ？

这里用到了一个结论（ Basel 问题，here ）：\red{\boxed{\sum_{n=1}^{+\infty}\frac{1}{n^2}=\frac{\pi^2}{6}\approx 1.645}}

相关证明：设黎曼 Zeta 函数 \zeta(s)=\displaystyle\sum_{n=1}^{+\infty}\frac{1}{n^s}\ (s>1)，显然 \displaystyle\lim_{s\to 1^+}\zeta(s)=+\infty,\lim_{s\to+\infty}\zeta(s)=1

由泰勒展开得 \displaystyle\sin x=x-\frac{x^3}{6}+\frac{x^5}{120}+\dots=\sum_{k=0}^{+\infty}\frac{(-1)^k}{(2k+1)!}x^{2k+1}

因此 \displaystyle\frac{\sin x}{x}=1-\frac{x^2}{3!}+\frac{x^4}{5!}+\dots=\sum_{n=0}^{+\infty}\frac{(-1)^nx^{2n}}{(2n+1)!}①（ \displaystyle\frac{\sin x}{x} 的无穷级数展开 ）

熟知 \displaystyle\frac{\sin x}{x} 的无穷乘积展开 \displaystyle\frac{\sin x}{x}=\prod_{n=1}^{+\infty}\left(1-\frac{x^2}{n^2\pi^2}\right)=\left(1-\frac{x^2}{\pi^2}\right)\left(1-\frac{x^2}{4\pi^2}\right)\cdots②

Basel 问题即 \displaystyle\zeta(2)=\sum_{n=1}^{+\infty}\frac{1}{n^2}，比较 ①② 式中二次项系数得 \displaystyle -\frac{1}{3!}=-\frac{1}{\pi^2}-\frac{1}{2^2\pi^2}-\dots

由此可得 \displaystyle\zeta(2)=\frac{\pi^2}{6}，进一步地我们有 \displaystyle\zeta(4)=\frac{\pi^4}{90},\zeta(6)=\frac{\pi^6}{945}

上述思路可总结出一个结论：若 \displaystyle\sum_{k=0}^{+\infty}a_kx^k=\prod_{k=1}^{+\infty}(1+b_kx)，设 S_n=\displaystyle\sum_{k=1}^{+\infty}b_k^n，则 S_1=a_1,S_n=\displaystyle\sum_{k=1}^{n-1}(-1)^{k+1}a_kS_{n-k}+(-1)^{n+1}na_n

三角型

设数列 \set{x_n} 满足：x_1=1,x_n>0 且 \displaystyle x_{n+1}=\frac{\sqrt{x_n^2+1}-1}{x_n}，设 \tan a_n=x_n，记 \set{x_n} 的前缀和为 S_n，求 a_n 通项并证明 S_n<2。

首先 x_n 单调递减，a_1=\frac{\pi}{4}。题目给的条件可以化简为 x_n(x_nx_{n+1}^2+2x_{n+1}-x_n)=0 于是 \displaystyle x_n=\frac{2x_{n+1}}{1-x_{n+1}^2}，代入 \tan a_n=x_n 得 \tan(a_n)=\tan(2a_{n+1}),a_n=2a_{n+1}=\frac{\pi}{2^{n+1}}

可知 x_n=\tan(\frac{\pi}{2^{n+1}})，而 \tan x\leq\frac{4}{\pi}x(0<x\leq\frac{\pi}{4})①，由此

①证明：f(x)=\frac{4}{\pi}x-\tan x,f'(x)=\frac{4\cos^2x-\pi}{\pi\cos^2x}，令 g(x)=4\cos^2x-\pi，在 (0,\frac{\pi}{4})\downarrow

练习 2：证明 \displaystyle\sum_{k=2}^{n+1}\frac{1}{k}<\ln(n+1)<\sum_{k=1}^n\frac{1}{k}\ \ \ \ \text{} 和 \ \ \ \ \displaystyle\frac{4}{7}<\sum_{k=n+1}^{2n}\frac{1}{k}<\ln 2<\frac{25}{36}<\frac{\sqrt{2}}{2}

练习 3：证明 \displaystyle\begin{cases}\displaystyle\sum_{k=1}^n\frac{1}{k^p}<\frac{p}{p-1}&p>1\\\displaystyle\sum_{k=1}^n\frac{1}{k^p}\geq\displaystyle\sum_{k=1}^n\frac{1}{k}>\ln n&p\leq 1\end{cases}

我们还可以根据 f(x) 的凹凸性进一步放缩。

当 f(x)\downarrow 且下凸时，

当 f(x)\downarrow 且上凸时，

当 f(x)\uparrow 且下凸时，

当 f(x)\uparrow 且上凸时，

生成函数

序列 a （ 有穷无穷均可 ）的普通生成函数定义为形式幂级数：\displaystyle F(x)=\sum_na_nx^n。例如：

1. a=\lang1,2,3\rang$ 的普通生成函数是 $1+2x+3x^2
2. a=\lang1,1,1,\dots\rang$ 的普通生成函数是 $\displaystyle\sum_{n\geq 0}x^n
3. a=\lang1,2,4,8,16,\dots\rang$ 的生成函数是 $\displaystyle\sum_{n\geq 0}2^nx^n
4. a=\lang1,3,5,7,9\rang$ 的生成函数是 $\displaystyle\sum_{n\geq 0}(2n+1)x^n

换句话说，如果序列 a 有通项公式，那么它的普通生成函数的系数就是通项公式。

基本运算

两个序列 a,b 的生成函数 F(x),G(x)，则 F(x)\pm G(x) 是序列 \lang a_n\pm b_n\rang 的生成函数。

乘法运算即卷积，推出 F(x)G(x) 是序列 \left\lang\displaystyle\sum_{i=0}^na_ib_{n-i}\right\rang 的生成函数。

形式幂级数形式 \to 封闭形式

例如 a=\lang1,1,1,\dots\rang 的普通生成函数是 \displaystyle F(x)=\sum_{n\geq 0}x^n，可以发现 F(x)x+1=F(x)，于是解方程得到 \displaystyle F(x)=\frac{1}{1-x}，这就是 \displaystyle\sum_{n\geq 0}x^n 的封闭形式。

又例如等比数列 \lang1,p,p^2,\dots\rang 的生成函数 F(x)=\displaystyle\sum_{n\geq 0}p^nx^n，有 F(x)px+1=F(x) 得 F(x)=\displaystyle\frac{1}{1-px}。

3. 卡特兰数：一个 n\times n 的方阵从 (0,0) 走到 (n,n)，不经过对角线的方案数，记作 C_n。

有如下关系：C_n=\displaystyle\sum_{k=0}^nC_{n-k}C_k，构造 f(x)=\displaystyle\sum_{n=0}^{+\infty}C_nx^n，有

Stolz 定理（ 数列中的洛必达法则 ）

注意，Stolz 定理是考研难度的内容。

设数列 \set{b_n} 单调递增且 \displaystyle\lim_{n\to+\infty}b_n=+\infty，或者\set{b_n} 单调递减且 \displaystyle\lim_{n\to+\infty}b_n=0。如果 \displaystyle\lim_{n\to+\infty}\frac{a_n-a_{n-1}}{b_n-b_{n-1}} 存在或为 \pm\infty，则

1. \displaystyle\lim_{n\to+\infty}\sqrt[n]{n}=e^{\lim_{n\to\infty}\frac{\ln n}{n}}=e^{\lim_{n\to\infty}\frac{\ln\frac{n}{n-1}}{1}}=1
2. \displaystyle\lim_{n\to+\infty}\frac{\sum_{x=1}^n\sqrt{x}}{n\sqrt{n}}=\lim_{n\to+\infty}\frac{\sqrt n}{n^{\frac{3}{2}}-(n-1)^{\frac{3}{2}}}=\lim_{n\to+\infty}\frac{n^2+(n-1)\sqrt{n^2-n}}{3n^2-3n+1}=\frac{2}{3}

3. 证明：当 n\geq 2 时，\displaystyle\ln\left(\frac{n+1}{2}\right)<1+\frac{1}{2}+\dots+\frac{1}{n-1}。

只需证 \displaystyle\frac{1+\frac{1}{2}+\dots+\frac{1}{n-1}}{\ln(\frac{n+1}{2})}>1，因为 LHS 增长速度 >RHS，所以只需证

而因为当 n\to+\infty 时，\ln(\frac{n+1}{n}) 与 \frac{1}{n} 等价无穷小，所以

写的时候这样写：因为 \displaystyle\ln\left(1+\frac{1}{n}\right)<\frac{1}{n}，对左右两边求和即可。（ 倒推 ）

练习：证明 \displaystyle n>1,\frac{1}{2}+\frac{1}{3}+\dots+\frac{1}{n}<\ln n。（ \ln x\geq 1-\frac{1}{x} ）

导数

基本初等函数的导数公式

运算法则

• [f(x)\pm g(x)]'=f'(x)\pm g'(x)
• [f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)
• [\frac{f(x)}{g(x)}]'=\frac{g(x)f'(x)-f(x)g'(x)}{g^2(x)}(g(x)\neq 0)
• [cf(x)]'=cf'(x)
• [af(x)\pm bg(x)]'=af'(x)\pm bg'(x)
• [\frac{1}{g(x)}]'=-\frac{g'(x)}{g^2(x)}(g(x)\neq 0)

• 复合函数 y=f(g(x)) 的导数，与 y=f(u), u=g(x) 的关系：y_x^{'}=y_u^{'}\cdot u_x^{'}

  即 y 对 x 的导数等于 y 对 u 的导数乘 u 对 x 的导数。

  例 1：求 f(x)=(3x+5)^3 的导数 f'(x)，可以看作 y=u^3 与 u=3x+5 的复合函数。

  y_x^{'}=y_u^{'}\cdot u_x^{'}=(u^3)'\cdot (3x+5)'=3u^2 \times 3 = 9(3x+5)^2

  例 2：求 f(x)=e^{-0.05x+1} 的导数 f'(x)=(e^{u})'\cdot(-0.05x+1)'=-0.05e^{-0.05x+1}

  例 3：求 f(x)=\ln(2x-1) 的导数 f'(x)=(\ln{u})'\cdot(2x-1)'=\frac{1}{u}\times 2=\frac{2}{2x-1}

• f(x)$ 在 $x=x_0$ 处的切线斜率 $k=f'(x_0)$，切线方程 $y=f'(x_0)(x-x_0)+f(x_0)

重要结论

• 2$ 个重要极限：$\displaystyle\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x=e,\lim_{x\to 0}\frac{\sin x}{x}=1

• 常见的指数放缩：e^x\geq x+1(x=0 取等),e^x\geq ex(x=1 取等)

• 常见的对数放缩：1-\frac{1}{x}\leq \ln x\leq x-1(x=1 取等),\ln x\leq \frac{x}{e}(x=e 取等),x\geq \ln(x+1)(x=0 取等)

• 常见的三角放缩：\sin x<x<\tan x(x\in(0,\frac{\pi}{2}))

例题：已知 f(x)=\cos x+\ln(x+1)。

由 e^x\geq x+1 得到 \ln x<x-1，令 x=\frac{n}{n+1} 得到 \frac{1}{n+1}<\ln\frac{n+1}{n}，于是

重要不等式

三次函数

设 f(x)=ax^3+bx^2+cx+d，则 f'(x)=3ax^2+2bx+c。对于方程 f'(x)=0，我们记它的根的判别式 \Delta=4b^2-12ac。当 \Delta >0 时，记 x_1,x_2 为方程的根，即 f(x) 的极值点。

1. f(x)=0$ 有 $1$ 个根 $\xleftrightarrow{}\Delta\leq 0$ 或 $\begin{cases}\Delta>0 \\ f(x_1)f(x_2)>0\end{cases}
2. f(x)=0$ 有 $2$ 个根 $\xleftrightarrow{}\begin{cases}\Delta>0 \\ f(x_1)f(x_2)=0\end{cases}
3. f(x)=0$ 有 $3$ 个根 $\xleftrightarrow{}\begin{cases}\Delta>0 \\ f(x_1)f(x_2)<0\end{cases}

练习题：

【2014 北京文 T20】f(x)=2x^3-3x.

对称中心

• 已知 f(x)=ax^3+bx^2+cx+d，则 f(x) 的对称中心为 (-\frac{b}{3a},f(-\frac{b}{3a}))，此时 f''(x)=0。若 x_1,x_2 是 f(x) 的极值点或 x_1,x_2 关于 x=-\frac{b}{3a} 对称，则 \frac{f(x_1)+f(x_2)}{2}=f(\frac{x_1+x_2}{2})=f(-\frac{b}{3a})。

why 对称中心为 (-\frac{b}{3a},f(-\frac{b}{3a}))：对任意 x，存在 f(x)+f(-\frac{2b}{3a}-x)=2f(-\frac{b}{3a})。

【2012 大纲卷文 T21】设 f(x)=\frac{1}{3}x^3+x^2+ax 有两个极值点 (x_1,x_2)，若过两点 (x_1,f(x_1)),(x_2,f(x_2)) 的直线 l 与 x 轴的交点在曲线 y=f(x) 上，求 a 的值。

复合函数方程有解问题

这部分高一上学期应该有所涉及，方法是画出图像然后分析。先来两道入门题。

1. 已知 f(x)=|x^2-4x|，求方程 f^2(x)-3f(x)+2=0 的实数根的个数。
2. 已知 f(x)=|x^2-4x|，求方程 f^2(x)-3af(x)+2a^2=0 的实数根的个数。

答案：

这两题都可因式分解，换个难点的：

3. 已知 f(x)=\begin{cases} x^2 & x\leq 0 \\ 4\sin x & 0< x\leq \pi \end{cases}，方程 f(f(x))=0 有多少个解 ？

要让 f(t)=0，那么解得 t=0/\pi，只要统计满足 f(x)=t 的 x 个数即可。答案是 5。

太简单了。上导数。

显然 \displaystyle f(0)=0,\lim_{x\to-\infty}f(x)=-\infty,\lim_{x\to+\infty}f(x)=0，于是可以做出 t=|f(x)| 图像。

原题变为 g(t)=t^2-mt-2m-3=0(t\geq 0)，接下来分类讨论：

① 只有一个根 t_0，\begin{cases}\Delta=m^2+8m+12=0\\0<t_0=\frac{m}{2}<1\end{cases}，此时无解。

② 两个根 t_1,t_2，\Delta>0\implies m<-6/m>-2，继续分类讨论。这时候要根据图像推范围。

为什么是这 5 类：来自 f'(0)=0,f'(1)=0,f''(0)=0,f''(1)=0，分别求得 e-1,0,\frac{1}{2},\frac{e}{2}。

其中前 2 个是由 f'(x) 有零点的临界条件得来，后 2 个由 f'(x) 的单调性得来，即 f''(x)>0。

练习：【2014 SC 理 T21】已知 f(x)=e^x-ax^2-(e-a-1)x-1 在 (0,1) 上有零点，求 a 范围。

有 f(0)=f(1)=0,f'(x)=e^x-2ax-(e-a-1),f''(x)=e^x-2a,f'''(x)=e^x>0，同样得出分段点 e-2,1,\frac{1}{2},\frac{e}{2}，答案 (e-2,1)。

• 因此我们得出结论：若 f(x) 在 闭区间 [a,b] 上有 m 个不同的零点，则 f'(x) 至少 m-1 个零点，f''(x) 至少 m-2 个零点，\dots。也就是说，每求一次导其零点的个数至多减少 1 个。注意此结论不可逆推。 如果题目给开区间：判断端点是否是零点！ 如第 3 题，f(1)=0,f(0)\neq 0，所以 f(x) 在 [0,1] 至少 2 个零点，f'(x) 至少 1 个零点。

B

以下给出一个约定：不管 f(x) 在区间的端点 a 处是否有意义，也不管 a 是否为 \pm\infty，都记 f(a) 为 x\to a 时的值。

• 广义零点存在定理：如果 f(x) 在 (a,b) 上连续，且在区间端点不一定有意义，若 f(a)f(b)<0，则 f(x) 在 (a,b) 上有零点。

因此，x=e^{-1} 满足题意。此外，中间插入的数不但可以是 1，也可以是 -\frac{1}{2} 等。

如果这是一道解答题，只需把分析倒过来写即可。也就是所谓的“放缩”。

练习题：已知 f(x)=\ln x-\frac{x+1}{x-1}，找出一个 x_0\in(0,1)，使得 f(x_0)>0。

我们将题目变为 \ln x>a>\frac{x+1}{x-1}\implies\begin{cases}\ln x>-1 \\ -1>\frac{x+1}{x-1}\end{cases}\implies \begin{cases}x>e^{-1}\\ 0<x<1\end{cases} 即可。

答案：[e^{-1},1) 之间任意数。

• 内点效应：函数 f(x),g(x) 定义在 (a,b) 上。

所以 g(x) 在 x=1 处取得最大值 g(1)=1。

要使 f(x) 有 2 个极值点，相当于使直线 y=a 与 \frac{1}{2}g(x) 有 2 个交点。

那么很明显 0<2a<1，答案是 (0,\frac{1}{2})。

练习题：函数 f(x)=\frac{1}{4}x^4+x^3-\frac{9}{2}x^2+cx 有 3 个极值点，证明：-27<c<5。

同构

先来一道简单题。

【2025 T8 联考 T17】设 f(x)=\frac{1}{2}x^2-\frac{5}{2}x+\ln x，证明：f(x)-\frac{1}{2}x^2+\frac{7}{2}x\leq xe^{x+1}-2。

也就是证明 x+\ln x\leq xe^{x+1}-2，变为

显然上述成立。

这道题利用的是 e^x\geq x+1 这个不等式的同构，你看出来了吗 ？

极值点偏移

左偏：图像左陡右缓，f(x_1)=f(x_2)\implies x_1+x_2>2x_0

右偏：图像左缓右陡，f(x_1)=f(x_2)\implies x_1+x_2<2x_0

4 种题型：x_1+x_2>2x_0,x_1+x_2<2x_0,x_1x_2<x_0^2,x_1x_2>x_0^2

3 种方法：

1. 差值 / 比值代换，令 t=x_2-x_1>0 或 t=\frac{x_2}{x_1}>1，把其他的量都以 t 表示。
2. 对均不等式：\red{\boxed{\sqrt{x_1x_2}<\frac{x_1-x_2}{\ln x_1-\ln x_2}<\frac{x_1+x_2}{2}}}\ \ \ \ \ \ \ \ \ \ x_1>x_2>0
3. 构造对称“差函数”：F(x)=f(x)-f(2x_0-x) 或 \displaystyle F(x)=f(x)-f\left(\frac{x_0^2}{x}\right)

• 对均不等式证明：

左边：令 \displaystyle t=\frac{x_1}{x_2},x_1=tx_2，原式化为 \displaystyle\sqrt{tx_1x_2}<\frac{tx_2-x_2}{\ln(tx_2)-\ln x_2}\implies \sqrt{t}<\frac{t-1}{\ln t}，只要证明 \displaystyle f(t)=\ln t-\frac{t-1}{\sqrt{t}}<0 即可。\displaystyle f'(t)=-\frac{(\sqrt{t}-1)^2}{2t\sqrt{t}}<0,f(t)<f(1)=0。

右边：令 \displaystyle t=\frac{x_1}{x_2},x_1=tx_2，原式化为 \displaystyle\frac{tx_2-x_2}{\ln(tx_2)-\ln x_2}<\frac{tx_2+x_2}{2}\implies \frac{t-1}{\ln t}<\frac{t+1}{2}，只要证明 \displaystyle g(t)=\ln t-\frac{2(t-1)}{t+1}>0 即可。\displaystyle g'(t)=\frac{(t-1)^2}{t(t+1)^2}>0,g(t)>g(1)=0。

例 1：f(x)=e^x-ax 有两个零点 x_1,x_2，证明 x_1+x_2>2。

1. 差值代换：x_1>x_2,t=x_1-x_2>0,x_1=x_2+t,\displaystyle\because\begin{cases}e^{x_1}=ax_1\\e^{x_2}=ax_2\end{cases}\\\therefore\begin{cases}a(x_1+x_2)=e^{x_1}+e^{x_2}\\a(x_1-x_2)=e^{x_1}-e^{x_2}\end{cases}\implies x_1+x_2=\frac{(x_1-x_2)(e^{x_1}+e^{x_2})}{e^{x_1}-e^{x_2}}=\frac{(x_1-x_2)(e^{x_1-x_2}+1)}{e^{x_1-x_2}-1}=\frac{t(e^t+1)}{e^t-1}

只要证 \displaystyle\frac{t(e^t+1)}{e^t-1}>2 即可，导两次可证，亦可用不等式 \displaystyle t>\frac{2(e^t-1)}{e^t+1} 得到。

2. 比值代换：x_1>x_2,t=\frac{x_1}{x_2}>1,x_1=tx_2,\displaystyle\because\frac{e^{x_1}}{x_1}=\frac{e^{x_2}}{x_2},\therefore x_1=\frac{t\ln t}{t-1},x_2=\frac{\ln t}{t-1}\\x_1+x_2=\frac{(t+1)\ln t}{t-1}，只要证 \displaystyle\frac{(t+1)\ln t}{t-1}>2 即可。

3. 对均不等式：由 \begin{cases}e^{x_1}=ax_1\\e^{x_2}=ax_2\end{cases} 得 \begin{cases}x_1=\ln a+\ln x_1\\x_2=\ln a+\ln x_2\end{cases} 得 x_1-x_2=\ln x_1-\ln x_2。

4. 构造差函数：\displaystyle f(x)=0\implies a=\frac{e^x}{x}=g(x),g(x_1)=g(x_2),g'(x)=\frac{(x-1)e^x}{x^2}

解：首先 \displaystyle a\in\left(0,\frac{1}{e}\right)，然后

令 \boxed{F(x)=e\ln^2x-2x} 为单调减函数，

练 2：证明 x_1x_2>e^2。更难的：证明 \displaystyle x_1+x_2>\frac{10}{3a}-\frac{4e}{3}>\frac{3}{a}-e>\frac{2}{a}。

例 3：【2021 I 卷 T22】已知函数 f(x)=x(1-\ln x)。

显然，题目转化为 g(x)=x\ln x-x-m 有两个零点 x_1,x_2，证明 2<x_1+x_2<e。

设 x_1>x_2，令 \displaystyle \boxed{h(x)=x\ln x-\frac{x^2}{2}},h'(x)=\ln x+1-x\leq 0\implies h(x_1)<h(x_2)。

由已知 x_1\ln x_1-x_2\ln x_2=x_1-x_2>1，故 x_1+x_2>2。

令 \displaystyle i(x)=x+f(x)=2x-x\ln x,i'(x)=1-\ln x 得 i(x)<i(e)=e 得 x_2+f(x_2)<e。

因 x_1\in(0,1)，所以 x_1<x_1(1-\ln x_1)=f(x_1)=f(x_2)，所以 x_1+x_2<f(x_2)+x_2<e。

类似方框中的增强函数：

练 3：已知 x\ln x=m 有两根 x_1,x_2，证明 \displaystyle x_1+x_2>\frac{2}{e}。

练 4：已知 x^2\ln x-\frac{x^2}{2}=m 有两根 x_1,x_2，证明 \displaystyle x_1+x_2<2。（ 增强函数 3 ）

练 5：已知 x^2\ln x=m 有两根 x_1,x_2，证明 \displaystyle x_1+x_2<\frac{2}{\sqrt{e}}。

例 4：【ZJ 9+1 联盟】x-\ln x=a 有两根 x_1,x_2，证明 x_1+x_2>a+1。

目标变成

选用增强函数 2，令 F(x)=x\ln x-x-(x-\ln x)=x\ln x+\ln x-2x 为单调增函数，由 F(x_1)>F(x_2) 即得答案。

为什么这样构造 ？“极值点偏移”及其衍生问题的本质，就是在一个增强函数中拆分出两个或多个极值点相同的单峰子函数，对其中一个子函数赋予一个等式条件，要求证明另一个子函数的相关不等关系。这个母函数应满足如下要求：

1. 在定义域内单调

2. 导数有零点，且与子函数的极值点一致（ 这样能够保证增强函数在导数零点附近的增减趋势极其平缓，使不等式的精度达到最大 ）

我们随便出一题：

1. 确定一个常用不等式：\displaystyle x^2\ln x\geq -\frac{1}{2e}\ \ \ \ (\ x=\frac{1}{\sqrt{e}} 取等 )
2. 适当变形构造函数：\displaystyle F'(x)=\frac{2ex^2\ln x+1}{x^2}\geq 0
3. 求原函数（ 增强函数 ）：\displaystyle F(x)=2ex\ln x-2ex-\frac{1}{x^2}
4. 在增强函数中剔除 f(x)=2ex\ln x-ex，极值点为 \displaystyle x=\frac{1}{\sqrt{e}}，\displaystyle F(x)=2ex\ln x-ex-(ex+\frac{1}{x})。那么 g(x)=ex+\frac{1}{x} 极值点也为 \displaystyle x=\frac{1}{\sqrt{e}}！
5. 给 f(x) 赋予等式：2x_1\ln x_1-x_1=2x_2\ln x_2-x_2，由 x_1>x_2,F(x_1)>F(x_2) 得 g(x_1)<g(x_2)，变成 \displaystyle x_1x_2<\frac{1}{e}。
6. 简单包装变为：设 \displaystyle f(x)=2\ln x-\frac{m}{x}-1 有两个零点 x_1,x_2，证明：\displaystyle x_1x_2<\frac{1}{e}。

对于本题，设 F(x)=x\ln x-x-k(x-\ln x),F'(x)=\ln x-k(1-\frac{1}{x}),F''(x)=\frac{1}{x}-\frac{k}{x^2}，由 F'(1)=0 得 F''(1)=0 得 k=1。

例 5：f(x)=x\ln x-ax-a，若存在 0<x_1<x_2 使得 f(x_1)=f(x_2)，证明：x_1+x_2+\sqrt{x_1x_2}<3e^{a-1}。

只用证 x_1+x_2+\sqrt{x_1x_2}<\frac{3}{e} 即可，设 x_2=t^2x_1(t>1)，得到 \ln x_1=\frac{2t^2\ln t}{1-t^2}，要证 x_1(1+t+t^2)<\frac{3}{e}，即证 (t^2-1)\ln\frac{t^2+t+1}{3}<2t^2\ln t-t^2+1，二阶导证明即可，得到海伦幂平均不等式。

一些常用结论：

• 海伦幂平均不等式：\forall a,b\in\R^+,a\neq b,

两边取对数得到

取 b=1 得到

导数与高等数学

洛必达法则

• 洛必达法则：当 x\to a 时，f(x) 和 g(x) 同时趋近于 0 或 \infty，则：

例如：

如果不是 \frac{0}{0} 型或 \frac{\infty}{\infty} 型，则需要先变形为 \frac{0}{0} 型或 \frac{\infty}{\infty} 型才能洛。例如：

注意不能在解答题中使用洛必达法则。

例题：f(x)=x(e^x-1)-ax^2，当 x\geq 0 时，f(x)\geq 0，求实数 a 的取值范围。

题意即证明 x(e^x-1)\geq ax^2。当 x=0 时显然正确。

当 x>0 时，转化为 \displaystyle a\leq\frac{e^x-1}{x}，令 \displaystyle g(x)=\frac{e^x-1}{x}，则 \displaystyle g'(x)=\frac{e^x(x-1)+1}{x^2}，令 h(x)=e^x(x-1)+1,h'(x)=xe^x>0，所以 g(x) 在 (0,+\infty) 上 \uparrow。

所以 \displaystyle a\leq\lim_{x\to 0}\frac{e^x-1}{x}\xlongequal{洛必达法则}\lim_{x\to 0}\frac{e^x}{1}=1，即 a\leq 1。

综上所述，a\in(-\infty,1]。

泰勒展开 Taylor Expansion

参考

我们已经知道以下这几个不等式：

显然，它们都是对 x=0 或 x=1 处函数的切线拟合，拟合了函数在切点处的导数值。

但是，这么做的精确度往往不足以应对各种难题。那么，我们可不可以多导几次呢 ？让拟合函数在某点处的任意阶导数与原函数的同阶导数相等，精度也许会更高。

而这正是泰勒展开的思想：构造一个多项式（ 因为多项式好求导 ），调一调系数，让它在某点处的任意阶导数与原函数的同阶导数相等。

不加解释的给出泰勒展开的式子：

其中 p(x) 表示一个 n 次多项式的拟合函数，n\to+\infty。注意 0!=1!=1。

上式满足：

当 x=x_0 时，p(x) 又称 f(x) 的麦克劳林级数，以下统称泰勒级数。而求解函数在某点的泰勒级数就叫泰勒展开。

高中常见的泰勒级数

以下令 x_0=0。

首先最基础的必背的一定不能忘记的是 f(x)=e^x，其任意阶导数 f^{(n)}(x)=e^x。

然后是三角函数 \sin 和 \cos：

下面考虑对数函数 f(x)=\ln(x+1) 的泰勒级数，我们先考虑下面的展开：（ 证明：生成函数 ）

因此我们有

两边同时积分并待定常数，取 x=0 得

对于 \tan x，其泰勒展开十分复杂，直接给出：

这里 B_k 是第 k 个伯努利数的偶数项的绝对值。

泰勒展开的应用 - 泰勒放缩

直接去掉后面的高次项即可。常见的几个式子：

例题：【2022 甲卷】已知 \displaystyle a=\frac{31}{32},b=\cos\frac{1}{4},c=4\sin\frac{1}{4}，比较 a,b,c 的大小。

由 \cos x\geq 1-\frac{x^2}{2} 得 b>1-\frac{(\frac{1}{4})^2}{2}=\frac{31}{32}=a

由 \sin x\geq x-\frac{x^3}{6}\ \ \ (x\geq 0) 得 c>\frac{95}{96}>a

构造函数：取 x=\frac{1}{4}，则 b=\cos x,c=\frac{\sin x}{x}，设 x=\frac{1}{4} 时 \cos x<\frac{\sin x}{x}，构造 f(x)=\sin x-x\cos x\ \ (x>0)

拉格朗日乘数法

对于一个函数 f(x,y) 在附加条件 \varphi(x,y)=0 下的极值，可以构造三元函数

求解下面这个方程组，代回原方程就是他的极值点

例题 1. 已知 x+y=1，求 x^2+y^2 的最值。

常规方法：x^2+y^2=x^2+(1-x)^2=2x^2-2x+1\geq\frac{1}{2}

拉格朗日乘数法：构造 \varphi(x,y)=x+y-1\ \ \ \ \ f(x,y)=x^2+y^2

解方程

得到

最小值即 \displaystyle f(\frac{1}{2},\frac{1}{2})=\frac{1}{2}。

例题 2. 已知 a,b,c 均为正实数，a^2+b^2+4c^2=1，则 ab+2ac+3\sqrt{2}bc 的最大值为 ？

解得

代回得到

练习 1. 将 12 分为三个正整数 x,y,z 之和，使得 x^3y^2z 最大。（ 答案：x=6,y=4,z=2 时取最大值 6912 ）

练习 2. 已知过定点 (8,1) 的直线 l 分别交 x 轴正半轴于点 A，y 轴负半轴于点 B，求 |AB| 的最小值。

提示：设 A(a,0),B(0,b) 代入得到 \frac{8}{a}+\frac{1}{b}=1,|AB|^2=a^2+b^2\ \ \ \ \ \text{} 答案：a=10,b=5,|AB|_{\min}=5\sqrt{5}

练习 3. 已知 x^2+y^2+xy=1，求 x+y+xy 的最小值。

注意此处取等条件并非 x=y，答案是 -\frac{5}{4}，取等条件为 \begin{cases} x+y=-\frac{1}{2} \\ xy=-\frac{3}{4} \end{cases}

积分

为了保证高中生能看懂，这里的定积分知识极其有限，大学会学得更深。

注意：如果你是 MOer，可忽略这部分内容，竞赛不考微积分。

几何意义

如果在 [a,b](a\neq b) 上函数 f(x) 连续且恒有 f(x)\geq 0，那么定积分 \displaystyle\int_{a}^{b}f(x)dx 表示由曲线 y=f(x) 以及直线 x=a,x=b,y=0 围成的曲边梯形的面积。

若 f(x)\leq 0，那么定积分 \displaystyle\int_{a}^{b}f(x)dx 表示由曲线 y=f(x) 以及直线 x=a,x=b,y=0 围成的曲边梯形的面积的负值。

如果我们把 x 轴上方的面积赋予正号，下方的面积赋予负号，那么在一般情形下，定积分 \displaystyle\int_{a}^{b}f(x)dx 表示由曲线 y=f(x) 以及直线 x=a,x=b,y=0 围成的各部分图形面积的代数和。

微积分基本定理 / 牛顿 - 莱布尼兹公式

以下设 C 是一个常数。

如果 f(x) 是 [a,b] 上的连续函数且 F'(x)=f(x)，那么

我们称 F(x) 是 f(x) 的原函数。因为 [F(x)+C]'=f(x)，所以 F(x)+C 也是 f(x) 的原函数。

常用定积分公式：

定积分的基本性质

1. \int_a^b Cf(x)\ dx=C\int_a^b f(x)\ dx
2. \int_a^b[f(x)\pm g(x)]\ dx=\int_a^b f(x)\ dx\pm\int_a^b g(x)\ dx
3. \int_a^b f(x)\ dx=\int_a^c f(x)\ dx+\int_c^b f(x)\ dx

4. 在区间 [a,b] 上满足 f(x)\geq 0，则 \int_a^b f(x)\ dx\geq 0

5. 在区间 [a,b] 上满足 f(x)\leq g(x)，则 \int_a^b f(x)\ dx\leq\int_a^b g(x)\ dx

6. \left|\int_a^bf(x)\ dx\right |\leq\int_a^b|f(x)|\ dx

7. 若 f(x) 是偶函数，且在 [-a,a] 上连续，则 \int_{-a}^af(x)\ dx=2\int_0^af(x)\ dx

8. 若 f(x) 是奇函数，且在 [-a,a] 上连续，则 \int_{-a}^af(x)\ dx=0

不定积分

我们现在需要一种简单的表示反导数的方式。根据微积分基本定理，我们可以用 \displaystyle\int f(x)\ dx 表示 “ 函数 f 的反导数的集合 ”，注意任何可积函数都有无数个反导数，唯一不同的是常数部分。例如，

对于任意常数 C 都成立。也就是说，若 F'(x)=f(x)，则

不定积分的性质同定积分的性质。

换元法

• 第一换元积分法：令 y=g(x) 有：

1. \int 2\sin 2x\ dx\xlongequal{u=2x}\int\sin u\ du=-\cos u+C=-\cos 2x+C\ \ \ \ (du=2dx)
2. \int (2x+1)^5\ dx\xlongequal{u=2x+1}\int u^5\ du=\frac{1}{12}u^6+C=\frac{1}{12}(2x+1)^6+C\ \ \ \ (du=2dx)
3. \begin{aligned}\int\frac{2x}{(x^2+1)^3}\ dx&=\int(x^2+1)^{-3}\cdot 2x\ dx\xlongequal{u=x^2+1}\int u^{-3}\ du\\&=-\frac{1}{2}u^{-2}+C=-\frac{1}{2(x^2+1)}+C\ \ \ \ (du=2xdx)\end{aligned}
4. \begin{aligned}\int x\sqrt{1-x^2}\ dx&=-\frac{1}{2}\int\sqrt{1-x^2}(-2x\ dx)\xlongequal{u=1-x^2}-\frac{1}{2}\int u^{\frac{1}{2}}\ du\\&=-\frac{1}{3}u^{\frac{3}{2}}+C=-\frac{1}{3}(1-x^2)^{\frac{3}{2}}+C\ \ \ \ (du=-2dx)\end{aligned}
5. \int\frac{1}{x^2+a^2}\ dx=\frac{1}{a^2}\int\frac{1}{\frac{x^2}{a^2}+1}\ dx=\frac{1}{a}\int\frac{1}{1+(\frac{x}{a})^2}\ d(\frac{x}{a})=\frac{1}{a}\arctan\frac{x}{a}+C
6. \int_0^1e^{2x}\ dx=\int_0^2\frac{1}{2}e^y\ dy=\frac{1}{2}(e^2-e^0)=\frac{1}{2}(e^2-1)

• 第二换元积分法：令 x=g(t),dx=g'(t)dt 有：

1. \begin{aligned}\int\frac{1}{1+\sqrt x}\ dx&\xlongequal{x=t^2}\int\frac{1}{1+t}\cdot 2t\ dt=2\int(1-\frac{1}{1+t})\ dt=2t-2\ln|1+t|+C\\&=2\sqrt{x}-2\ln|1+\sqrt{x}|+C\end{aligned}
2. \begin{aligned}\int\sqrt{a^2-x^2}\ dx&\xlongequal{x=a\sin t}\int a\cos t\cdot a\cos t\ dt=a^2\int \cos^2 t\ dt\\&=a^2\int\frac{1+\cos 2t}{2}dt=a^2(\frac{1}{2}t+\frac{1}{4}\sin 2t)+C\\&=a^2(\frac{1}{2}\arcsin\frac{x}{a}+\frac{1}{4}\frac{2}{a^2}x\sqrt{a^2-x^2})+C\\&=\frac{a^2}{2}\arcsin\frac{x}{a}+\frac{x}{2}\sqrt{a^2-x^2}+C\end{aligned}

分部积分法

1. 计算 \displaystyle\int x\cos x\ dx，设 u=x,dv=\cos x\ dx，则 du=dx,v=\sin x

   \int x\cos x\ dx=x\sin x-\int sin x\ dx=x\sin x+\cos x+C

2. 计算 \displaystyle\int\arctan x\ dx，设 u=\arctan x,dv=dx，则 \displaystyle du=\frac{1}{1+x^2}\ dx,v=x

   \begin{aligned}\int \arctan x&=x\arctan x-\int\frac{1}{1+x^2}\ dx=x\arctan x-\frac{1}{2}\int\frac{1}{1+x^2}d(1+x^2)\\&=x\arctan x-\frac{1}{2}\ln(1+x^2)+C\end{aligned}

3. 计算 \displaystyle\int x\ln x\ dx，设 u=\ln x,dv=x\ dx，则 \displaystyle du=\frac{1}{x}\ dx,v=\frac{1}{2}x^2

   \int x\ln x\ dx=\frac{1}{2}x^2\ln x-\int\frac{1}{x}\cdot\frac{1}{2}x^2\ dx=\frac{1}{2}x^2\ln x-\frac{1}{4}x^2+C

Gamma 函数（ 第二类欧拉积分 ）

欧拉发现当 n 为整数时，\displaystyle\int_0^{+\infty}t^ne^{-t}\ dt=n!，于是我们把 n 替换成实数，就可变为

3. 余元公式（ 欧拉反射原理 ）：s\in(0,1) 时，\Gamma(s)\Gamma(1-s)=\frac{\pi}{\sin\pi s}，得 \Gamma(\frac{1}{2})=\sqrt\pi

应用

1. 计算 y=e^x 在 x=0 与 x=1 之间与 x 轴围成的曲边梯形的面积。

只需计算 \displaystyle\int_0^1e^x\ dx=e^1-e^0=e-1

2. 计算 x=y^2 与 x=1 之间围成的图形的面积。

只需计算 \displaystyle\int_0^1(\sqrt{x}-(-\sqrt{x}))\ dx=\int_0^1(2\sqrt{x})\ dx=\frac{4}{3}\sqrt{x^3}|_0^1=\frac{4}{3}-0=\frac{4}{3}

3. 【2025 GD 一模 T19】如果函数 F(x) 的导数为 F'(x)=f(x)，可记为 \displaystyle\int f(x)\ dx=F(x)，若 f(x)\geq 0，则 \displaystyle\int_a^bf(x)\ dx=F(b)-F(a) 表示曲线 y=f(x)，直线 x=a,x=b 以及 x 轴围成的“曲边梯形”的面积。如：\displaystyle\int 2x\ dx=x^2+C，其中 C 为常数；\displaystyle\int_0^2 2x\ dx=(2^2+C)-(0+C)=4，则表示 x=0,x=1,y=2x+C 以及 x 轴围成的面积为 4。 $(2)$ 求曲线 $y=x^2$ 与直线 $y=-x+6$ 所围成图形的面积。 $(3)$ 若 $f(x)=e^x-1-2mx,x\in[0,+\infty)$，其中 $m\in\R,\forall a,b\in[0,+\infty)$，若 $a>b$，都满足 $\displaystyle\int_0^a f(x)\ dx>\int_0^b f(x)\ dx$，求 $m$ 取值范围。

解：(1)\ f(x)=e^x+x+1

随机数表题：范围 [0,39]，有以下随机数表，从第 1 行第 3 列开始，选出的数依次为 36,33,26,16,11,14,10。

总体平均数：\bar{x}=\frac{1}{n}\displaystyle\sum_{i=1}^{n}x_i\ \ \text{} 中位数：\begin{cases}x_{\lceil\frac{n}{2}\rceil} & x\ \mathrm{mod}\ 2\equiv 1 \\ \frac{x_{\frac{n}{2}}+x_{\frac{n}{2}+1}}{2} & x\ \mathrm{mod}\ 2\equiv 0\end{cases}\ \ \text{}

众数：出现次数最多的数据，不一定唯一，也不一定有众数。

极差：\max{\set{x_i}}-\min{\set{x_i}}\ \ \ \ \text{} 标准差：s=\sqrt{\frac{1}{n}\displaystyle\sum_{i=1}^{n}(x_i-\bar{x})^2}

若采用分层随机抽样，分 n 层，样本数 m_1,m_2,\dots,m_n，平均值 x_1,x_2,\dots,x_n，\\ 则样本平均数 \bar{x}=\displaystyle\sum_{i=1}^{n}\frac{m_i\cdot x_i}{\displaystyle\sum_{j=1}^{n}m_j}，注意样本平均数 \neq 总体平均数。

分层随机抽样需按比例分配：\frac{总体中第\ m\ 层个体数}{总体中第\ n\ 层个体数}=\frac{样本中第\ m\ 层个体数}{样本中第\ n\ 层个体数} 且 \frac{样本中第\ m\ 层个体数}{总体中第\ m\ 层个体数}=\frac{样本容量}{总体容量}

第 p 百分位数：数据中至少有 p\% 的数据 \leq 这个值，至少有 (100-p)\% 的数 \geq 这个值。

第 25 百分位数：第一四分位数 / 下四分位数；第 75 百分位数：第三四分位数 / 上四分位数；第 50 百分位数：中位数。

已知数据求第 p 百分位数：1. 从小到大排序，令 i=n\times p\% 2. \begin{cases}\text{ans}=\frac{a_i+a_{i+1}}{2} & \lfloor i \rfloor = i \\ \text{ans}=a_{\lceil i \rceil} & \lfloor i \rfloor \neq i \end{cases}

格式要求：\begin{cases}[a,b) 的频率 <x\% \\ [a,c)的频率>x\%\end{cases}\implies 第 x 百分位数在 [b,c) 内。

若数据 x_1,x_2,\dots,x_n 的平均数 \bar x，方差 s^2，标准差 s，则数据 mx_1+a,mx_2+a,\dots,mx_n+a 的平均数 m\bar{x}+a，方差 s^2m^2，标准差 sm。

线性回归问题的一般步骤：（ 最小二乘法 ）

1. 列表 + 画散点图

   x	x_1	x_2	\dots	x_n
   y	y_1	y_2	\dots	y_n

2. 通过公式求 \hat b,\hat a。

3. 根据直线方程一定过 \bar x,\bar y 得出 \hat y=\hat bx+\hat a。

如果散点均匀分布在回归直线的两侧，那么回归效果就好

如果 \hat b > 0 则两变量正相关，反之则负相关，也可利用样本相关系数 r 来判断。

2. 必然事件 \Omega 概率为 P(\Omega)=1，不可能事件 \varnothing 概率为 P(\varnothing)=0。
3. 若 A,B 互斥，则 P(A\bigcup B)=P(A)+P(B)； \\ 推广：若 A_1,A_2,\dots,A_m 两两互斥，则 P(A_1\bigcup A_2\bigcup\dots\bigcup A_m)=\displaystyle\sum_{i=1}^{m}P(A_i)
4. 若 A,B 对立，则 P(B)=1-P(A),P(A)=1-P(B)；若 P(A)+P(B)=1，则 A,B 不一定对立。
5. 若 A\subseteq B，则 P(A)\leq P(B)（ 概率的单调性 ）。
6. 设 A,B 为随机试验中的两个事件，则 P(A\bigcup B)=P(A)+P(B)-P(A\bigcap B) （ 容斥原理 ）。
7. 对任意 2 个事件 A,B，若 P(AB)=P(A)P(B)，则 A 与 B 相互独立，记 A,B 的对立事件分别为 \bar{A},\bar{B} \\ 因事件 A,B 的发生互不影响，则 A 与 \bar{B}，\bar{A} 与 B，\bar{A} 与 \bar{B} 也相互独立。
8. 若 A,B,C 两两独立，则 P(ABC)\neq P(A)P(B)P(C)。
9. \bar{A}\cap\bar{B}=\overline{A\cup B},\bar{A}\cup\bar{B}=\overline{A\cap B}

条件概率

一般地，设 A,B 为两个随机事件，且 P(A)>0，那么

表示在事件 A 发生的条件下，事件 B 发生的概率。

反过来，对任意两个事件 A,B，若 P(A)>0，则有概率的乘法公式：

条件概率具有的性质：

2. 如果 B,C 互斥，则 P(B\bigcup C|A)=P(B|A)+P(C|A)。
4. 已知 P(A)>0,P(B)>0,P(B|A)=P(B)，则 P(A|B)=P(A)。
5. 当 P(AB)>0 时，P(ABC)=P(A)P(B|A)P(C|AB)。推广开来， P(A_1A_2\dots A_n)=P(A_1)P(A_2|A_1)P(A_3|A_1A_2)\dots P(A_n|A_1A_2\dots A_{n-1})

全概率公式

设 A_1,A_2,\dots,A_n 是两两互斥的事件且 A_1\bigcup A_2\bigcup \dots\bigcup A_n=\Omega 且 P(A_i)>0,i=1,2,\dots,n，则对任意事件 B\sube\Omega 有：

教材例题：有 3 台车床加工同一型号的零件，第 1 台加工的次品率为 6\%，其余两台均为 5\%，加工出来的零件混放在一起。已知第 1,2,3 台车床加工的零件数分别占总数的 25\%,30\%,45\%。

第二角元形式：\frac{\sin\angle AOF}{\sin\angle FOB}\frac{\sin\angle BOD}{\sin\angle DOC}\frac{\sin\angle COE}{\sin\angle EOA}=1

Ceva 塞瓦定理

第一角元形式：\frac{\sin\angle ACF}{\sin\angle FCB}\frac{\sin\angle BAD}{\sin\angle DAC}\frac{\sin\angle CBE}{\sin\angle EBA}=1

第二角元形式：\frac{\sin\angle AOF}{\sin\angle FOB}\frac{\sin\angle BOD}{\sin\angle DOC}\frac{\sin\angle COE}{\sin\angle EOA}=1

Stewart 定理

中线长公式：m_a^2=\frac{1}{2}AB^2+\frac{1}{2}AC^2-\frac{1}{4}BC^2

角平分线长公式：t_a=AB\cdot AC-BD\cdot DC=\frac{2}{AB+AC}\sqrt{AB\cdot AC\cdot p\cdot(p-BC)},p=\frac{AB+BC+CA}{2}

调和点列

定义：若 \displaystyle\frac{AC}{CB}=\frac{AD}{DB}，则称 (A,B,C,D) 为调和点列，C,D 调和分割线段 A,B。

性质：以下设 M 为 AB 中点。

2. AB\cdot CD=2AD\cdot BC=2AC\cdot DB
3. CA\cdot CB=CM\cdot CD$，$DA\cdot DB=DM\cdot DC
4. MA^2=MB^2=MC\cdot MD

内切圆和调和点列

由梅涅劳斯定理得 \frac{AF}{FB}\frac{BG}{GC}\frac{CE}{EA}=1，又因为 AF=AE,BF=BD,CE=CD，

得 \frac{BD}{CD}=\frac{BG}{CG}\implies(B,D,C,G) 为调和点列。

极线和调和点列

基本概念

1. 约束条件：变量 x,y,\dots 满足的一组条件，上述二元一次不等式组就是对 x,y 的约束条件。
2. 线性约束条件：由变量 x,y,\dots 的一次不等式 / 方程组成的不等式组就称为线性约束条件，如上述二元一次不等式。
3. 目标函数：欲求最大值或最小值所涉及的变量 x,y,\dots 的解析式，如上述 z。
4. 线性目标函数：目标函数关于变量 x,y,\dots 的一次解析式，如上述 z。
5. 线性规划问题：在线性约束条件下求线性目标函数的问题。
6. 可行解：满足线性约束条件的解 (x,y)。
7. 可行域：由所有可行解组成的集合。
8. 最优解：使目标函数取得 \max 或 \min 的可行解。

解法

1. 画图，数形结合。

   \begin{cases}5x-11y \geq -22 & \implies y \leq \frac{5}{11}x + \frac{1}{2} & \implies & y = \frac{5}{11}x + \frac{1}{2}\ 图像的下边 \\ 2x+3y \geq 9 & \implies y \geq -\frac{2}{3}x + 3 & \implies & y = -\frac{2}{3}x + 3\ 图像的上边 \\ 2x \leq 11 & \implies x \leq \frac{11}{2} & \implies & x=\frac{11}{2}\ 图像的左边 \end{cases}

   在平面直角坐标系上画出对应的平面区域 （ 可行域 ），再把目标函数 z=ax+by 变形为 y=-\frac{a}{b}x + \frac{z}{b}，\\ 所以求 z 的最值可看成是求直线 y=-\frac{a}{b}x + \frac{z}{b} 在 y 轴上截距的最值。以这题为例，\\ z=10x+10y \implies y= -x + \frac{z}{10} 容易证明，当 z=85 时 y 轴上截距取最值，所以 \max{z}=85.

2. 仔细观察，可以发现最优解非常容易出现在可行域构成的多面体的顶点处。

例题 2

• 求 (2x+y)_{\mathrm{min}}：x_{\min}=a \implies y_{\min}=a \implies (2x+y)_{\mathrm{min}}=3a

• 求 (2x+y)_{\mathrm{max}}：\begin{cases}x-y\leq 0 \\ x+y\leq 2\end{cases}\xRightarrow{\mathrm{Add\ }} x\leq 1\implies y\leq 1\implies (2x+y)_{\mathrm{max}}=3

• 3=4\times 3a\implies a=\frac{1}{4}

例题 3（ 2024 九省联考 T14 ）

• 注意到 c 的约束条件是最少的，首先考虑消去它，得到

练 1：求满足 (n+11)|(n^2+9n-2) 的正整数 n。

练 2：整数 a,b,c,d 满足 ad-bc>1，证明 a,b,c,d 中至少有一个数不被 ad-bc 整除。

因数

整除

若 b 能整除 a，则记为 a\mid b，如 2\mid 12。若 b 不能整除 a，则记为 a\nmid b，如 5\nmid 12。

若 a\nmid b，则 b\div a 存在余数 r 且 0<r<a，记 r=a\ \mathrm{mod}\ b。例如，3\ \mathrm{mod}\ 2=1。

整除具有以下性质：

1. 若 a\mid b 且 a\mid c，则 \forall x,y，有 a\mid xb+yc。
2. 若 a\mid b 且 b\mid c，则 a\mid c。
3. 若 a\mid b 且 b\mid a，则 a=\pm b。
4. 设 m\neq 0，则 a\mid b，当且仅当 ma\mid mb。

最大公因数与最小公倍数

设 a,b 是两个不为 0 的整数，能使 d\mid a 和 d\mid b 成立的最大整数 d，称为 a,b 的最大公因数，记作 \gcd(a,b)。

设 a,b 是两个不为 0 的整数，能使 a\mid d 和 b\mid d 成立的最小整数 d，称为 a,b 的最小公倍数，记作 \mathrm{lcm}(a,b)。

• \forall a,b\in\N,\ \gcd(a,b)\cdot\mathrm{lcm}(a,b)=ab

证明：设 d=\gcd(a,b),a_0=\frac{a}{d},b_0=\frac{b}{d}。根据最大公因数的定义，有 \gcd(a_0,b_0)=1。\\\ \ \ \ \ \ \ \ \ \text{} 再根据最小公倍数的定义，有 \mathrm{lcm}(a,b)=a_0\cdot b_0。\\\ \ \ \ \ \ \ \ \ \text{} 于是 \mathrm{lcm}(a,b)=\mathrm{lcm}(a_0\cdot d,b_0\cdot d)=\mathrm{lcm}(a_0,b_0)\cdot d=a_0\cdot b_0\cdot d=\frac{a\cdot b}{d}，原命题得证。

• 九章算术 更相减损术： \gcd(a,b)=\gcd(b,a-b)=\gcd(a,a-b),\gcd(2a,2b)=2\gcd(a,b)。

证明：d\mid a,d\mid b\implies d\mid(a-b)。

• 欧几里得算法：\forall a,b\in\N,b\neq 0,\gcd(a,b)=\gcd(b,a\ \mathrm{mod}\ b)。

证明：分类讨论。

1. 若 a<b，则有 \gcd(b,a\ \mathrm{mod}\ b)=\gcd(b,a)=\gcd(a,b)。
2. 若 a\geq b，不妨设 a=q\cdot b+r\ (0\leq r<b)。显然 r=a\ \mathrm{mod}\ b。对于 a,b 的任意公因数 d，\\ 因为 d\mid a,d\mid q\cdot b，故 d\mid (a-q\cdot b)，即 d\mid r。因此 d 也是 b,r 的公因数，反之亦成立。\\ 故 a,b 的公因数集合与 b,a\ \mathrm{mod}\ b 的公因数集合相同。于是它们的最大公因数也相等。

裴蜀定理

设 a,b\in\Z,ab\neq 0，则 \exist x,y\in\Z 使 ax+by=\gcd(a,b)=a(x+bu)+b(y-au)

由上易推出两个整数 a,b 互素的充分必要条件是 \exist x,y\in\Z 使得 ax+by=1。

比如要证明 21n+4 与 14n+3 互素，知道 3(14n+3)-2(21n+4)=1 即可。

例 1：证明 n!+1 与 (n+1)!+1 互素。

有 (n+1)(n!+1)-[(n+1)!+1]=n，于是 [d=\gcd(n!+1,(n+1)!+1)]|n，又因为 d|n!，结合 d|(n!+1) 得到 d=1，原命题得证。

例 2：记费马数 F_k=2^{2^k}+1,k\geq 0，证明若 m\neq n 则 \gcd(F_m,F_n)=1。

设 m>n，只要利用 F_n|(F_m-2) 证明 \exist x\in\Z 使得 F_m+xF_n=2【基本技巧例 2】

设 [d=\gcd(F_m,F_n)]|2。F_n 显然为奇数故 d=1。因此费马数两两互素。

例 3：设 a>1,m,n>0，证明 \boxed{\gcd(a^m-1,a^n-1)=a^{\gcd(m,n)}-1}

令 D=\gcd(a^m-1,a^n-1)，只要证明 [a^{\gcd(m,n)}-1]|D 及 D|[a^{\gcd(m,n)}-1] 即可。

显然 [a^{\gcd(m,n)}-1]|(a^m-1) 和 [a^{\gcd(m,n)}-1]|(a^n-1)，可以证明 [a^{\gcd(m,n)}-1]|D

设 d=\gcd(m,n)，可选 u,v>0，使 mu-nv=d。因此 D|(a^m-1),D|(a^{mu}-1)，扩展开来 D|(a^{mu}-a^{nv})=a^{nv}(a^d-1)，故 D|(a^d-1)。综合上述原命题得证。

例 4：设 m,n>0,mn|(m^2+n^2)，证明 m=n。

设 \gcd(m,n)=d,m=m_1d,n=n_1d,\gcd(m_1,n_1)=1①。已知化为 m_1n_1|(m_1^2+n_1^2)，从而 m_1|n_1^2,n_1|m_1^2。结合①可得 m_1=n_1=1,m=n。

例 5：设 k 为正奇数，证明 \displaystyle\sum_{i=1}^ni 整除 \displaystyle\sum_{i=1}^ni^k。

等价于证明 n|2\displaystyle\sum_{i=1}^ni^k 和 (n+1)|2\displaystyle\sum_{i=1}^ni^k，显然

是 n 和 n+1 的倍数。

由上可知，为了证明 b|a，只需将 b 分解成若干个两两互素的整数 b_1,b_2,\dots,b_n 之积，证明 b_i|a 即可。

质数

• 定义：一个正整数无法被除了 1 和它自身之外的任何自然数整除，则成为质数，否则为合数。

• 数量：对于一个足够大的整数 N，不超过 N 的质数有 \pi(x)\approx\frac{N}{\ln N} 个，所以第 n 个质数约为 n\ln n。

• 判定：试除法，若 N 为合数，则存在一个能整除 N 的数 T 且 2 \leq T \leq \sqrt{N}。

• 算数基本定理：N = p_1^{c_1}p_2^{c_2}\dots p_n^{c_n}，N 的正约数个数 =\red{\boxed{\displaystyle\prod_{i=1}^{n}(c_i+1)}}，N 的所有正约数的和 =\displaystyle\prod_{i=1}^{n}(\displaystyle\sum_{j=0}^{c_i}(p_i)^j)=\red{\boxed{\prod_{i=1}^n\frac{p_i^{c_i+1}-1}{p_i-1}}}。

  一个正整数 N 的约数个数上界为 2\sqrt{N}，1 ~ N 每个数的约数个数的总和大约为 N\log N。

• 设 b|ac，若 \gcd(b,c)=1，则 b|a。

• 设 a,b\in\N^* 且 a,b 之积是一个整数的 k(k\geq 2) 次幂，若 \gcd(a,b)=1，则 a,b 都是整数的 k 次幂。一般地，设正整数 a,b,\dots,c 之积是一个整数的 k 次幂，且 a,b,\dots,c 两两互质，则 a,b,\dots,c 都是整数的 k 次幂。

• 对任意正整数 m 及质数 p，记 p^c\Vert m 表示 p^c|m 但 p^{c+1}\nmid m，即 p^c 是 m 的标准分解中出现的 p 的幂。

• 设 n>1,p 为质数，p^{c_p}\Vert n!，则 c_p=\displaystyle\sum_{l=1}^{+\infty}\lfloor\frac{n}{p^l}\rfloor

例 1：证明无穷数列 10001,100010001,\dots 中无质数。

记 a_n=1+10^4+\dots+10^{4(n-1)}=\frac{10^{4n}-1}{10^4-1}，接下来分 n 为奇偶讨论即可。

例 2：证明 \forall n\in\N^*,n>1,n^4+4^n 不是质数。

练 1：设 a,b,c,d\in\N^*,ab=cd，证明 a+b+c+d 不是质数。

例 3：证明：若 a,b\in\Z,2a^2+a=3b^2+b，则 a-b 和 2a+2b+1 都为完全平方数。

已知化为 (a-b)(2a+2b+1)=b^2，设 d=\gcd(a-b,2a+2b+1)，若 d>1，则 d 有质因子 p，p|b^2\implies p|b，p|(a-b)\implies p|a\implies p|1，这不可能，因此 d=1。因为 b^2 是完全平方数，由此可得 |a-b|,|2a+2b+1| 也是完全平方。

只要证 a-b 和 2a+2b+1 不能同时 <0 即可。设 a-b<0，则 b-a=r^2。显然 r|b,r|a，令 b=b_1r,a=a_1r，代入题目 a_1^2+6a_1r+3r^2+1=0，得 a_1=-3r\pm\sqrt{6r^2-1}，显然 6r^2-1 应为完全平方数，而 6r^2-1\ \mathrm{mod}\ 3\equiv 2，矛盾，原命题得证。

不定方程

例 1：证明两个连续正整数之积不能是完全平方或完全立方。

反证法，即设 x(x+1)=y^2 有解，则 (2x+1)^2=4y^2+1，分解为

显然不可能。类似的，对于完全立方，由于 x 和 x+1 互质，可得它们都是立方数。设 x=u^3,x+1=v^3,y=uv,v^3-u^3=1=(v-u)(v^2+uv+u^2)，显然不可能。

类似的，可证明连续两个正整数之积不能是整数的 k(k\geq 2) 次幂。

练 1：设 k\in\N^*,k\geq 2，证明：连续三个正整数之积不能是整数的 k 次幂。

提示：x(x^2-1)=y^k\implies a^kb^k=(ab)^k,1=a^{2k}-b^k=(a^2)^k-b^k，导出矛盾。

例 2：证明方程 y^2+y=x+x^2+x^3 没有 x\neq 0 的整数解。

转化为 (y-x)(y+x+1)=x^3，可以证明 \gcd(y-x,y+x+1)=1，设 y-x=a^3,y+x+1=b^3,x=ab，可得 b^3-a^3=(b-a)(b^2+ab+a^2)=2ab+1③，证明该方程无解即可。ab>0 时，b-a\geq 1，③的左边 \geq 3ab> 右边；ab<0 时，③的左边的绝对值 \geq 2(a^2+b^2-|ab|)>2|ab|> ③的右边的绝对值。因此原命题成立。

练 2：求方程 (x^2-y^2)^2=1+16y 的所有整数解。

提示：y\geq 0,|x|\geq 或 \leq y+1，均可得出 (x^2-y^2)^2\geq(2y-1)^2，得 (2y-1)^2\leq 1+16y，答案 (x,y)=(\pm 1,0),(\pm 4,3)(\pm4,5)。

例 3：设 x,y,z\in\N^*,2x^x=y^y+z^z，证明 x=y=z。

反之，设 y\geq x+1，则 y^y+z^z>(x+1)^{x+1}>2x^x，矛盾。而 y^y+z^z\leq x^x+x^x=2x^x，所以 x=y=z。

欧拉函数

证明：设 p,q 为 N 的不同质因子，1 ~ N 中 p 的倍数有 N\over p 个，q 的倍数有 N \over q 个。若把 \frac{N}{p}+\frac{N}{q} 个数去掉，则 \frac{N}{pq} 被计算了 2 次（ 容斥原理 ）。因此， 1 ~ N 中不与 N 含有相同质因子的 p 或 q 数量为 \\ N-\frac{N}{p}-\frac{N}{q}+\frac{N}{pq}=N(1-\frac{1}{p})(1-\frac{1}{q})，对 N 的全部质因子继续容斥即可得到公式。

欧拉函数的性质：

2. 若 a,b 互质，则 \varphi(ab)=\varphi(a)\varphi(b)。
3. 设 p 为质数，\varphi(p)=p-1。
4. 设 p 为质数，k\in\N^*,\varphi(p^k)=p^{k-1}\times(p-1)=p^k-p^{k-1}。
5. 设 p 为质数，若 p\mid n 且 p^2\mid n，则 \varphi(n)=\varphi(\frac{n}{p})\times p。
6. 设 p 为质数，若 p\mid n 但 p^2\nmid n，则 \varphi(n)=\varphi(\frac{n}{p})\times (p-1)。
7. 若 n 为奇数，则 \varphi(2n)=\varphi(n)。
9. 欧拉反演：\displaystyle\sum_{d\mid n}\varphi(d)=n。

证明：

1. 因为 \gcd(n,x)=\gcd(n,n-x)，所以与 n 不互质的数 x,n-x 成对出现，平均值为 \frac{n}{2}。\\ 因此与 n 互质的数的平均值也是 \frac{n}{2}，进而得到性质 1。
2. 根据欧拉函数的计算式可直接获得性质 2。
3. 根据欧拉函数的定义可直接获得性质 3。
4. 从 1 ~ p^{k} 中的所有数，除了 p^{k-1} 个 p 的倍数外都与 p^k 互素。
5. 若 p\mid n 且 p^2\mid n，则 n,\frac{n}{p} 包含相同的质因子，只是 p 的指数不同。\\ 按照欧拉函数的计算公式，\frac{\varphi(n)}{\varphi(\frac{n}{p})}=\frac{n}{\frac{n}{p}}=p，得到性质 5。
6. 若 p\mid n 且 p^2\mid n，则 n,\frac{n}{p} 互质。因为 \varphi(n)=\varphi(\frac{n}{p})\varphi(p)，而 \varphi(p)=p-1，得到性质 6。
9. 设 f(n)=\displaystyle\sum_{d\mid n}\varphi(d)，利用 \varphi 是积性函数，得到：\\若 n,m 互质，则 f(nm)=\displaystyle\sum_{d\mid nm}\varphi(d)=\displaystyle\sum_{d\mid n}\varphi(d)\cdot\displaystyle\sum_{d\mid m}\varphi(d)=f(n)f(m)，即 f(n) 是积性函数。\\ 对于单个质因子有：\begin{aligned}f(p^m)&=\displaystyle\sum_{d\mid p^m}\varphi(d)=\displaystyle\sum_{i=0}^{m}\varphi(p^i)=\varphi(1)+\varphi(p)+\varphi(p^2)+\varphi(p^3)+\dots+\varphi(p^m)\\&= 1+(p-1)+(p-1)p+(p-1)p^2+\dots+(p-1)p^{m-1}\\&=1+(p-1)+(p^2-p)+(p^3-p^2)+\dots+(p^m-p^{m-1})=p^m\end{aligned} \\ 所以 f(n)=\displaystyle\prod_{i=1}^{m}f(p_i^{c_i})=\displaystyle\prod_{i=1}^{m}p_i^{c_i}=n

积性函数与完全积性函数

若函数 f(x) 满足 f(1)=1 且 \forall x,y\in\N^{*},\gcd(x,y)=1 都有 f(xy)=f(x)f(y)，则 f(x) 是积性函数。

若函数 f(x) 满足 f(1)=1 且 \forall x,y\in\N^{*} 都有 f(xy)=f(x)f(y)，则 f(x) 是完全积性函数。

性质：

1. 若 f(x) 和 g(x) 均为积性函数，则以下函数也为积性函数： \begin{aligned}h(x)&=f(x^p) \\ h(x)&=f^p(x) \\ h(x)&=f(x)g(x) \\ h(x)&=\displaystyle\sum_{d\mid x}f(d)g(\frac{x}{d})\end{aligned}

2. 设 x=\displaystyle\prod p_i^{c_i}，

   若 f(x) 为积性函数，则 f(x)=\displaystyle\prod f(p_i^{c_i})。

   若 f(x) 为完全积性函数，则 f(x)=\displaystyle\prod f^{c_i}(p_i)。

例子：

积性函数：\varphi(n),\sigma _k(n)=\displaystyle\sum_{d\mid n}d^k,\sigma _0(n) 通常简记为 d(n) 或 \tau(n)，\sigma _1(n) 通常简记为 \sigma(n)。

完全积性函数：\varepsilon(n)=[n=1],\text{id}_k(n)=n^k,\text{id}_1(n) 通常简记为 \text{id}(n),f(n)=1。

同余

• 完全平方数 \mathrm{mod}\ 4\equiv 0 或 1

费马小定理与欧拉定理

若整数 a 和整数 b 除以正整数 m 的余数相等，则称 a,b 模 m 同余，记为 a\equiv b\ (\mathrm{mod}\ m)。

并且注意到 k\ \mathrm{mod}\ i=k-\lfloor\frac{k}{i}\rfloor\cdot i，且同余满足同加性、同乘性、同幂性，但不满足同除性。

对于 \forall a \in [0, m - 1]，集合 \set{a+km\ (k\in\Z)} 的所有数模 m 同余，余数都是 a。该集合称为一个模 m 的同余类，简记为 \overline{a}。

模 m 的同余类一共有 m 个，分别为 \overline{0},\overline{1},\overline{2},\dots,\overline{m-1}。它们构成 m 的完全剩余系。

证明：设 b=q\cdot \varphi(n)+r，其中 0\leq r<\varphi(n)，即 r=b\ \mathrm{mod}\ \varphi(n)。于是有：

证毕。面对 a+b,a-b,a\cdot b 这样的算式，可以在计算前先把 a,b 对 p 取模。面对 a^b 这样的乘方算式，可以先把底数对 p 取模、指数对 \varphi(p) 取模，再计算乘方。

即 a^b\equiv (a\ \mathrm{mod}\ p)^{b\ \mathrm{mod}\ \varphi(p)}\ (\mathrm{mod}\ p)

• 扩展欧拉定理

  a^b\equiv\begin{cases}a^{b\ \mathrm{mod}\ \varphi(m)}&\text{if }\gcd(a,m)=1\\ a^b&\text{if }\gcd(a,m)\neq 1,b<\varphi(m)\\ a^{b\ \mathrm{mod}\ \varphi(m)+\varphi(m)}&\text{if }\gcd(a,m)\neq 1,b\geq\varphi(m)\end{cases}\ (\mathrm{mod}\ m)

  证明十分显然，略。

• 若正整数 a,n 互质，则满足 a^x\equiv 1\ (\mathrm{mod}\ n) 的最小正整数 x_0 是 \varphi(n) 的约数。

反证法，假设满足 a^x\equiv 1\ (\mathrm{mod}\ n) 的最小正整数 x_0 不能整除 \varphi(n)。

设 \varphi(n)=qx_0+r\ (0<r<x_0)，因为 a^{x_0}\equiv 1\ (\mathrm{mod}\ n)，所以 a^{qx_0}\equiv 1\ (\mathrm{mod}\ n)。根据欧拉定理 a^{\varphi(n)}\equiv 1\ (\mathrm{mod}\ n)，所以 a^r\equiv 1\ (\mathrm{mod}\ n)。这与 x_0 最小矛盾。故假设不成立，原命题成立。

中国剩余定理

设 m_1,m_2,\dots,m_n 是两两互质的整数，m=\displaystyle\prod_{i=1}^n m_i,M_i=\frac{m}{m_i},t_i 是线性同余方程 M_it_i\equiv 1\ (\mathrm{mod}\ m_i) 的一个解。对于任意的 n 个整数，方程组

有整数解，解为 x=\displaystyle\sum_{i=1}^{n}a_iM_it_i，通解可以表示为 x+km(k\in\Z)，最小非负整数解为 x\ \mathrm{mod}\ m。

证明：因为 M_i=\frac{m}{m_i} 是除了 m_i 之外所有模数的倍数，所以 \forall k\neq i,a_iM_it_i\equiv 0\ (\mathrm{mod}\ m_i)，\\ \ \ \ \ \ \ \ \ \ \ \text{}所以代入 x=\displaystyle\sum_{i=1}^{n}a_iM_it_i，原方程组成立。

威尔逊定理

• p$ 为素数 $\xLeftrightarrow{}(p-1)!\equiv -1\ (\mathrm{mod}\ p)

证明：

1. 充分性

   对于 p 不是素数的情况，有 \begin{cases} p=1 & (1-1)!\equiv 0\ (\mathrm{mod}\ 1) \\ p=4 & (4-1)!\equiv 2\ (\mathrm{mod}\ 4) \\ p>4 & 分类讨论得出\ (p-1)!\equiv 0\ (\mathrm{mod}\ p) \end{cases}

   (a) 当 p 为完全平方数。

   则 p=k^2 且 k>2，用相减法比较 2k 与 p 的大小得 2k<p，于是有

   \begin{aligned}(p-1)!&=1\times 2\times\dots\times k\times\dots\times 2k\times\dots\times (p-1)\\ &=2nk^2\\&=2np\end{aligned}

   所以 (p-1)!\equiv 0\ (\mathrm{mod}\ p) 且 p 为完全平方数。

   (b) 当 p 不为完全平方数。

   则 p 可以表示为两个不相等的数 a 和 b 的乘积，设 a<b，则有 p=ab,1<a<b<p

   \begin{aligned}(p-1)!&=1\times 2\times\dots\times a\times\dots\times b\times\dots\times (p-1)\\&=a\times b\times n\\ &=np\end{aligned}

   所以 (p-1)!\equiv 0\ (\mathrm{mod}\ p) 且 p 不为完全平方数。

2. 必要性

   当 p 为素数时，考虑二次剩余式 x^2\equiv 1\ (\mathrm{mod}\ p)，化简得 (x-1)(x+1)\equiv 0\ (\mathrm{mod}\ p)

   于是 x\equiv 1\ (\mathrm{mod}\ p) 或 x\equiv p-1\ (\mathrm{mod}\ p)。现在先抛开 1 和 p-1 不管，

   \forall a\in [2,p-2]$，必然存在一个和它不相等的逆元 $a^{-1}\in[2,p-2]$，满足 $aa^{-1}\equiv 1\ (\mathrm{mod}\ p)

   所以必然有 \frac{p-3}{2} 对数相乘的乘积为 1，即 (p-2)!\equiv 1\ (\mathrm{mod}\ p)

   等式两边同时乘 p-1 就得到威尔逊定理。

例题：n\in\N^* 且 n\leq 10^6，求 S_n。

令 d=3k+7，原式化简为

由威尔逊定理，当 d 为素数时，\frac{(d-1)!+1}{d} 必然是整数，而 \lfloor\frac{(d-1)!}{d}\rfloor 必然比 \frac{(d-1)!+1}{d} 小 1，于是有：

所以只需统计 [1,3\times 10^6+7] 中的素数即可得出答案。

拉格朗日定理

若 p 是质数，则对于模 p 意义下的 n 次整系数多项式 f(x)=a_nx^n+a_{n-1}x^{n-1}+\dots+a_0(p\nmid a_n) 同余方程 f(x)\equiv 0(\mathrm{mod}\ p) 至多有 n 个不同的解。

牛顿迭代

对于在 [a,b] 上连续且单调的函数 f(x)，牛顿迭代法可用于求解方程 f(x)=0 的近似解。

初始时先从给定的 f(x) 和近似解 x_0 开始，x_0 可以是随机数。然后我们可以得到 f(x_0)。

接着，画出与 f(x) 切于点 (x_0,f(x_0)) 的直线 l_0，将 l_0 与 x 轴的交点横坐标记为 x_1，x_1 就是更优的近似解。

重复这个迭代过程，可以得到：

优点：收敛率是平方级别的，这意味着每次迭代后近似解的精确数位会翻倍。

缺点：不能处理重复的根；解可能在拐点附近发散；解可能在局部极小值或最大值附近振荡；当斜率接近于零时，解可能发散或到达不同的根。

拉格朗日插值法

由 n 个点可以唯一确定一个多项式 y=f(x)（不含 \log, a^x）, 当已知这 n 个点的坐标要求 f(k) 有：

如果已知 f(1),f(2),\dots,f(n),f(n+1)，要求 f(x) 有：

组合计数

• 加法原理（ 分类 ），乘法原理（ 分步 ）。

• 排列：从 n 个不同元素中取 m 个排成一列，考虑顺序，产生不同排列的数量为 \\ A_n^m ( 也可记作 P_n^m ) =\frac{n!}{(n-m)!}=n\times(n-1)\times(n-2)\times\dots\times(n-m+1)

• 组合：从 n 个不同元素中取 m 个排成一列，不考虑顺序，产生不同组合的数量为 \\ \begin{pmatrix}n \\ m\end{pmatrix}=C_n^m=\frac{n!}{m!(n-m)!}=\frac{n\times(n-1)\times\dots\times(n-m+1)}{m\times(m-1)\times\dots\times 2\times 1}

  性质：

  1. C_n^m=C_n^{n-m}
  2. C_n^m=C_{n-1}^m+C_{n-1}^{m-1}
  3. \displaystyle\sum_{i=0}^{n}C_n^i=C_n^0+C_n^1+C_n^2+\dots+C_n^n=2^n

• 组合数的应用

1. 有 n 个完全相同的元素，要求将其分为 k 组，保证每组至少有一个元素，一共有多少种分法？\\ 考虑拿 k-1 块板子插入到 n 个元素两两形成的 n-1 个空里面。\\ 答案为 \begin{pmatrix}n-1 \\ k-1\end{pmatrix} \\ 本质是求 x_1+x_2+\dots+x_k=n 的正整数解的组数。\\

2. 若问题变换一下，每组允许为空？\\ 考虑创造条件转化成有限制的问题一，先借 k 个元素过来，在这 n+k 个元素形成的 n+k-1 个空里面插板。\\ 答案为 \begin{pmatrix}n+k-1 \\ k-1\end{pmatrix}=\begin{pmatrix}n+k-1 \\ n\end{pmatrix} \\ 本质是求 x_1+x_2+\dots+x_k=n 的非负整数解的组数。

3. 再扩展一步，要求对于第 i 组，至少要分到 a_i 个元素呢？（ \sum a_i\leq n ）\\ 本质是求 x_1+x_2+\dots+x_k=n 的解的数目。\\ 类比无限制的情况，我们借 \sum a_i 个元素过来，保证第 i 组能至少分到 a_i 个，也就是令 x_i'=x_i-a_i 且 x_i'\geq 0 \\ 得到新方程

   (x_1'+a_1)+(x_2'+a_2)+\dots+(x_k'+a_k)=n

   转化为

   \displaystyle\sum_{i=1}^{k}x_i'=n-\sum a_i

   答案为

   \begin{pmatrix}n-\sum a_i+k-1\\k-1 \end{pmatrix}=\begin{pmatrix}n-\sum a_i+k-1 \\ n-\sum a_i\end{pmatrix}

• 二项式定理：

证明可利用数学归纳法，利用 \begin{pmatrix}n \\ k\end{pmatrix}+\begin{pmatrix}n \\ k-1\end{pmatrix}=\begin{pmatrix}n+1 \\ k\end{pmatrix}

若将二项式定理扩展成多项式的形式，有：

其中 \begin{pmatrix}n \\ n_1,n_2,\dots,n_t\end{pmatrix} 是多项式系数，满足 \displaystyle\sum \begin{pmatrix}n \\ n_1,n_2,\dots,n_t\end{pmatrix}=t^n。

• 范德蒙德卷积

以下问题都与 \text{Catalan} 数有关：

1. n$ 个左括号和 $n$ 个右括号组成的合法括号序列的数量为 $Cat_n
2. 1,2,\dots,n$ 经过一个栈，形成的合法出栈序列的数量为 $Cat_n
3. n$ 个节点构成的不同二叉树的数量为 $Cat_n$，$n$ 个节点的 $m$ 叉树有 $\frac{\begin{pmatrix}nm \\ n-1\end{pmatrix}}{n}
4. 在平面直角坐标系上，每一步只能向上或向右走，从 (0,0) 走到 (n,n) 并且两个端点外不接触直线 y=x 的路线数量为 2Cat_{n-1}
5. 对于一个凸多边形的顶点数为 n，Cat_{n-2} 代表所有可能的三角剖分的数量。

• 容斥原理：设 S_1,S_2,\dots,S_n 为有限集合，|S| 表示集合 S 的大小，则：

• 第 1 类 \mathrm{Stirling} 数：1 ~ n 的排列有 m 个环：

• 第 2 类 \mathrm{Stirling} 数：n 个不同的球放入 m 个相同盒子且盒子非空：

• 错排数：1 ~ n 的排列，第 i 个位置上均不为 i：

常用三角函数值

• 当 \tan x=t\ (x \in \set{x|-\frac{\pi}{2}+2k\pi\leq x\leq\frac{\pi}{2}+2k\pi,k\in\Z}) 时，\sin x=\frac{t\sqrt{t^2+1}}{t^2+1},\cos x=\frac{\sqrt{t^2+1}}{t^2+1}

• 当 \tan x=t\ (x \in \set{x|\frac{\pi}{2}+2k\pi\leq x\leq\frac{3\pi}{2}+2k\pi,k\in\Z}) 时，\sin x=-\frac{t\sqrt{t^2+1}}{t^2+1},\cos x=-\frac{\sqrt{t^2+1}}{t^2+1}

常用数表

常用常数值

• \pi=\arccos(-1)=\sqrt{6\displaystyle\sum^{+\infty}_{i=1}\frac{1}{i^2}}\approx 3.1415926535 \ 8979323846 \ 2643383279 \ 5028841971 \ 6939937510
• e=\displaystyle\lim_{x\to +\infty}(1+\frac{1}{x})^x=\displaystyle\sum^{+\infty}_{i=0}\frac{1}{i!}\approx 2.7182818284 \ 5904523536 \ 0287471352 \ 6624977572 \ 4709369995

• 黄金数 \varphi=\frac{\sqrt{5}-1}{2}\approx 0.6180339887 \ 4989484820 \ 4586834365 \ 63811

• 真空光速 c\approx 299792458 \ \text{m}/\text{s}

• 重力加速度 g\approx 9.8\ \text{m}/\text{s}^2 （纬度越高 g 值越大）

• 阿伏伽德罗常数 N_A \approx 6.02214076 \times 10^{23}\text{mol}^{-1}

• 引力常量 G\approx 6.67\times 10^{-11}\text{m}^3 \text{kg}^{-1} \text{s}^{-2}

• 标准状况 STP（0\degree \text{C},101.325\text{kPa}）下 1\text{mol} 气体所占的体积约为 22.414\text{L}

• 25\degree \text{C},101.325\text{kPa}$下 $1\text{mol}$ 气体所占的体积约为 $24.466\text{L}

• 静电力常量 k\approx 8.987551\times 10^9 \text{N}\cdot\text{m}^2 \text{/C}^2

• 元电荷 e=1.60217646283\times 10^{-19}\text{C}

• 电子质量 m_e=9.11\times 10^{-31}\text{kg}

• 电子比荷 \frac{e}{m_e}=1.76\times 10^{-11}\text{C / kg}

• \sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\dots
• \cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\dots
• n\log n = \displaystyle\sum_{i=1}^{+\infty}\frac{n}{i}

精妙的解题方法

常见抽象函数及其模型

• f(x\pm y)=f(x)\pm f(y) \implies f(x)=kx\ (k\neq 0)
  \forall x_1,x_2 \in \R,\ x_1<x_2,\ f(x_1)-f(x_2)=f(x_1-x_2+x_2)-f(x_2)=f(x_1-x_2)
• f(xy)=f(x)+f(y)\ 或 \ f(\frac{x}{y})=f(x)-f(y) \implies f(x)=\log_a x\ (a>0\ 且 \ a\neq 1)
  f(1)=f(1)+f(1)=0\ 且\ f(-1)=f(-1)+(1)=0 f(1)=f(x)+f(\frac{1}{x})=0\ 且\ f(-1)=f(-x)+f(\frac{1}{x})=0 \therefore f(x)=f(-x)
• f(xy)=f(x)f(y)\ 或 \ f(\frac{x}{y})=\frac{f(x)}{f(y)} \implies f(x)=x^a
• f(x+y)=f(x)f(y)\ 或 \ f(x-y)=\frac{f(x)}{f(y)} \implies f(x)=a^x\ (a>0\ 且 \ a\neq 1)
• f(x\pm y)=\frac{f(x)\pm f(y)}{1\mp f(x)f(y)} \implies f(x)=\tan x\ (x\neq k\pi+\frac{\pi}{2},k\in\Z)

求值域

• 分离常数 \frac{ax+b}{cx+d}=\frac{a}{c}+\frac{ac-bd}{c^2(x+\frac{d}{c})}

  例：求 f(x)=\frac{x^2-x-1}{x^2+x+1} 值域，先求出定义域 \R。

  \frac{x^2-x-1}{x^2+x+1}=1-\frac{2x+2}{x^2+x+1},\text{ }$ 令 $g(x)=\frac{x^2+x+1}{2x+2}, f(x)=1-\frac{1}{g(x)} g(x)=\frac{x^2+x+1}{2x+2}=\frac{x}{2}+\frac{1}{2x+2}=\frac{x+1}{2}+\frac{1}{2(x+1)}-\frac{1}{2}

  对 x 分类讨论后使用基本不等式。

  x+1\ge 0, x\ge -1, g(x)\geq 2\sqrt{\frac{1}{4}}-\frac{1}{2}=\frac{1}{2} \\ x+1=0, x=-1, g(x) 无意义，f(x)=1 \\ x+1\le 0, x\le -1, g(x)\leq -\frac{3}{2} \end{cases}

  综上所述， g(x)\in (-\infty,-\frac{3}{2}]\bigcup[\frac{1}{2},\infty), \frac{1}{g(x)}\in[-\frac{2}{3},0)\bigcup(0,2]

• 三角换元（ 形如 y=\sqrt{ax+b}+\sqrt{cx-d} 求最值 ）

  例：求 y=\sqrt{x-4}+\sqrt{18-3x} 的值域，先求出定义域 [4,6]。

  令 x=4+\sin^2\theta 且其中 \theta\in[0,\frac{\pi}{2}]，除去根号可得值域 [\sqrt{2},2\sqrt{2}]。

• 数形结合（ 将军饮马，圆，斜率... ）

  例 1：求 f(x)=\sqrt{(x-1)^2+4}+\sqrt{(x-2)^2+9} 最小值？

  转化为求 (x,0)(1,2)(2,3) 之间的距离 答案 \sqrt{26}。

  例 2：f(x)=\frac{\sin x-1}{\sqrt{3-2\cos x-2\sin x}}\ (x\in[0,2\pi]) 的最小值 ？

  \because\ \sin^2x+\cos^2x=1\\ \therefore \begin{aligned}f(x)&=\frac{\sin x-1}{\sqrt{\sin^2x-2\sin x+1+\cos^2x-2\cos x+1}}=\frac{\sin x-1}{\sqrt{(\sin x-1)^2+(\cos x-1)^2}}\\&=-\frac{1-\sin x}{\sqrt{(1-\sin x)^2+(1-\cos x)^2}}=-\frac{1}{\sqrt{1+(\frac{1-\cos x}{1-\sin x})^2}}\end{aligned}

  当 \sin x\neq 1 时，令 g(x)=(\frac{1-\cos x}{1-\sin x})^2,f(x)=-\frac{1}{\sqrt{1+g(x)}}，\\ 显然，g(x) 的含义是点 (1,1) 与单位圆上的点 (\sin x,\cos x) 的连线的斜率的平方。

  注意到，g(x)\geq 0，所以 f(x)\in [-1,0]。

• 强制开根号：\sqrt{a\pm\sqrt{b}}=\sqrt{\frac{a+\sqrt{a^2-b}}{2}}\pm\sqrt{\frac{a-\sqrt{a^2-b}}{2}}。

• 手算根号：首先有一个恒等式

可以变形为

可以令 (\sqrt{x}-[\sqrt{x}])^{2n}=\epsilon，则 \sqrt{x}=\frac{A-\epsilon}{B}，A,B 为二项式展开后有理项正系数和无理项正系数。

注意到 \frac{\epsilon}{B} 很小，可忽略，因此我们就得到了 \sqrt{x} 的分数近似。

实际操作：以 \sqrt{5}\approx 2.236067977 举例，令 t=\sqrt{5}-2

• 二维空间中欧几里得距离：|AB|=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}

• 三维空间中欧几里得距离：|AB|=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2+(z_2-z_1)^2}

• 二维空间中曼哈顿距离：|AB|=|x_1-x_2|+|y_1-y_2|

• 二维空间中切比雪夫距离：d(A,B)=\mathrm{max}(|x_1-x_2|,|y_1-y_2|)

• 欧拉公式： e^{ix}=\cos x+i\sin x, 当 x=\pi 时满足 e^{i\pi}+1=0

  推导：e^{-ix}=\cos (-x)+i\sin (-x)=\cos x - i\sin x，两式相加移项得 \cos x=\frac{e^{ix}+e^{-ix}}{2}

• 二项式定理：(a+b)^n=\displaystyle\sum_{i=0}^{n}C^{i}_{n}a^{n-i}b^i，各二项式系数之和 =2^n，且奇数项 = 偶数项。

• \text{Fibonacci}$ 通项公式：$f(x)=\frac{\sqrt{5}}{5}[(\frac{1+\sqrt{5}}{2})^x-(\frac{1-\sqrt{5}}{2})^x]
• \frac{a}{b}=\frac{c}{d}\implies$ （ 合比定理 ）$\frac{a+b}{b}=\frac{c+d}{d}$（ 分比定理 ）$\frac{a-b}{b}=\frac{c-d}{d}\implies$（ 合分比定理 ）$\frac{a+b}{a-b}=\frac{c+d}{c-d}
• \sin10\degree\sin30\degree\sin50\degree\sin70\degree=\frac{1}{2}\cos20\degree\cos40\degree\cos80\degree=\frac{2\sin20\degree\cos20\degree\cos40\degree\cos80\degree}{4\sin20\degree}=\frac{2\sin40\degree\cos40\degree\cos80\degree}{8\sin20\degree}=\frac{\sin160\degree}{16\sin20\degree}=\frac{1}{16}

• 求 y=A\sin(\omega x+\varphi) 或 y=A\cos(\omega x+\varphi) 的单调区间：类似 \set{x|-\frac{\pi}{2}+2k\pi\leq x\leq\frac{\pi}{2}+2k\pi,k\in\Z} 求解可得。

• (ac+bd)^2\leq(a^2+b^2)(c^2+d^2),a,b,c,d\in\R

• 已知直线 AB,AC 的解析式，要求它们的角平分线 AT 的解析式有：

化简得：

• 已知 \Delta ABC 和点 M 满足 \overrightarrow{MB}+\frac{3}{2}\overrightarrow{MA}+\frac{3}{2}\overrightarrow{MC}=\mathbf{0}，D 为 AB 中点，则 \frac{|\overrightarrow{MD}|}{|\overrightarrow{BM}|}=\ ?

  可以将所有点放到一条直线上，让 A,C 两点重合，得出 MB=3MA，显然 \frac{MD}{BM}=\frac{1}{3}。

• 已知 \mathbf{a}\neq\mathbf{b},|\mathbf{b}|\neq 0,\forall t\in\R 有 |\mathbf{a}-t\mathbf{b}|\geq|\mathbf{a}-\mathbf{b}| 恒成立

  则 \sqrt{(\mathbf{a}-t\mathbf{b})^2}\geq\sqrt{(\mathbf{a}-\mathbf{b})^2}\implies\mathbf{b}^2 t^2-2\mathbf{a}\cdot\mathbf{b}t+2\mathbf{a}\cdot\mathbf{b}-\mathbf{b}^2\geq 0

  \Delta=4(\mathbf{a}\cdot\mathbf{b})^2-4\mathbf{b}^2(2\mathbf{a}\cdot\mathbf{b}-\mathbf{b}^2)\leq 0\implies\mathbf{b}\cdot(\mathbf{a}-\mathbf{b})=0,\mathbf{b}\perp(\mathbf{a}-\mathbf{b})

  也可使用几何法，转化为垂线段最短。

• 如果 k,u,v,w>0 并且 \frac{1}{u^2+k}+\frac{1}{v^2+k}+\frac{1}{w^2+k}=\frac{2}{k}，那么

  u\sin A+v\sin B+w\sin C\leq \frac{1}{k}\sqrt{(u^2+k)(v^2+k)(w^2+k)}

  当且仅当 \frac{u^2+k}{u}\sin A=\frac{v^2+k}{v}\sin B=\frac{w^2+k}{w}\sin C 或者 u\cos A=v\cos B=w\cos C

• 小球称重问题

  1. 有 N 个小球，已知有 1 个小球比其他小球偏重，使用天平，最少要多少次才能确保找到那个小球 ？（题干改成「偏轻」也可以）
  2. 有 N 个小球，已知有 1 个小球和其他小球质量不同，使用天平，最少要多少次才能确保找到那个质量不同的小球（并知道它比其他小球轻还是重）？
  3. 有 N 个小球，已知有 1 个小球和其他小球质量不同，使用天平，最少要多少次才能确保找到那个质量不同的小球（无需知道它的轻重）？

  答案分别为 \lceil\log_3 N\rceil,\lceil\log_3(2N+3)\rceil,\lceil\log_3(2N+1)\rceil

应试要求

• 方程两边同除一个数要写明这个数 \neq 0，求 f(x)\neq 0 的解集用 "且" 连接，如求 x^2-2x-3\neq 0 的解集 \implies x\neq 3 且 x\neq -1。

• 保留 n 位有效数字：从左到右读到第一个不为 0 的数位后向后继续读 (n-1) 位并四舍五入。

  如对 0.0168 保留 2 位有效数字：0.017

• 集合：考虑空集，条件注意是否有写 “不充分” “不必要” 等字眼

• 不等式：求 (ax+by)_{\min} 且已知 \frac{n}{x}+\frac{m}{y}=k,x>0,y>0，则 ax+by=\frac{(ax+by)(\frac{n}{x}+\frac{m}{y})}{k}，再用基本不等式化简。

  写明取等条件，例如 (x=\dots,y=\dots)。

• 函数：通过奇偶性求函数解析式需 检验；写出单调区间时用 , 不用 \bigcup。

  比如 "y=\sin x 在第二象限为减函数 " 是错误的，因为第二象限相当于很多个区间取并，即 (\ \ )\bigcup(\ \ )\bigcup...\bigcup(\ \ )，而表示单调性不能用 \bigcup。

  求出函数表达式需写定义域，并且必须化至最简。

• 二分法精确度：f(a)f(b)<0 且 b-a\le \epsilon

• 第 一/二/三/四 象限均不包括 坐标轴。

• 使用 A\sin\alpha+B\cos\alpha=\sqrt{A^2+B^2}\sin(\alpha+\arctan{\frac{B}{A}}) 需写详细过程，不可跳步。

  \frac{B}{A}<0 时，需检验 \varphi 位于第二象限还是第四象限。

• 作图题：列表描点，曲线自然，直尺。

• 应用题：求出函数表达式需写定义域，分类讨论取最大值或最小值时需写明 \because A>B \ \therefore 选A。

  如 f(\sqrt{x}+1)=x-2，求 f(x)=x^2-2x-1\ 且\ x\in [1,+\infty)

• 向量：|\mathbf{t}|=\sqrt{\mathbf{t}^2}；注意向量共线（ 正向 or 反向 ）的情况；回答时写明 大小+方向；几何法不行 \to 建系；注意与三角函数结合（ 三角换元，出现动点注意坐标用三角函数表示... ）；利用初中技巧（ 倍长中线 ）。

  若已知 \mathbf{a}=(1,2)，则任意平移 \mathbf{a} 得到 \mathbf{b}，因为模长不变，所以 \mathbf{b}=(1,2)。

• 解三角形：写明 "在...三角形中""由正 / 余弦定理得"；已知 \Delta ABC 先写 A\in(0,\pi)，再写 A=...\degree

  注意：已知 \sin x=\sin y，则有两种情况：x=y 或 x=\pi -y。

• 立体几何：在棱柱（ 包括长方体，正方体等 ）中证明时，只能使用直棱柱的侧棱互相平行且相等这一性质，其余均需证明。

  在空间中，不能用两组对边分别相等证明平行四边形。

• 概率：要写明 A,B,\dots 是互斥事件 / 对立事件等。枚举时要写明有序 / 无序，有序用 (A,B)，无序用 AB。记 \dots 为 x_1,x_2，则样本点为 (x_1,x_2)。

• 解析几何：讨论斜率存在/不存在，联立之后算 \Delta>0。不确定焦点是在 x 轴上还是在 y 轴上要分类讨论。

• 数列：注意 n=1 是否满足你推出来的式子。

暂时写到这里吧，最后更新时间 2025.2.23 13:12。（ 本文的第二次更新 ）

希望大家都能在 OI / 数学等科目上有所成就 ！