跳转至

多项式入门

基础方法

乘法公式

分配率:

(a+b)(c+d)=ac+ad+bc+bd(a+b)(ab)=a2b2\begin{aligned} (a+b)(c+d)&=ac+ad+bc+bd\\ (a+b)(a-b)&=a^2-b^2 \end{aligned}

和差方:

(a+b)2=a2+2ab+b2(ab)2=a22ab+b2(a+b)3=a3+3a2b+3ab2+b3(ab)3=a33a2b+3ab2b3(a+b+c)2=a2+b2+c2+2ab+2bc+2ac\begin{aligned} (a+b)^2&=a^2+2ab+b^2\\ (a-b)^2&=a^2-2ab+b^2\\ (a+b)^3&=a^3+3a^2b+3ab^2+b^3\\ (a-b)^3&=a^3-3a^2b+3ab^2-b^3\\ (a+b+c)^2&=a^2+b^2+c^2+2ab+2bc+2ac\\ \end{aligned}

二项式定理:

(x+y)n=k=0n(nk)xkynk(x+1)n=k=0n(nk)xk\begin{aligned} (x+y)^n&=\sum_{k=0}^n{n\choose k}x^ky^{n-k}\\ (x+1)^n&=\sum_{k=0}^n{n\choose k}x^k \end{aligned}

方和差:

a3+b3=(a+b)(a2ab+b2)a3b3=(ab)(a2+ab+b2)a2+b2=(a+b)22aba2+b2=(ab)2+2aba3+b3+c3=(a+b+c)(a2+b2+c2abbcac)\begin{aligned} a^3+b^3&=(a+b)(a^2-ab+b^2)\\ a^3-b^3&=(a-b)(a^2+ab+b^2)\\ a^2+b^2&=(a+b)^2-2ab\\ a^2+b^2&=(a-b)^2+2ab\\ a^3+b^3+c^3&=(a+b+c)(a^2+b^2+c^2-ab-bc-ac)\\ \end{aligned}

一般形式:

anbn=(ab)(an1+an2b++bn1)an+bn=(a+b)(an1an2b++bn1)n=2k+1,kZ\begin{aligned} a^n-b^n&=(a-b)(a^{n-1}+a^{n-2}b+\dots+b^{n-1})\\ a^n+b^n&=(a+b)(a^{n-1}-a^{n-2}b+\dots+b^{n-1})&n=2k+1,k\in\mathbb Z \end{aligned}

次方和公式:

i=1ni=n(n+1)2\sum_{i=1}^ni={n(n+1)\over2}
i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^ni^2={n(n+1)(2n+1)\over6}
i=1ni3=[n(n+1)2]2=n2(n+1)24\sum_{i=1}^ni^3=\left[{n(n+1)\over2}\right]^2={n^2(n+1)^2\over4}
i=1ni4=n(n+1)(2n+1)(3n3+3n1)30\sum_{i=1}^ni^4=\frac{n(n+1)(2n+1)(3n^3+3n-1)}{30}

对于五次方及以上,公式较为复杂,一般不考察。

婆罗摩笈多-斐波那契恒等式:

(a2+b2)(c2+d2)=(acbd)2+(ad+bc)2=(ac+bd)2+(adbc)2\begin{aligned} (a^2+b^2)(c^2+d^2)&=(ac-bd)^2+(ad+bc)^2\\ &=(ac+bd)^2+(ad-bc)^2 \end{aligned}

这个恒等式指出,如果有两个数都能表示为两个平方数的和,则这两个数的积也可以表示为两个平方数的和。

计算技巧

共轭根式:

(2±1)2=3±22(3±1)2=4±23(\sqrt2\pm1)^2=3\pm2\sqrt2\\ (\sqrt3\pm1)^2=4\pm2\sqrt3

平方:

112=121122=144132=169142=196152=225162=256172=289182=324192=361212=441222=484232=529242=576252=625262=676272=729282=784292=841312=961322=1024332=1089342=1156352=1225362=1296372=1369382=1444392=1521412=1681422=1764432=1849442=1936452=2025462=2116472=2209482=2304492=2401\begin{array}{lllll} &11^2=121&12^2=144&13^2=169&14^2=196\\ 15^2=225&16^2=256&17^2=289&18^2=324&19^2=361\\ &21^2=441&22^2=484&23^2=529&24^2=576\\ 25^2=625&26^2=676&27^2=729&28^2=784&29^2=841\\ &31^2=961&32^2=1024&33^2=1089&34^2=1156\\ 35^2=1225&36^2=1296&37^2=1369&38^2=1444&39^2=1521\\ &41^2=1681&42^2=1764&43^2=1849&44^2=1936\\ {\color{red}45^2=2025}&46^2=2116&47^2=2209&48^2=2304&49^2=2401\\ \end{array}

