数学において、解析幾何学(座標幾何学またはデカルト幾何学とも呼ばれる)は、座標系を用いて幾何学を研究する分野である。これは総合幾何学とは対照的である。
解析幾何学は、物理学や工学だけでなく、航空、ロケット工学、宇宙科学、宇宙飛行、統計学、経済学、社会科学などにも用いられています。代数幾何学、微分幾何学、離散幾何学、計算幾何学など、現代の幾何学のほとんどの分野の基礎となっています。
通常、デカルト座標系は、平面、直線、円の方程式を操作するために使用され、多くの場合2次元、場合によっては3次元で使用されます。幾何学的には、ユークリッド平面(2次元)とユークリッド空間を研究します。学校の教科書で教えられているように、解析幾何学はもっと簡単に説明できます。それは、幾何学的形状を数値的に定義および表現し、形状の数値的定義と表現から数値情報を抽出することに関係しています。実数の代数を使用して幾何学の線形連続体に関する結果が得られることは、カントール・デデキントの公理に基づいています。
ギリシャの数学者メナエクモスは、座標の使用法とよく似た方法を用いて問題を解決し、定理を証明した。そして、彼が解析幾何学を導入したと主張されることもある。[ 1 ]
ペルガのアポロニウスは、『確定断面について』の中で、一次元解析幾何学とも言える方法で問題を扱い、線上の点が他の点と比をなす問題に取り組んだ。[ 2 ]アポロニウスは『円錐曲線論』の中で、解析幾何学と非常によく似た方法をさらに発展させ、その研究はデカルトの研究を約1800年も先取りしていたとさえ考えられている。彼が用いた基準線、直径、接線は、本質的には現代の座標系の使い方と何ら変わりない。そこでは、接点から直径に沿って測った距離が横座標、接線に平行で軸と曲線の間に挟まれた線分が縦座標となる。彼はさらに、横座標と対応する縦座標の間の関係を発展させ、それは曲線の修辞方程式(言葉で表現したもの)に相当する。しかし、アポロニウスは解析幾何学の発展に近づいたものの、負の量を考慮に入れなかったこと、また座標系が先験的にではなく事後的に与えられた曲線に重ね合わされたため、それを成し遂げることはできなかった。つまり、方程式は曲線によって決定されたが、曲線は方程式によって決定されなかった。座標、変数、方程式は、特定の幾何学的状況に適用される補助的な概念であった。[ 3 ]
11世紀のペルシャの数学者オマル・ハイヤームは、幾何学と代数学の間に強い関連性を見出し、一般三次方程式の幾何学的解法によって数値代数学と幾何代数学の間の隔たりを埋めることに貢献した[ 4 ]ことで正しい方向へと進んでいたが[ 5 ]、決定的な一歩は後にデカルトによって踏み出された[ 4 ] 。オマル・ハイヤームは代数幾何学の基礎を確立した人物として知られており、解析幾何学の原理を定めた著書『代数学の問題の証明に関する論考』 (1070年)は、最終的にヨーロッパに伝わったペルシャ数学の体系の一部となっている[ 6 ]。代数方程式に対する徹底した幾何学的アプローチにより、ハイヤームは解析幾何学の発明においてデカルトの先駆者とみなすことができる[ 7 ]。
解析幾何学は、ルネ・デカルトとピエール・ド・フェルマーによって独立して発明されましたが、[ 8 ] [ 9 ]デカルトのみが功績を称えられることもあります。[ 10 ] [ 11 ]解析幾何学の別称であるデカルト幾何学は、デカルトにちなんで名付けられました。
デカルトは、1637年に出版された『理性を正しく導き、科学における真理を探求するための方法論』(一般に『方法序説』と呼ばれる)に付随する3つの論文(付録)の1つである『幾何学』という論文で、方法論において大きな進歩を遂げた。 母語であるフランス語で書かれた『幾何学』とその哲学的原理は、ヨーロッパにおける微積分学の基礎を築いた。当初、この著作は、議論の多くの欠陥や複雑な方程式のために、あまり受け入れられなかった。1649年にラテン語に翻訳され、ファン・スホーテンによる注釈が加えられた後(そしてその後も作業が続けられた後)、ようやくデカルトの傑作は正当な評価を受けるようになった。[ 12 ]
ピエール・ド・フェルマーは解析幾何学の発展の先駆者でもあった。生前には出版されなかったものの、 1637年にパリで『平面と立体軌跡入門』の原稿が流通しており、これはデカルトの『異論』の出版直前のことであった。[ 13 ] [ 14 ] [ 15 ]明快に書かれ、好評を博したこの入門書は、解析幾何学の基礎を築いた。フェルマーとデカルトの扱いの決定的な違いは視点の違いにある。フェルマーは常に代数方程式から始めて、それを満たす幾何学的曲線を記述したが、デカルトは幾何学的曲線から始めて、曲線のいくつかの性質の1つとして方程式を導き出した。[ 12 ]このアプローチの結果、デカルトはより複雑な方程式を扱う必要があり、より高次の多項式方程式を扱う方法を開発する必要があった。空間曲線や空間曲面の体系的な研究に座標法を初めて応用したのは、レオンハルト・オイラーであった。

