4推导公式