立方:

23=833=2743=6453=12563=21673=34383=51293=729103=1000113=1331123=1728133=2197143=2744153=3375163=4096173=4913183=5832193=6859203=8000213=9261223=10648233=12167243=13824253=15625263=17576273=19683283=21952293=24389303=27000313=29791323=32768333=35937343=39304353=42875363=46656373=50653383=54872393=59319403=64000\begin{array}{lllll} &&\,\,\,2^3=8&\,\,\,3^3=27&\,\,\,4^3=64\\ \,\,\,5^3=125&\,\,\,6^3=216&\,\,\,7^3=343&\,\,\,8^3=512&\,\,\,9^3=729\\ 10^3=1000&11^3=1331&12^3=1728&13^3=2197&14^3=2744\\ 15^3=3375&16^3=4096&17^3=4913&18^3=5832&19^3=6859\\ 20^3=8000&21^3=9261&22^3=10648&23^3=12167&24^3=13824\\ 25^3=15625&26^3=17576&27^3=19683&28^3=21952&29^3=24389\\ 30^3=27000&31^3=29791&32^3=32768&33^3=35937&34^3=39304\\ 35^3=42875&36^3=46656&37^3=50653&38^3=54872&39^3=59319\\ 40^3=64000 \end{array}

幂:

21=222=423=824=1625=3226=6427=12828=25629=512210=1024211=2048212=4096213=8192214=16384215=32768216=65536\begin{array}{lllll} &2^{1}\,\,=2&2^{2}\,\,=4&2^{3}\,\,=8&2^{4}\,\,=16\\ 2^{5}\,\,=32&2^{6}\,\,=64&2^{7}\,\,=128&2^{8}\,\,=256&2^{9}\,\,=512\\ 2^{10}=1024&2^{11}=2048&2^{12}=4096&2^{13}=8192&2^{14}=16384\\ 2^{15}=32768&2^{16}=65536 \end{array}
32=933=2734=8135=24336=72937=218752=2553=12554=62555=312556=1562557=78125\begin{array}{llllll} 3^{2}=9&3^{3}=27&3^{4}=81&3^{5}=243&3^{6}=729&3^{7}=2187\\ 5^{2}=25&5^{3}=125&5^{4}=625&5^{5}=3125&5^{6}=15625&5^{7}=78125 \end{array}

阶乘:

0!=11!=12!=23!=64!=245!=1206!=7207!=50408!=40320\begin{array}{llllll} 0!=1&1!=1&2!=2\\ 3!=6&4!=24&5!=120\\ 6!=720&7!=5040&8!=40320 \end{array}

因式分解

经典分离技巧:

(a+b+c)2=a2+b2+c2+2(ab+bc+ca)(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)
(a+b)(a2ab+b2)=a3+b3(a+b)(a^2-ab+b^2)=a^3+b^3
(ab)(a2+ab+b2)=a3b3(a-b)(a^2+ab+b^2)=a^3-b^3
x3+1x3=(x+1x)(x2+1x21)x^3+\dfrac{1}{x^3}=\paren{x+\dfrac{1}{x}}\paren{x^2+\dfrac{1}{x^2}-1}

一般的,

anbn=(ab)(an1+an2b++bn1)a^n-b^n=(a-b)(a^{n-1}+a^{n-2}b+\dots+b^{n-1})
an+bn=(a+b)(an1an2b+±bn1),n1(mod2)a^n+b^n=(a+b)(a^{n-1}-a^{n-2}b+\dots\pm b^{n-1}),n\equiv1\pmod2

双十字相乘:

x2+4y2+4xy+6x+12y+9=(x+2y+3)2x^2+4y^2+4xy+6x+12y+9=(x+2y+3)^2
  1. 分解 x2,y2,xyx^2,y^2,xy

  2. xxyy 分为两部分。

  3. 检验。

因式定理:形如

f(x)=a0+a1x++anxnf(x)=a_0+a_1x+\dots+a_nx^n

的称为多项式,若 f(a)=0f(a)=0,则 f(x)f(x) 一定可以分解成:

f(x)=(xa)g(x)f(x)=(x-a)g(x)

其中 g(x)g(x) 是比 f(x)f(x) 低一次的多项式。

长除法​:根据因式定理,可以通过长除法来分解多项式。

