You are watching: Can a square root be a rational number

My question is: for what $a$ and $b$ does the fraction have rational square root? The simple answer would be when both are perfect squares, but if two perfect squares are multiplied by a common integer $n$, the result may not be two perfect squares. Like:$$\frac49 \to \frac 8 {18}$$

And intuitively, without factoring, $a=8$ and $b=18$ must qualify by some standard to have a rational square root.

Once this is solved, can this be extended to any degree of roots? Like for what $a$ and $b$ does the fraction have rational $n$th root?

elementary-number-theory radicals rationality-testing

Share

Cite

Follow

edited Aug 25 "15 at 12:19

Bart Michels

23.9k55 gold badges4141 silver badges102102 bronze badges

asked Jul 20 "13 at 16:44

user2386986user2386986

54511 gold badge44 silver badges88 bronze badges

$\endgroup$

5

Add a comment |

## 8 Answers 8

Active Oldest Votes

49

$\begingroup$

A nice generalization of the fundamental theorem of arithmetic is that every rational number is uniquely represented as a product of primes raised to integer powers. For example:

$$\frac{4}{9} = 2^{2}*3^{-2}$$

This is the natural generalization of factoring integers to rational numbers. Positive powers are part of the numerator, negative powers part of the denominator (since $a^{-b} = \frac{1}{a^b}$).

When you take the $n$th root, you divide each power by $n$:

$$\sqrt

For example:

$$\sqrt{\frac{4}{9}} = 2^{2/2}*3^{-2/2} = \frac{2}{3}$$

In order for the powers to continue being integers when we divide (and thus the result a rational number), they must be multiples of $n$. In the case where $n$ is $2$, that means the numerator and denominator, in their reduced form, are squares. (And for $n=3$, cubes, and so on...)

In your example, when you multiply the numerator and denominator by the same number, they continue to be the same rational number, just represented differently.

See more: What Is The Main Advantage Of Primary Data Is That They:, Primary Data And Secondary Data

$$\frac{2*4}{2*9} = 2^{2+1-1}*3^{-2} = 2^{2}*3^{-2}$$

You correctly recognize the important of factoring, though you don"t really want to use it in your answer. But the most natural way to test if the fraction produced by dividing $a$ by $b$ has a rational $n$th root, is to factor $a/b$ and look at the powers. Or, equivalently, reduce the fraction and determine if the numerator and denominator are integers raised to the power of $n$.