摘要

利用初等和极限的理论研究了一个包含Gauss取整函数的方程x[y]-y[x]=|x-y|可解性问题,证明了该方程有无穷多个正整数解,并给出了此方程所有正整数解的具体形式。