Solveeit Logo

Question

Question: Is $13(13)^n-11n-13$ divisible by 144 for infinitely many $n \in N$?...

Is 13(13)n11n1313(13)^n-11n-13 divisible by 144 for infinitely many nNn \in N?

Answer

Yes

Explanation

Solution

We need to show that

E(n)=1313n11n13=13n+111n13E(n)=13\cdot 13^n-11n-13=13^{n+1}-11n-13

is divisible by 144 for infinitely many nNn\in\mathbb{N}. Since

144=169,144=16\cdot9,

we check divisibility modulo 16 and modulo 9 separately.

1. Modulo 16

Since 1313(mod16)13\equiv 13\pmod{16}, compute the order of 13 modulo 16:

1321699,133139=1175,134513=651(mod16).13^2\equiv169\equiv9,\quad 13^3\equiv13\cdot9=117\equiv5,\quad 13^4\equiv5\cdot13=65\equiv1\pmod{16}.

Thus, the cycle length is 4, and

13n+1(mod16)13^{n+1}\pmod{16}

depends on n+1(mod4)n+1\pmod{4}.

Let n=4m+rn=4m+r where r=0,1,2,3r=0,1,2,3:

  • Case r=0r=0 (i.e. n=4mn=4m): Then n+11(mod4)n+1\equiv1\pmod{4} so 13n+11313^{n+1}\equiv 13. Thus,

    E(n)1311(4m)13=44m12m(mod16).E(n)\equiv 13-11(4m)-13 = -44m\equiv -12m\pmod{16}.

    For 12m0(mod16)-12m\equiv0\pmod{16}, note that gcd(12,16)=4\gcd(12,16)=4; hence, mm must be a multiple of 44. That is, m=4km=4k and so n=16kn=16k.

  • For other residues r=1,2,3r=1,2,3, one does not get a congruence of 0 modulo 16.

Thus, the necessary condition modulo 16 is:

n0(mod16).n\equiv0\pmod{16}.

2. Modulo 9

Rewrite modulo 9: Since 134(mod9)13\equiv4\pmod{9} and 112(mod9)11\equiv2\pmod{9}, we have

E(n)4n+12n4(mod9).E(n)\equiv 4^{n+1}-2n-4\pmod{9}.

The powers of 4 modulo 9 are:

414,42167,4347=281(mod9).4^1\equiv4,\quad 4^2\equiv16\equiv7,\quad 4^3\equiv4\cdot7=28\equiv1\pmod{9}.

Thus, the order is 3 and we consider cases modulo 3 by letting n=3k+rn=3k + r for r=0,1,2r=0,1,2:

  • Case r=0r=0 (n=3kn=3k): Then

    4n+1=43k+1=4(43)k4(mod9).4^{n+1}=4^{3k+1}=4\cdot (4^3)^k\equiv4\pmod{9}.

    So,

    E(n)42(3k)4=6k(mod9).E(n)\equiv 4-2(3k)-4 = -6k\pmod{9}.

    For 6k0(mod9)-6k\equiv0\pmod{9}, since gcd(6,9)=3\gcd(6,9)=3, it is required that kk be a multiple of 3. That is, k=3mk=3m and hence n=9mn=9m.

  • The other cases (r=1,2r=1,2) do not yield a solution.

Thus, the necessary condition modulo 9 is:

n0(mod9).n\equiv0\pmod{9}.

Combining Conditions

We require:

n0(mod16)andn0(mod9).n\equiv0\pmod{16}\quad\text{and}\quad n\equiv0\pmod{9}.

Thus, nn must be a multiple of the least common multiple of 16 and 9:

lcm(16,9)=144.\text{lcm}(16,9)=144.

So, for every n=144kn=144k (with kNk\in \mathbb{N}), E(n)E(n) is divisible by 144.

Conclusion

There are infinitely many natural numbers nn for which 1313n11n1313\cdot 13^n-11n-13 is divisible by 144.