顯示具有 平面幾何 標籤的文章。 顯示所有文章
顯示具有 平面幾何 標籤的文章。 顯示所有文章

2019年10月15日 星期二

只用中點公式、不用分點公式,推導重心座標公式

眾所皆知,在座標平面上給定相異兩點$A = (x_1, y_1), B = (x_2, y_2)$,設$\overline{AB}$之中點為M,則容易知道中點M的座標為$\left( \frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2} \right)$,此稱為「中點公式」。若以更簡單的方式書寫,可記為
$$M = \frac{A + B}{2}.$$ 口訣為「兩點相加除以二」。

一般地,同樣給定相異兩點$A = (x_1, y_1), B = (x_2, y_2)$,再設$\overline{AB}$上有一點P滿足$\overline{AP}: \overline{PB} = m: n$,於是我們可以求出P點的座標為
$$P = \left( \frac{nx_1 + mx_2}{m + n}, \frac{ny_1 + my_2}{m + n} \right).$$ 此稱為「分點公式」。記憶的方式很多,最簡單的方法之一是與物理的力矩概念相結合。

然而我們(數學老師)終究得承認,分點公式對於大部分的高中生來說,其實真的很難記,特別是比例常數交叉,在多數人頭腦裡,根本無法想像。在某些特殊情況,學生光是能記熟中點公式(相加除以二),我們可能就會阿彌陀佛、額手稱慶。

(阿彌陀佛姊支援!)

現在進入正題。

給定座標平面上不共線三點$A = (x_1, y_1), B = (x_2, y_2), C = (x_3, y_3)$,命$\triangle ABC$的重心為G,則G的座標為
$$G = \left( \frac{x_1 + x_2 + x_3}{3}, \frac{y_1 + y_2 + y_3}{3} \right).$$ 若以更簡單的方式書寫,可記為
$$G = \frac{A + B + C}{3}.$$ 口訣為「三點相加除以三」。

證明不難,不過幾乎所有教學都用了分點公式。譬如我的朋友許淵智老師的影片。


一個問題:可不可以不要用分點公式?

我在昨天教廖阿嫆的時候,突然想出了一個方法,這裡野人獻曝,請大家參考批評。

取$\overline{BC}$的中點D,於是由中點公式有$D = \frac{B + C}{2}$。

由國中幾何知識有$\overline{AG}: \overline{GD} = 2: 1$。我們取$\overline{AG}$的中點H,一樣由中點公式有$H = \frac{A + G}{2}$。

注意到此時重心G會是$\overline{HD}$的中點,所以由中點公式有$G = \frac{H + D}{2}$。

將前面推導的式子$D = \frac{B + C}{2}$與$H = \frac{A + G}{2}$代入方才推出的式子$G = \frac{H + D}{2}$,我們得到
\begin{eqnarray*}  && G =  \frac{\frac{A + G}{2} + \frac{B+ C}{2}}{2} \\ &\Rightarrow& 2G = \frac{A + G + B + C}{2} \\ &\Rightarrow& 4G = A + G + B + C \\ &\Rightarrow& 3G = A + B + C \\ &\Rightarrow& G = \frac{A + B + C}{3}. \end{eqnarray*}
(證明終了)

雕蟲小技,不足掛齒,我想我應該不是第一個想到的。但Google搜尋「重心座標公式推導」的結果的前幾頁都沒看到這樣的作法,所以應該還是值得寫一篇短文與大家分享。

2019年1月14日 星期一

東京大學,1961,文科/理科,前期,第4題:線段分割二比一,求中心小三角形面積

問題


設$\triangle ABC$的三邊$\overline{BC}, \overline{CA}, \overline{AB}$上頭分別有點$L, M, N$使得$\displaystyle \frac{BL}{LC}=\frac{CM}{MA}=\frac{AN}{NM}=\frac{1}{2}$,其中$\overline{AL}$與$\overline{CN}$交點為$P$,$\overline{AL}$與$\overline{BM}$交點為$Q$,$\overline{BM}$與$\overline{CN}$交點為$R$。試求出$\triangle PQR$與$\triangle ABC$的面積比。


