大圆机线是球体表面上连接两点的最短路径，其长度可通过以下公式计算：

L = r * arccos(cos(lat1)*cos(lat2)*cos(lon2-lon1) + sin(lat1)*sin(lat2))

需要注意的是，该公式只适用于球体模型，而实际地球的形状比球体更为复杂，因此在现实应用中可能需要考虑地球椭球体模型或其他更精确的模型。