一、研究動機

高三時偶然遇到一個學測模擬考題目, 感覺非常有趣, 題目敘述如下：

如果 $\triangle ABC$ 在 $\overline{BC}=5$, $\angle B= \angle C+40^\circ$ 之下, 對每一個 $\angle B$ 的 $\triangle ABC$ 是否唯一。

以考試來說, 這題解完就結束了, 但考完後驀然回首, 感覺我有需要用更加嚴謹的方法證明這件事情, 於是著手這次研究。

在高中數學裡討論到平面上相異兩定點 $F_1$ 、 $F_2$, 設點 $P$ 為平面上另一點, 使得 $P$ 到此兩點的距離差的絕對值為定值 $2a$, 當 $0\lt2a\lt\overline{F_1 F_2}$ 時, $P$ 點所成圖形為一雙曲線, 但是沒有討論過使得 $| \angle PF_1 F_2- \angle PF_2 F_1 |$ 為一個定值, 這是我感興趣的議題。 在研究時, 寫出參數式, 並利用 GeoGebra 作圖, 跑出來的美麗曲線看起來很有學術價值, 而且非常簡單非常美, 我稱之等角差線, 於是除了找到唯一性外, 我試圖找出有關等角差線如漸近線和一些性質在此篇舉隅。

二、定義符號與座標系

Definition 1. 等角差線 $\Gamma_\alpha^l$。

$\triangle ABC $, $\overline{BC}=l$, $\angle B= \angle C+\alpha$ $(0\lt\alpha\lt\pi )$, 我們稱動點 $A$ 之軌跡為 $\overline{BC}=l$ 時之 $\alpha$ 等角差線 $\Gamma_\alpha^l$, 如果 $l=1$ 可以簡寫成 $\Gamma_\alpha$。 此篇中 $\alpha$ 都在 $0\lt\alpha\lt\pi$ 的範圍內。

Definition 2. $x_{\rm max}$。

$x_{\rm max}$ 為 $\Gamma_\alpha^l$ 上 $\dfrac{dx}{dy}=0$ 或 $x$ 對角度微分為 0 的點 $x$ 座標 (通常一條等角差線有兩點)。

Definition 3. 建立座標系。

$B$ 為原點, $\overleftrightarrow{BC}$ 為 $x$ 軸且 $\overrightarrow{BC}$ 方向為正, $A$ 於 $\overleftrightarrow{BC}$ 之上, 作一直角座標系, 如圖 1

圖 1 是把 $l$ 當作 1 作圖, 且 $\overline{AD}\bot \overline{BC}$, $D$ 在 $\overline{BC}$ 上。

三、參數式與示例圖