解答1 (國中) 綜合幾何法


  1. 證明三角形共邊關係:$\triangle ANC : \triangle LNC = \overline{AP} : \overline{LP}$。
  2. 證明:$\overline{AP} : \overline{LP} = 3 : 4$。
  3. 證明:$\triangle LBM : \triangle ABM = \overline{LQ} : \overline{AQ}$。
  4. 證明:$\overline{LQ} : \overline{AQ} = 1 : 6$。
  5. 證明:$\overline{AP} : \overline{PQ} : \overline{QL} = 3 : 3 : 1$。
  6. 證明:$\triangle ABQ = \frac{2}{7} \triangle ABC$。
  7. 討論$\triangle BCR$與$\triangle ABC$的關係。
  8. 討論$\triangle CAP$與$\triangle ABC$的關係。
  9. 求出$\triangle PQR$與$\triangle ABC$的面積比。

解答2 (高中) 向量法

  1. 設$\overrightarrow{AL} = s_1 \overrightarrow{AB} + t_1  \overrightarrow{AC}$,試利用分點公式求出$s_1 ,t_1$之值。
  2. 設$\overrightarrow{AP} = s_2 \overrightarrow{AN} + t_2 \overrightarrow{AC}$,試利用平行關係及分點公式求出$s_2 ,t_2$之值。
  3. 將$\overrightarrow{BQ}$表示為$\overrightarrow{BC}$與$\overrightarrow{BA}$的線性組合。
  4. 將$\overrightarrow{CR}$表示為$\overrightarrow{CA}$與$\overrightarrow{CB}$的線性組合。
  5. 將$\overrightarrow{PQ}$表示為$\overrightarrow{AB}$與$\overrightarrow{AC}$的線性組合。
  6. 將$\overrightarrow{PR}$表示為$\overrightarrow{AB}$與$\overrightarrow{AC}$的線性組合。
  7. 根據三角形的行列式面積公式有$\triangle ABC = \frac{1}{2} \left| \det \left( \overrightarrow{AB}, \overrightarrow{AC} \right) \right|, \triangle PQR = \frac{1}{2} \left| \det \left( \overrightarrow{PQ}, \overrightarrow{PR} \right) \right|$。試利用行列式的性質求出$\triangle PQR$與$\triangle ABC$的面積比。

參考資料


評:該網站作者的解法頗複雜啊...原因在於他的向量解法只用半套,解出了邊長比後,又回去傳統的面積比、線段比解法,太繁瑣(笨)。如果要用向量玩到底,就應該引入行列式進來,把這道題目完全(向量)代數化,僅靠純粹的展開計算就可以得到答案。


2018年3月16日 星期五

任意三角形任二邊之中垂線必相交於一點

摘要

本文使用Serge Lang所著Geometry一書中的公設與定理來推導出「三角形任二邊之中垂線必相交於一點」,從而為外心的存在性(Theorem 5-2, p.128)建立論證基礎。

1. 要使用的定義、公設與定理

  • 直線公設LIN (p.1):平面上兩相異點決定唯一直線。
  • 直線$L$與直線$K$相交的部分以$L \cap K$表示。
  • 兩直線平行的定義 (p.2):兩直線互相平行$\Leftrightarrow$兩線重合或兩線不相交。
  • 平行線基本公設,PAR1 (p.3):若兩直線不平行,則兩直線必相交於一點。
  • 線段與直線相垂直的定義 (p.36):某線段與某直線垂直$\Leftrightarrow$該線段所在直線與另一直線相垂直。
  • 垂線基本公設,PERP2 (p.37):若兩直線互相平行,而第三條直線(截線)與前兩線其中一條相垂直,則截線與另一直線亦垂直。
  • Theorem 1-2 (p.37):若兩直線同時與第三條直線(截線)垂直,則原來兩直線互相平行。

2. 定理及其論證


定理:任意三角形任二邊之中垂線必相交於一點。

[證]:假定所討論之三角形為$\triangle ABC$,其中$\overline{AB}$的中垂線為$L_1$,$\overline{BC}$的中垂線為$L_2$,從而$L_{AB} \perp L_1$且$L_{BC} \perp L_2$。

