40412 空間多邊形的幾個性質

終極密碼

遊戲規則:本遊戲為猜密碼的遊戲。密碼為0到100之間的其中1個整數,電腦會提示密碼的所在範圍,玩家必須在6次之內猜到密碼才能過關。
★ 終極密碼為0到100之間 ★
您共有六次機會

給出了正三角形和正五邊形的兩個性質, 文 對此作了進一步探究, 得到 (下面的表述與原文略有不同):

命題1 球 $O$ 的內接 $n$ 邊形 $A_1 A_2 \ldots A_n$ 各邊相等, $P$ 為空間中任意一點, 則向量 $\overrightarrow{A_1P}$、 $\overrightarrow{A_2P}$、$\ldots$、 $\overrightarrow{A_n\!P}$ 分別對應在向量 $\overrightarrow{A_1A_2}$、 $\overrightarrow{A_2A_3}$、$\ldots$、 $\overrightarrow{A_nA_{n+1}}$ 上的射影之和等於 $n$ 邊形 $A_1 A_2 \ldots A_n$ 的半周長(約定 $A_{n+1}=A_1$)。

命題2 $P$ 為圓內接多邊形 $A_1 A_2 \ldots A_n$ 所在平面內任意一點, 設點 $P$ 在邊 $A_iA_{i+1}$ 所在直線上的射影為 $B_i$ $(i=1,2,\ldots,n$, 約定 $A_{n+1}=A_1$), 則 $$\sum_{i=1}^n\overrightarrow{B_iA_i}\bullet\overrightarrow{A_iA_{i+1}}=\sum_{i=1}^n\overrightarrow{B_iA_{i+1}}\bullet\overrightarrow{A_iA_{i+1}}=\frac 12\sum_{i=1}^n|{A_iA_{i+1}}|^2. $$

本文擬將相關命題作進一步推廣。

引理: $\overrightarrow{OM_1}\bullet\overrightarrow{OM_2}=\dfrac 12(|OM_1|^2+|OM_2|^2-|M_1M_2|^2)$.

證明: $|M_1M_2|^2=\overrightarrow{M_1M_2}^2=(\overrightarrow{OM_1}-\overrightarrow{OM_2})^2=|OM_1|^2+|OM_2|^2-2\overrightarrow{OM_1}\bullet\overrightarrow{OM_2}$.
將上式略作變形即得引理中結論。$\tag*{$\Box$}$

上述引理其實就是餘弦定理的變形。 我們可用它將命題 2 推廣到任意空間多邊形, 即:

性質1: 對給定的空間多邊形 $A_1 A_2 \ldots A_n$ 和任意一點 $P$ 有 $$\sum_{i=1}^n(\overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i+1}})\!=\!\sum_{i=1}^n(\overrightarrow{A_{i+1}P}\bullet\overrightarrow{A_{i+1}A_i}) \!=\!\frac 12\sum_{i=1}^n|{A_iA_{i+1}}|^2 \hbox{(約定 $A_{n+1}=A_1$)}.$$ 圖 1 所示的是 $n=5$ 時的情形。

圖1

證明: 由引理有: \begin{eqnarray*} \overrightarrow{A_iP}\bullet\overrightarrow{A_i\!A_{i\!+\!1}}&=&\dfrac 12(|A_iA_{i+1}|^2+|A_iP|^2-|A_{i+1}P|^2) \end{eqnarray*} 在上式中令 $i$ 分別取 $1,2,\ldots,n$ 得 (注意 $A_{n+1}=A_1$): \begin{eqnarray*} \overrightarrow{A_1P}\bullet\overrightarrow{A_1A_2}&=&\dfrac 12(|A_1A_2|^2+|A_1P|^2-|A_2P|^2),\\ \overrightarrow{A_2P}\bullet\overrightarrow{A_2A_3}&=&\dfrac 12(|A_2A_3|^2+|A_2P|^2-|A_3P|^2),\\ &\vdots&\\ \overrightarrow{A_n\!P}\bullet\overrightarrow{A_nA_1}&=&\dfrac 12(|A_nA_1|^2+|A_nP|^2-|A_1P|^2), \end{eqnarray*} 將上面 $n$ 個等式累加可得: $$\sum_{i=1}^n\overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i\!+\!1}}=\frac 12\sum_{i=1}^n|{A_iA_{i+1}}|^2.$$ 同理可證另一個式子也等於此定值。$\tag*{$\Box$}$

由性質 1, 我們還可以證明下面的兩個性質:

