This looks right to me, but see what you think:
Prove by mathematical induction that:
5^n +2(11^n) is divisible by 3, for all positive integer values of n.
Step 1: Test the statement for n = 1:
5^1 + 2(11^1) = 27, which is divisible by 3
.'. True for n = 1
Step 2: Assume the expression is divisible by 3 for n = k:
.'. 5^k + 2(11^k) / 3 = M, where M is some integer
ie 5^k + 2(11^k) = 3M
ie 5^k = [3M - 2(11^k)]
Step 3: Prove the expression is divisible by 3 for n = k + 1:
ie 5^(k+1) + 2(11^(k+1)) = 5^k . 5^1 + 2(11^k) . 2(11^1)
= [3M - 2(11^k)] . 5 + 2(11^k) . 2(11), using our assumption:
5^k = [3M - 2(11^k)]
= 15M - 5 . 2(11^k) + 2(11^k) . 2(11), on expanding
= 15M + 2(11^k)[5+22], on rearranging
= 15M + 27 . 2(11), on adding brackets and rearranging
= 3M + 9 . 2(11^k), factorising by 3
= 3(M + 3(2(11^k)), taking out the common factor of 3, where k is also another integer.
= 3(M + 6(11^k)), which is divisible by 3 because M is an integer, from above, and M x 6(11^k) is an integer.
Therefore, if the statement is true for n = k, it is also true for n = k + 1.
Step 4: Hence, if the statement is divisible by 3 for n = k, it is also divisible by 3 for n = k + 1. It is divisible by 3 for n = 1, so it is divisible by 3 for n = 2. If it is divisible by 3 for n = 2, it is also true for n = 3, and so on, for all positive integers n.