维达定律公式推导过程是什么