To prove:
9n+1 − 8n − 9 is divisible by 64, for all positive integers n.
Step 1: Rewrite the expression
9n+1 − 8n − 9 = 9·9n − 9 − 8n
= 9(9n − 1) − 8n
Step 2: Use binomial expansion
9 = 1 + 8
So,
9n = (1 + 8)n
= 1 + n·8 + nC282 + …
Step 3: Subtract 1
9n − 1 = 8n + 64k, where k is an integer
Step 4: Substitute back
9(9n − 1) − 8n = 9(8n + 64k) − 8n
= 72n + 576k − 8n
= 64n + 576k
Step 5: Factor 64
64n + 576k = 64(n + 9k)
Conclusion:
Since n + 9k is an integer,
9n+1 − 8n − 9 is divisible by 64.