<?xml version="1.0" encoding="ISO-8859-1" ?>
  <resource>
  <id>466</id>
  <path>/www/nrich/html/content/03/04/15plus2/</path>
  <resourceTypeID>1</resourceTypeID>
  <last_published>2011-02-01T00:00:01</last_published>
  <indexXML>&lt;mdoxml version=&quot;1.0&quot;&gt;&lt;br&gt;&lt;/br&gt;
&lt;p&gt;&lt;em&gt;This problem was suggested by Yatir Halevi&lt;/em&gt;.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Solve the equation:&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
$$x^{(x^3)}=3.$$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Solve the equation:&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
$$x^{(x^{(x^3)})}=3.$$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Can you find solutions to all equations of the form:&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
$$x^{x^{x^{x^{x^{x^{...^{a}}}}}}}=a$$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
where the sequence of powers is defined in the same way and $a$ is a positive integer?&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Explain what you have done and prove that you have found all possible solutions.&lt;/p&gt;&lt;/mdoxml&gt;</indexXML>
  <solutionXML>&lt;mdoxml version=&quot;1.0&quot;&gt;Ho Chung gives a solution here:&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
For the first two equations, the answer is the cube root of 3, by
observation. You can simply substitute this value in the equation
and verify that it is a solution. We have to show that these are
the only possible solutions. &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
What follows is really an argument by contradiction. If we assume
that there exists a solution less than the cube root of 3 we reach
an impossible situation and likewise for one greater than the cube
root of 3.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Define a sequence $(x_n)$ by $x_1=x^3$, $x_{n+1}=x^{x_n}$. Observe
that for $x&amp;gt; 1$, if $x^3&amp;gt; 3$ then the sequence is strictly
increasing, and if $x^3&amp;lt; 3$ then the sequence is strictly
decreasing.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Now to solve $x^{(x^3)}=3$, we are imposing $x_2=3$, so the
sequence becomes $x^3$, 3, $x^3, 3, ...$. Since we must have $x&amp;gt; 
1$ and the sequence is neither strictly increasing nor strictly
decreasing, we must have $x^3=3$. This also clearly works. So
$x=\sqrt[3]{3}$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Similarly, to solve $x^{(x^{(x^3)})}=3$, we have $x_3=3$, so the
sequence becomes $x^3$,$x^{(x^3)}$, 3, $x^3, ... $ and so again we
have $x=\sqrt[3]{3}$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
For the general equation $$x^{x^{x^{x^{x^{x^{...^{n}}}}}}}=n$$
where the sequence of powers is defined in the same way, and $n$ is
a positive integer, we can use the same argument. The solution is
the $n$-th root of $n$ if $n$ is odd and when $n$ is even there are
two solutions $x=\pm n^{1/n}$. &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;&lt;/mdoxml&gt;</solutionXML>
  <noteXML/>
  <clueXML>&lt;mdoxml version=&quot;1.0&quot;&gt;&lt;br&gt;&lt;/br&gt;
Consider this as a sequence given by: &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
$$x_{n+1}=x^{x_n}$$ &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
where $x_1=x^3$. &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Now consider the sequence of equations given by $x_n=3$. &lt;br&gt;&lt;/br&gt;&lt;/mdoxml&gt;</clueXML>
  <canonXML/>
  <end_user_role>2</end_user_role>
  <difficulty>3</difficulty>
  <keystage1>0</keystage1>
  <keystage2>0</keystage2>
  <keystage3>0</keystage3>
  <keystage4>0</keystage4>
  <keystage4plus>1</keystage4plus>
  <title>Staircase</title>
  <description>Solving the equation x^3 = 3 is easy but what about solving
equations with x to the power x^3 or x to the power x to the power
x^3 or having a 'staircase' of powers?</description>
  <spec_group>Numbers and the Number System
    <specifier>Powers &amp; roots</specifier>
  </spec_group>
  <spec_group>Using, Applying and Reasoning about Mathematics
    <specifier>Proof by contradiction</specifier>
  </spec_group>
  <spec_group>Algebra
    <specifier>Index notation/Indices</specifier>
  </spec_group>
</resource>