an+5-an+1 = an.a5-an.a = an.a(a4-1) = an.a.(a2 - 1).(a2 + 1)= an.a.(a-1)(a+1).(a2 + 1)
Do a.(a-1)(a+1) chia hết cho 2;3 => an.a.(a-1)(a+1).(a2 + 1) chia hết cho 6 => an+5-an+1 chia hết cho 6 (1)
an+5-an+1 = an(a5-a) = an(a5-1)
=> Do (a5-1) chia hết cho 5 ( định lí fermat nhỏ) => an(a5-1) chia hết cho 5 => an+5-an+1 chia hết cho 5
Từ (1) và (2) => an+5-an+1 là B(5;6)
Mà BCNN(5;6) = 30 => (an+5-an+1 ) chia hết cho 30