如果已知多项式的一个或多个零点,因式定理可以帮助提取对应零点的因式,将多项式化简为更低次数的形式,从而简化求根过程。具体步骤如下:

  • 先设法找到多项式 ff 的一个零点 aa
  • 用因式定理确认 (xa)(x-a) 是多项式 f(x)f(x) 的因式。
  • 用长除法计算多项式 g(x)=f(x)xag(x)=\frac{f(x)}{x-a}
  • 在方程 f(x)=0f(x)=0 中,所有满足 xax\neq a 的根,都是方程 g(x)=0g(x)=0 的根。
  • 由于 g(x)g(x) 的多项式次数比 f(x)f(x) 低,因此求 gg 的零点可能更简单。

等式与方程

韦达定理

对于二次方程

ax2+bx+c=0ax^2+bx+c=0

有根的判别式

Δ=b24ac\Delta=b^2-4ac

两根公式

x1,2=b±Δ2ax_{1,2}=\dfrac{-b\pm\sqrt{\Delta}}{2a}

有韦达定理

x1+x2=bax_1+x_2=-\dfrac{b}{a}
x1x2=cax_1x_2=\dfrac{c}{a}
x1x2=Δa|x_1-x_2|=\dfrac{\sqrt\Delta}{|a|}

因此

x12+x22=(x1+x2)22x1x2=b22aca2x_1^2+x_2^2=(x_1+x_2)^2-2x_1x_2=\dfrac{b^2-2ac}{a^2}
x12x22=(x1+x2)(x1x2)=bb24aca2|x_1^2-x_2^2|=|(x_1+x_2)(x_1-x_2)|=\dfrac{|b|\sqrt{b^2-4ac}}{a^2}
1x1+1x2=x1+x2x1x2=bc\dfrac{1}{x_1}+\dfrac{1}{x_2}=\dfrac{x_1+x_2}{x_1x_2}=-\dfrac{b}{c}
1x11x2=x1x2x1x2=b24acc\vert{\dfrac{1}{x_1}-\dfrac{1}{x_2}}=\dfrac{|x_1-x_2|}{|x_1x_2|}=\dfrac{\sqrt{b^2-4ac}}{|c|}

有二次函数根的分布:

  • 方程有两个正根:

    Δ>0,x1+x2>0,x1x2>0\Delta > 0, x_1 + x_2 > 0, x_1x_2 > 0
  • 方程有两个负根:

    Δ>0,x1+x2<0,x1x2>0\Delta > 0, x_1 + x_2 < 0, x_1x_2 > 0
  • 方程有两个异号根:

    x1x2<0x_1x_2 < 0
  • 方程有两个根均大于 mm

    Δ>0,x1+x2>2m,(x1m)(x2m)>0\Delta > 0, x_1 + x_2 > 2m, (x_1 - m)(x_2 - m) > 0
  • 方程有两个根均小于 mm

    Δ>0,x1+x2<2m,(x1m)(x2m)>0\Delta > 0, x_1 + x_2 < 2m, (x_1 - m)(x_2 - m) > 0
  • 方程有两个根在 mm 两侧:

    (x1m)(x2m)<0(x_1 - m)(x_2 - m) < 0
  • 方程有两个根在 (l,r)(l, r) 之间:

    Δ>0,l<b2a<r,f(l)f(r)>0\Delta > 0, l < -\frac{b}{2a} < r, f(l)f(r) > 0
  • 方程有两个根在 [l,r][l, r] 之间:

    Δ>0,l<b2a<r,af(l)0,af(r)0\Delta > 0, l < -\frac{b}{2a} < r, a \cdot f(l) \ge 0, a \cdot f(r) \ge 0
  • 方程有两个根,一个在 (l,r)(l, r) 之间:

    Δ>0,f(l)f(r)<0\Delta > 0, f(l)f(r) < 0
  • 方程有两个根,一个在 [l,r][l, r] 之间:

    Δ>0,f(l)f(r)<0\Delta > 0, f(l)f(r) < 0

    Δ>0,f(l)=0,l+r2<b2a\Delta > 0, f(l) = 0, \frac{l+r}{2} < -\frac{b}{2a}

    Δ>0,f(r)=0,b2a<l+r2\Delta > 0, f(r) = 0, -\frac{b}{2a} < \frac{l+r}{2}

非对称韦达定理:求出 x1x2x_1x_2x1+x2x_1+x_2 的比值,带入其中一个求解。

泰勒展开

