假设法解题公式推导