В 1897 году Циолковский вывел формулу, установившую зависимость между скоростью ракеты в любой момент, скоростью истечения газов из сопла, массой ракеты и массой взрывных веществ.

Формула сразу дала Циолковскому доказательство того, что полеты к другим планетам посредством ракет возможны. Она же позволила ему установить идеальное топливо для ракеты: если использовать в качестве горючего жидкий водород, а в качестве окислителя жидкий кислород, то грузоподъемность ракеты существенно возрастает. Именно такое топливо использовали для одних из самых грузоподъемных ракет в мире: Энергия и Сатурн-5.