$L_1$與$L_2$的關係只有3種可能,且一定有1種會成立:
(i) $L_1 = L_2$; 
(ii) $L_1 \neq L_2$,且$L_1 \parallel L_2$;
(iii) $L_1 \neq L_2$,且$L_1$與$L_2$不平行。 
以下說明情況(i)與情況(ii)都不可能發生。


如果情形(i)成立,則得$L_{AB} \perp L_1$且$L_{BC} \perp L_1$,也就是$L_{AB}$與$L_{BC}$同時垂直於$L_1$。

由Theorem 1-2得$L_{AB} \parallel L_{BC}$。($L_1$此時扮演定理中截線的角色)

但由於$B \in \overline{AB} \cap \overline{BC}$,也就是$L_{AB}$與$L_{BC}$至少有1交點$B$,因此由平行之定義可得$L_{AB} = L_{BC}$,故$A, B, C$三點共線。

然而此與$A, B, C$三點可構成三角形之前提相矛盾,所以情形(i)不可能成立。



如果情形(ii)成立。由$L_{AB} \perp L_1$根據垂線基本公設PERP2有$L_{AB} \perp L_2$。($L_{AB}$此時扮演公設中截線的角色)

而本來即有$L_{BC} \perp L_2$,故此時$L_{AB}$與$L_{BC}$皆與$L_2$垂直,所以由Theorem 1-2得$L_{AB} \parallel L_{BC}$。($L_2$此時扮演定理中截線的角色)

但由於$B \in \overline{AB} \cap \overline{BC}$,也就是$L_{AB}$與$L_{BC}$至少有1交點$B$,因此由平行之定義可得$L_{AB} = L_{BC}$,故$A, B, C$三點共線。

然而此與$A, B, C$三點可構成三角形之前提相矛盾,所以情形(ii)不可能成立。


由以上討論可知情形(i)與情形(ii)皆不可能發生,故兩中垂線之相對關係必為情形(iii),即$L_1$與$L_2$必相交於一點。

(證明終了)

3. 參考資料


[1] Serge Lang, Geometry (2nd edn.), Springer-Verlag

2018年3月13日 星期二

三角形ASA全等判定法則的一則探險故事

198X年,知名考古學家暨探險家印第安那瓊斯博士收到法國神秘富豪阿布拉都·鐵托三世的委任,要到中南美洲的瑪雅羽蛇神廟探險,目標是神祕的羽蛇神之眼。


印第安那瓊斯收到消息後,立刻撥了通電話到台灣,邀請了多年好友,在新竹清華大學數學系做研究的周伯欣一同到中南美洲去探險。


接到印第安那瓊斯的邀請,周伯欣當然義不容辭立刻就答應了。於是兩人便在香港大嶼山機場碰面,一同乘坐國泰航空C863航班,直達位於中南美洲瑪雅遺跡入口的國家---貝里斯。


在經歷重重犯難後,兩人終於進入了羽蛇神廟的最內部。遺跡內部的神龕只能容許一人側身進入,經過討論,印第安那瓊斯博士決定自己進入,請周伯欣在神龕門口守著。然而神龕裏頭有重重機關,若沒有按著正確的路徑進去,那麼四周牆上設置的機關會立刻射出數以萬計的毒箭,同時天花板會立刻崩塌。另外,神龕中鋪設的每一塊石磚,下方都有精密的測重機關。如果踏上去後,只要重量不對,一樣會引發毒箭機關。


在這情況限制下,印地安納博士無法拿著紀錄神龕裡頭正確路徑的「詛咒的陶板」進入神龕。他將「詛咒的陶板」交給了周伯欣,隻身一人,只拿著一支火把便進入神龕了。兩人透過無線電確認路徑。

「伯欣,我現在走進了神龕了,地上有三條『橫』線,長度都不一樣,我該選擇哪一條?」

「OK,印第,我看看。嗯...你選擇中間那一條走。走5塊石磚就好。」

「好,我看到了。」

「小心!你一定要從左邊緩步走到右邊,確認那一條橫線上的每一塊石磚都完全的踩下。千萬不要踩出線外!」


「好...這難不倒我。」

約莫過了三十秒。

「印第,現在狀況如何?」

