## 13. Quadratic surds.

A number of the form \(\pm\sqrt{a}\), where \(a\) is a positive rational number which is not the square of another rational number, is called a *pure quadratic surd*. A number of the form \(a \pm \sqrt{b}\), where \(a\) is rational, and \(\sqrt{b}\) is a pure quadratic surd, is sometimes called a mixed quadratic surd.

The two numbers \(a \pm \sqrt{b}\) are the roots of the quadratic equation \[x^{2} – 2ax + a^{2} – b = 0.\] Conversely, the equation \(x^{2} + 2px + q = 0\), where \(p\) and \(q\) are rational, and \(p^{2} – q > 0\), has as its roots the two quadratic surds \(-p \pm \sqrt{p^{2} – q}\).

The only kind of irrational numbers whose existence was suggested by the geometrical considerations of § 3 are these quadratic surds, pure and mixed, and the more complicated irrationals which may be expressed in a form involving the repeated extraction of square roots, such as \[\sqrt{2} + \sqrt{2 + \sqrt{2}} + \sqrt{2 + \sqrt{2 + \sqrt{2}}}.\]

It is easy to construct geometrically a line whose length is equal to any number of this form, as the reader will easily see for himself. That irrational numbers of these kinds *only* can be constructed by Euclidean methods ( by geometrical constructions with ruler and compasses) is a point the proof of which must be deferred for the present.^{1} This property of quadratic surds makes them especially interesting.

## 14. Some theorems concerning quadratic surds.

Two pure quadratic surds are said to be *similar* if they can be expressed as rational multiples of the same surd, and otherwise to be *dissimilar*. Thus \[\sqrt{8} = 2\sqrt{2},\quad \sqrt{\tfrac{25}{2}} = \tfrac{5}{2}\sqrt{2},\] and so \(\sqrt{8}\), \(\sqrt{\frac{25}{2}}\) are similar surds. On the other hand, if \(M\) and \(N\) are integers which have no common factor, and neither of which is a perfect square, \(\sqrt{M}\) and \(\sqrt{N}\) are dissimilar surds. For suppose, if possible, \[\sqrt{M} = \frac{p}{q}\sqrt{\frac{t}{u}},\quad \sqrt{N} = \frac{r}{s}\sqrt{\frac{t}{u}},\] where all the letters denote integers.

Then \({\sqrt{MN}}\) is evidently rational, and therefore (Ex. II. 3) integral. Thus \(MN = P^{2}\), where \(P\) is an integer. Let \(a\), \(b\), \(c, \dots\) be the prime factors of \(P\), so that \[MN = a^{2\alpha} b^{2\beta} c^{2\gamma}\ \dots,\] where \(\alpha\), \(\beta\), \(\gamma, \dots\) are positive integers. Then \(MN\) is divisible by \(a^{2\alpha}\), and therefore either (1) \(M\) is divisible by \(a^{2\alpha}\), or (2) \(N\) is divisible by \(a^{2\alpha}\), or (3) \(M\) and \(N\) are both divisible by \(a\). The last case may be ruled out, since \(M\) and \(N\) have no common factor. This argument may be applied to each of the factors \(a^{2\alpha}\), \(b^{2\beta}\), \(c^{2\gamma}, \dots\), so that \(M\) must be divisible by some of these factors and \(N\) by the remainder. Thus \[M = P_{1}^{2},\quad N = P_{2}^{2},\] where \(P_{1}^{2}\) denotes the product of some of the factors \(a^{2\alpha}\), \(b^{2\beta}\), \(c^{2\gamma}, \dots\) and \(P_{2}^{2}\) the product of the rest. Hence \(M\) and \(N\) are both perfect squares, which is contrary to our hypothesis.

If \(A\), \(B\), \(C\), \(D\) are rational and \[A + \sqrt{B} = C + \sqrt{D},\] then either \(A = C\), \(B = D\) or \(B\) and \(D\) are both squares of rational numbers.

For \(B – D\) is rational, and so is \[\sqrt{B} – \sqrt{D} = C – A.\] If \(B\) is not equal to \(D\) (in which case it is obvious that \(A\) is also equal to \(C\)), it follows that \[\sqrt{B} + \sqrt{D} = (B – D)/(\sqrt{B}- \sqrt{D})\] is also rational. Hence \(\sqrt{B}\) and \(\sqrt{D}\) are rational.

If \(A + \sqrt{B} = C + \sqrt{D}\), then \(A – \sqrt{B} = C – \sqrt{D}\) (*unless $\sqrt{B}$ and $\sqrt{D}$ are both rational*).

- See Ch. II, Misc. Exs. 22.↩︎
- I.e. there are two values of \(x\) for which \(ax^{2} + 2bx + c = 0\). If \(b^{2} – ac < 0\) there are no such values of \(x\). The reader will remember that in books on elementary algebra the equation is said to have two ‘complex’ roots. The meaning to be attached to this statement will be explained in Ch. III.When \(b^{2} = ac\) the equation has only one root. For the sake of uniformity it is generally said in this case to have ‘two equal’ roots, but this is a mere convention.↩︎
- The figure is drawn to suit the case in which \(b\) and \(c\) have the same and \(a\) the opposite sign. The reader should draw figures for other cases.↩︎
- I have taken this construction from Klein’s
*Leςons sur certaines questions de géométrie élémentaire*(French translation by J. Griess, Paris, 1896).↩︎

$\leftarrow$ 12. The number $\sqrt2$ | Main Page | 15. The continuum $\rightarrow$ |