解析幾何学では、平面には座標系が与えられ、それによってすべての点が実数の座標のペアを持ちます。同様に、ユークリッド空間には座標が与えられ、すべての点が3つの座標を持ちます。座標の値は、最初の原点の選択に依存します。さまざまな座標系が使用されますが、最も一般的なものは次のとおりです。[ 16 ]
最も一般的に使用される座標系はデカルト座標系で、各点には水平方向の位置を表すx座標と垂直方向の位置を表すy座標があります。これらは通常、順序対( x、y ) で表されます。このシステムは、ユークリッド空間のすべての点が座標の順序付き 3 つ( x、y、z )で表される3 次元幾何学にも使用できます。

極座標では、平面上のすべての点は、原点からの距離rと角度θで表され、θは通常、正のx軸から反時計回りに測定されます。この表記法では、点は通常、順序対 ( r、θ ) として記述されます。次の式を使用して、2 次元デカルト座標と極座標の間で相互変換できます。[ 17 ] ;\,r={\sqrt {x^{2}+y^{2}}},\,\theta =\arctan(y/x).} このシステムは、円筒座標または球面座標を使用することで、3 次元空間に一般化できます。 [ 17 ]
円筒座標系では、空間上のすべての点は、その高さz、z軸からの半径r、およびxy平面への投影が水平軸となす角度θによって表されます。
球面座標では、空間内のすべての点は、原点からの距離ρ 、 xy平面への投影が水平軸となす角度θ 、およびz軸となす角度φによって表されます。物理学では、角度の名前が逆になることがよくあります。[ 16 ]
解析幾何学では、座標を含む任意の方程式は平面の部分集合、すなわち方程式の解集合、または軌跡を指定します。たとえば、方程式y = xは、平面上のx座標とy座標が等しいすべての点の集合に対応します。これらの点は直線を形成し、y = x はこの直線の方程式であると言われます。一般に、xとyを含む線形方程式は直線を指定し、二次方程式は円錐曲線を指定し、より複雑な方程式はより複雑な図形を記述します。[ 18 ]
通常、平面上の曲線は単一の方程式で表されます。ただし、常にそうとは限りません。自明な方程式x = xは平面全体を表し、方程式x 2 + y 2 = 0 は単一の点 (0, 0) のみを表します。3 次元では、通常、単一の方程式で曲面が表され、曲線は2 つの曲面の交点(下記参照) またはパラメトリック方程式のシステムとして指定する必要があります。[ 19 ]方程式x 2 + y 2 = r 2は、原点 (0, 0) を中心とし半径 r の任意の円の方程式です。
デカルト座標系、あるいはより一般的にはアフィン座標系における直線は、線形方程式によって代数的に記述することができる。2次元の場合、垂直でない直線の式は、しばしば傾き切片形式で表される。 どこ:
2次元空間の直線が点傾斜形式で方程式で表されるのと同様に、3次元空間の平面も、平面上の点とそれに直交するベクトル(法線ベクトル)を用いてその「傾斜」を示すことで自然に記述できます。
具体的には、ある点の位置ベクトルとする、そしてゼロでないベクトルとする。この点とベクトルによって決定される平面は、これらの点から構成される。位置ベクトル付き、から引かれたベクトルにに垂直である2つのベクトルが垂直であるのは、それらの内積がゼロである場合に限ることを思い出すと、目的の平面はすべての点の集合として記述できることがわかる。そのため (ここでドットはスカラー乗算ではなく、ドット積を意味します。)展開すると次のようになります。 これは平面の方程式の点法線形式です。これは単なる線形方程式です。 逆に、 a、b、c、dが定数で、a、b、cがすべてゼロでない場合、方程式のグラフ は簡単に示せる。ベクトルを持つ平面通常通り。この平面に関するおなじみの式は、平面方程式の一般形と呼ばれます。 [ 20 ]
3次元空間では、直線は単一の線形方程式では記述できないため、多くの場合、媒介変数表示によって記述されます。 どこ:

