考慮線段$\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*}
(證明終了)
沒有留言:
張貼留言