Logo
Published on

Exponential Comparison of Three Four and Five

Authors
  • avatar
    Name
    Vu Hung
    Twitter

Problem Statement

Prove or disprove: There exists a real number nn such that 3n+4n<5n3^n + 4^n < 5^n.


Hints

The statement is true. Try a few values: n=2n = 2 gives 9+16=25=529 + 16 = 25 = 5^2 (equality, not <<).

Try n=3n = 3: Is 33+43<533^3 + 4^3 < 5^3? Calculate 27+6427 + 64 vs 125125.

Alternatively, divide by 5n5^n to get (3/5)n+(4/5)n<1(3/5)^n + (4/5)^n < 1 and analyze the function behavior.


Solutions

The statement is true.

Proof by Example:

Try n=3n = 3:

33+43=27+64=9153=125\begin{aligned} 3^3 + 4^3 &= 27 + 64 = 91 \\ 5^3 &= 125 \end{aligned}

Since 91<12591 < 125, the inequality 33+43<533^3 + 4^3 < 5^3 holds.

Therefore, n=3n = 3 is a real number satisfying the inequality. \blacksquare

Alternative Proof (Analysis):

Divide the inequality by 5n5^n:

(35)n+(45)n<1\left(\frac{3}{5}\right)^n + \left(\frac{4}{5}\right)^n < 1

Let f(n)=(35)n+(45)nf(n) = \left(\frac{3}{5}\right)^n + \left(\frac{4}{5}\right)^n.

  • At n=2n = 2: f(2)=925+1625=1f(2) = \frac{9}{25} + \frac{16}{25} = 1 (equality)
  • The derivative: f(n)=(35)nln(35)+(45)nln(45)f'(n) = \left(\frac{3}{5}\right)^n \ln\left(\frac{3}{5}\right) + \left(\frac{4}{5}\right)^n \ln\left(\frac{4}{5}\right)

Since 35<1\frac{3}{5} < 1 and 45<1\frac{4}{5} < 1, both logarithms are negative, so f(n)<0f'(n) < 0.

  • Therefore, f(n)f(n) is strictly decreasing.

Since f(2)=1f(2) = 1 and ff is strictly decreasing, for any n>2n > 2, we have f(n)<1f(n) < 1.

Thus, the inequality holds for all n>2n > 2. In particular, it holds for n=3n = 3 (and infinitely many other values). \blacksquare

Note: This shows the power of the "divide by largest term" technique in inequality problems. The critical point is n=2n = 2 where equality holds (Pythagorean triple: 32+42=523^2 + 4^2 = 5^2).


Takeaways

  • Reconstruct the full proof from the hint and the solution outline, and justify every transformation explicitly.
  • Check edge cases and verify where each assumption is used in the argument.

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 Instagram. For deeper dives and regular tips, join my YouTube - HSC Maths Extension 1+2. Let's tackle these challenging math problems together! You can also catch my daily math content on GitHub.