解析幾何

解析幾何
解析幾何（Analytic geometry），又稱為座標幾何（Coordinate geometry）或卡氏幾何（Cartesian geometry），早先被叫作笛卡兒幾何，是一種藉助於解析式進行圖形研究的幾何學分支。解析幾何通常使用二維的平面直角座標系研究直線、圓、圓錐曲線、擺線、星形線等各種一般平面曲線，使用三維的空間直角座標系來研究平面、球等各種一般空間曲面，同時研究它們的方程，並定義一些圖形的概念和參數。
在中學課本中，解析幾何被簡單地解釋為：採用數值的方法來定義幾何形狀，並從中提取數值的信息。然而，這種數值的輸出可能是一個方程或者是一種幾何形狀。
1637年，笛卡兒在《方法論》的附錄“幾何”中提出瞭解析幾何的基本方法。
以哲學觀點寫成的這部法語著作為後來牛頓和萊布尼茨各自提出微積分學提供了基礎。
對代數幾何學者來說，解析幾何也指（實或者複）流形，或者更廣義地通過一些複變數（或實變數）的解析函數為零而定義的解析空間理論。這一理論非常接近代數幾何，特別是通過讓-皮埃爾·塞爾在《代數幾何和解析幾何》領域的工作。這是一個比代數幾何更大的領域，不過也可以使用類似的方法。

**歷史**
古希臘數學家梅內克繆斯(Menaechmus)的解題、證明方式與現在使用座標系十分相似，以至於有時會認為他是解析幾何的鼻祖。 阿波羅尼奧斯在《論切觸》中解題方式在現在被稱之為單維解析幾何；他使用直線來求得一點與其它點之間的比例。阿波羅尼奧斯在《圓錐曲線論》中進一步發展了這種方式，這種方式與解析幾何十分相似，比起笛卡兒早了1800多年。他使用了參照線、直徑、切線與現今所使用座標系沒有本質區別，即從切點沿直徑所量的距離為橫座標，而與切線平行、並與數軸和曲線向交的線段為縱座標。他進一步發展了橫座標與縱座標之間的關係，即兩者等同於誇張的曲線。然而，阿波羅尼奧斯的工作接近於解析幾何，但他沒能完成它，因為他沒有將負數納入系統當中。在此，方程是由曲線來確定的，而曲線不是由方程得出的。座標、變量、方程不過是一些給定幾何題的腳註罷了。
十一世紀波斯帝國數學家歐瑪爾·海亞姆發現了幾何與代數之間的密切聯繫，在求三次方程使用了代數和幾何，取得了巨大進步。但最關鍵的一步由笛卡兒完成。
從傳統意義上講，解析幾何是由勒內·笛卡兒創立的。笛卡兒的創舉被記錄在《幾何學》(La Geometrie)當中，在1637年與他的《方法論》一道發表。這些努力是以法語寫成的，其中的哲學思想為創立無窮小演算提供了基礎。最初，這些著作並沒有得到認可，部分原因是由於其中論述的間斷，方程的複雜所致。直到1649年，著作被翻譯為拉丁語，並被馮·斯霍滕(van Schooten)恭維後，才被大眾所認可接受。
費馬也為解析幾何的發展做出了貢獻。他的《平面與立體軌跡引論》(Ad locos planos et solidos isagoge)雖然沒有在生前發表，但手稿於1637年在巴黎出現，正好早於笛卡兒《方法論》一點。《引論》文字清晰，獲得好評，為解析幾何提供了鋪墊。費馬與笛卡兒方法的不同在於出發點。費馬從代數公式開始，然後描述它的幾何曲線，而笛卡兒從幾何曲線開始，以方程的完結告終。結果，笛卡兒的方法可以處理更復雜的方程，並發展到使用高次多項式來解決問題。

**基本理論**
卡氏平面座標系。四個點被標註了它們的座標：為綠色，為紅色，為藍色，原點為紫色。

**座標**
在解析幾何當中，平面給出了座標系，即每個點都有對應的一對實數座標。最常見的是笛卡兒座標系，其中，每個點都有座標對應水平位置，和座標對應垂直位置。這些常寫為有序對。這種系統也可以被用在三維幾何當中，空間中的每個點都以多元組呈現。
座標系也以其它形式出現。在平面中最常見的另類座標系是極座標系，其中每個點都以從原點出發的半徑和角度表示。在三維空間中，最常見的另類座標系統是圓柱座標系和 球座標系。

**曲線方程**
在解析幾何當中，任何方程都包含確定面的子集，即方程的解集。例如，方程在平面上對應的是所有座標等於座標的解集。這些點彙集成為一條直線，被稱為這道方程的直線。總而言之，線性方程中和定義線，一元二次方程定義圓錐曲線，更復雜的方程則闡述更復雜的形象。
通常，一個簡單的方程對應平面上的一條曲線。但這不一定如此：方程對應整個平面，方程只對應一點。在三維空間中，一個方程通常對應一個曲面，而曲線常常代表兩個曲面的交集，或一條參數方程。方程代表了是半徑為r且圓心在上的所有圓。
勾股定理的平面距離方程。

