Defintion
Rationalization is the expression of a number in as a ratio (or "fraction") of the form: a/bab where aa and bb are integers and have no common factors greater than 11.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
color(black)(sqrt(2)/2)√22 is an irrational number.
Proof:
Suppose that sqrt(2)/2√22 were a rational number.
Then, by definition of rational numbers, we could write
color(white)("XXX")sqrt(2)/2=a/bXXX√22=ab
where aa and bb were integer values with no common factors.
This would mean
color(white)("XXX")sqrt(2)b=2aXXX√2b=2a
Squaring both sides:
color(white)("XXX")2b^2=4a^2XXX2b2=4a2
color(white)("XXX")b^2=2a^2XXXb2=2a2
color(white)("XXX")rarr b^2XXX→b2 must be even
and since squared odd numbers are odd
color(white)("XXX")rarr bXXX→b must be even.
So we could replace bb with 2c2c for some integer cc
color(white)("XXX")sqrt(2)/2=a/(2c)XXX√22=a2c
color(white)("XXX")cancel2sqrt(2)c=cancel2a
color(white)("XXX")cancel2c^2=cancel4^2a^2
color(white)("XXX")rarr a^2 is even
color(white)("XXX")rarr a is even.
Therefore both a and b would need to be even;
that is both a and b would have a common factor of 2
...but this is contrary to the initial declaration that a and b have no common factors.