数学伟达定理公式推导