我也喜欢推公式。还记得30多年前，读本科时，学普通物理，推导电磁学中的高斯定理。参见
http://blog.sciencenet.cn/blog-220220-836605.html
自学高等代数时，给出方阵使其本征多项式为零的直接推导。不过只是自娱自乐，没有发表。

真正知道推导能发表是本科毕业后，推分析力学的公式，好像也不难，发表在当时很不错的期刊《科学通报》《固体力学学报》等。很有成就感。

公式推着，文章发着，就有经费买计算机。算着算着，论文的数量更多、发表的期刊也更好，就有了经费建实验室。有了实验室，申请专利，也做些企业课题，虽然很少很小。

30多年的职业生涯，好像在滚雪球。雪球的核心，就是最初的公式推导。