Bài 5
Cho là một hàm từ tập số nguyên đến tập số nguyên dương. Giả sử rằng, với hai số nguyên bất kỳ và , hiệu chia hết cho . Chứng minh rằng, với mọi số nguyên và mà , số chia hết cho .
Bước 1 trên 5: Mọi giá trị đều chia hết f(0)
Hiểu nôm na
So sánh một điểm với chính nó trừ 0 cho thấy f tại điểm đó đã chia hết khoảng cách của chính nó tới f(0), và một số luôn chia hết chính nó, nên nó cũng chia hết f(0).
Phân tích chi tiết
Đặt trong giả thiết cho với mọi số nguyên . Vì luôn chia hết chính nó, nó cũng chia hết hiệu ; tức với mọi số nguyên .