A17-SquareRoots.mws

High School Modules > Algebra by Gregory A. Moore

     Square Roots


We examine the notion of the square root graphically and numerically, then use this understanding to simplify square roots and square root expressions. We also look at fractional exponents for square roots.

[Directions : Execute the Code Resource section first. Although there will be no output immediately, these definitions are used later in this worksheet.]

0. Code

>    restart; with(plots): with(RealDomain):

Warning, the name changecoords has been redefined

Warning, these protected names have been redefined and unprotected: Im, Re, ^, arccos, arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsin, arcsinh, arctan, arctanh, cos, cosh, cot, coth, csc, csch, eval, exp, expand, limit, ln, log, sec, sech, signum, simplify, sin, sinh, solve, sqrt, surd, tan, tanh

>    StandardPlot  :=  proc( number )
local   N, n, A, h, v, i, ps;
N := floor(number):
n := ceil( sqrt(N)):
A := plot( sqrt(x), x = -1..(N+1), tickmarks = [N-1,n-1] ):
h := seq(plot( [[0,k],[N,k]], color = blue), k = 1..n):
v := seq(plot( [[k,0],[k,n]], color = blue), k = 1..N):
for i from  0 to N do
    if( floor( sqrt(i)) = sqrt(i) )
    then ps||i := plottools[disk]([i, sqrt(i)], .25, color=red):
    else ps||i := plottools[disk]([i, sqrt(i)], .15, color=yellow):
    fi:
od:

plots[display]( { A,h,v,seq(ps||i, i = 0..N)}, scaling=constrained );
end proc:

1. Examing A Graph of the Square Root

If we look at the graph the square root on a grid, we see that the curve only passes through certain grid points.

>    StandardPlot(10);

[Maple Plot]

In particular, the curve hits the grid intersections at x = 0, 1, 4, 9. Let's look at a large diagram of this sort.

>    StandardPlot(27);

[Maple Plot]

We see red dots at x = 0,1, 4, 9, 16, 25. It appears that the square root has integer values only for values
which are perfect squares.

2. Tables


Here is a table of perfect squares. The left column is a number, and the right number its square. You may recognize the numbers in the right column as the same numbers which the square root curve crossed the grid intersections.

>    array( [seq( [ k, k^2 ],k = 1..18)]);

matrix([[1, 1], [2, 4], [3, 9], [4, 16], [5, 25], [6, 36], [7, 49], [8, 64], [9, 81], [10, 100], [11, 121], [12, 144], [13, 169], [14, 196], [15, 225], [16, 256], [17, 289], [18, 324]])



What number, when squared, gives 121? The answer to this is the "square root" - the inverse of the square

>    sqrt(121);

11

And sure enough, if we check it by squaring, we get back to the original number.

>    11^2;

121


What number, when squared, gives 324?

>    sqrt(324);

18

What number, when squared, gives 2500?

>    sqrt(2500);

50


If we write these numbers in the other direction, we have a square root table. This shows that the square root of a number which is a square is just the original number.

>    array( [seq( [ k^2 , k],k = 1..13)]);

matrix([[1, 1], [4, 2], [9, 3], [16, 4], [25, 5], [36, 6], [49, 7], [64, 8], [81, 9], [100, 10], [121, 11], [144, 12], [169, 13]])


What about the square roots of other numbers, which are not perfect squares? A square root of a whole number is either another whole number or an irrational number.

>    array( [seq( [ k , sqrt(k) = evalf( sqrt(k), 15) ],k = 1..13)  ]);

matrix([[1, 1 = 1.], [2, 2^(1/2) = 1.41421356237310], [3, 3^(1/2) = 1.73205080756888], [4, 2 = 2.], [5, 5^(1/2) = 2.23606797749979], [6, 6^(1/2) = 2.44948974278318], [7, 7^(1/2) = 2.64575131106459], [8...


For this reason, it's a good idea to memorize some perfect squares, so you'll recognize them later.

>    array( [seq( [ k , k^2],k = 1..20)  ]);

matrix([[1, 1], [2, 4], [3, 9], [4, 16], [5, 25], [6, 36], [7, 49], [8, 64], [9, 81], [10, 100], [11, 121], [12, 144], [13, 169], [14, 196], [15, 225], [16, 256], [17, 289], [18, 324], [19, 361], [20, ...

>    array( [seq( [ 5*k , (5*k)^2],k = 1..20)  ]);

matrix([[5, 25], [10, 100], [15, 225], [20, 400], [25, 625], [30, 900], [35, 1225], [40, 1600], [45, 2025], [50, 2500], [55, 3025], [60, 3600], [65, 4225], [70, 4900], [75, 5625], [80, 6400], [85, 7225...


And when the number is NOT a perfect square root you can leave it in radical form, or use Maple to find part of the infinite decimal expansion.

>    sqrt( 101): % = evalf(%,20);

101^(1/2) = 10.049875621120890270

>    sqrt( 214): % = evalf(%,20);

214^(1/2) = 14.628738838327793457

>    sqrt( 1333): % = evalf(%,20);

1333^(1/2) = 36.510272527057367886

>    sqrt( 123349232401 ): % = evalf(%,20);

123349232401^(1/2) = 351211.09378976057624

3. Simplifying Square Roots

 
When a number is a perfect square, its square root is simply the original number.

>    sqrt(16);  sqrt(51^2);

4

51


This same principle also applies to variables. The square root of a perfect square is the absolute value of the original number.

>    sqrt( x^2): % = simplify( %);

(x^2)^(1/2) = abs(x)


When a number is not a perfect square,  it may be square free, in which case there is nothing to do.

>    sqrt( 3*5*11);

165^(1/2)


Or there may be embedded perfect squares - which are not always obvious.

>    sqrt( 3^3 );  sqrt( 27 );

3*3^(1/2)

3*3^(1/2)

>    sqrt( 2*25);  sqrt( 50 );

5*2^(1/2)

5*2^(1/2)

>    sqrt( (2^5)*(3^4)*(5^3)*7);

180*70^(1/2)


4. Fractional Exponents.


Notice that Maple represents number to the 1/2 power as square roots.

>    3^(1/2);  

3^(1/2)


This is because these are the same thing. Note if we square both a square root, or a fractional exponent, we get the same result.

>    sqrt( a )^2;
(a^(1/2))^2;

a

a

         © 2002 Waterloo Maple Inc