文章

一題多解:畢氏數藏在分式裡,三種解法比較

給定 a²+b²=c² 與一條看似複雜的分式方程式,求 a/b。本文示範三種解法——三角代換、對稱式合併分式、正規化成單位圓——並揭穿出題者刻意藏起 8-15-17 畢氏三元數的「上帝視角」,最後比較三種解法的優劣與教學啟示。

一題多解:畢氏數藏在分式裡,三種解法比較
\[\require{physics}\]

一道看起來很兇的分式題

已知 $a,b,c$ 滿足畢氏關係

\[a^2+b^2=c^2\]

以及

\[\frac{a}{b+c}+\frac{b}{a+c}=\frac{17}{20}\]

求 $\dfrac ab$。

第一眼看到這題,很多人會想拿計算機亂猜,或是死盯著分式硬展開。但這題其實可以用至少三種完全不同的思路解開,而且比較這三種解法,會讓你對「代數 vs 幾何」這件事有更深的體會。

先提醒一件事:題目條件對 $a,b$ 完全對稱——把 $a,b$ 互換,條件不變。所以如果 $\dfrac ab$ 是一個解,$\dfrac ba$ 也必然是解。除非題目另外限定 $a>b$,否則答案本來就有兩個。


方法一:三角代換

因為 $a^2+b^2=c^2$,很自然聯想到直角三角形:把 $a,b$ 想成直角邊,$c$ 想成斜邊,並設一個銳角 $\theta$,使

\[a=c\sin\theta,\qquad b=c\cos\theta\]

代入條件:

\[\frac{a}{b+c}+\frac{b}{a+c}=\tan\theta+\frac{\cos2\theta}{\sin2\theta+1}=\frac{17}{20}\]

利用 $\cos2\theta=\cos^2\theta-\sin^2\theta$、$\sin2\theta=2\sin\theta\cos\theta$,並注意到

\[2\sin\theta\cos\theta+1=2\sin\theta\cos\theta+(\cos^2\theta+\sin^2\theta)=(\cos\theta+\sin\theta)^2\]

第二項可以化簡成

\[\frac{\cos2\theta}{\sin2\theta+1}=\frac{(\cos\theta-\sin\theta)(\cos\theta+\sin\theta)}{(\cos\theta+\sin\theta)^2}=\frac{\cos\theta-\sin\theta}{\cos\theta+\sin\theta}\]

令 $x=\tan\theta$,把分子分母同除以 $\cos\theta$:

\[\frac{\cos\theta-\sin\theta}{\cos\theta+\sin\theta}=\frac{1-x}{1+x}\]

於是原方程式變成一個單變數方程:

\[x+\frac{1-x}{1+x}=\frac{17}{20}\]

兩邊乘上 $20(1+x)$ 整理,得到

\[20x^2-17x+3=0\]

解得

\[x=\frac35\quad\text{或}\quad x=\frac14\]

最後用二倍角公式換回所求:

\[\frac ab=\tan2\theta=\frac{2\tan\theta}{1-\tan^2\theta}=\frac{2x}{1-x^2}\]

分別代入兩個 $x$ 值:

\[x=\frac35\ \Longrightarrow\ \frac ab=\frac{2\cdot\frac35}{1-\frac9{25}}=\frac{15}{8}\] \[x=\frac14\ \Longrightarrow\ \frac ab=\frac{2\cdot\frac14}{1-\frac1{16}}=\frac{8}{15}\]

兩個根都合法,因為題目沒有限定 $a>b$,答案就是 $\dfrac ab=\dfrac{15}8$ 或 $\dfrac8{15}$。

這個方法完全正確、也很有創意,但要走完二倍角公式、兩次代換,計算量不小。


方法二:直接合併分式,用對稱量硬算

如果不想引入角度,也可以純代數硬解,關鍵是先把兩個分式合併成一個

\[\frac{a}{b+c}+\frac{b}{a+c}=\frac{a(a+c)+b(b+c)}{(a+c)(b+c)}\]

分子利用 $a^2+b^2=c^2$:

