非ユークリッド幾何学 曲面で成立、GPSに応用の画像