主题目录

代数运算、恒等式与因式分解

基础更新于 2026-09-29

本页目录

恒等变形保留表达式在原定义域内的值。因式分解把加法结构转为乘法结构,用于求零点、判符号或约分。

平方、立方与三元立方恒等式

以下恒等式对实数或复数均成立:

(a+b)2=a2+2ab+b2,(a−b)2=a2−2ab+b2,a2−b2=(a−b)(a+b),(a+b)3=a3+3a2b+3ab2+b3,(a−b)3=a3−3a2b+3ab2−b3,a3+b3=(a+b)(a2−ab+b2),a3−b3=(a−b)(a2+ab+b2).\begin{aligned} (a+b)^2&=a^2+2ab+b^2,\\ (a-b)^2&=a^2-2ab+b^2,\\ a^2-b^2&=(a-b)(a+b),\\ (a+b)^3&=a^3+3a^2b+3ab^2+b^3,\\ (a-b)^3&=a^3-3a^2b+3ab^2-b^3,\\ a^3+b^3&=(a+b)(a^2-ab+b^2),\\ a^3-b^3&=(a-b)(a^2+ab+b^2). \end{aligned}

它们由分配律展开、合并同类项得到。例如

(a+b)(a2−ab+b2)=a3−a2b+ab2+a2b−ab2+b3=a3+b3.(a+b)(a^2-ab+b^2)=a^3-a^2b+ab^2+a^2b-ab^2+b^3=a^3+b^3.

三元立方恒等式为

a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca).a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).

证明。 展开右边,三个纯立方各出现一次;每个 a2ba^2b 型项的正负系数抵消;abcabc 从三个负乘积中各出现一次,故结果为左边。二次因子还有形式

a2+b2+c2−ab−bc−ca=(a−b)2+(b−c)2+(c−a)22.a^2+b^2+c^2-ab-bc-ca=\frac{(a-b)^2+(b-c)^2+(c-a)^2}{2}.

所以在实数范围,原三次式为零当且仅当 a+b+c=0a+b+c=0 或 a=b=ca=b=c;若进一步 a,b,c≥0a,b,c\ge0,三次式非负。这些符号结论使用实数平方非负,不能照搬到复数大小比较。

一般幂差与奇次幂和

对正整数 nn,

xn−yn=(x−y)∑k=0n−1xn−1−kyk.x^n-y^n=(x-y)\sum_{k=0}^{n-1}x^{n-1-k}y^k.

当 nn 为正奇数时,

xn+yn=(x+y)∑k=0n−1(−1)kxn−1−kyk.x^n+y^n=(x+y)\sum_{k=0}^{n-1}(-1)^kx^{n-1-k}y^k.

证明。 第一式把右边拆成乘 xx 与乘 −y-y 的两个和,中间各项相消,仅剩 xn−ynx^n-y^n。第二式在第一式中将 yy 换为 −y-y;由于 nn 为奇数,(−y)n=−yn(-y)^n=-y^n。括号内每一项总次数均为 n−1n-1,可用来检查抄写错误。

添项配方与平方和乘积

两条常用恒等式为

x4+4y4=(x2+2y2−2xy)(x2+2y2+2xy),x^4+4y^4=(x^2+2y^2-2xy)(x^2+2y^2+2xy), (a2+b2)(x2+y2)=(ax+by)2+(ay−bx)2.(a^2+b^2)(x^2+y^2)=(ax+by)^2+(ay-bx)^2.

第一式先写成 (x2+2y2)2−(2xy)2(x^2+2y^2)^2-(2xy)^2 再用平方差;第二式展开后两项交叉乘积 2abxy2abxy 与 −2abxy-2abxy 抵消。这两式分别体现添减同一项配方、将乘积改写成平方和的方法。

方法与例子

分解 x4+4x^4+4:直接按整数系数二次式配对不明显,但添减 4x24x^2 得

x4+4=(x2+2)2−(2x)2=(x2−2x+2)(x2+2x+2).x^4+4=(x^2+2)^2-(2x)^2=(x^2-2x+2)(x^2+2x+2).

配方也可显示符号:两个因子分别是 (x∓1)2+1(x\mp1)^2+1,因此对所有实数 xx,原式为正。

因式分解与结构识别

将非零多项式写成若干多项式的乘积,称为因式分解。讨论“还能否分解”必须先指定系数范围。例如

x2−2=(x−2)(x+2)x^2-2=(x-\sqrt2)(x+\sqrt2)

在实系数范围成立,但在有理系数范围不能分成两个一次因式;x2+1x^2+1 在实系数范围不可这样分解,在复系数范围则为 (x−i)(x+i)(x-i)(x+i)。完全因式分解要求非恒定因子在指定范围内不能再分成两个正次数的因子。

常用步骤包括:提取公因式;按共同结构分组;识别平方、立方和幂差;添减同一项配方;整体换元;试出零点后提出一次因式。二次式的待定系数分解

