设 x>0x>0x>0 满足 x2=r⌊x⌋x^2=r\lfloor x\rfloorx2=r⌊x⌋,令 k=⌊x⌋k=\lfloor x\rfloork=⌊x⌋。因 x>0x>0x>0,r>0r>0r>0,故 x2=rk>0x^2=rk>0x2=rk>0 迫使 kkk 为正整数,且由 k≤x<k+1k\le x<k+1k≤x<k+1 得 k2≤x2=rk<(k+1)2k^2\le x^2=rk<(k+1)^2k2≤x2=rk<(k+1)2。