What is #sqrt(2)# ?
2 Answers
Or
#(sqrt(2))^2 = 2#
Explanation:
The positive square root of
Here's a sketch of a proof by contradiction...
Suppose
Note that
Then:
#2 = (p/q)^2 = p^2/q^2#
So:
#p^2 = 2q^2#
So
So:
#p = 2m#
for some positive integer
So we have:
#2q^2 = p^2 = (2m)^2 = 2*2m^2#
Dividing both ends by
#(q/m)^2 = q^2/m^2 = 2#
So
That is
Hence there is no such pair of integers, and
Approximations
In common with the square root of any positive integer,
#sqrt(2) = [1;bar(2)] = 1+1/(2+1/(2+1/(2+1/(2+...))))#
We can truncate this continued fraction to get rational approximations to
For example:
#sqrt(2) ~~ [1;2;2;2] = 1+1/(2+1/(2+1/2)) = 17/12 = 1.41bar(6)#
That's not stunning good, but we can take more terms to find:
#sqrt(2) ~~ [1;2;2;2;2;2] = 1+1/(2+1/(2+1/(2+1/(2+1/2)))) = 99/70 = 1.4bar(142857)#
This is the approximation corresponding to the dimensions of a sheet of A4 paper which is
See https://socratic.org/s/aHnJqjrg for more details.
Using a calculator or computer you can find closer approximations such as:
#sqrt(2) ~~ 1.414213562373#