半径1の球面で大円による三角形を作る。[br]その三角形の角度が直角の時にピタゴラスの定理にあたる法則が見つかる。[br]それは、中心と大円の弧のなす3つの角度の間に次の関係が成り立つ。[br][math]cos\epsilon=cos\alpha\times cos\beta[/math][br]
条件から立体に組み合わせた時の△CHIは直角三角形。[br]∠CHI=∠π なのでピタゴラスの定理により、CI[sup]2[/sup]=CH[sup]2[/sup]+HI[sup]2[/sup][br]つまり、CI[sup]2[/sup]=sin[sup]2[/sup](α)+cos[sup]2[/sup](α)sin[sup]2[/sup](β)[br]今度は立体に組み合わせた時の△CAIを考える。[br]CI[sup]2[/sup]+AI[sup]2[/sup]=sin[sup]2[/sup](α)+cos[sup]2[/sup](α)sin[sup]2[/sup](β)+cos[sup]2[/sup](α)*cos[sup]2[/sup](β)[br] =sin[sup]2[/sup](α)+cos[sup]2[/sup](α)[br] =1[br]よってAI⊥AC[br]つまり AF=AI ⇒ [b]cos(ε)=cos(α)×cos(β)[/b][br]これが球面三角法におけるピタゴラスの定理[br]