性質2: 如圖1, 對給定的空間多邊形 $A_1 A_2 \ldots A_n$ 和空間中任意一點 $P$, 邊 $A_iA_{i+1}$ 的中點為 $M_i$ $(i=1,2,\ldots,n)$, 則 $$\sum_{i=1}^n \overrightarrow{M_i\!P}\bullet\overrightarrow{A_iA_{i\!+\!1}}=0, \qquad \hbox{(約定 $A_{n+1}=A_1$)}.$$

證明: 由性質 1 中 $$\sum_{i=1}^n (\overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i\!+\!1}})=\sum_{i=1}^n (\overrightarrow{A_{i\!+\!1}P}\bullet\overrightarrow{A_{i\!+\!1}A_i}) \quad\hbox{有}\quad \sum_{i=1}^n (\overrightarrow{A_iP}+\overrightarrow{A_{i\!+\!1}P})\bullet\overrightarrow{A_iA_{i\!+\!1}}=0 .$$ 而邊 $A_iA_{i+1}$ 的中點為 $M_i$, 則 $\overrightarrow{A_iP}+\overrightarrow{A_{i\!+\!1}P}=2\overrightarrow{M_i\!P}$, 代入上式即知結論成立。$\tag*{$\Box$}$

性質3: 如圖1, 對給定的空間多邊形 $A_1 A_2 \ldots A_n$ 和空間中任意一點 $P$, 設點 $P$ 在邊 $A_iA_{i+1}$ 所在直線上的射影為 $B_i$ $(i=1,2,\ldots,n)$, 則 $$\sum_{i=1}^n |A_iB_i|^2=\sum_{i=1}^n |A_{i+1}B_i|^2, \qquad \hbox{(約定 $A_{n+1}=A_1$)}.$$

證明: 由題設知:有向線段 $\overline{A_iB_i}$ 是向量 $\overrightarrow{A_iP}$ 在向量 $\overrightarrow{A_iA_{i\!+\!1}}$ 上射影, 所以 \begin{eqnarray*} \overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i\!+\!1}}&=&\overline{A_iB_i}\bullet \overline{A_iA_{i+1}}=\overline{A_iB_i}\bullet(\overline{A_iB_i}+\overline{B_iA_{i+1}})\\ &=&\overline{A_iB_i}^2+\overline{A_iB_i}\bullet\overline{B_iA_{i+1}}=|A_iB_i|^2-\overline{A_iB_i}\bullet\overline{A_{i+1}B_i}, \end{eqnarray*} 則 \begin{eqnarray*} \sum_{i=1}^n \overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i\!+\!1}}&=&\sum_{i=1}^n|A_iB_i|^2-\sum_{i=1}^n (\overline{A_iB_i}\bullet\overline{A_{i+1}B_i}). \end{eqnarray*} 同理有 \begin{eqnarray*} \sum_{i=1}^n \overrightarrow{A_{i\!+\!1}P}\bullet\overrightarrow{A_{i\!+\!1}A_i}&=&\sum_{i=1}^n|A_{i+1}B_i|^2-\sum_{i=1}^n (\overline{A_iB_i}\bullet\overline{A_{i+1}B_i}). \end{eqnarray*} 而由性質 1 知上述兩等式的左側相等, 再將右側相同部分抵消即知: $$\sum_{i=1}^n |A_iB_i|^2=\sum_{i=1}^n |A_{i+1}B_i|^2.\tag*{$\Box$}$$

注: 由勾股定理知:$|A_iB_i|^2=|A_iP|^2-|B_iP|^2$, $|A_{i+1}B_i|^2=|A_{i+1}P|^2-|B_iP|^2$, 令 $i=1,2,\ldots,n$ 再累加求和也可證明此性質。

下面我們用性質 1 將命題 1 作進一步推廣。

性質4: 若空間多邊形 $A_1 A_2 \ldots A_n$ 各邊相等, $P$ 為空間中任意一點, 則向量 $\overrightarrow{A_1P}$、 $\overrightarrow{A_2P}$、 $\ldots$、 $\overrightarrow{A_n\!P}$ 分別對應在向量 $\overrightarrow{A_1A_2}$、 $\overrightarrow{A_2A_3}$、$\ldots$、$\overrightarrow{A_nA_{n+1}}$ 上的射影之和等於多邊形 $A_1,A_2$, $\ldots$, $A_n$ 的半周長 (約定 $A_{n+1}=A_1$)。

