How can I prove this statement by proving its contra-positive? 
Prove the following statement by proving its contra-positive:
If $ r $ is irrational, then $ r^{1/5} $ is irrational.

I am totally confused!
(1) How does proving the contra-positive prove the statement?
(2) The only way I know how to describe this is with the following try:
Let $ IR $ be the set of all irrational numbers.  Let the predicate $ P(n) $ be such that
$ n^{1/5} \in IR $
Thus,
$ \forall x \in IR, P(n) $.
Now what do I do?  Am I on the right track?
 A: The contrapositive of a statement is logically equivalent to the original statement. You can see this easily with truth tables.
Now $r$ is irrational implies $r^{1/5}$ is irrational is the original statement, so the contrapositive would be $r^{1/5}$ is rational implies $r$ is rational. 
Additional hint: if $a, b$ are rational, then $ab$ is rational. This is known as closure.
Answer below

 If $r^{1/5}$ is rational, then $r^{1/5} \cdot r^{1/5}\cdot r^{1/5}\cdot r^{1/5}\cdot r^{1/5} = r$ is rational.

A: The first step is to write the contrapositive of the statement.
For a statement of the form, "$P$ implies $Q$", the contrapositive of that statement is, "not-$Q$ implies not-$P$".  Therefore the two parts of your contrapositive statement should be "$r^{1/5}$ is not irrational" (or in other words, "$r^{1/5}$ is rational") 
and "$r$ is not irrational" (or in other words, "$r$ is rational".
The contrapositive of a statement is always equivalent to the original statement (they're either both true, or both false), so if you can prove one, you have proved the other.
You can prove the contrapositive of the problem as follows: assume $r^{1/5}$ is rational (the "not-$Q$" clause of the contrapositive), and show that $r$ is rational (the "not-$P$" clause of the contrapositive).  It may help to clarify things if you let $x = r^{1/5}$ and write $r$ in terms of $x$, like so: $r = x^5$.  So all you really need to prove is that if $x$ is rational, $x^5$ is also rational.
If $x$ is rational, then there are integers $m$ and $n$ ($n \ne 0)$ such that $x = m/n$.  Express $x^5$ in terms of $m$ and $n$.  Is the result a fraction with an integer in the numerator and an integer in the denominator (or can you make it into such a fraction)?  If so, then $x^5$ is rational by the definition of "rational".
The statement "$r^{1/5}$ is irrational implies $r$ is irrational" is the converse of the statement you were to prove.  The converse of a statement is not necessarily equivalent to the original statement, and proving the converse does not prove the original statement.
A: Let me answer your two questions separately:


*

*Any statement of the form "If $P$ then $Q$" is logically equivalent to its contrapositive, "If not $Q$ then not $P$."  They mean exactly the same thing.  But sometimes its easier or more natural to write a proof of one version than of the other.

*In this particular case, what you seem to be doing is interpreting the statement to be proved not as an implication of the form "If $P$ then $Q$" but as a single predicate with a universal quantifier ("$\forall x \in IR$, $P(x)$").  Instead, let $P$ be the statement "$r$ is irrational" and let $Q$ be the statement "$r^{1/5}$ is irrational".  Then the statenent to be proved has the form "If $P$ then $Q$" and lends itself well to forming the contrapositive. Note that the negation of $P$ would be "$r$ is not irrational", or more simply "$r$ is rational".


Hope this helps!