\[a(a+c)+b(b+c)=a^2+b^2+c(a+b)=c^2+c(a+b)=c(a+b+c)\]

分母展開:

\[(a+c)(b+c)=ab+c(a+b)+c^2\]

半周長 $s=\dfrac{a+b+c}2$,則 $a+b=2s-c$。利用

\[ab=\frac{(a+b)^2-c^2}2=\frac{(2s-c)^2-c^2}2=\frac{(2s-2c)(2s)}2=2s(s-c)\]

代入分母:

\[ab+c(a+b)+c^2=2s(s-c)+c(2s-c)+c^2=2s^2-2sc+2sc-c^2+c^2=2s^2\]

而分子 $c(a+b+c)=c\cdot2s=2sc$,兩者相除,$s$ 與常數因子都漂亮地消掉:

\[\boxed{\frac{a}{b+c}+\frac{b}{a+c}=\frac{2sc}{2s^2}=\frac cs}\]

原方程式立刻變成

\[\frac{c}{s}=\frac{17}{20}\]

交叉相乘,並代回 $s=\dfrac{a+b+c}2$:

\[20c=17s=17\cdot\frac{a+b+c}2\ \Longrightarrow\ 40c=17(a+b+c)\ \Longrightarrow\ 23c=17(a+b)\ \Longrightarrow\ \frac{a+b}c=\frac{23}{17}\]

兩邊平方,並用 $(a+b)^2=c^2+2ab$:

\[1+\frac{2ab}{c^2}=\frac{529}{289}\ \Longrightarrow\ \frac{ab}{c^2}=\frac{120}{289}\]

令 $r=\dfrac ab$,注意到

\[\frac{ab}{a^2+b^2}=\frac{ab}{c^2}=\frac{r}{r^2+1}=\frac{120}{289}\]

交叉相乘整理:

\[120r^2-289r+120=0\]

因式分解:

\[(15r-8)(8r-15)=0\quad\Longrightarrow\quad r=\frac{15}8\ \text{或}\ \frac{8}{15}\]

和方法一完全一致,但全程只用到分式合併與平方,沒有牽涉任何三角函數。


方法三:正規化成單位圓

第三種思路介於前兩者之間:不引入角度,但借用「$a^2+b^2=c^2$ 就是單位圓」的幾何直覺,只是用代數語言表達。

\[x=\frac ac,\qquad y=\frac bc\]

則 $x^2+y^2=1$(也就是 $(x,y)$ 落在單位圓上)。原方程式變成

\[\frac{x}{1+y}+\frac{y}{1+x}=\frac{17}{20}\]

合併分式:

\[\frac{x(1+x)+y(1+y)}{(1+x)(1+y)}=\frac{x+y+x^2+y^2}{1+x+y+xy}=\frac{1+x+y}{1+x+y+xy}\]

令 $p=x+y$。因為 $p^2=x^2+y^2+2xy=1+2xy$,所以

\[xy=\frac{p^2-1}2\]

分母化簡:

\[1+p+xy=1+p+\frac{p^2-1}2=\frac{(p+1)^2}2\]

於是方程式變成

\[\frac{1+p}{(p+1)^2/2}=\frac2{p+1}=\frac{17}{20}\quad\Longrightarrow\quad p=\frac{23}{17}\]

也就是 $\dfrac{a+b}c=\dfrac{23}{17}$——和方法二得到的中繼結果完全一樣,後面接下去也是同一組計算,最終同樣得到 $\dfrac ab=\dfrac{15}8$ 或 $\dfrac8{15}$。

這個方法的優點是:把「令 $p=x+y$」這個對稱式技巧和「$a^2+b^2=c^2$ 是單位圓」的幾何圖像結合起來,比方法一少了角度與二倍角公式,又比方法二更容易看出「為什麼要這樣設」的動機。


上帝視角:出題者其實在跟你玩什麼把戲?

三種解法都得到 $\dfrac ab=\dfrac{15}8$ 或 $\dfrac8{15}$——這兩個數字眼熟嗎?$8,15,17$ 正是一組經典的畢氏三元數

\[8^2+15^2=64+225=289=17^2\]

直接代入驗證看看:

