三角形被三個邊長完全確定, 四邊形則否。 有名的海龍公式告訴我們如何利用三個邊長來計算三角形的面積。 至於四邊形求面積的公式, 不能只用四個邊長, 還要加上頂角的角度, 公式由 Bretschneider 在 1842 年提出 (註一)。 如果四個邊長依序為 $a,\ b,\ c,\ d$, 而相關的頂角分別為 $A,\ B,\ C,\ D$ (如圖一)
則此四邊形的面積 $\triangle$ 的平方可以表為 $$ \triangle^2=(s-a)(s-b)(s-c)(s-d)-abcd \cos^2\Big({B+D\over 2}\Big). $$ 其中 $s$ 是週長的一半。
如果以 $s={a+b+c+d\over 2}$ 代入整理, 可以將 Bretschneider 公式寫成
$$
\triangle^2={1\over 16}(a+b+c-d)(b+c+d-a)
\\(c+d+a-b)(d+a+b-c)-abcd
\cos^2\Big({B+D\over 2}\Big)
$$
一個重要的結果是, 當此四邊形內接於一個圓的時候, 由於 $B+D=180^\circ$,
因此面積會最大, 並且面積的平方就是 ${1\over
16}(a+b+c-d)(b+c+d-a)(c+d+a-b)(d+a+b-c)$。
有關 Bretschneider 公式, 蔡聰明在他的書中用平面幾何的方法給了完整的證明
(註一)。 本文嘗試用微積分的辦法來得出相同的公式, 想法來自微積分基本定理
--- 我們想要求一個圖形的面積, 不妨把面積對某個參數微分, 看看能得出什麼,
然後再積分 (反微分) 回去, 積分回去的時候, 會生出一個不定常數,
再想辦法確定這個常數。
在本文中, 四邊形的的四個邊長 $a,\ b,\ c,\ d$ 給定, 它的面積以 $\triangle$ 表示,
(如圖二) 參數就是角 $B$, 至於角 $D$, 它被 $B$ 所決定, 因此可以看成是 $B$
的函數
我們先把 $\triangle$ 寫成
則有
\begin{eqnarray*}
\triangle&=&{1\over 2}ab\sin B+{1\over 2}cd\sin D\\
\quad {d\triangle\over dB}&=&{1\over 2}ab \cos B+{1\over 2}cd \cos
D{dD\over dB}
\end{eqnarray*}
因為
$$l^2=a^2+b^2-2ab\cos B=c^2+d^2-2cd \cos D$$
微分之後有
\begin{equation}%1
ab\sin B=cd\sin D{dD\over dB}
\end{equation}
現考慮
$$\triangle{d\triangle\over dB}={1\over 4}(ab\sin B+cd\sin D)(ab \cos
B+cd \cos D{dD\over dB})$$
將 (1) 代入得
\begin{eqnarray*}
\triangle{d\triangle\over dB}&=&{1\over 4}\Big(cd\sin D{dD\over dB}+cd\sin
D\Big)\Big(ab \cos B+cd \cos D{dD\over dB}\Big) \\
&=&{1\over 4}\Big({dD\over dB}+1\Big)cd\Big[ab\sin D \cos B+cd\sin D\cos
D{dD\over dB}\Big]\\
\hbox{(再將 (1) 代入)}&=&{1\over 4}\Big({dD\over dB}+1\Big)cd[ab\sin D
\cos B+ab\sin B\cos D]\\
&=&{1\over 4}\Big({dD\over dB}+1\Big)abcd\sin (B+D)\\
&=&{-1\over 4}abcd {d\over dB}(\cos(B+D))
\end{eqnarray*}
所以
$${d\over dB}(\triangle^2)=-{1\over 2}abcd {d\over dB}\cos(B+D)$$
因此
\begin{equation}%2
\triangle^2=K-{1\over 2}abcd \cos(B+D)
\end{equation}
其中
$$K=K(a,b,c,d) \hbox{ 是一個待定的常數。}$$
如何決定 $K$? 當然要選一個特別的角 $B$ 代入,
一般會想到讓 $B+D=180^{\circ}$。 此時 $\triangle$ 就是內接於一圓時四邊形的面積,
這未必好求。 比較好的辦法是令 $B=180^{\circ}$, 四邊形就變成了一個三角形。
(如圖三)
這雖然是一個退化的情形, 但是一則不影響一般性, 再則三角形的面積有現成的海龍公式, 也就是說我們得到 \begin{eqnarray}%3 &&{1\over 16}(a+b+c+d)(a+b+c-d)(a+b+d-c)(c+d-a-b)\nonumber\\ &=&K-{1\over 2}abcd \cos(180^\circ+D)\nonumber\\ &=&K+{1\over 2}abcd\cos D \end{eqnarray} 再用一次餘弦定律 \begin{equation}%4 {1\over 16}(a+b+c+d)(a+b+c-d)(a+b+d-c) \\(c+d-a-b)=K+{1\over 4}ab[c^2+d^2-(a+b)^2] \end{equation} 我們注意等式左邊就是三角形三邊長為 $a+b$, $c$, $d$ 的面積平方 (海龍) 公式。 (4) 式已經決定了 $K$, 雖然尚未整理, 卻至少告訴我們, $K$ 是一個 $a$, $b$, $c$, $d$ 的四次齊次多項式。 現在, 可以利用配方來整理 $K$ (這需要一點後見知明) \begin{eqnarray*} K&\!=&{1\over 16}(a\!+\!b\!+\!c\!-\!d)(a\!+\!b\!+\!d\!-\!c)((c\!+\!d)^2\!-\!(a\!+\!b)^2) \!-\!{1\over 4}ab(c^2\!+\!d^2\!-\!(a\!+\!b)^2)\\ &\!=&{1\over 16}(a\!+\!b\!+\!c\!-\!d)(a\!+\!b\!+\!d\!-\!c)((c\!+\!d)^2\!-\!(a\!+\!b)^2)\\ &\!&-{ 1\over 4}ab(c^2\!+\!d^2\!-\!(a\!+\!b)^2)+{1\over 2}abcd-{1\over 2}abcd\\ &\!=&{1\over 16}(a\!+\!b\!+\!c\!-\!d)(a\!+\!b\!+\!d\!-\!c)((c\!+\!d)^2\!\!-\!(a\!+\!b^2)) \!-\!{1\over 4}ab[c^2\!\!+\!d^2\!\!-\!2cd\!-\!(a\!+\!b)^2]\!-\!{1\over 2}abcd\\ &\!=&{1\over 16}(a+b+c-d)(a+b+d-c)((c+d)^2-(a+b)^2)\\ &\!&+{1 \over 4}ab(a+b+c-d) (a+b+d-c)-{1\over 2}abcd\\ &\!=&{1\over 16}(a+b+c-d)(a+b+d-c)((c+d)^2-(a+b)^2+4ab)-{1\over 2}abcd\\ &\!=&{1\over 16}(a+b+c-d)(a+b+d-c)(c+d-a+b)(c+d+a-b)-{1\over 2}abcd\\ \end{eqnarray*} 代回到 (2) \begin{eqnarray*} \triangle^2&=&{1\over 16}(a+b+c-d)(b+c+d-a)(c+d+a-b)(d+a+b-c)\\ &&-{1\over 2}abcd-{1\over 2}abcd \cos(B+D)\\ &=&{1\over 16}(a+b+c-d)(b+c+d-a)(c+d+a-b)(d+a+b-c)\\ &&-abcd \cos^2\Big({B+D\over 2}\Big)\\ &=&(s-a)(s-b)(s-c)(s-d)-abcd \cos^2\Big({B+D\over 2}\Big) \end{eqnarray*} 這是 Bretschneider 公式。 我第一次看到將 $\triangle$ 對角 $B$ 微分, 是在項武義老師的演講中, 他的講題是等周問題 (Isoperimetric Problem), 他寫下了 $$ \triangle{d\triangle\over dB}={1\over 4}\Big({dD\over dB}+1\Big)abcd\sin (B+D) $$ 然後, 他令 ${d\triangle\over dB}=0$, 得出 $\sin(B+D)=0$ 或者 $B+D=180^\circ$ 時, $\triangle$ 會有最大值。 他利用這個事實嘗試給等周問題一個比較幾何的證明 (當然, 他假設了等周問題是有解的) (註二)
他的證明如下: 不妨假設這個面積最大的情形是發生在一個凸的區域 (周長給定) (如圖四)
圖四(可移動B點)
任取四點, 連一個四邊形, 如果 $ABCD$ 不能內接於一圓, 那麼就可以調整角 $B$, 讓 $ABCD$ 的面積更大, 而注意到作這個調整的時候弧長 $AB$, $BC$, $CD$ 及 $DA$ 卻沒有改變。 因此, 如果這個凸區域在給定的周長之下具有最大面積的話, 那在邊上任取四點所成的四邊形都必須內接於一圓 , 不難證出, 這些圓根本就是同一個圓, 這個凸區域就是此圓的內部。 等周問題主張在周長一定的時候, 圓域的面積最大。 武義師的證明相當有啟發性。 (註三)
---本文作者曾任教於臺灣大學數學系, 現已退休---