|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
square roots of rationals
|
(Topic)
|
|
|
The square roots of the positive rational numbers are either rational or irrational algebraic numbers of degree two.
Here we consider the much used standard form into which the irrational square roots of positive rational numbers have to be simplified in order that, for example, one could easily compare the results gotten by different pupils.
Such forms as $$\sqrt{\frac{6}{7}} \quad \mbox{and} \quad \sqrt{1.8}$$ are ordinarily not used as final forms of calculations, i.e. one should not leave a fractional number for the radicand. One can without greater trouble convert these cases such that the only radicand is a positive integer (which is not divisible by a square of an integer greater than 1):
 |
(1) |
 |
(2) |
Both of these results are quite simple, consisting only of the quotient of two numbers, one of which is a square root of an integer and the other an integer. But the latter result is not standard because of that the square root is in the denominator; this situation can be changed by multiplying the numerator and the denominator by the square root:
 |
(3) |
True, the last form of (3) isn't as simple as in (2), and of course it could be obtained more directly by multiplying the numerator and the denominator of the original reduced radicand $\frac{9}{5}$ by 5 such that its denominator would be the square number 25: $$\sqrt{1.8} \,=\, \sqrt{\frac{18}{10}} \,=\, \sqrt{\frac{9}{5}} \,=\, \sqrt{\frac{9\cdot5}{25}} \,=\, \frac{3\sqrt{5}}{5}$$
In some situations, one may however prefer the result of (2) (cf. properties of regular tetrahedron). Such forms have, though, the drawback that inexperienced pupils may give such results as $\frac{6}{\sqrt{2}}$ or even $\frac{5}{\sqrt{5}}$ , which are expressible without any division.
Generally, the square root of any positive rational $\frac{m}{n}$ (where $m,\,n \in \mathbb{Z}_+$ ) is expressible in the form
 |
(4) |
where $p,\,q,\,d \in \mathbb{Z}_+$ , $\gcd(p,\,q) = 1$ and $d$ is squarefree. If $\gcd(m,\,n) = 1$ , one has $q = n$ . The result is justified via the intermediate form $\displaystyle\sqrt{\frac{mn}{n^2}}$ . The form (4) demonstrates, that the square roots of positive rationals belong always to a real quadratic field $\mathbb{Q}(\sqrt{d})$ or to $\mathbb{Q}$ .
All values of the square roots of positive rational numbers belong to the real field $$\mathbb{Q}(\sqrt{2},\,\sqrt{3},\,\sqrt{5},\,\sqrt{7},\,\sqrt{11},\,\sqrt{13},\,\ldots)$$ of infinite degree over $\mathbb{Q}$ .
Remark 1. The square roots of negative rationals have the correspondent form (4) where $d$ now is a negative squarefree integer and (4) belongs to the imaginary quadratic field $\mathbb{Q}(\sqrt{d})$ .
|
"square roots of rationals" is owned by pahio.
|
|
(view preamble | get metadata)
Cross-references: imaginary quadratic field, negative, degree, field, real, real quadratic field, squarefree, division, properties of regular tetrahedron, numerator, denominator, numbers, quotient, square, divisible, integer, radicand, fractional number, algebraic numbers, irrational, rational, rational numbers, positive, square roots
There is 1 reference to this entry.
This is version 6 of square roots of rationals, born on 2008-10-20, modified 2008-10-22.
Object id is 11192, canonical name is SquareRootsOfRationals.
Accessed 1304 times total.
Classification:
| AMS MSC: | 11A25 (Number theory :: Elementary number theory :: Arithmetic functions; related numbers; inversion formulas) | | | 12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
