公式推导是口述嘛