ax2+bx+c=(ux+v)(wx+t)ax^2+bx+c=(ux+v)(wx+t)

要求同时满足 uw=a,ut+vw=b,vt=cuw=a,ut+vw=b,vt=c,不能只匹配首尾系数。

多元多项式的每个非零项总次数都为 dd 时,称为 dd 次齐次多项式,并有 P(tx1,…,txn)=tdP(x1,…,xn)P(tx_1,\ldots,tx_n)=t^dP(x_1,\ldots,x_n)。交换任意两个变量后不变称为完全对称;只要求循环换位后不变称为轮换对称。例如 a2+2b2a^2+2b^2 齐次但不对称;a2b+b2c+c2aa^2b+b^2c+c^2a 轮换对称但不完全对称。

对称式可考虑用 a+b,aba+b,ab 或三元基本对称式换元;齐次式可考虑比例换元。换元的定义域、零变量分支以及新变量的可行条件必须同时保留。

三次恒等式的零值分支必须保留

恒等式中的二次因子还可以写为

a2+b2+c2−ab−bc−ca=(a−b)2+(b−c)2+(c−a)22.a^2+b^2+c^2-ab-bc-ca=\frac{(a-b)^2+(b-c)^2+(c-a)^2}{2}.

因此对实数,a3+b3+c3−3abc=0a^3+b^3+c^3-3abc=0 等价于 a+b+c=0a+b+c=0 或 a=b=ca=b=c。不能只保留第一个平面分支,漏掉第二个分支。

例如 x3+8y3+6xy−1=0x^3+8y^3+6xy-1=0,令 a=x,b=2y,c=−1a=x,b=2y,c=-1,可得其解集为直线 x+2y=1x+2y=1 与孤立点 (−1,−1/2)(-1,-1/2) 的并集。在直线上,

x3y=x3(1−x)2≤27512,x^3y=\frac{x^3(1-x)}2\le\frac{27}{512},

这个上界可由恒等式验证:

27512−x3(1−x)2=(4x−3)2(16x2+8x+3)512≥0,\frac{27}{512}-\frac{x^3(1-x)}2 =\frac{(4x-3)^2(16x^2+8x+3)}{512}\ge0,

其中 16x2+8x+3=16(x+1/4)2+2>016x^2+8x+3=16(x+1/4)^2+2>0,故等号恰在 x=3/4x=3/4 成立。该四次多项式连续,且当 xx 向正、负无穷增大绝对值时均趋于负无穷,所以值域为 (−∞,27/512](-\infty,27/512]。在孤立点处,x3y=1/2x^3y=1/2。

所以原约束下的完整值域为

(−∞,27/512] ∪ {1/2}.(-\infty,27/512]\ \cup\ \{1/2\}.

这不是一个连续区间。在两个变量均未限定为正数时,这个孤立分支不能删去。

四平方和乘积的恒等式

对实数或复数 a,b,c,d,x,y,z,wa,b,c,d,x,y,z,w,有

(a2+b2+c2+d2)(x2+y2+z2+w2)=(ax−by−cz−dw)2+(ay+bx+cw−dz)2+(az−bw+cx+dy)2+(aw+bz−cy+dx)2.\begin{aligned} &(a^2+b^2+c^2+d^2)(x^2+y^2+z^2+w^2)\\ &=(ax-by-cz-dw)^2+(ay+bx+cw-dz)^2\\ &\quad +(az-bw+cx+dy)^2+(aw+bz-cy+dx)^2. \end{aligned}

证明。 把右边按 a,b,c,da,b,c,d 展开。每个平方项 a2,b2,c2,d2a^2,b^2,c^2,d^2 的系数都是 x2+y2+z2+w2x^2+y^2+z^2+w^2。六种混合项的系数分别为

[ab]: 2(−xy+xy−zw+zw)=0,[ac]: 2(−xz+yw+xz−yw)=0,[ad]: 2(−xw−yz+yz+xw)=0,[bc]: 2(yz+xw−xw−yz)=0,[bd]: 2(yw−xz−yw+xz)=0,[cd]: 2(zw−zw+xy−xy)=0.\begin{aligned} [ab]&:\ 2(-xy+xy-zw+zw)=0,\\ [ac]&:\ 2(-xz+yw+xz-yw)=0,\\ [ad]&:\ 2(-xw-yz+yz+xw)=0,\\ [bc]&:\ 2(yz+xw-xw-yz)=0,\\ [bd]&:\ 2(yw-xz-yw+xz)=0,\\ [cd]&:\ 2(zw-zw+xy-xy)=0. \end{aligned}

故只剩左边。这是一条有限代数恒等式;它本身不证明“每个非负整数都能表示为四个整数平方之和”。

关联阅读

同主题:实数、绝对值与数轴距离 · 分式、根式与等价变形。

返回主题目录 · 全站目录 · 符号约定