Да, формулы для того, чтобы рассчитывать диаметры окружностей для зарисовок.
Считаем для диаметра 47 см (в скобках я отмечаю видимый диаметр планеты в угловых секундах, который я взял условно, для примера):
Меркурий (7) = 1,7 см
Марс (20) = 6,1 см
Юпитер (41) = 7,3 см
Сатурн (18) = 3,2 см