Der Erdradius wird hierbei nicht mit 6380 km angegeben (wo dieser Wert herkommt, war mir nie sonderlich klar - sogar der Radius am Äquator ist kleiner) sondern per Definition aus WGS84 - das ist zwar bei der Entfernungsberechnug zwischen zwei nahe zusammenliegenden Orten weitgehend vernachlässigbar, bei Transatlantikflügen kommen da aber schon recht große Abweichungen zusammen.
Nachtrag: oft wird in Berechnungena auch die große Halbachse (also der Äquatorradius verwendet) - das wären dann 6378 km - der Radius an den Polen beträgt nur rund 6357 km.
Der von mir angegbenen mittlere Erdradius ist das arithmetische Mittel von Volumengleichen Kugeln über die große und kleine Halbachse.
Diesen Wert verwendet z.B. auch das Statistische Bundesamt für die Berechnung von Flugstrecken über deutschem Luftraum: Seite 11