14 世纪,马德哈瓦最早使用了泰勒级数以及相关的方法。尽管他的数学著作没有流传下来,但后来印度数学家的著作表明他发现了一些特殊的泰勒级数,这些级数包括正弦、余弦、正切、和反正切三角函数等等。之后,喀拉拉学派在他的基础上进行了一系列的延伸与合理逼近,这些工作一直持续到 16 世纪。到了 17 世纪,詹姆斯·格雷果里同样继续着这方面的研究并且发表了若干麦克劳林级数。但是直到 1715 年,布鲁克·泰勒提出了一个通用的方法来构建适用于所有函数的此类列级数。这就是后来被人们所熟知的泰勒级数。麦克劳林级数是泰勒级数的特例,是爱丁堡大学的科林·麦克劳林教授在 18 世纪发表的,并以其名字命名。

以直代曲

以直代曲可以用于计算一部分函数近似值,例如计算 9.05\sqrt{9.05}

我们知道,对于 f(x)=xf(x)=\sqrt{x},有 f(x)=12xf'(x)=\dfrac{1}{2\sqrt{x}}

也就是说:f(9)=3,f(9)=16f(9)=3,f'(9)=\dfrac{1}{6},我们取 Δx=0.05\Delta x=0.05,得到:

16=f(9.05)30.05\dfrac{1}{6}=\dfrac{f(9.05)-3}{0.05}

解得,

f(9.05)3.008f(9.05)\approx3.008

泰勒展开与这种思想非常类似。

nn 是一个正整数,如果定义在一个包含 aa 的区间上的函数在 aan+1n+1 次可导,那么对于这个区间上的任意 xx 都有:

f(x)=f(a)+f(a)1!(xa)+f(a)2!(xa)2++f(n)(a)n!(xa)n+Rn(x)f(x)=f(a)+\dfrac{f'(a)}{1!}(x-a)+\dfrac{f''(a)}{2!}(x-a)^2+\dots+\dfrac{f^{(n)}(a)}{n!}(x-a)^n+R_n(x)

其中的多项式称为函数在 aa 处的泰勒展开式,剩余的 Rn(x)R_n(x) 是泰勒展开式,是 (xa)n(x-a)^n 的高阶无穷小 o[(xa)n]\mathrm{o}[(x-a)^n]

ex=1+x+x22!+x33!+x44!++xnn!e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\dfrac{x^4}{4!}+\dots+\dfrac{x^n}{n!}
ln(x+1)=xx22+x33x44+x55++(1)n+1xnn\ln(x+1)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\dfrac{x^4}{4}+\dfrac{x^5}{5}+\dots+(-1)^{n+1}\dfrac{x^n}{n}
sinx=xx33!+x55!x77!++(1)nx2n+1(2n+1)!\sin x=x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\dfrac{x^7}{7!}+\dots+(-1)^n\dfrac{x^{2n+1}}{(2n+1)!}
cosx=1x22!+x44!x66!++(1)nx2n(2n)!\cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\dfrac{x^6}{6!}+\dots+(-1)^n\dfrac{x^{2n}}{(2n)!}

根据这些可以得到一些经典的不等式:

ex12x2+x+1,x0\boxed{e^x\ge\dfrac{1}{2}x^2+x+1},x\ge0
exx2+1>x2,x0\boxed{e^x\ge x^2+1>x^2},x\ge0
lnxxe,x>0\boxed{\ln x\le\dfrac{x}{e}},x>0
lnxx2x,x>0\boxed{\ln x\le x^2-x},x>0

多项式插值

插值是一种通过已知的、离散的数据点推算一定范围内的新数据点的方法,分为线性插值和多项式插值。多项式插值的一般形式如下:对已知的 n+1n+1 的点 (x0,y0),(x1,y1),,(xn,yn)(x_0,y_0),(x_1,y_1),\dots,(x_n,y_n),求 nn 阶多项式 f(x)f(x) 满足:

f(xi)=yi,i=0,1,,nf(x_i)=y_i,\forall i=0,1,\dots,n

形式化来说,就是给定 nn 个纵坐标不同的点,求一个不超过 nn 次的多项式 f(x)f(x),使其过这 nn 个点。

最简单的插值法就是拉格朗日插值法:尝试构造多项式 fi(x)f_i(x) 使得 fi(x)=[i=xi]f_i(x)=[i=x_i],易得:

fi(x)=jixxjxixjf_i(x)=\prod_{j\neq i}{x-x_j\over x_i-x_j}

可得拉格朗日插值的形式为:

f(x)=i=1nyifi(x)f(x)=\sum_{i=1}^ny_i\cdot f_i(x)

化简为:

f(x)=i=1nyijixxjxixjf(x)=\sum_{i=1}^ny_i\prod_{j\neq i}{x-x_j\over x_i-x_j}