Nhân biểu thức dưới dấu căn như sau: n(n+6)=n2+6n,(n+2)(n+6)=n2+6n+8 rồi đặt biểu thức n2+6n=k.
Ta được biểu thức dưới dấu căn là k2+8k, và do:
k2+6k+9<k2+8k<k2+8k+16
Nên ⌊√k2+8k⌋=k+3, vì thế an=n2+6n+3=(n+3)2−6
Vậy an chia hết cho 7 khi và chỉ khi (n+3)2 chia cho 7 dư 6.
Nhưng bình phương của 1 số tự nhiên khi chia cho 7 chỉ cho số du là 0;1;4 và 2.
Do đó an không chia hết cho 7 với mọi n