メルカトル図法
この式はメルカトル図法における赤道と緯線の間の距離を求める式と定数倍の違いだけであり、赤道との交点を formula_6 である。（formula_7 はグーデルマン関数。）