Vincenty法
以下のように定義する。