ガリレオの数式
任意の系が相対的（同等）であることはその空間でただ１つしかない「２点間の最短距離」の式の形が同じになると言うことです。これが一般相対論の数学的根拠です。測地線の式の形が任意の系に変換しても形が変わらないのです。そのような式が存在することが一般相対論の正当性を示します。