Bài 3
Cho và là các số nguyên không âm tùy ý. Chứng minh là số nguyên. ().
Bước 3 trên 4: Suy ra hệ thức đệ quy
Hiểu nôm na
Bốn lần một giá trị lân cận trừ giá trị kia triệt tiêu đúng về đại lượng cần chứng minh.
Phân tích chi tiết
Thay hai đẳng thức trước vào, hệ số của trong là . Suy ra hệ thức trên.