卡在這題?用 AI 解開它
Algebra · real student question

對哪些指數 n 而言,a^n + b^n 可以因式分解?分解式又是什麼?

Question

判斷

an+bna^{n}+b^{n}

在什麼情況下可以因式分解,並寫出分解式。

Step-by-step solution

  1. 代入 a=−ba=-b 判斷 a+ba+b 是不是因式。 由因式定理,(a+b)(a+b) 整除這個式子,恰好發生在把 a=−ba=-b 代進去結果為零時:

    (−b)n+bn={−bn+bn=0,n 為奇數bn+bn=2bn≠0,n 為偶數(-b)^{n}+b^{n}=\begin{cases}-b^{n}+b^{n}=0,&n\text{ 為奇數}\\ b^{n}+b^{n}=2b^{n}\neq0,&n\text{ 為偶數}\end{cases}

    可見 nn 的奇偶決定了一切,而且理由乾淨俐落,就這麼一條。

  2. 寫出 nn 為奇數時的恆等式。 當 nn 是奇數時,

    an+bn=(a+b)(an−1−an−2b+an−3b2−⋯−abn−2+bn−1)=(a+b)∑k=0n−1(−1)kan−1−kbka^{n}+b^{n}=(a+b)\left(a^{n-1}-a^{n-2}b+a^{n-3}b^{2}-\cdots-ab^{n-2}+b^{n-1}\right)=(a+b)\sum_{k=0}^{n-1}(-1)^{k}a^{n-1-k}b^{k}

    正負交替的符號使得乘開之後中間各項全部相消。對 n=3,5,7,9n=3,5,7,9 各取 121121 組整數逐一驗證,完全精確成立 ✓。

  3. 看幾個小的奇數情形。

    a3+b3=(a+b)(a2−ab+b2)a^{3}+b^{3}=(a+b)\left(a^{2}-ab+b^{2}\right)

    a5+b5=(a+b)(a4−a3b+a2b2−ab3+b4)a^{5}+b^{5}=(a+b)\left(a^{4}-a^{3}b+a^{2}b^{2}-ab^{3}+b^{4}\right)

    另一個因式總共有 nn 項,每項的總次數都是 n−1n-1,正負號交替,而且首尾兩項都是正的。

  4. 弄清偶數的情形。 當 nn 為偶數時,不存在對所有這種 nn 都成立的分解式:a2+b2a^{2}+b^{2} 在實數範圍內不可分解;從數值上看,22+32=132^{2}+3^{2}=13,而 (2+3)(2−3)=−5(2+3)(2-3)=-5 —— 所以 a+ba+b 確實不是因式 ✓。

  5. 善用藏在偶數 nn 裡的奇因數。 如果 nn 是偶數,卻能被某個奇數 m>1m>1 整除,就寫成 n=m⋅qn=m\cdot q,把式子看成 (aq)m+(bq)m\left(a^{q}\right)^{m}+\left(b^{q}\right)^{m},這樣就能套用奇數的規則了。以 n=6n=6、m=3m=3、q=2q=2 為例:

    a6+b6=(a2)3+(b2)3=(a2+b2)(a4−a2b2+b4)a^{6}+b^{6}=\left(a^{2}\right)^{3}+\left(b^{2}\right)^{3}=\left(a^{2}+b^{2}\right)\left(a^{4}-a^{2}b^{2}+b^{4}\right)

    而當 nn 是2 的冪(2,4,8,…2,4,8,\ldots)時就沒有奇因數了,an+bna^{n}+b^{n} 在 Q\mathbb{Q} 上不可分解 —— 儘管像 a4+4b4a^{4}+4b^{4} 這類特殊形式仍可透過蘇菲・熱爾曼恆等式分解。

Answer

n 為奇數: an+bn=(a+b)∑k=0n−1(−1)kan−1−kbk; n 為偶數: 沒有 (a+b) 這個因式n\text{ 為奇數}:\ a^{n}+b^{n}=(a+b)\sum_{k=0}^{n-1}(-1)^{k}a^{n-1-k}b^{k};\ n\text{ 為偶數}:\ \text{沒有 }(a+b)\text{ 這個因式}

Need to solve a different problem like this? Open the solver →