**距離和角度**
在解析幾何當中，距離、角度等幾何概念是用公式來表達的。這些定義與背後的歐幾里得幾何所蘊含的主旨相符。例如，使用平面笛卡兒座標系時，兩點和之間的距離  (又寫作，被定義為

上述可被認為是一種勾股定理的形式。類似地，直線與水平線所成的角可以定義為

其中是線的斜率。

**變化**
&b) y=f(x+2)\\
c) y=f(x) - 3 &d) y=\frac{1}{2}f(x)\\
\end{array}
變化可以使母方程變為新方程，但保持原有的特性。例如，母方程  有水平和垂直的漸近線，處在第一和第三象限當中能夠，它所有的變形都有水平和垂直的漸近線，出現在第一或第三、第二或第四象限當中。總的來說，如果，那麼它可以變為。新的變形方程， 因素如果大於1，就垂直拉伸方程；如果小於1，就壓縮方程。如果 值為負，那麼方程就反映在 -軸上。  值如果大於1就水平壓縮方程，小於1就拉伸方程。與一樣，如果為負就反映在-軸上。 和  值為平移，值是垂直， 為水平。 和  的正值意味著方程往數軸的正方向移動，負值意味這往數軸的負方向移動。
變化可以應用到任意幾何等式中，不論等式是否代表某一方程。
變化可以被認為是個體處理、或是組合處理。
例如， 在  平面上指代單位圓。
圖像可以被變化為：
*將變為 ，使得圖像向右移動個單位。
*將變為，使得圖像向上移動個單位。
*將變為，使得圖像以值拉伸。 (想象一下 被膨脹了)
*將變為，使得圖像垂直拉伸。
*將變為，將  變為 ，使得圖像旋轉  個角度。
在基礎的解析幾何中，不會考慮太多的變化，例如偏移。更多信息請參閱仿射變換。

**交集**
雖然本討論僅限於平面上，但它可以很容易地衍生為更高維的空間中。兩個幾何對象和指代和，其交集是所有點的集合。
例如，可以是半徑為1的圓，圓心在:   , 可以是半徑為1的圓，圓心在。兩圓的交叉點是滿足方程的所有點的集合。點是否滿足方程呢？將帶入，便成為或，結論為真，因此在上。換句話來說，接著將帶入，方程  成為  或 ，結論為假。 不在  上，因此不是它的集合。
與  的交集可以通過同時解方程來求得：
解得
我們的交集有兩點：

就圓錐曲線而言，交集可能會出現至多4個點。

**截距**
被廣泛研究的一種交集是幾何對象與和座標軸的交集。
幾何對象與 軸的交集被稱之為對象的 截距。與軸的交集被稱之為對象的截距。
就線 而言，參數定義線在何處與軸相交。據此，或點被稱之為截距。

**主題**
解析幾何中的重要問題：- 向量空間- 平面的定義- 距離問題- 點積求兩個向量的角度- 外積求一向量垂直於兩個已知向量（以及它們的空間體積）- 交點問題
.  如果被考慮進去的話，就會常常用到旋轉。這些問題常涉及到線性代數。

**例子**
下面是美國初中數學競賽(USMTS)中的題，可以用解析幾何來解：
問題：在凸面五邊形中，邊長為 , , , , ，雖然順序不一定如此。設, , ,  成為 , , ,  的各個中點。
設  為線段 的中點,  為線段  的中點。線段  的長度為整數。求邊  的所有可能長度。
解： 為了不失一般性，假設 , , , ,  為 , , , , 。
應用中點公式，點 , , , , ,  位於
, , , , , 
使用距離公式，

以及

由於  為整數，

(見同餘) 因此 .

**現代解析幾何**
解析簇(analytic variety)定義為幾個解析函數的共同解集。類似與實數與複數的代數簇。任何複流形都是一種解析簇。由於解析簇可能有奇點，但不是所有解析簇都是複數。.
解析幾何總體上來說等同與實數與複數代數幾何，讓-皮埃爾·塞爾在他的著作《代數幾何與解析幾何》(Géometrie Algébrique et Géométrie Analytique)闡述了這個觀點。然而，兩個領域依然有其獨特性，而證明方式也十分不同，代數幾何也包括幾何的有限特徵。

**註釋**

**引述**

**著作**
isbn=0-321-01618-1
*isbn=978-0486438320
*isbn=978-0821821022
*isbn=978-0674823556

**文獻**
Boyer, Carl B. Analytic Geometry: The Discovery of Fermat and Descartes, Mathematics Teacher 37, no. 3 (1944): 99-105
*title=Johann Hudde and space coordinates
*title=Cartesian geometry: The Dutch contribution
*title=Newton and analytic geometry
*title=The Beginnings of Analytic Geometry in Three Dimensions

**外部鏈接**
 Coordinate Geometry topics date=20111102065238  with interactive animations