递归公式的推导