Меня попросили в частном порядке привести вывод формулы из предыдущего поста.
Делаю это публично, под контролем общественности, :-) на случай возможных ошибок.
Одну, кстати, нашел. К счастью, качественно она особо не влияет.

Запаздывание луча В по отношению к лучу А складывается из двух величин.
1. Время поворота зеркала -

.
2. Дополнительное время, связанное с удлинением пути -

.
Поскольку угол поворота отраженного луча вдвое больше угла поворота зеркала, то

Задержка, связанная с удлинением пути, равна

,

- скорость света.
Т.о.

(1)
Далее,

, откуда

Выражаем из последнего

и подставляем в (1).
В итоге:
