Нормативное основание
Формула приведения наклонного расстояния к горизонту (тригонометрическое нивелирование, СП 317.1325800.2017 п. 5.3.1; руководства по эксплуатации электронных тахеометров)
Разбор
Тахеометр измеряет наклонную дальность D и вертикальный угол (угол наклона) ν. Горизонтальное проложение — это проекция наклонной линии на горизонтальную плоскость, то есть прилежащий катет: S = D·cos ν. Через D·sin ν вычисляется превышение h, а не проложение; D·tg ν вообще не имеет геометрического смысла для этой задачи.