伟达定理求根公式