矛盾による証明 (不条理の還元)

ユークリッドの5つの公準は、彼の著書『原論』に記述されているように、ユークリッド幾何学の公理的基礎を形成しています。これらは、他のすべての定理が論理的に導き出される基本的な仮定です。最初の4つは直線と円の作図に関するものであり、5番目の平行線公準は、ユークリッド空間の平面性、すなわち曲面を持たない性質を独自に定義しています。これらの公理は、数学における演繹法を確立しました。

ユークリッド幾何学の基本定理の一つに、任意の三角形の3つの内角の合計は常に2直角、つまり180度に等しいというものがあります。この性質、[latex]alpha + beta + gamma = 180^circ[/latex]は平行線公準の直接的な結果であり、平面上のすべての三角形（大きさや形状に関係なく）に当てはまります。

直接証明とは、確立された事実（通常は公理、定義、および既に証明された定理）を単純に組み合わせることによって、与えられた命題の真偽を示す方法です。条件命題 [latex]p rightarrow q[/latex] を証明するには、[latex]p[/latex] が真であると仮定し、推論規則を用いて [latex]q[/latex] も真でなければならないことを示します。

ピタゴラスの定理は、直角三角形の3辺の関係を表すユークリッド幾何学の基本的な法則です。直角の対辺である斜辺を辺とする正方形の面積は、他の2辺を辺とする正方形の面積の和に等しいことを示しています。この式は、[latex]a^2 + b^2 = c^2[/latex] と表されます。

不可分法とも呼ばれるこの原理は、2つの平行な平面の間にある2つの立体が、その2つの平面に平行なすべての平面と等しい面積の断面で交わる性質を持つ場合、2つの立体は等しい体積を持つというものです。これは、微積分を用いずに複雑な形状の体積を計算するための強力な方法を提供します。

ピタゴラスの定理は、デカルト座標における距離の公式の基礎となります。平面上の2点[latex](x_1, y_1)[/latex]と[latex](x_2, y_2)[/latex]間の距離[latex]d[/latex]は、[latex]d = sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]で与えられます。この公式は、x座標とy座標の差を辺とする直角三角形に定理を直接適用したものです。

これは数学史において特筆すべき問題である。1736年にレオンハルト・オイラーがこの問題を否定的に解決したことで、グラフ理論の基礎が築かれ、トポロジーの概念が先駆けられた。この問題は、ケーニヒスベルク市の7つの橋を、一度の往復で全て渡り、出発点と同じ陸地に戻ってくることができるかどうかを問うものであった。

ユークリッドの第5公準である平行線公準は、ユークリッド幾何学を定義する公理です。この公準は、ある直線が他の2つの直線と交わり、一方の側の内角の和が2直角未満（[latex]alpha + beta < 180^circ[/latex]）である場合、2つの直線は最終的にその側で交わると述べています。この公準により、与えられた直線上にない点を通る平行線は一意に定まります。

ピタゴラス数とは、[latex]a^2 + b^2 = c^2[/latex]を満たす3つの正の整数a、b、cから構成されます。よく知られた例として(3, 4, 5)があります。ユークリッドの公式は、これらの三つ組を生成する基本的な方法です。[latex]m > n[/latex]を満たす任意の2つの正の整数mとnが与えられた場合、[latex]a = m^2 - n^2[/latex]、[latex]b = 2mn[/latex]、[latex]c = m^2 + n^2[/latex]という式によってピタゴラス数が生成されます。

プラトン立体は、凸型の正多面体である5つの立体のみを指します。正多面体は、合同な正多角形の面を持ち、各頂点に集まる面の数も同じです。5つの立体とは、正四面体（4面）、正立方体（6面）、正八面体（8面）、正十二面体（12面）、正二十面体（20面）です。これらの立体の対称性と性質は、古代から研究されてきました。

2の平方根は無理数であり、2つの整数の比[latex]p/q[/latex]として表すことはできません。ピタゴラス学派に帰せられることが多い古典的な証明は、背理法による証明です。この証明では、[latex]sqrt{2} = p/q[/latex]を既約分数で仮定すると、[latex]p[/latex]と[latex]q[/latex]の両方が偶数でなければならないという結論に至り、最初の仮定と矛盾します。

プトレマイオスの定理は、三角法の和と差の公式に対する優雅な幾何学的証明を提供します。一辺を直径とする円に四角形を内接させることで、辺の長さは内接角の正弦と余弦で表すことができます。定理 [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] を直接適用すると、[latex]sin(alpha + beta) = sinalphacosbeta + cosalphasinbeta[/latex] のような恒等式が得られます。

デカルト座標系は、ユークリッド幾何学の代数モデルを提供する。これは、1つまたは複数の数値、すなわち座標を用いて、空間内の点の位置を一意に決定する。平面上では、互いに垂直な2本の直線（x軸とy軸）が用いられ、幾何学的形状を代数方程式で記述することができる。このように代数と幾何学を融合させたものが解析幾何学と呼ばれる。

数学的帰納法は、自然数 n に対して性質 P(n) が成り立つことを証明するために用いられる手法です。この手法は、基本ケースとして P(0) または P(1) が真であることを証明し、帰納ステップとして、自然数 k に対して P(k) が真である場合 (帰納法の仮説)、P(k+1) も真であることを証明します。