推导数学公式，可以直接求的