Logo
Published on

Irrationality of Log Base n of n Plus One

Authors
  • avatar
    Name
    Vu Hung
    Twitter

Problem Statement

Prove that for any integer n>1n > 1, logn(n+1)\log_n(n+1) is irrational.


Hints

Attempt the proof independently first. Focus on the key theorem, algebraic transformation, or contradiction setup that links the hypothesis to the target conclusion.


Solutions

Proof by Contradiction

Step 1: Assume the negation

Assume, for contradiction, that logn(n+1)\log_n(n+1) is rational for some integer n>1n > 1.

Then we can write:

logn(n+1)=pq\log_n(n+1) = \frac{p}{q}

where p,qp, q are positive integers.

Step 2: Convert to exponential form

By definition of logarithm:

np/q=n+1n^{p/q} = n+1

Raising both sides to the power qq:

np=(n+1)qn^p = (n+1)^q

Step 3: Analyze modulo nn

Left side: np0(modn)n^p \equiv 0 \pmod{n} (clearly divisible by nn)

Right side: By the Binomial Theorem:

(n+1)q=k=0q(qk)nk1qk=nq+(q1)nq1++(qq1)n+1(n+1)^q = \sum_{k=0}^{q} \binom{q}{k} n^k \cdot 1^{q-k} = n^q + \binom{q}{1}n^{q-1} + \ldots + \binom{q}{q-1}n + 1

All terms contain nn except the last term, so:

(n+1)q1(modn)(n+1)^q \equiv 1 \pmod{n}

Step 4: Derive contradiction

From np=(n+1)qn^p = (n+1)^q, we have modulo nn:

01(modn)0 \equiv 1 \pmod{n}

This means n(01)n \mid (0-1), so n(1)n \mid (-1).

For n>1n > 1, this is impossible.

Conclusion

The assumption that logn(n+1)\log_n(n+1) is rational leads to a contradiction.

Therefore, logn(n+1)\log_n(n+1) is irrational for all integers n>1n > 1.

\hfill \square


Takeaways

  • Logarithm to Exponential: Converting logn(n+1)=pq\log_n(n+1) = \frac{p}{q} to np=(n+1)qn^p = (n+1)^q enables algebraic manipulation
  • Modular Analysis: Working mod nn reveals contradiction: LHS 0\equiv 0 but RHS 1\equiv 1
  • Binomial Expansion: (n+1)q1(modn)(n+1)^q \equiv 1 \pmod{n} since only constant term survives
  • Non-standard Irrationality: Unlike p\sqrt{p} proofs, this uses modular arithmetic rather than prime factorization

Further Readings

If you found this proof interesting, be sure to check out these relevant HSC booklets to sharpen your reasoning skills:


Connect with me

If you're eager for more HSC Maths insights, be sure to check out my Website - Vu's Maths Hub. For deeper dives and regular tips, join my LinkedIn. Let's tackle these challenging math problems together! You can also catch my daily math content on Substack.