伟达定理求根公式怎么用