系统太不好用了吧...推导题用公式打也不得劲