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

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