各位早安。今天我們來註解一下，歐幾里得平面幾何大師的一首詩。
110Please respect copyright.ＰＥＮＡＮＡbZpqgT3ttL
開門見山，這首詩一開始有兩個集合，一個是「我」，一個是「妳」。而我們分析的元素，主要在 ℝ² 以2元組表示，即是 x-y 座標平面上的座標。
110Please respect copyright.ＰＥＮＡＮＡopHLUkT89S
致原在X軸上，至今卻已不在同象限的妳
110Please respect copyright.ＰＥＮＡＮＡv8EZLispOv
從第一分句，可以推斷集合「妳」的所有元素都在X軸上。
110Please respect copyright.ＰＥＮＡＮＡyh7nkXwoBh
設「妳」= { ∀(x,y) ∈ ℝ² | y = 0 }，110Please respect copyright.ＰＥＮＡＮＡ39PBrY5Lce
即「妳」是所有y座標 = 0 的點的集合。
110Please respect copyright.ＰＥＮＡＮＡxlYzGvjSO6
從第二分句，知道了「妳」變化為完全在另一個象限的集合。顯然的，這是由於函數映射所致，但我們尚未知道是特定哪個象限。我們可以將其命名為「妳*」以便理解。
110Please respect copyright.ＰＥＮＡＮＡ7YLGqAdzzB
將此函數命名為 f。設f : ℝ → ℝ²，於函數 f(x) 輸入所有「妳」的元素的 x 座標，可以得到「妳*」。
110Please respect copyright.ＰＥＮＡＮＡT0xzKWQKq3
另外，我們推斷出「我」、「妳*」的兩個共同性質：
1. x,y ≠ 0 ∀ (x,y) ∈「我」或「妳*」，110Please respect copyright.ＰＥＮＡＮＡYVJtqsGCsK
即「我」、「妳*」沒有任何一個元素位於 x 或 y 軸。
2. ∄ (x₁,y₁),(x₂,y₂) ∈「我」或「妳*」 x₁ > 0 > x₂ ∨ y₁ > 0 > y₂，110Please respect copyright.ＰＥＮＡＮＡjzCyEhTDSk
即它們各自的所有元素都只存在在某一個單一象限
3. ∀ (x₁,y₁) ∈「我」且 ∀ (x₂,y₂) ∈「妳*」，110Please respect copyright.ＰＥＮＡＮＡcWMVuZBrfG
sgn(x₁) ≠ sgn(x₂) ∨ sgn(y₁) ≠ sgn(y₂)110Please respect copyright.ＰＥＮＡＮＡRsE1Da0fMe
，即「我」、「妳*」不存在於同一象限。
110Please respect copyright.ＰＥＮＡＮＡ2HddrmMSYu
平行時的這兩年，我們的距離一直沒變
很一般的做同學，帶姓喊你不敢逾越
我應該再出格一點，讓斜率多幾倍
我們就能擺脫平行線，在遠處重疊？
110Please respect copyright.ＰＥＮＡＮＡnM2LxmX2pd
此處指出，「我」、「妳*」是一對不相交的平行線。首先，「線」指出了兩個重要的，「我」、「妳*」共同滿足的性質。110Please respect copyright.ＰＥＮＡＮＡLhsRlvPnWN
∀ (x₀,y₀),(x₁,y₁),(x₂,y₂) ∈「我」且110Please respect copyright.ＰＥＮＡＮＡ3N2oHPm2by
∀ (x₀,y₀),(x₁,y₁),(x₂,y₂) ∈「妳*」，110Please respect copyright.ＰＥＮＡＮＡA8Pw9z1IBG
即對於「我」或「妳*」的所有元素：
1. 線性：(x₁ - x₂)(y₀ - c) = (y₁ - y₂)x₀，其中 c ∈ ℝ，110Please respect copyright.ＰＥＮＡＮＡfsIexGt2hV
即 c，y 截，是任意實數。
2. 稠密性：∃ (x,y) ∈「我」、「妳*」 x₁ < x < x₂ ∧ y₁ < y < y₂，110Please respect copyright.ＰＥＮＡＮＡHq76RIuk3I
即在兩個元素之間，必然有一個元素。
110Please respect copyright.ＰＥＮＡＮＡP3i0BLhfUl
其次，一對不相交的平行線，代表「我」、「妳*」滿足以下兩個性質。110Please respect copyright.ＰＥＮＡＮＡcFcP54wT7G
∀ (x₁,y₁),(x₂,y₂) ∈「我」且110Please respect copyright.ＰＥＮＡＮＡDOSPz0vEUr
∀ (x₃,y₄),(x₄,y₄) ∈「妳*」，110Please respect copyright.ＰＥＮＡＮＡM1cFCdJwuT
即對於「我」或「妳*」的所有元素：
1. 「我」∩「妳*」= ∅，110Please respect copyright.ＰＥＮＡＮＡvC3FE9lwSX
即「我」和「妳*」的交集是空集，即沒有交點。
2. m = (y₁ - y₂) / (x₁ - x₂) = (y₃ - y₄) / (x₃ - x₄) ∨ ( x₁ = x₂ ∧ x₃ = x₄)，110Please respect copyright.ＰＥＮＡＮＡ5s1xqKjfGa
即除非是垂直線，否則兩者斜率 m 相同。
110Please respect copyright.ＰＥＮＡＮＡJl2esmsfNl
所以，我們可以用線性方程的形式表達「我」、「妳*」。110Please respect copyright.ＰＥＮＡＮＡvbRefaQfoi
∀ x,y ∈ ℝ，110Please respect copyright.ＰＥＮＡＮＡBr9xNuqiMu
即對於所有實數 x，y：
「我」：a(y - c₁) = bx
「妳*」：a(y - c₂) = bx
其中 a,b,c₁,c₂ ∈ ℝ，110Please respect copyright.ＰＥＮＡＮＡfPCdW1SP1u
即 a，b、c₁、c₂ 是任意實數；110Please respect copyright.ＰＥＮＡＮＡ6XR0d7COxx
且 c₁ ≠ c₂。
110Please respect copyright.ＰＥＮＡＮＡsXmRbatjUU
另外，此段呼應上文「妳」，由於「妳*」是直線，可以推論「妳」本是一條位於 x 軸的直線，即 y = 0。
110Please respect copyright.ＰＥＮＡＮＡ5xQXbtC0r5
同時，此處有一個伏筆：「我」想讓自己的斜率「多幾倍」，代表不會轉換正負，從而在遠處與「妳*」重疊；但詩詞卻在最尾留了問號。那麼「我」、「妳*」的斜率，有可能相隔甚遠，或者斜率非常小，甚至是 0 或 未定義，以致於「我」的斜率未必能多幾倍；或即便「我」的斜率多幾倍，要與「妳*」相交還是很難。
110Please respect copyright.ＰＥＮＡＮＡRv6mnpWxGU
綜合以上線索，估算其中一個可能：110Please respect copyright.ＰＥＮＡＮＡjr5B6HzmFn
「我」： y = -C，110Please respect copyright.ＰＥＮＡＮＡUkHYbA2VFl
而「妳*」：y = C，110Please respect copyright.ＰＥＮＡＮＡdcdIy0EVdi
其中 C 是任意正實數。
藍線的「我」如果斜率上升，便有機會在遠處與紅線的「妳*」交會；但「我」的斜率明顯為 0，這是考慮到上文提及的詩詞中的伏筆。
110Please respect copyright.ＰＥＮＡＮＡj9b49GgdrJ
開始漸進的這一年，抱歉我已多設立了一個軸線
注定不可能的曲線，原諒我漸近線本就靠兩邊
與原點漸行漸遠，兩軸卻都不見交會的點
我應該選擇專心靠向妳這邊
110Please respect copyright.ＰＥＮＡＮＡsnPxlXAjMd
此處軸線應指對稱軸，可以想像「我」具有某種對稱性，110Please respect copyright.ＰＥＮＡＮＡMcyZ1UL7Sb
亦即可以透過代入 x = g(u)，讓 f(g(u)) 成為偶函數。
110Please respect copyright.ＰＥＮＡＮＡK46UCeGMeh
重溫偶函數的定義：
f(-x) = f(x)
110Please respect copyright.ＰＥＮＡＮＡg8plguytir
漸近線「靠兩邊」，但「兩軸卻都不見交會的點」，這給了一個很明確的限定範圍：「我」的對稱軸與漸近線都不能與「妳*」交會。然而「我」、「妳*」本是平行線，而平行線的對稱軸垂直於自身，斜率並不相等，所以必然與自身的平行線相交。
110Please respect copyright.ＰＥＮＡＮＡXEIvXSjyUx
可以推論，「我」透過了一個函數 g : ℝ² → ℝ²，映射成為「我*」，而「我*」滿足以下性質：
1. 「我*」有漸近線，所以是曲線。
2. 「我*」的對稱軸與漸近線不與「妳*」交會。由於「妳*」只在單一象限，「我*」及其對稱軸與漸近線只能在其餘三個象限裡。
3. 對稱軸與漸近線是無限制的直線，所以至少會跨越兩個象限，呼應「原諒我漸近線本就靠兩邊」。
110Please respect copyright.ＰＥＮＡＮＡ9nYxq2NDIO
暫且不為「我*」下嚴謹定義，因為接下來的詩詞為我們提供了很重要的線索。
110Please respect copyright.ＰＥＮＡＮＡA1WliRML77
如今我們的距離已不只是軸線，分散於一四象限
我曾試著往Y軸，卻勾不著她一丁點
回頭想繼續漸近你的軸線，卻因空間斷了線
這遙遠的距離到底要用什麼填？
110Please respect copyright.ＰＥＮＡＮＡ4uuCYQuKoq
這裡交代了兩個重要的訊息：
1. 「我*」的對稱軸是另一個集合的漸近線；反之亦然。
2.「我*」「試著往Y軸，卻勾不著她一丁點」，即「我*」的漸進線是 y 軸。
110Please respect copyright.ＰＥＮＡＮＡpyoSv4Nn2V
「妳*」是一條直線，唯有再透過函數映射成為「妳**」。
110Please respect copyright.ＰＥＮＡＮＡdii92Rarcc
至此，兩者的樣貌已經明朗。我們再看看下一段。
110Please respect copyright.ＰＥＮＡＮＡYjYVXyANiY
拜託時間再給我一次機會，返回、反悔
我將扭轉時空，扭轉命運，顛覆雙軸線
讓我們這兩點重疊，對你不再虧欠
如果可以，我將對稱到你那邊，兩點交會
110Please respect copyright.ＰＥＮＡＮＡevs5gttkSG
「顛覆雙軸線」、「對稱到你那邊」，加上前一段「我*」「試著往Y軸，卻勾不著她一丁點」，幾乎可以肯定地下定論：
110Please respect copyright.ＰＥＮＡＮＡTHYvDH4FoE
「我*」與「妳**」是沿著 y 軸對稱的兩條線。那麼兩者的函數，必定是正負對應。
110Please respect copyright.ＰＥＮＡＮＡLz4SN0H8OD
那麼「我*」對稱軸如何是「妳**」的漸近線呢？首先，兩者沿著 y 軸對稱，所以「我*」對稱軸如果是「妳**」的漸近線，那也是自己的漸近線。
110Please respect copyright.ＰＥＮＡＮＡWTSZOUbGds
由此，我想到一個可能：
「我*」：y = - 1 / x² { x > 0 }
「妳**」：y = 1 / x² { x > 0 }
110Please respect copyright.ＰＥＮＡＮＡ3UuheozawU
{ x > 0 } 的作用，是確保兩者停留在各自的象限；而 1 / x²，是一個很特別的函數，它是偶函數，而對稱軸亦是其漸近線。
110Please respect copyright.ＰＥＮＡＮＡJENL4iIBAs
110Please respect copyright.ＰＥＮＡＮＡaBgz0CabKA
兩條曲線的戀愛故事，至此落幕。
110Please respect copyright.ＰＥＮＡＮＡ9sPz21ZuPh
110Please respect copyright.ＰＥＮＡＮＡ0z2QwCduYj
她是天上獨異的仙子，我是地下一般的人兒。
她輕柔地滑下來，我艱苦地爬上去。
我們看到彼此，我們走向對方。
位於無窮遠處，方以無窮近對。
110Please respect copyright.ＰＥＮＡＮＡQWiCEl4IUg
哈哈哈，玩了個雖小但長的玩笑。
110Please respect copyright.ＰＥＮＡＮＡEPsvepDdQ2
一開始看到漸近線這首詩，看到是數學的內容，心裡就有點躁動不已；再看看題目，竟然可以用詩的註解參加創挑，我就決定了，要來個大玩特玩XD
110Please respect copyright.ＰＥＮＡＮＡtkjPJhlqnA
最後的短短的詩，玩了一點寬對，希望你覺得有趣，嘿嘿。
110Please respect copyright.ＰＥＮＡＮＡmoJTcEcR4o
本來想再寫下面第二首的，但一來有可能使得套路相似而沉悶，二來我怕趕不上，抱歉 Orz
ns 15.158.61.7da2
