对于方程 ⌈ax⌉=b\lceil\dfrac ax\rceil=b⌈xa⌉=b,满足 a,b∈Z,b≤aa,b\in \mathbb{Z},b\le\sqrt aa,b∈Z,b≤a,请问以下命题是否成立:
x=⌈ab⌉x=\lceil\dfrac ab\rceilx=⌈ba⌉ 是原方程的解。
x=⌈ab⌉x=\lceil\dfrac ab\rceilx=⌈ba⌉ 是原方程的最小正整数解。