通过已知的初始条件，利用特定关系得出中间推论，直到得到最后结果，可以用__实现