点、線および対偶性

幾何学プログラムは、等辺三角形の定理の自己同相性の証明に、古典的なユークリッドの証明に見られない視点を使用しています。この洞察：三角形ABCを、2番目の構築された三角形と比較するのではなく、ABC自身の基本頂点を交換して比較する。対応A↔A、B↔C、C↔B。

これは幾何学的対称性の議論です：等辺三角形は、頂点から下向きの高さ上の反射に対して対称です。プログラムは反射を明示的に構築していませんでしたが、それを抽象として使用しました。

この背後にある一般的な原則は、射影的対偶性です：射影平面では、点と線に関するあらゆる定理が、'点'と'線'の代わりに'線'と'点'を使って、対偶定理を得ることができます。

対偶性辞書:

- 点 ↔ 線

- 点が線上にある ↔ 線が点を通る

- 2点で一意の線が決定される ↔ 2線で一意の点が決定される

- 直線上の点 ↔ 交点の線

点に関する単一の証明は、線に関する対偶定理の証明を自動的に提供します。そしてその逆もまた同じです。2つの証明は同じ構造、同じ長さ、および同じ推論ステップを持っています。対偶的な視点を見つけることは、元のもののより簡単な証明を明らかにすることがよくあります。

対偶性の適用

デザルグの定理：2つの三角形が一点から視点関係にある場合（対応する頂点を通る3本の線がすべて1点で交わる場合）、それらは1本の線から視点関係にある。

この定理は自己双対的です。点と線を入れ替えると、同じ定理の文言になります。

サンプリングレート＆周波数空間

ベル研究所のコンピュータ音楽システムは、1つの数学定理に基づいています：ニューキスト-シャノンサンプリング定理。

述語：最大周波数がf_maxである限られたバンド幅の信号は、2 × f_maxのサンプル毎秒で取得されたサンプルから完全に再構築できます。

幾何学的解釈：f_maxでバンド制限された信号は、すべての連続関数の空間の有限次元の部分空間に存在します。2f_maxのサンプリングは、その部分空間のポイントを一意に特定するのに十分な座標を提供します。

エイリアス：サンプリング失敗の幾何学

Nyquist率以下の周波数は、f_max以上の周波数はaliasします - サンプリングされた信号で低い周波数として表示されます。二つの異なる信号はサンプリング後に区別できません。幾何学的には：サンプリング演算子は信号空間を低次元空間への投影を行うため、異なる信号が衝突します。

デジタルオーディオ（CD品質）：f_max = 22,050 Hz（20,000 Hz人体聴覚限界の若干上）、サンプリングレート = 44,100サンプル/秒。電話：f_max = 4,000 Hz、サンプリングレート = 8,000サンプル/秒。

Nyquist Rate計算

Nyquistの定理は、情報喪失を避けるために必要な最小限のサンプリングレートを決定します。

証明空間と信号空間：共有幾何学

証明のパスとNyquistサンプリング定理は、共通の幾何学的構造を共有しています：いずれも複雑なものの最小表現を求めるために接続性が構造です。

証明最小化：証明グラフの前提から結論までの最短パス（最少の推論ステップ）を見つける。自己一致の証明は、対称性を利用して最小化されたパス長を短縮しました。

信号サンプリング：バンド限界信号内のすべての情報を保持するのに必要な最少サンプル数（最低サンプリングレート）を見つける。ニューウィストの定理は、バンド幅制限を利用して表現を最小化します。

両問題は、最小表現結果を可能にする構造を持つ空間で存在します。構造が破れると失敗します：証明はアキソン空間が整理されていない場合に長くなります；アリアスが発生するのは、信号がバンド限界でない場合です。