證明: 設空間多邊形 $A_1 A_2 \ldots A_n$ 的邊長為 $a$, 由性質 1 得 $$\sum_{i=1}^n \overrightarrow{A_iP}\bullet\overrightarrow{A_iA_{i\!+\!1}}=\dfrac 12\sum_{i=1}^n|A_iA_{i+1}|^2=\frac 12 na^2.$$ 而另一方面, 如圖 1, $\overrightarrow{A_iP}$ 在 $\overrightarrow{A_iA_{i\!+\!1}}$ 上射影 $$\overline{A_iB_i}=\frac{\overrightarrow{A_iP}\bullet \overrightarrow{A_iA_{i\!+\!1}}}{|\overrightarrow{A_iA_{i\!+\!1}}|}=\frac 1a(\overrightarrow{A_iP}\bullet \overrightarrow{A_iA_{i\!+\!1}}).$$

則諸射影之和 $$\sum_{i=1}^n \overline{A_iB_i}=\sum_{i=1}^n \frac 1a(\overrightarrow{A_iP}\bullet \overrightarrow{A_iA_{i\!+\!1}})=\frac 1a\sum_{i=1}^n (\overrightarrow{A_iP}\bullet \overrightarrow{A_iA_{i\!+\!1}})=\frac 1a\times \frac 12na^2=\frac 12 na.$$

注: 同理有 $\overrightarrow{A_2P}$、 $\overrightarrow{A_3P}$、 $\ldots$、 $\overrightarrow{A_{n+1}\!P}$ 分別對應在向量 $\overrightarrow{A_2A_1}$、 $\overrightarrow{A_3A_2}$、$\ldots$、 $\overrightarrow{A_{n+1}A_n}$ 上的射影之和也等於多邊形 $A_1 A_2 \ldots A_n$ 的半周長(約定 $A_{n+1}=A_1$)。

與性質 4 類似, 結合性質 2 可推得:

性質5: 若空間多邊形 $A_1 A_2 \ldots A_n$ 各邊相等, $P$ 為空間中任意一點, 邊 $A_iA_{i+1}$ 的中點為 $M_i$ $(i=1,2,\ldots,n$), 則向量 $\overrightarrow{M_1P}$、 $\overrightarrow{M_2P}$、$\ldots$、 $\overrightarrow{M_nP}$ 分別對應在向量 $\overrightarrow{A_1A_2}$、 $\overrightarrow{A_2A_3}$、$\ldots$、 $\overrightarrow{A_nA_{n+1}}$ 上的射影之和為零 (約定 $A_{n+1}=A_1$)。

的性質 2 可推廣為:

性質6: 若空間多邊形 $A_1 A_2 \ldots A_n$ 各邊相等, 空間中一點 $P$ 在邊 $A_iA_{i+1}$ 所在直線上的射影為 $B_i$ 且 $B_i$ 在線段 $A_iA_{i+1}$ 之內, $\triangle PA_iB_i$ 的內切圓半徑為 $r_{2i-1}$, $\triangle PA_{i+1}B_i$ 的內切圓半徑為 $r_{2i}$ ($i=1, 2, \ldots, n)$, 則 $\sum\limits_{i=1}^n r_{2i-1}=\sum\limits_{i=1}^n r_{2i}$ (約定 $A_{n+1}=A_1$)。

事實上, 直角三角形的內切圓半徑容易用邊表示出來, 再累加求和之後由性質 4 可推出性質 6 成立。 具體證明過程與文 相同, 此處略。

參考資料

劉步松。正三角形和正五邊形的兩個性質。數學傳播季刊, 36(1), 93-96, 2012。 吳波。各邊相等的球內接多邊形的兩個性質。數學傳播季刊, 37(4), 94-96, 2013。 徐道。正三角形一個性質的推廣。數學通報, 53(1):55-57, 2014。 寇恒清。正多邊形一個性質的簡證與再推廣。數學通報, 53(11), 58-59, 2014。

---本文作者任教重慶市長壽龍溪中學---

文章 推薦

電腦模擬與賭局

假設玩家A和B進行賭博。玩家A有m元,玩家B則有n元,然後擲1個公正的硬幣。如果出現正面就算玩家A贏,反面就算玩家B贏。每次賭注都是1元,如果A贏則A變m+1元、而B變n−1元,並稱此為1回合。雙方不斷地進行賭博,直到某方的錢歸零為止。在這個賭博中,有以下兩個問題:(1)玩家A和玩家B贏的機率各是多少?(2)每投1次硬幣決勝負,都稱為1回合,平均要幾回合,賭局才會結束(某方錢輸光)?....閱讀更多