设[3x+1]=2x-1/2=m
x=(2m+1)/4
[(6m+7)/4]=m
[3m/2+7/4]=m
注意到m是整数,两边消去m
[m/2+7/4]=0
0≤m/2+7/4