俄国科学家齐奥尔科夫斯基通过论证推导出齐奥尔科夫斯基公式，它对研制_____运载工具，提供了帮助。