利用经纬仪测量竖直角时，盘左位置抬高望远镜的物镜，若竖直度盘的读数逐渐减小，则下列竖直角的计算公式正确的是（ ）。