\[\frac{8}{15+17}+\frac{15}{8+17}=\frac8{32}+\frac{15}{25}=\frac14+\frac35=\frac{5}{20}+\frac{12}{20}=\frac{17}{20}\]

完全吻合!這說明整道題目的設計流程很可能是倒著做的:

  1. 出題者先選定一組知名的畢氏三元數 $8,15,17$;
  2. 算出 $\dfrac8{15+17}+\dfrac{15}{8+17}=\dfrac{17}{20}$ 這個值;
  3. 把 $8,15,17$ 藏起來,只留下 $\dfrac{17}{20}$ 這個分數;
  4. 要求解題者反推出比例 $a:b$。

而方法二推出的恆等式

\[\frac{a}{b+c}+\frac{b}{a+c}=\frac{2c}{a+b+c}=\frac cs\]

($s$ 為半周長)正好說明了為什麼 $\dfrac{17}{20}$ 這個數字看起來眼熟:對 $8\text{-}15\text{-}17$ 直角三角形,半周長 $s=\dfrac{8+15+17}2=20$,而

\[\frac cs=\frac{17}{20}\]

一旦看穿「$\dfrac{17}{20}=\dfrac{\text{斜邊}}{\text{半周長}}$」這件事,最短的解法反而變成:直接令 $c=17,s=20$,於是

\[a+b=2s-c=40-17=23,\qquad a^2+b^2=17^2=289\] \[2ab=(a+b)^2-(a^2+b^2)=529-289=240\ \Longrightarrow\ ab=120\]

$a,b$ 是方程式 $t^2-23t+120=0$ 的兩根,因式分解 $(t-8)(t-15)=0$,直接得到

\[\{a,b\}=\{8,15\}\quad\Longrightarrow\quad\frac ab=\frac{15}8\ \text{或}\ \frac8{15}\]

比前三種方法都快——但這是先看到答案才顯得漂亮的事後諸葛,不是一般人第一次見到題目就能想到的路。


反思:這題真正在教什麼?

這道題常被抱怨「很鬼」「太技巧性」,但它精準示範了幾件解題上很重要的事:

看到對稱式,先設對稱量,而不是急著畫角。條件與所求都對 $a,b$(或 $x,y$)對稱時,優先考慮 $p=a+b$(或 $x+y$)與 $ab$(或 $xy$)這組對稱量,往往比硬設三角函數更快找到主線。

分式方程式,先合併再化簡。方法一之所以計算量大,是因為从一开始就把兩個分式分開處理;方法二、三都先把分式合併成一個,讓 $a^2+b^2=c^2$ 這個條件能一次性代入化簡。

答案不唯一,是對稱條件的必然結果,不是計算失誤。任何時候看到條件對兩個變數對稱,都要記得檢查:题目有沒有額外限定大小關係?沒有的話,答案通常成雙出現。

「上帝視角」不是必須看穿的。能一眼認出 $8\text{-}15\text{-}17$ 固然漂亮,但方法二、三這種「老實但系統化」的對稱式硬算路徑,才是大多數人真正該練的基本功——它不依賴於運氣好不好認出某組特定的畢氏三元數。


總結:三種解法比較

解法關鍵技巧計算量優點
方法一:三角代換設 $a=c\sin\theta,b=c\cos\theta$,用二倍角公式較大直覺對應直角三角形,適合熟悉三角恆等式的人
方法二:合併分式直接利用 $a^2+b^2=c^2$ 化簡分式,得到 $\frac{2c}{a+b+c}$中等純代數、不需三角函數,是最系統化的路徑
方法三:正規化 + 對稱量令 $x=a/c,y=b/c$,設 $p=x+y$中等結合幾何圖像(單位圓)與代數對稱式技巧
上帝視角:識別畢氏三元數直接看出 $\frac cs$ 這個恆等式,反推 $8,15,17$最小最快,但仰賴事後才看得出的巧合

同一題有四條路可以走,正是數學好玩的地方:沒有哪一種解法「才是對的」,重要的是能看懂每一種解法省下計算量的原因在哪裡。


本文章以 CC BY 4.0 授權