Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that if the product $ab$ is irrational, then either $a$ or $b$ (or both) must be irrational.

How do I prove this by contrapositive? What is contrapositive?

share|cite|improve this question
It would help us to help you if you explained which part of the Wikipedia article is unclear to you. – joriki Mar 16 '12 at 7:18
up vote 2 down vote accepted

If you have to prove an implication $A\Rightarrow B$, contrapositive means you want to prove the equivalent statement $\neg B\Rightarrow\neg A$. The fact that they are equivalent guarantees you that also $A\Rightarrow B$ holds.

In your case, $A=$ 'the product $ab$ is irrational', while $B=$ '$a$ or $b$ must be irrational'. So you just have to negate both $A$ and $B$ and prove the contraposition $\neg B\Rightarrow\neg A$, which is not hard in your case.

By the way, there even is a Wikipedia page with exactly the title of your post here ;)

share|cite|improve this answer

The statement you want to prove is:

If $ab$ is irrational, then $a$ is irrational or $b$ is irrational.

The contrapositive is:

If not($a$ is irrational or $b$ is irrational), then not($ab$ is irrational).

A more natural way to state this (using DeMorgan's Law) is:

If both $a$ and $b$ are rational, then $ab$ is rational.

This last statement is indeed true. Since the truth of a statement and the truth of its contrapositive always agree, one can conclude the original statement is true, as well.

share|cite|improve this answer

If $a,b \in \Bbb{Z}^+$ and $a\neq b$, then $ax^2+bx+(b-a) = 0$ has no positive integer root (solution).

share|cite|improve this answer
Use $\LaTeX\text{}$ – user93957 Nov 26 '13 at 19:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.