利用圖 1, 經過運算, 我們可得 $\Gamma_\alpha^l$ 之 $x,y$ 之 $\theta$ 參數式: $$ x \tan( \theta +\alpha)=y=(l-x)\tan\theta\Rightarrow\left\{ \begin{array}{l} x=\dfrac{l \tan\theta}{\tan(\theta +\alpha)+\tan\theta},\\[12pt] y=\dfrac{l \tan\theta\tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta}.\end{array}\right.$$

圖 2 為 $l=1$, $\alpha=\pi /6$ 的情況, 即 $\Gamma_{\pi /6}$。

明顯能看出有兩點對 $y$ 微分為零, 即有兩個 $x_{\rm max}$。

這個圖形似乎對點 $(0.5,0)$ 有點對稱的性質, 為了能夠方便找到更多性質, 我將 $\Gamma_\alpha^l$ 的參數式稍作修改如下: $$\Gamma_\alpha^l:\left\{ \begin{array}{l} x=\dfrac{l \tan\theta}{\tan( \theta +\alpha)+\tan\theta}-\dfrac l2,\\[12pt] y=\dfrac{l \tan\theta\tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta},\end{array}\right.$$ 因此 $\triangle ABC$ 向左平移 $\dfrac l2$, 往後也用這個參數式討論。

四、唯一性的證明

Theorem 1. 已給定 $\triangle ABC$ 之$\overline{BC}$ 與 $\alpha$, $\forall\, \theta$ $(0\le \theta \le \beta)$, 存在不同 $\triangle ABC$ (即原題目所求), 其中定義 $\beta =\dfrac{\pi -\alpha}2\,$。

因為 $\angle A\ge 0$, 故 $$ \angle B+ \angle C\le \pi\ \Rightarrow\ (\theta +\alpha)+\theta =2\theta +\alpha\le \pi \Rightarrow \theta \le \frac{\pi -\alpha}2,$$ $\forall \ \triangle ABC $, $\exists\, y$ 為過 $A$ 交於 $\overleftrightarrow {BC}$ 之 $\triangle ABC$ 之高, 現在我們證明, 對於任一滿足條件之 $\theta $, 總能找到唯一的 $y$ (即 $y$ 為 $\theta$ 的單射函數) $$\dfrac{dy}{d\theta}=\frac{l\cdot (\sec(\theta +\alpha)\tan\theta)^2+(\sec\theta\tan(\theta +\alpha))^2}{(\tan(\theta +\alpha)+\tan\theta)^2}\ge 0.$$

$\dfrac{dy}{d\theta} =0$ 時,

$$\left\{ \begin{array}{l} \sec( \theta +\alpha)\tan\theta =0, (1)\\[12pt] \sec\theta \tan( \theta +\alpha)=0, (2)\end{array}\right.$$

只有在 $\theta$ 或 $\theta +\alpha=n\pi$ $(n\in Z)$ 時, $\tan\theta$ 或 $\tan(\theta +\alpha)=0$ 成立, 即分別 (1) 或 (2) 成立, 因為 $0\le \theta \le\beta $, $\alpha\le \theta +\alpha\le \beta +\alpha\lt\pi $, 所以只有 $\theta =0$ 時 (1) 成立, 而因為 $\tan\alpha\gt0$, $\sec 0=1$, 故 (2) 不成立。

$\therefore \, \dfrac{dy}{d\theta} \!\gt\!0$, 可知在 $0\!\le\! \theta \!\le\!\beta$ 之下(在此僅討論原題), $y$ 對 $\theta$ 為嚴格遞增, 故 $y$ 為 $\theta$ 的單射函數,

QED.

五、奇函數性質與漸近線

接下來的討論都是廣義三角的範圍, 從參數式易知其 $\pi$ 為一循環的性質, 另外負角度也可以納入運算。

Lemma 1. $\Gamma_\alpha^l$ 是奇函數曲線, 在兩角度相加為 $2\beta$ 時符合奇函數特徵。

令 $\phi$, $$\phi=2\beta -\theta =\pi -\alpha-\theta.$$ 我分成 $x,y$ 來討論, 現證 $\phi$ 和 $\theta$ 時 $x,y$ 之值分別相加為零, 即互為相反數。

\begin{align*} &\hskip -25pt x:\Big(\frac{l \tan\theta}{\tan( \theta +\alpha)+\tan\theta}-\frac l2\Big)+\Big(\frac{l \tan\phi}{\tan(\phi+\alpha)+\tan \phi}-\frac l2\Big)\\ =&\frac{l\tan\theta}{\tan( \theta +\alpha)+\tan\theta}+\frac{l \tan( \pi -\alpha-\theta )}{\tan( \pi -\theta )+\tan( \pi -\alpha-\theta )}-l\\ =&\frac{l\tan\theta}{\tan( \theta +\alpha)+\tan\theta}+\frac{-l \tan( \alpha+\theta )}{-\tan\theta -\tan( \alpha+\theta )}-l\\ =&\frac{l\tan\theta}{\tan( \theta +\alpha)+\tan\theta}+\frac{l \tan( \alpha+\theta )}{\tan( \theta +\alpha)+\tan\theta}-l=0,\\ &\hskip -25pt y:\frac{l\tan\theta\tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta}+\frac{l \tan\phi\tan(\phi+\alpha)}{\tan(\phi+\alpha)+\tan\phi}\\ =&\frac{l\tan\theta \tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta}+\frac{l \tan( \pi -\alpha-\theta )\tan(\pi -\theta )}{\tan( \pi -\theta ) +\tan( \pi -\alpha-\theta )}\\ =&\frac{l\tan\theta \tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta}+\frac{l \tan( \alpha+\theta )\tan \theta}{-\tan\theta -\tan( \alpha+\theta )}\\ =&\frac{l\tan\theta \tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta}-\frac{l\tan\theta \tan( \theta +\alpha)}{\tan( \theta +\alpha)+\tan\theta }=0, \end{align*}

因為 $\Gamma_\alpha^l$ 的 $x,y$ 值在 $\phi$ 和 $\theta$ 時分別相加為零, 故 $\Gamma_\alpha^l$ 為一奇函數曲線。

Theorem 2. $\Gamma_\alpha^l$ 之漸近線為$$y=-\tan\beta x\ \hbox{和}\ y=\cot\beta x.$$

Case 1. $y=-\tan\beta x$.

設等角差線 $ \Gamma_\alpha^l$ 原 $x,y$ 分量分別表示成 $x',y'$, 而旋轉變換後 $x,y$ 分量分別表示成 $x'',y''$ 分量。

將原等角差線用旋轉矩陣旋轉 $\beta$ 角

\begin{align*} &\left[\begin{array}{ccc} \cos\beta &&-\sin\beta \\ \sin\beta &&\cos\beta\end{array}\right]\left[\begin{array}{c} x'\\ y'\end{array}\right] =\left[\begin{array}{ccc} \sin\dfrac{\alpha}2&&-\cos\dfrac{\alpha}2\\[8pt] \cos \dfrac{\alpha}2&&\sin \dfrac{\alpha}2\end{array}\right] \left[\begin{array}{c} \dfrac{l\cdot\tan\theta}{\tan\theta +\tan(\theta +\alpha)}-\dfrac l2\\ \dfrac{l\cdot\tan\theta \tan(\theta +\alpha)}{\tan\theta +\tan(\theta +\alpha)}\end{array}\right]\\ =&\left[\begin{array}{c} \Big(\dfrac{l\cdot \tan\theta}{\tan\theta +\tan(\theta +\alpha)}\Big)\Big(\sin\dfrac{\alpha}2-\cos\dfrac{\alpha}2\tan(\theta +\alpha)\Big)-\dfrac l2\sin \dfrac{\alpha}2\\[8pt] %\dfrac{l\cdot\tan\theta \tan(\theta +\alpha)}{\tan\theta +\tan(\theta +\alpha)} \Big(\dfrac{l\cdot \tan\theta}{\tan\theta +\tan(\theta +\alpha)}\Big) \Big(\cos \dfrac\alpha 2+\sin \dfrac\alpha 2 \tan(\theta +\alpha)\Big) -\dfrac l2\cdot\cos \frac{\alpha}2\end{array}\right]=\left[\begin{array}{c}x''\\ y''\end{array}\right]. \end{align*}

接著, 我們觀察 $\theta \to \beta$ 時的情況:

\begin{align*} \lim_{\theta\to\beta}x''=&\, \lim_{\theta\to 0^-} \left[\frac{l\cdot\tan(\theta -\beta )(\sin\frac\alpha 2-\cos\frac \alpha 2 \tan(\theta -\beta +\alpha))} {\tan(\theta -\beta )+\tan(\theta -\beta +\alpha)}-\dfrac l2\cdot\sin\dfrac\alpha 2\right]=-\infty ,\\ \lim_{\theta\to\beta}y''=&\,\lim_{\theta\to\beta} \left[\frac{l\cdot\tan\theta}{\tan\theta +\tan(\theta +\alpha)} [\cos\dfrac\alpha 2+\sin\dfrac\alpha 2 \tan(\theta +\alpha) ]-\dfrac l2\cdot\cos\dfrac \alpha 2\right]\\ =&\,\lim_{\theta\to\beta}\left[\frac{l\{\sec^2 \theta [\cos\frac\alpha 2\!+\!\sin\frac\alpha 2 \tan(\theta \!+\!\alpha) ]\!+\!\sin\dfrac\alpha 2 \tan\theta \sec^2(\theta +\alpha)\}}{\sec^2 \theta +\sec^2(\theta +\alpha)}\!-\!\dfrac l2\cos\dfrac\alpha 2\right]. \end{align*}

上式於第二個等號利用羅必達定理, 因此 $$\lim_{\theta\to\beta}y''=0.$$ 所以此等角差線變換後有一漸近線 $y=0$。

將此漸近線反變換回去即可得吾人所要原等角差線漸近線, 現證此漸近線為 $$y=-\tan\beta x.$$ 設漸近線原 $x,y$ 分量分別表示成 $X,Y$, 而變換後之漸近線 $x,y$ 分量分別表示成 $X',Y'$

\begin{align*} \left[\begin{array}{ccc}\sin\dfrac\alpha 2&&-\cos\dfrac\alpha 2\\[8pt] \cos \dfrac\alpha 2&&\sin \dfrac\alpha 2\end{array}\right]\left[\begin{array}{c} X\\ Y\end{array}\right]=&\left[\begin{array}{c}X'\\ Y'\end{array}\right]=\left[\begin{array}{c} t\\ 0\end{array}\right]\quad \hbox{($t$ 為參數),}\\[6pt] &\hskip -60pt X=\left|\begin{array}{ccc} t&~~~&-\cos\dfrac\alpha 2\\[6pt] 0&&\sin \dfrac\alpha 2\end{array}\right|=\sin \dfrac \alpha 2\cdot t,\ &\hskip -30pt Y=\left|\begin{array}{ccc} \sin\dfrac\alpha 2&&t\\[6pt] \cos \dfrac\alpha 2&~~~&0\end{array}\right|=-\cos\dfrac\alpha 2\cdot t. \end{align*}

將 $X,Y$ 相除可得 $$\dfrac YX=-\cot \dfrac\alpha 2\ \Rightarrow\ Y=-\cot \dfrac\alpha 2\cdot X\ \Rightarrow\ y=-\tan\beta x.$$ 所以等角差線 $\Gamma_\alpha^l$ 之其中一條漸近線為 $$y=-\tan\beta x.$$

QED.

Case 2. $y=\cot \beta x$.

設等角差線 $\Gamma_\alpha^l$ 原$x,y$分量分別表示成$x',y'$, 而旋轉變換後$x,y$分量分別表示成$x'',y''$分量。

將原等角差線用旋轉矩陣旋轉 $-\alpha/2$ 角

\begin{align*} &\left[\begin{array}{ccc} \cos(-\dfrac\alpha 2)&&-\sin(-\dfrac\alpha 2)\\[8pt] \sin(-\dfrac\alpha 2)&&\cos(-\dfrac\alpha 2)\end{array}\right]\left[\begin{array}{c} x'\\ y'\end{array}\right]=\left[\begin{array}{ccc} \cos \dfrac\alpha 2&&\sin \dfrac\alpha 2\\[8pt] -\sin \dfrac\alpha 2&&\cos\dfrac\alpha 2\end{array}\right]\left[\begin{array}{c} \dfrac{l\cdot\tan\theta}{\tan\theta +\tan(\theta +\alpha)}-\dfrac l2\\ \dfrac{l\cdot\tan\theta \tan(\theta +\alpha)}{\tan\theta +\tan(\theta +\alpha)}\end{array}\right]\\ =&\left[\begin{array}{c} \Big(\dfrac{l\cdot \tan\theta}{\tan\theta +\tan(\theta +\alpha)}\Big)\Big(\cos\dfrac{\alpha}2+\sin\dfrac{\alpha}2\tan(\theta +\alpha)\Big)-\dfrac l2\cdot\cos \dfrac{\alpha}2\\[8pt] %\dfrac{l\cdot\tan\theta \tan(\theta +\alpha)}{\tan\theta +\tan(\theta +\alpha)} \Big(\dfrac{l\cdot \tan\theta}{\tan\theta +\tan(\theta +\alpha)}\Big) \Big(\!-\sin\dfrac\alpha 2\!+\!\cos\dfrac\alpha 2 \tan(\theta \!+\!\alpha)\Big) \!+\!\dfrac l2\cdot\sin\dfrac{\alpha}2\end{array}\right]=\left[\begin{array}{c}x''\\ y''\end{array}\right]. \end{align*}

接著, 我們觀察 $\theta \to \beta$ 時的情況:

\begin{align*} \lim_{\theta\to\beta}x''=&\, \lim_{\theta\to 0^-} \left[\frac{l\cdot\tan(\theta -\beta )(\cos\frac\alpha 2+\sin\frac \alpha 2 \tan(\theta -\beta +\alpha))} {\tan(\theta -\beta )+\tan(\theta -\beta +\alpha)}-\dfrac l2\cdot\cos\dfrac\alpha 2\right]=-\infty, \\ \lim_{\theta\to\beta}y''=&\,\lim_{\theta\to\beta} \left[\frac{l\cdot\tan\theta}{\tan\theta +\tan(\theta +\alpha)} [-\sin\dfrac\alpha 2+\cos\dfrac\alpha 2 \tan(\theta +\alpha) ]+\dfrac l2\cdot\sin \dfrac \alpha 2\right]\\ =&\,\lim_{\theta\to\beta}\left[\frac{l\{\sec^2 \theta [-\sin\frac\alpha 2\!+\!\cos\frac\alpha 2 \tan(\theta \!+\!\alpha) ]\!-\!\cos \dfrac\alpha 2 \tan\theta \sec^2(\theta +\alpha)\}}{\sec^2 \theta +\sec^2(\theta +\alpha)}\!+\!\dfrac l2\sin\dfrac\alpha 2\right]. \end{align*}

上式於第二個等號利用羅必達定理, 因此 $$\lim_{\theta\to\beta}y''=0,$$ 所以此等角差線變換後有一漸近線 $y=0\,$。

將此漸近線反變換回去即可得吾人所要原等角差線漸近線, 現證此漸近線為 $$y=\cot\beta x.$$ 設漸近線原 $x,y$ 分量分別表示成 $X,Y$, 而變換後之漸近線 $x,y$ 分量分別表示成 $X',Y'$

\begin{align*} \left[\begin{array}{ccc} \cos\dfrac\alpha 2&&\sin\dfrac\alpha 2\\[8pt] -\sin\dfrac\alpha 2&&\cos\dfrac\alpha 2\end{array}\right]\left[\begin{array}{c} X\\ Y\end{array}\right]=&\left[\begin{array}{c}X'\\ Y'\end{array}\right]=\left[\begin{array}{c} t\\ 0\end{array}\right]\quad \hbox{($t$ 為參數),}\\[6pt] &\hskip -60pt X=\left|\begin{array}{ccc} t&~~~&\sin\dfrac\alpha 2\\[6pt] 0&&\cos\dfrac\alpha 2\end{array}\right|=\cos\dfrac \alpha 2\cdot t,\\ &\hskip -60pt Y=\left|\begin{array}{ccc} \cos\dfrac\alpha 2&&t\\[6pt] -\sin\dfrac\alpha 2&~~~&0\end{array}\right|=\sin\dfrac\alpha 2\cdot t. \end{align*}

將 $X,Y$ 相除可得 $$\dfrac YX=\tan \dfrac{\alpha}2\ \Rightarrow\ Y=-\tan \dfrac{-\alpha}2\cdot X\ \Rightarrow\ Y=\cot\beta \cdot X\ \Rightarrow\ y=\cot\beta x,$$ 所以等角差線 $\Gamma_\alpha^l$ 之其中一條漸近線為 $$y=\cot\beta x.$$

QED.

根據 Lemma 1 可知此兩條線即是所有 $\Gamma_\alpha^l$ 的漸近線。

六、等角差線的最值定理

這部分討論角度在 $[0,\pi ]$ 區間的情形, 其他範圍可自行推廣。

Lemma 2. $\Gamma_\alpha^l$ 中有 $x_{\rm max}$ 的點在 $$\theta =\gamma \ \hbox{和}\ 2\beta -\gamma\ (\hbox{或}\ \pi +(2\beta -\gamma )),$$ 其中定義 $\alpha$ 為銳角或直角時 $\gamma =\dfrac{\pi -2\alpha}4$, $\alpha$ 為鈍角時 $\gamma =\dfrac{3\pi -2\alpha}4$。

$x_{\rm max}$ 在 $\dfrac{dx}{d\theta} =0$ 時, $$\dfrac{dx}{d\theta}=\dfrac{l\cdot [\tan( \theta +\alpha)\sec^2\theta -\sec^2(\theta +\alpha)\tan \theta]}{ (\tan( \theta +\alpha)+\tan\theta )^2}=0.$$ 易知所求 $\theta$ 為 $\tan( \theta +\alpha)\sec^2\theta -\sec^2( \theta +\alpha)\tan \theta =0$ 之解, 經整理得 $\sin(2(\theta +\alpha))=\sin(2\theta)$, 因為 $2(\theta +\alpha)=2\theta \ \Rightarrow\ \alpha=0$ 矛盾, 所以

Case 1. $\alpha$ 為銳角或直角

僅存在 $\theta$ 使得 $2 (\theta +\alpha)=\pi -2\theta$ 或 $2(\theta +\alpha)=3\pi -2\theta$ 符合所求, 所以 $$\theta =\dfrac{\frac{\pi}2-\alpha}2=\dfrac{\pi -2\alpha}{4}=\gamma\ \hbox{或}\ \theta =\dfrac{\frac{3\pi }2-\alpha}2=\dfrac{3\pi -2\alpha}4=2\beta -\gamma.$$

Case 2. $\alpha$ 為鈍角

僅存在 $\theta$ 使得 $2(\theta +\alpha)=3\pi -2\theta$ 或 $2(\theta +\alpha)=5\pi -2\theta$ 符合所求, 所以 $$\theta =\dfrac{\frac{\pi}2-\alpha}2=\dfrac{3\pi -2\alpha}4=\gamma\ \hbox{或}\ \theta =\dfrac{5\pi -2\alpha}4=\pi +(2\beta -\gamma ).$$

在 Case 1 和 Case 2 $\Gamma_\alpha^l$ 中有 $x_{\rm max}$ 的點在 $\theta =\gamma$ 和 $2\beta -\gamma$ (或 $\pi +(2\beta -\gamma )$), 並用 Lemma 1 奇函數的性質可驗證此結論。

Theorem 3. 以 $\overline{BC}$ 為直徑所作出的圓必交於 $\Gamma_\alpha^l$ 於有 $x_{\rm max}$ 之點。

由 Lemma 2 知

Case 1. $\alpha$ 為銳角或直角時, 其中一 $x_{\rm max}$ 在 $$ \angle B+ \angle C=(\gamma +\alpha)+\gamma =\dfrac \pi 2.$$ 此時的 $\triangle ABC$ 為以 $\angle A$ 為直角的直角三角形, 因此可知 $\forall\ \alpha$ 所產生的軌跡 $\Gamma_\alpha^l$ 必交於 $\overline{BC}$ 為直徑的圓於 $x_{\rm max} $, 並由 Lemma 1 知 $2\beta -\gamma$ 也交於 $\overline{BC}$ 為直徑的圓。

QED.

Case 2. $\alpha$ 為鈍角時, 其中一 $x_{\rm max}$ 在 $$( \angle B-\pi )+ \angle C=(\gamma +\alpha-\pi )+\gamma =\dfrac \pi 2.$$ 此時的 $\triangle ABC$ 為以 $\angle A$ 為直角的直角三角形, 因此可知 $\forall\ \alpha$ 所產生的軌跡 $\Gamma_\alpha^l$ 必交於 $\overline{BC}$ 為直徑的圓於 $x_{\rm max}$, 並由 Lemma 1 知 $\pi +(2\beta -\gamma )$ 也交於 $\overline{BC}$ 為直徑的圓。

QED.

七、補記

Theorem 4. 等角差線 $\Gamma_\alpha^l$ 在 $y=0$ 之斜率為 $\tan\alpha$。

\begin{align*} \hbox{由}\qquad &\dfrac{dy}{d\theta} =\dfrac{(l\cdot (\sec(\theta +\alpha)\tan\theta)^2+(\sec\theta \tan( \theta +\alpha))^2} {(\tan( \theta +\alpha)+\tan\theta)^2}\\[8pt] \hbox{和}\qquad &\dfrac{dx}{d\theta} =\dfrac{l\cdot\tan(\theta +\alpha)\sec^2\theta-\sec^2(\theta +\alpha)\tan\theta} {(\tan( \theta +\alpha)+\tan\theta )^2}\\[8pt] &\Rightarrow\ \dfrac{dy}{dx}=\dfrac{(\sec(\theta +\alpha)\tan\theta)^2+(\sec\theta\tan(\theta +\alpha))^2} {\tan( \theta +\alpha)\sec^2\theta-\sec^2(\theta +\alpha)\tan\theta}. \end{align*}

將 $\theta =0$ 和 $\theta =2\beta$ 代入 $x,y$ 參數式可知兩點分別為 $(-l/2,0)$ 和 $(l/2,0)$, $\Gamma_\alpha^l$ 在這兩點的斜率分別為

\begin{align*} &\hskip 2cm \dfrac{dy}{dx}= \dfrac{(\sec\alpha\tan 0)^2+(\sec 0\tan\alpha)^2}{\tan\alpha\sec^2 0-\sec^2\alpha \tan 0} =\dfrac{\tan^2\alpha}{\tan\alpha} =\tan\alpha\\ \hbox{及} &\dfrac{dy}{dx} =\dfrac{(\sec\pi\tan(\pi-\alpha))^2+(\sec(\pi -\alpha)\tan\pi)^2}{\tan\pi\sec^2(\pi-\alpha)-\sec^2\pi\tan(\pi -\alpha)}= \dfrac{\tan^2(\pi -\alpha)}{-\tan(\pi -\alpha)}=\tan\alpha.\tag*{QED.} \end{align*}

八、結語

很高興能夠有機會研究這個問題, 不知不覺間我已經接觸這個題目一年了。說起來感觸極深, 從高中到大學, 這個問題伴在我身邊, 藉著不斷地猜想與改正, 終於生出如今這篇文章, 也是我第一次正式將自己的作品發表出來。

研究這個問題也讓我從中學習到很多技巧, 更多的, 是讓自己能夠更了解以前自己所學的數學技巧與工具如何用到最大化。 曾經聽過一句話, 做數學研究就是給自己的一場數奧競賽。在研究當中獲得研究成果的成就感不亞於我在高中競賽上所獲得的成績。 我想謝謝自己, 願意不斷地研究, 不忘記自己的初衷, 也謝謝高中的班導兼數學老師侯名軒給我訓練與指導, 更謝謝數學傳播給一個平臺讓我發表我的作品。

---本文作者投稿時為臺灣大學生物機電工程學系學生---