デカルト座標系では、 2変数の二次方程式のグラフは常に円錐曲線になります。ただし、退化している場合もあります。すべての円錐曲線はこのようにして生じます。方程式は次の形式になります。 6つの定数すべてをスケーリングすると同じ零点の軌跡が得られるため、円錐曲線は5次元射影空間内の点と考えることができる。
この方程式で記述される円錐曲線は判別式[ 21 ]を使用して分類できます。
円錐曲線が非退化である場合、次のことが成り立つ。
二次曲面、または二次曲面とは、3 次元空間における2次元曲面で、二次多項式の零点の軌跡として定義されます。座標x 1、x 2、x 3において、一般二次曲面は代数方程式[ 22 ]で定義されます。

解析幾何学では、距離や角度などの幾何学的概念は公式を用いて定義されます。これらの定義は、基礎となるユークリッド幾何学と整合するように設計されています。例えば、平面上のデカルト座標を用いると、2点( x₁ , y₁ )と( x₂ , y₂ )間の距離は次の公式で定義されます 。 これはピタゴラスの定理 の一種と見なすことができる。同様に、直線が水平線となす角度は次の式で定義できる。 ここで、mは直線の傾きである。
3次元空間における距離は、ピタゴラスの定理の一般化によって与えられる。 2 つのベクトル間の角度は、内積によって与えられます。2 つのユークリッドベクトルAとBの内積は、[ 23 ]で定義されます。 ここで、θはAとBの間の角度である。

