伟达定理求根公式是什么