PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 9 of 'if $a^n$ is irrational then ${a}$ is irrational'
[ view 'if $a^n$ is irrational then ${a}$ is irrational' | back to history ]

Title of object: if $a^n$ is irrational then ${a}$ is irrational
Canonical Name: IfAnIsIrrationalThenAIsIrrational
Type: Theorem

Created on: 2004-04-18 15:40:32
Modified on: 2007-12-05 13:00:30

Creator: Wkbj79
Modifier: CWoo
Author: Wkbj79
Author: Gunnar

Classification: msc:11J72, msc:11J82

Preamble:

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}

\newtheorem*{thm*}{Theorem}
Content:

\begin{thm*}
If $a$ be a real number and $n$ is an integer such that $a^n$ is irrational, then $a$ is irrational.
\end{thm*}

\begin{proof}
We show this by way of contrapositive. In other words, we show that, if $a$ is rational, then $a^n$ is rational.

Let $a$ be rational. Then there exist integers $b$ and $c$ with $c\neq 0$ such that $\displaystyle a=\frac{b}{c}$. Thus, $\displaystyle a^n=\frac{b^n}{c^n}$, which is a rational number.
\end{proof}

Note that the converse is not true. For example, $\sqrt{2}$ is irrational and $\left(\sqrt{2}\right)^2=2$ is rational.