変換は親関数に適用され、類似した特性を持つ新しい関数に変換されます。
グラフ標準的な変換によって以下のように変更されます。
基本的な解析幾何学では一般的に研究されない、その他の標準的な変換も存在します。これらの変換は、通常考慮されない方法で物体の形状を変化させるためです。スキューイングは、通常考慮されない変換の一例です。詳細については、アフィン変換に関するウィキペディアの記事を参照してください。
例えば、親関数水平漸近線と垂直漸近線を持ち、第 1 象限と第 3 象限を占め、その変換されたすべての形式は 1 つの水平漸近線と垂直漸近線を持ち、第 1 象限と第 3 象限、または第 2 象限と第 4 象限のいずれかを占めます。一般に、すると、次のように変換できます。変換後の新しい関数では、は、1より大きい場合は関数を垂直方向に引き伸ばし、1より小さい場合は関数を垂直方向に圧縮する係数であり、負の場合は となります。値、関数は軸。値が 1 より大きい場合は関数のグラフを水平方向に圧縮し、1 より小さい場合は関数を水平方向に引き伸ばします。、機能を反映しています負の場合の軸。そして値は翻訳を導入します、垂直、そして水平。正そして値が正であれば関数が軸の正の方向に平行移動され、負であれば負の方向に平行移動されることを意味します。
変換は、方程式が関数を表しているかどうかに関わらず、あらゆる幾何方程式に適用できます。変換は、個別の操作として、または組み合わせて考えることができます。
仮には関係です飛行機。例えば、 これは単位円を表す関係式です。
関係式で表される2つの幾何学的オブジェクトPとQについてそして交点はすべての点の集合ですこれらは両方の関係に存在します。[ 24 ]
例えば、半径1で中心が円である可能性がある: そして半径1で中心が円である可能性があるこれら2つの円の交点は、両方の式を満たす点の集合です。両方の式を真にする?のためにの式になるまたはそれは本当なので、関係にある一方、依然としてのためにの方程式になるまたはそれは誤りです。 はつまり、交差点にはないということだ。
交差点そして連立方程式を解くことで求めることができます。
交点を見つける従来の方法には、代入法と消去法がある。
代入法: 最初の式を解いてに関してはそして、式を代入する2番目の式に代入します。
次に、この値を代入します。もう一方の式に代入して、解く:
次に、この値を元の方程式のいずれかに代入して解く:
つまり、私たちの交差点には2つの点があります。
消去法:一方の式に他方の式を足し(または引き)、いずれかの変数を消去します。この例では、2番目の式から最初の式を引くと、次のようになります。.最初の式では、2番目の式では、用語。変数が消去されました。次に、残りの方程式を解きます。代入法と同様に:
次にこの値を元の方程式のいずれかに代入して解く:
つまり、私たちの交差点には2つの点があります。
円錐曲線の場合、交点には最大で4つの点が含まれる可能性があります。
広く研究されている交差の一種は、幾何学的オブジェクトとそして座標軸。
幾何学的オブジェクトと-軸はオブジェクトの切片。幾何学的オブジェクトと-軸はオブジェクトの切片。
ラインのためにパラメータ線が交差する点を指定します軸。文脈によっては、またはポイントと呼ばれる切片。
幾何学における軸とは、あらゆる線、物体、または面に垂直な線のことである。
また、これについては、一般的な言語では「法線(垂直線)」、工学では「軸線」などと表現されることもあります。
幾何学において、法線とは、与えられた物体に垂直な直線やベクトルなどの物体を指します。例えば、二次元の場合、ある点における曲線の法線とは、その点における曲線の接線に垂直な直線のことです。
3次元の場合、点Pにおける曲面の法線、または単に法線とは、点Pにおけるその曲面の接平面に垂直なベクトルのことです。「法線」という言葉は形容詞としても使われます。平面に垂直な線、力の法線成分、法線ベクトルなどです。法線性の概念は直交性へと一般化されます。
接線とは、関数の球面曲線、あるいはその他の曲線やねじれた直線の線形近似のことである。
幾何学において、平面曲線上の特定の点における接線(または単に接線)とは、その点で曲線に「ちょうど接する」直線のことです。非公式には、曲線上の無限に接近した2点を通る直線です。より正確には、直線が曲線上の点( c , f ( c ))を通り、傾きがf'(c)である場合、直線は曲線y = f ( x )の接線であると言われます。ここでf 'はfの導関数です。同様の定義は、空間曲線やn次元ユークリッド空間の曲線にも適用されます。
接線と曲線が交わる点(接点と呼ばれる)を通過する際、接線は曲線と同じ方向を向いているため、その点における曲線の最良の直線近似となる。
同様に、ある点における曲面の接平面とは、その点で曲面に「ちょうど接する」平面のことです。接線の概念は微分幾何学における最も基本的な概念の一つであり、広く一般化されています。詳しくは「接空間」を参照してください。
この内容は、上述のように座標の使用法と強い類似性があるため、メナエクムスは解析幾何学を習得していたと主張されることがある。しかし、そのような判断は部分的にしか妥当ではない。なぜなら、メナエクムスは2つの未知量を含む方程式が曲線を決定することを知らなかったのは確かだからである。実際、未知量を含む方程式という概念自体がギリシャ人の思想には馴染みのないものであった。ギリシャ人が本格的な座標幾何学を確立できなかった最大の理由は、代数表記法の不備であった。
アポロニウスの論文
『確定断面について』は、
いわば一次元解析幾何学を扱っていた。この論文では、典型的なギリシャ代数解析を幾何学的形式で用いて、次のような一般的な問題を考察している。直線上に4点A、B、C、Dが与えられたとき、直線上に5点目の点Pを決定し、APとCP上の長方形がBPとDP上の長方形と所定の比率になるようにする。ここでも、問題は容易に二次方程式の解に帰着し、他の場合と同様に、アポロニウスは可能性の限界や解の数を含めて、この問題を徹底的に扱った。
アポロニウスの円錐曲線
の方法は、多く
の点で現代のアプローチと非常に似ているため、彼の研究は、1800年も前にデカルトの解析幾何学を先取りしていたと評価されることもある。一般的に基準線、特に直径とその端点における接線を用いる方法は、もちろん、直交座標系であれ、より一般的には斜座標系であれ、座標系を用いることと本質的に違いはない。接点から直径に沿って測った距離が横座標であり、接線に平行で軸と曲線の間にある線分が縦座標である。これらの横座標と対応する縦座標との間のアポロニウス的な関係は、曲線の方程式を修辞的に表現したものに他ならない。しかし、ギリシャの幾何代数では負の値は扱われなかった。さらに、座標系は常に、
与えられた曲線の性質を研究するために、
事後的に
重ね合わされた。古代幾何学において、方程式や関係を記号的あるいは修辞的に表現するために、座標参照系が
あらかじめ
定められた例は存在しないように思われる。ギリシャ幾何学においては、方程式は曲線によって決定されるが、曲線が方程式によって決定されるとは言えない。座標、変数、方程式は、特定の幾何学的状況から派生した補助的な概念であった。[...] 古代最大の幾何学者であるアポロニウスが解析幾何学を発展させなかったのは、おそらく思考力の欠如というよりも、曲線の不足によるものであった。問題が常に限られた数の特定の事例のいずれかに関わる場合、一般的な方法は必要ない。
「テント職人」と呼ばれ、アル・フワーリズミーの代数学を超えて3次方程式までを扱った代数学を著した。アラブの先人たちと同様に、オマル・ハイヤームは2次方程式に対して算術解と幾何学解の両方を提供したが、一般的な3次方程式については(16世紀に明らかになったように、これは誤りであった)、算術解は不可能であると信じていたため、幾何学解のみを与えた。3次方程式を解くために交差円錐曲線を用いる手法は、メナエクムス、アルキメデス、アルハザンによって以前に用いられていたが、オマル・ハイヤームは、この方法をすべての3次方程式(正の根を持つ方程式)に一般化するという称賛に値する一歩を踏み出した。 3次を超える方程式については、オマル・ハイヤームは明らかに同様の幾何学的方法を想定していなかった。なぜなら、空間は3次元を超える次元を持たないからである。アラビアの折衷主義の最も実りある貢献の一つは、数値代数と幾何代数の間の隔たりを埋めようとする傾向であった。この方向への決定的な一歩は、はるか後のデカルトによって踏み出されたが、オマル・ハイヤームは次のように書いたとき、この方向に向かっていた。「代数を未知数を得るためのトリックだと考える者は、無駄な考えをしている。代数と幾何学が外見上異なるという事実に注意を払うべきではない。代数は証明された幾何学的事実である。」
解析幾何学の二人の創始者、フェルマーとデカルトは、いずれもこれらの発展から強い影響を受けた。
解析幾何学の発見者として広く知られているのは、近代において最も影響力のある思想家の一人である哲学者ルネ・デカルト(1596年~1650年)である。