Как думаете, должны ли значения характеристик планет сответствовать формуле?

Answer 1

Не то, чтобы жестко должны. Просто такое распределение - наиболе устойчиво. Любая система, отличающаяся от этой прогрессии, будет постепенно "мутировать", подстраиваться, приближаться к ней.
Это сходный процесс, как между планетой и спутником - единственное стабильное состояние, это когда любой из партнеров находится на стационарной орбите другого партнера. Или, иными словами, когда планета и спутник смотрят друг на друга одной стороной. К этому положению стремится ЛЮБАЯ система, если отсутствуют посторонние искажения и имется достаточно времени.

Answer 2

"А вот другое открытие. Отчего зимою день короткий, а ночь длинная, а летом наоборот? День зимою оттого короткий, что подобно всем прочим предметам видимым и невидимым от холода сжимается и оттого, что солнце рано заходит, а ночь от возжения светильников и фонарей расширяется, ибо согревается. "