「我走完那一條線了,每一塊石磚應該都有被踩下。至少我現在還能講話。喔,shit,接著我該如何走?這地上有相當多路徑!Fuck,我好像踩到他媽的什麼機關...一股強風吹了過來,他媽的火把被吹熄了!」

「印第,別慌。我看看。喔!快,拿起你的手槍,往你前方偏左30度的方向開槍,那應該有辦法點燃神廟盡頭的那一排油燈。」

「好,來吧!」

砰的一聲,隨之從神龕裡傳來陣陣回音。

「印第?印第?」

「真有你的,亮了亮了。但是現在我才發現,我所在位置不能再往前了。前頭地上都是荊棘,現在沒時間處理它們。而且,羽蛇神之眼就在那些油燈底下,而油燈有好幾個?」

「你先退回來,慢慢回到橫線一開始的起點位置。油燈有幾個?」

「我看到七個。」

「怪了,『詛咒的陶板』上頭畫著九個!」

「那我他媽的怎麼知道要選哪一個?每個油燈底下都有路徑通過去?該走哪一條?」

「嗯...從左數來第三個!」

「你確定?但是你忘了圖上記載的個數與我看到的不一樣啊!」

「啊,對,差點害死你了!我想想...對,你站回起點了吧?面向前方,走你前方偏右45度的方向,那應該就行了!」

「你真是他媽的聰明!」

「快,印第,外頭的鷹嘴神像沙漏的沙要漏光了,你所剩時間不多了!」


「OK,我要得手了。把繩子拋進來!」

不到十秒鐘,神廟天花板開始震動,似乎就要崩塌下來了。


「印第!」

「抓住!」

周伯欣一把接住印第安那瓊斯博士從神龕裡丟出的羽蛇神之眼,就在神龕天花板即將崩塌之際,印第安那瓊斯總算在最後一刻爬出了神龕。兩人命也沒似的一般拔腿狂奔。總算完成了奪寶任務。

2018年2月2日 星期五

圓內最長的弦為直徑


  • 以下參考書籍均為S. Lang, "Geometry (2nd ed)"。

先複習我們要使用的公設。

==公設==(DIST 2,距離基本公設2)


P. 8, Line 19

For any points P, Q, we have $d(P, Q) = d(Q, P)$.

[譯文]:

對於平面上任意兩點$P, Q$,恆有$d(P, Q) = d(Q, P)$。

==公設==(SEG,線段長度公設)


P. 9, Line 9

Let $P, Q, M$ be points. We have $d(P, M) = d(P, Q) + d(Q, M)$ if and only if $Q$ lies on the segment between $P$ and $M$.

[譯文]

設$P, Q, M$為(平面上)任意三點。關係式$d(P, M) = d(P, Q) + d(Q, M)$成立若且唯若$Q$在由$P$和$M$連成的線段上。

==定理==


圓內最長的弦為直徑。

==證明==


設圓心為$P$,半徑長為$r$。今任取圓上任意兩點$X$與$Y$,根據習題1.2.8 (P. 11)[或習題1.4.7 (P. 34)],我們有
$$
d(X, Y) \leq 2r.
$$

請注意,$2r$正是直徑的長度。

$d(X, Y) \leq 2r$意味著圓上任意一條弦的長度必定不比直徑長。

然而我們要追問的是,如果一根弦的長度為$2r$,那麼這根弦必定是直徑嗎?

如今假定弦$\overline{XY}$的長度為$2r$,於是便有
\begin{eqnarray*}
d(X, Y)
&=& 2r \\
&=& r + r \\
&=& d(X, P) + d(Y, P)
\end{eqnarray*}
根據公設DIST 2,得
$$
d(X, Y) = d(X, P) + d(P, Y).
$$
根據公設SEG,$P$必在線段$\overline{XY}$上。根據直徑的定義,線段$\overline{XY}$是直徑。

(證明終了)

2018年2月1日 星期四

圓盤是凸的

==定義==(凸性)


設$\Gamma$為平面上的非空點集,若對於$\Gamma$中的任意點$X, Y$恆有$\overline{XY} \subset \Gamma$,則稱$\Gamma$是「凸的」。

