Выражение можно переписать так: (17^n-4^n)-(81^n-16^n)Достаточно доказать, что выражения в скобках делятся на 13.Докажем следующее утверждение: Если (а-b) делится на m, то и (a^n-b^n) делится на м. Для n=1 это очевидно. Пусть это верно для n=p,покажем, что это верно для n=p+1. В самом деле: D=(а^(p+1)-b^(p+1))=a^(p)*a-b^(p)*b.Но а=k*m+b для некоторого k D=b*a^p+k*m*a^p-b*b^p=b*(a^p-b^p)+k*mОба слагаемых на m делятся, что и доказывает наше утверждение. В исходном выражении два слагаемых делятся на 13 так как17-4=13 и 81-16=13*5.Утверждение доказано.