GRS80
長半径 = 赤道半径 = a {\displaystyle a} = 6 378 137 m