比如a=int(x(z),v,inf),在已知a和x(z)的情况下如何求出v?