<?xml version="1.0" encoding="UTF-8"?>

<record version="7" id="4389">
 <title>irrational to an irrational power can be rational</title>
 <name>IrrationalToAnIrrationalPowerCanBeRational</name>
 <created>2003-06-24 05:24:52</created>
 <modified>2004-01-31 05:57:31</modified>
 <type>Result</type>
<parent id="661">irrational</parent>
 <creator id="127" name="Koro"/>
 <author id="128" name="mathwizard"/>
 <author id="2760" name="yark"/>
 <author id="2522" name="alek_thiery"/>
 <classification>
	<category scheme="msc" code="11A99"/>
 </classification>
 <related>
	<object name="TechniquesInMathematicalProofs"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}</preamble>
 <content>\PMlinkescapeword{property}
Let $A=\sqrt{2}^{\sqrt{2}}$.
If $A$ is a rational number, then it has the required property.
If $A$ is an irrational number, let $B = A^{\sqrt{2}}$,
then $B=\sqrt{2}^2 = 2$ is a rational.
Hence an irrational number to an irrational power can be a rational number.
(In fact, it follows from the \PMlinkid{Gelfond-Schneider Theorem}{3952} that $A$ is transcendental, and therefore irrational.)</content>
</record>
