[x] kí hiệu phần nguyên của x, là số nguyên lớn nhất không vượt quá x
{x} là phần lẻ của x ; và bằng x - [x]
=> Tính chất 0 < x - [x] < 1
Ta có: [x] = 4{x}
=> [x] = 4. (x - [x])
=> 5.[x] = 4x
=> [x] = 4x/5
=> 4x/5 \(\in\) Z và 0 < x - 4x/5 < 1
=> 4x/5 \(\in\) Z và 0 < x/5 < 1
=> 4x/5 \(\in\) Z và 0 < x < 5
=> x = 0
Vậy x = 0