# square root of 2

The square root of 2 has the approximate value 1.41421356 ...

It was the first number shown to be what is now known as an irrational
number (a number that can't be written in the form *a*/*b*,
where both *a* and *b* are integers.) This discovery was made
by Pythagoras or, at any rate, by the
Pythagorean group that he founded.

The square root of 2 is the length of the hypotenuse (longest side) of a
right triangle whose other two sides are each one unit long. A reductio
ad absurdum proof that √2 is irrational is straightforward. Suppose
that √2 is rational, in other
words that √2 = *a*/*b*, where *a* and *b* are
coprime integers (that is, they have no common factors other than 1) and *b* > 0. It follows that *a*^{2}/*b*^{2} = 2, so that *a*^{2} = 2*b*^{2}. Since *a*^{2} is even (because it has a factor of 2), a must be even, so that *a* = 2*c*, say. Therefore, (2*c*)^{2} = 2*b*^{2},
or 2*c*^{2} = *b*^{2}, so *b* must also be
even. Thus, in *a*/*b*, both *a* and *b* are even. But
we started out by assuming that we'd reduced the fraction to its lowest
terms. So there is a contradiction and therefore √2 must not be irrational.
This type of proof can be generalized to show that any root of any natural
number is either a natural number or irrational.

As a continued fraction, √2
can be written 1 + 1/(2 + 1/(2 + 1/(2 + ... ))), which yields the series
of rational approximations: 1/1, 3/2, 7/5, 17/12, 41/29, 99/70, 239/169,
... Multiplying each numerator (number on the top) by its denominator (number
on the bottom) gives the series 1, 6, 35, 204, 1189, 6930, 40391, 235416,
... which follows the pattern: A_{n} = 6*A*_{n-1} - *A*_{n-2}. Squaring each of these numbers gives 1,
36, 1225, 41616, 1413721, 48024900, 1631432881, ..., each of which is also
a triangular number. The numbers
in this sequence are the only numbers that are both square and triangular.