У меня ремарка, не конкретно эта формула, но в принципе, расчёт работает и легко выводится математически из размера пикселя и фокуса объектива.
Корнями история уходит в плёночную съёмку, где размер зерна на плёнке был намного больше любого из теперешних пикселей, и даже самые мелкие звёздочки вытягивались при неправильно подобранной выдержке.
Сейчас пикселей на камерах столько, что 2-4 кратное уменьшение разрешения снимка при обработке не снизит его качества при последующем просмотре. То есть дрейф в 2-5 пикселей всё равно будет не заметен после сжатия снимка, особенно, у ярких звёзд.
Просто у нынешних камер такой спектр настроек, что реально, проще при съёмке всё подобрать.