求根公式推导过