To solve 3^x = x^9, the main answer is x = 27. Because 27 = 3^3, the right side becomes 27^9 = (3^3)^9 = 3^27, which exactly equals the left side: both sides are 7,625,597,484,987. There is also a second real solution, x ≈ 1.1508, found by taking natural logs. This guide shows every step, with both solutions verified.
The equation 3^x = x^9 went viral as a “Harvard question” — the kind of puzzle that looks impossible at first glance and then resolves into a beautiful piece of arithmetic. The unknown x appears twice: once as an exponent on the left, and once as the base on the right. That double appearance is what makes the equation hard, and it is also what makes the answer so satisfying. This guide walks through the solution step by step, finds the hidden second solution, and shows how to check every answer by substitution.
What Makes 3^x = x^9 So Hard?
Most equations you meet in algebra have the unknown in one place. In 2^x = 32, x is only in the exponent, so you take a logarithm and you are done. In x^2 = 81, x is only the base, so you take a square root. But in 3^x = x^9, x is in both places at once, so neither trick works on its own.
The standard methods fail one by one. Taking logarithms of both sides gives x · ln 3 = 9 · ln x, which is still an equation with x on both sides. Taking a ninth root gives 3^(x/9) = x, which is no better. The equation is what mathematicians call transcendental — it cannot be solved with a single elementary operation. But it can be solved with a good guess, and the structure of the numbers 3 and 9 points directly at that guess.
Step 1: Look at the Relationship Between 3 and 9
The first move is to notice that 3 and 9 are not independent numbers: 9 = 3^2. That suggests trying a value of x that is itself a power of 3, because then both sides of the equation become powers of 3 and can be compared directly.
Powers of 3 to keep in mind:
| Power | Value |
|---|---|
| 3^1 | 3 |
| 3^2 | 9 |
| 3^3 | 27 |
| 3^4 | 81 |
| 3^5 | 243 |
The candidate that matters is 27, because 27 = 3^3. Try x = 27 and see what happens to both sides.
Step 2: Test x = 27 by Substitution
Substitute x = 27 into the original equation 3^x = x^9.
Left side: 3^27 = 7,625,597,484,987.
Right side: 27^9. Since 27 = 3^3, rewrite it as (3^3)^9. The power-of-a-power rule says (a^m)^n = a^(m × n), so (3^3)^9 = 3^(3 × 9) = 3^27 = 7,625,597,484,987.
Both sides are exactly equal — 7,625,597,484,987 = 7,625,597,484,987 — so x = 27 is a solution. This is the answer the Harvard-style question is famous for: a 13-digit number on both sides, matching exactly.
If you want to check this instantly for any equation, Calcrio’s free exponential equation solver verifies a proposed solution by computing both sides and comparing them, with every step shown.
Step 3: Why Does x = 27 Work?
The trick is the exponent arithmetic. For x = 27 to work, we need the exponent on the left (x itself) to equal the exponent produced on the right when 27 is written as a power of 3 and raised to the 9th power.
- Write x as a power of 3: 27 = 3^3.
- Raise to the 9th power: 27^9 = (3^3)^9 = 3^(3 × 9) = 3^27.
- The exponent 27 on the right now equals the exponent 27 on the left (x = 27).
In general, for an equation a^x = x^b, a solution of this “power-of-a” type exists when x = a^k for some k with k × b = x — that is, when k × b = a^k. For a = 3 and b = 9, k = 3 works because 3 × 9 = 27 = 3^3. That coincidence is exactly why this particular equation has such a clean answer.
Step 4: Find the Second Solution With Logarithms
Here is the part most videos skip: x = 27 is not the only solution. The equation 3^x = x^9 has a second real solution, and logarithms find it.
Take the natural logarithm of both sides of 3^x = x^9:
ln(3^x) = ln(x^9)
Apply the power rule for logarithms, ln(a^m) = m · ln(a), to both sides:
x · ln 3 = 9 · ln x
Now define the function f(x) = x · ln 3 − 9 · ln x. A solution of the original equation is a value of x where f(x) = 0. We already know f(27) = 0. To find the other root, check where f changes sign for small values of x:
| x | f(x) = x · ln 3 − 9 · ln x | Sign |
|---|---|---|
| 1.0 | 1.0986 | Positive |
| 1.1 | 0.3507 | Positive |
| 1.15 | 0.0055 | Positive |
| 1.1508 | 0.0002 | Zero |
| 1.2 | −0.3226 | Negative |
The sign changes between x = 1.15 and x = 1.2, so a root lies in between. Refining by bisection gives x ≈ 1.1508.
Check it by substitution: 3^1.1508 ≈ 3.5406, and 1.1508^9 ≈ 3.5400. The two sides agree to three decimal places, confirming the second solution. A free exponential equation solver finds both roots automatically and shows this substitution check for each one.
Why Are There Exactly Two Solutions?
The function f(x) = x · ln 3 − 9 · ln x starts at positive infinity as x approaches 0 (because ln x dives to negative infinity, and −9 · ln x becomes large and positive). It falls, crosses zero at x ≈ 1.1508, keeps falling to a minimum, then rises again, crossing zero a second time at x = 27 before heading to positive infinity. A function that dips down and comes back up crosses zero at most twice — which is why there are exactly two real solutions and no more.
This shape is the same reason equations of the form a^x = x^b usually have either zero, one, or two real solutions. The exact count depends on the values of a and b, and the dividing line is governed by the Lambert W function — the special function mathematicians use to write these solutions in closed form.
How to Check Any Answer to 3^x = x^9
Whatever method you use, always finish with substitution. The check takes seconds and catches every mistake:
- Write down the proposed value of x.
- Compute the left side, 3^x.
- Compute the right side, x^9.
- Compare. If the two numbers are equal, the value is a solution. If they differ, it is not.
For x = 27, both sides are 7,625,597,484,987 — an exact match. For x ≈ 1.1508, both sides are about 3.54 — a match to the precision of the approximation. For a wrong guess such as x = 9, the left side is 3^9 = 19,683 while the right side is 9^9 = 387,420,489, so x = 9 is not a solution.
Common Mistakes When Solving 3^x = x^9
| Mistake | What goes wrong | How to avoid it |
|---|---|---|
| Stopping at x = 27 | The second solution x ≈ 1.1508 is missed | Take logs and check for a second root below x = 2 |
| Taking the 9th root of both sides | Produces 3^(x/9) = x, which is no simpler | Look for the power-of-3 structure instead |
| Guessing x = 9 | 3^9 = 19,683 but 9^9 = 387,420,489 | Always verify by substitution |
| Using log base 10 incorrectly | Forgetting that log(3^x) = x · log 3 | Apply the power rule to both sides |
| Allowing x ≤ 0 | ln x is undefined for x ≤ 0 | Remember the domain: x must be positive |
Try It Yourself: Similar Equations
Once you understand 3^x = x^9, the same method solves a family of similar puzzles:
- 2^x = x^4: try x = 16, because 16 = 2^4 and (2^4)^4 = 2^16. Check: 2^16 = 65,536 and 16^4 = 65,536. It works.
- 2^x = x^2: x = 4 works (2^4 = 16 = 4^2), and there is also the solution x = 2 (2^2 = 4 = 2^2).
- 4^x = x^8: try x = 16, because 16 = 4^2 and (4^2)^8 = 4^16. Check: 4^16 = 4,294,967,296 and 16^8 = 4,294,967,296.
The pattern is the same every time: write x as a power of the base, raise it to the exponent, and check whether the exponents line up. If they do, you have found the “nice” solution — and logarithms will find the second one.
Frequently Asked Questions
What is the answer to 3^x = x^9?
The main answer is x = 27, because 27 = 3^3, so 27^9 = (3^3)^9 = 3^27 = 7,625,597,484,987. There is also a second real solution, x ≈ 1.1508.
Is 3^x = x^9 really a Harvard question?
The equation circulates online as a Harvard interview or entrance-style question, and it is the type of problem used to test creative problem-solving rather than memorized formulas. Whether it was ever asked at Harvard is unverified, but the puzzle format — a surprising exact answer hidden behind an intimidating equation — is characteristic of such questions.
How do you solve 3^x = x^9 without guessing?
Take natural logs to get x · ln 3 = 9 · ln x, then find the roots numerically. The solutions can also be written exactly using the Lambert W function, but a numerical solver is the practical route. You can solve exponential equations this way for free, with both roots and their substitution checks shown.
Why is 27 the answer and not 9?
Because the test is substitution, not pattern-matching. For x = 9, the left side is 3^9 = 19,683, but the right side is 9^9 = 387,420,489 — they are not equal. For x = 27, both sides equal 7,625,597,484,987.
Does 3^x = x^9 have only two solutions?
Yes, exactly two real solutions: x = 27 and x ≈ 1.1508. The function f(x) = x · ln 3 − 9 · ln x dips below zero exactly once and returns, so it crosses zero exactly twice.
Can I use a calculator to solve 3^x = x^9?
Yes. Calcrio’s free exponential equation solver finds both real solutions of a^x = x^b, shows the logarithm step, and verifies each solution by substitution, computing both sides so you can see the match for yourself.