解析幾何，又稱為座標幾何或卡氏幾何，早先被叫作笛卡兒幾何，是一種藉助於解析式進行圖形研究的幾何學分支。解析幾何通常使用二維的平面直角座標系研究直線、圓、圓錐曲線、擺線、星形線等各種一般平面曲線，使用三維的空間直角座標系來研究平面、球等各種一般空間曲面，同時研究它們的方程，並定義一些圖形的概念和引數。 在中學課本中，解析幾何被簡單地解釋為：採用數值的方法來定義幾何形狀，並從中提取數值的資訊。然而，這種數值的輸出可能是一個方程或者是一種幾何形狀。 1637 年，笛卡兒在《方法論》的附錄 幾何 中提出瞭解析幾何的基本方法。 以哲學觀點寫成的這部法語著作為後來牛頓和萊布尼茨各自提出微積分學提供了基礎。 對代數幾何學者來說，解析幾何也指（實或者複）流形，或者更廣義地透過一些複變數（或實變數）的解析函式為零而定義的解析空間理論。這一理論非常接近代數幾何，特別是透過讓 皮埃爾塞爾在《代數幾何和解析幾何》領域的工作。這是一個比代數幾何更大的領域，不過也可以使用類似的方法。 歷史 古希臘數學家梅內克繆斯 Menaechmus 的解題、證明方式與現在使用座標系十分相似，以至於有時會認為他是解析幾何的鼻祖。 阿波羅尼奧斯在《論切觸》中解題方式在現在被稱之為單維解析幾何；他使用直線來求得一點與其它點之間的比例。阿波羅尼奧斯在《圓錐曲線論》中進一步發展了這種方式，這種方式與解析幾何十分相似，比起笛卡兒早了 1800 多年。他使用了參照線、直徑、切線與現今所使用座標系沒有本質區別，即從切點沿直徑所量的距離為橫座標，而與切線平行、並與數軸和曲線向交的線段為縱座標。他進一步發展了橫座標與縱座標之間的關係，即兩者等同於誇張的曲線。然而，阿波羅尼奧斯的工作接近於解析幾何，但他沒能完成它，因為他沒有將負數納入系統當中。在此，方程是由曲線來確定的，而曲線不是由方程得出的。座標、變數、方程不過是一些給定幾何題的腳註罷了。 十一世紀波斯帝國數學家歐瑪爾海亞姆發現了幾何與代數之間的密切聯絡，在求三次方程使用了代數和幾何，取得了巨大進步。Glen M Cooper 2003 Omar Khayyam the Mathematician The Journal of the American Oriental Society 123 但最關鍵的一步由笛卡兒完成。 從傳統意義上講，解析幾何是由勒內笛卡兒創立的。笛卡兒的創舉被記錄在《幾何學》La Geometrie 當中，在 1637 年與他的《方法論》一道發表。這些努力是以法語寫成的，其中的哲學思想為創立無窮小演算提供了基礎。最初，這些著作並沒有得到認可，部分原因是由於其中論述的間斷，方程的複雜所致。直到 1649 年，著作被翻譯為拉丁語，並被馮斯霍滕 van Schooten 恭維後，才被大眾所認可接受。 費馬也為解析幾何的發展做出了貢獻。他的《平面與立體軌跡引論》Ad locos planos et solidos isagoge 雖然沒有在生前發表，但手稿於 1637 年在巴黎出現，正好早於笛卡兒《方法論》一點。《引論》文字清晰，獲得好評，為解析幾何提供了鋪墊。費馬與笛卡兒方法的不同在於出發點。費馬從代數公式開始，然後描述它的幾何曲線，而笛卡兒從幾何曲線開始，以方程的完結告終。結果，笛卡兒的方法可以處理更復雜的方程，並發展到使用高次多項式來解決問題。 基本理論 座標 在解析幾何當中，平面給出了座標系，即每個點都有對應的一對實數座標。最常見的是笛卡兒座標系，其中，每個點都有 x 座標對應水平位置，和 y 座標對應垂直位置。這些常寫為有序對 xy。這種系統也可以被用在三維幾何當中，空間中的每個點都以多元組呈現 xyz。 座標系也以其它形式出現。在平面中最常見的另類座標系是極座標系，其中每個點都以從原點出發的半徑 r 和角度 theta 表示。在三維空間中，最常見的另類座標系統是圓柱座標系和 球座標系。 曲線方程 在解析幾何當中，任何方程都包含確定面的子集，即方程的解集。例如，方程 yx 在平面上對應的是所有 x 座標等於 y 座標的解集。這些點彙集成為一條直線，yx 被稱為這道方程的直線。總而言之，線性方程中 x 和 y 定義線，一元二次方程定義圓錐曲線，更復雜的方程則闡述更復雜的形象。 通常，一個簡單的方程對應平面上的一條曲線。但這不一定如此：方程 xx 對應整個平面，方程 x2y20 只對應 00 一點。在三維空間中，一個方程通常對應一個曲面，而曲線常常代表兩個曲面的交集，或一條引數方程。方程 x2y2r2 代表了是半徑為 r 且圓心在 00 上的所有圓。 距離和角度 在解析幾何當中，距離、角度等幾何概念是用公式來表達的。這些定義與背後的歐幾里得幾何所蘊含的主旨相符。例如，使用平面笛卡兒座標系時，兩點 A x_1y_1 和 B x_2y_2 之間的距離 d 又寫作 overline AB，被定義為 d overline AB sqrt x_2 x_12 y_2 y_12 上述可被認為是一種勾股定理的形式。類似地，直線與水平線所成的角可以定義為 theta arctan m arctan left frac y_2y_1x_2x_1 right 其中 m 是線的斜率。 變化 變化可以使母方程變為新方程，但保持原有的特性。例如，母方程 yfrac 1x 有水平和垂直的漸近線，處在第一和第三象限當中能夠，它所有的變形都有水平和垂直的漸近線，出現在第一或第三、第二或第四象限當中。總的來說，如果 yf x，那麼它可以變為 yaf b xkh。新的變形方程，a 因素如果大於 1，就垂直拉伸方程；如果小於 1，就壓縮方程。如果 a 值為負，那麼方程就反映在 x 軸上。 b 值如果大於 1 就水平壓縮方程，小於 1 就拉伸方程。與 a 一樣，如果為負就反映在 y 軸上。k 和 h 值為平移，h 值是垂直，k 為水平。h 和 k 的正值意味著方程往數軸的正方向移動，負值意味這往數軸的負方向移動。 變化可以應用到任意幾何等式中，不論等式是否代表某一方程。 變化可以被認為是個體處理、或是組合處理。 例如，R xy 在 xy 平面上 x2y210 指代單位圓。 影像 R xy 可以被變化為： 將 x 變為 xh ，使得影像向右移動 h 個單位。 將 y 變為 yk，使得影像向上移動 k 個單位。 將 x 變為 frac xb，使得影像以 b 值拉伸。 想象一下 x 被膨脹了 將 y 變為 frac ya，使得影像垂直拉伸。 將 x 變為 xcos A ysin A，將 y 變為 xsin A ycos A，使得影像旋轉 A 個角度。 在基礎的解析幾何中，不會考慮太多的變化，例如偏移。更多資訊請參閱仿射變換。 交集 雖然本討論僅限於 xy 平面上，但它可以很容易地衍生為更高維的空間中。兩個幾何物件 P 和 Q 指代 P xy 和 Q xy，其交集是所有點 xy 的集合。 例如，P 可以是半徑為 1 的圓，圓心在 00 P xy x2y21 Q 可以是半徑為 1 的圓，圓心在 10 Q xy x12y21。兩圓的交叉點是滿足方程的所有點的集合。點 00 是否滿足方程呢？將 00 帶入 xy，Q 便成為 012021 或 121，結論為真，因此 00 在 Q 上。換句話來說，接著將 00 帶入 xy，方程 P 成為 02021 或 01，結論為假。00 不在 P 上，因此不是它的集合。 P 與 Q 的交集可以透過同時解方程來求得： begin cases x2y2 1 x12y2 1 end cases 解得 begin cases x frac 12 y pm frac sqrt 32 end cases 我們的交集有兩點： left frac 12frac sqrt 32right cup left frac 12frac sqrt 32right 就圓錐曲線而言，交集可能會出現至多 4 個點。 截距 被廣泛研究的一種交集是幾何物件與 x 和 y 座標軸的交集。 幾何物件與 y 軸的交集被稱之為物件的 y 截距。與 x 軸的交集被稱之為物件的 x 截距。 就線 ymxb 而言，引數 b 定義線在何處與 y 軸相交。據此，b 或 0b 點被稱之為 y 截距。 主題 解析幾何中的重要問題： 向量空間 平面的定義 距離問題 點積求兩個向量的角度 外積求一向量垂直於兩個已知向量（以及它們的空間體積） 交點問題 Ax2 Bxy Cy2 Dx Ey F 0 如果 Bxy 被考慮進去的話，就會常常用到旋轉。這些問題常涉及到線性代數。 例子 下面是美國初中數學競賽 USMTS 中的題，可以用解析幾何來解： 問題：在凸面五邊形 ABCDE 中，邊長為 1 2 3 4 5，雖然順序不一定如此。設 F G H I 成為 AB BC CD DE 的各個中點。 設 X 為線段 FH 的中點，Y 為線段 GI 的中點。線段 XY 的長度為整數。求邊 AE 的所有可能長度。 解： 為了不失一般性，假設 A B C D E 為 A00 Ba0 Cbe Dcf Edg。 應用中點公式，點 F G H I X Y 位於 Fleft frac a20right Gleft frac ab2frac e2right Hleft frac bc2frac ef2right Ileft frac cd2frac fg2right Xleft frac abc4frac ef4right Yleft frac abcd4frac efg4right 使用距離公式， AEsqrt d2g2 以及 XYsqrt frac d216frac g216frac sqrt d2g24 由於 XY 為整數， AEequiv 0pmod 4 見同餘 因此 AE4 現代解析幾何 解析簇 analytic variety 定義為幾個解析函式的共同解集。類似與實數與複數的代數簇。任何複流形都是一種解析簇。由於解析簇可能有奇點，但不是所有解析簇都是複數。 解析幾何總體上來說等同與實數與複數代數幾何，讓 皮埃爾塞爾在他的著作《代數幾何與解析幾何》Géometrie Algébrique et Géométrie Analytique 闡述了這個觀點。然而，兩個領域依然有其獨特性，而證明方式也十分不同，代數幾何也包括幾何的有限特徵。 註釋 引述 著作 文獻 Boyer Carl B Analytic Geometry The Discovery of Fermat and Descartes Mathematics Teacher 37 no 3 1944 99105 外部連結 Coordinate Geometry topics with interactive animations Category 幾何學 J