怎么根据赤道的长度求纬线圈的长度?