推导(一个公式)用英语怎么表达?