更形象化來說,就是如果圖形$\Gamma$中任意兩點所連成的線段都會完全地落在$\Gamma$裡頭,那麼就說$\Gamma$是凸的。

==定義==(圓盤Disc)


設$P$為平面上任意一點,$r$為任意正數。我們稱點集
$$D(P, r) = \left\{ X | d(X, P) \leq r \right\}$$
為以$P$為圓心、$r$為半徑長的圓盤(disc)。

==定理==


圓盤是凸的。

==證明==


設$X, Y$為圓盤$D(P, r)$中的任意兩點。

我們這裡只討論$X \neq Y$的情況,因為$X =Y$的情況是無聊的(trivial)。

根據圓盤的定義有$d(X, P) \leq r$以及$d(Y, P) \leq r$。

設$Z$為線段$\overline{XY}$上的任意一點。命$\lambda = \frac{\overline{XZ}}{\overline{XY}}$,於是$\lambda \in [0, 1]$,而$Z = X + \overrightarrow{XZ} = X + \lambda \overrightarrow{XY} = X + \lambda \left( Y - X \right) = (1 - \lambda) X + \lambda Y$。

於是
\begin{eqnarray*}
d(Z, P)
&=& d\left( (1 - \lambda) X + \lambda Y, P \right) \\
&\leq& d\left( (1 - \lambda) X + \lambda Y, \lambda Y + (1 - \lambda) P \right) + d\left( \lambda Y + (1 - \lambda) P , P \right) \\
&=& (1 - \lambda) d\left( X, P \right) + \lambda d(Y, P) \\
&\leq& (1 - \lambda) r + \lambda r\\
&=& r \\
\end{eqnarray*}
(證明終了)

2016年10月6日 星期四

中垂線判別法

=中垂線判別法=

考慮$\overline{AB}$及一點$P$,若有$\overline{PA}=\overline{PB}$,則$P$必在$\overline{AB}$的中垂線上。

換句話說,若是某點與某線段的兩端點等距,則該線段的中垂線必定穿過某點。

=證明=

若$P$在$\overline{AB}$上,那麼$P$顯然是$\overline{AB}$的中點,當然也就會在$\overline{AB}$的中垂線上。這是一個極端trivial的情況。

以下討論$P$在$\overline{AB}$上的情況。

取$\overline{AB}$的中點為$M$,考慮$\triangle PAM$及$\triangle PBM$。由於$\overline{PA}=\overline{PB}, \overline{PM}=\overline{PM}, \overline{AM}=\overline{BM}$,所以$\triangle PAM \cong \triangle PBM$(SSS全等)。又$\overline{AM}$與$\overline{BM}$同在$\overline{AB}$上,所以有

\begin{eqnarray*}
90^{\circ}
&=& \frac{1}{2} \times 180^{\circ} \\
&=& \frac{1}{2} \times (\angle PMA + \angle PMB) \\
&=& \frac{1}{2} \times (\angle PMA + \angle PMA) \\
&=& \frac{1}{2} \times 2 \angle PMA \\
&=& \angle PMA
\end{eqnarray*}

所以$P, M$所決定之直線為$\overline{AB}$的中垂線(通過$\overline{AB}$的中點M,且與$\overline{AB}$垂直)。

(證明終了)

中垂線性質

=中垂線性質=

考慮線段$\overline{AB}$,設$L$為其中垂線。若$P$為$L$上任一點,則$\overline{PA}=\overline{PB}$。

換句話說,中垂線上任一點到線段兩端點等距。

=證明=

假設$\overline{AB}$的中點為$M$。顯然有$\overline{MA}=\overline{MB}$。所以以下討論$P \neq M$之情況。

考慮$\triangle PMA$與$\triangle PMB$,皆為直角三角形,其中$\overline{MA}=\overline{MB}$且$\overline{PM}$為共用邊。應用商高定理(Pythagoras' theorem),得

\begin{eqnarray*}
\overline{PA}
&=& \sqrt{\overline{MA}^2 + \overline{PM}^2} \\
&=& \sqrt{\overline{MB}^2 + \overline{PM}^2} \\
&=& \overline{PB}
\end{eqnarray*}

(證明終了)