Với mỗi số thực a, ta gọi phần nguyên của số a là số nguyên lớn nhất không vượt quá a và kí hiệu là [a]. Chứng minh rằng với mọi n nguyên dương ta luôn có:
= n
Ta có
Với k = 1 ta có
k = 2 ta có
...........
k = n ta có
Cộng n đẳng thức ta thu được
Dễ thấy n < n + 1 < n +1
=> = n
Chú ý: Có thể giải cách khác như sau:
Với k = 1 ta có
k = 2 ta có
...........
k = n ta có
Cộng n đẳng thức ta thu được
Suy ra = n