求根公式推导