这是硬算的，不是推出的，你自己算一遍就知道了

【 在 remark 的大作中提到: 】
: 从第一步怎么推出x^2+x-1=0这一步的
--
FROM 171.212.116.*