|
Let's prove
that
is
the irrational number. Assume the opposite:
is
the rational number, then according to the definition of
rational number we can write:
=
m
/
n ,
then: 2 =
m2
/
n2,
hence,
m2
= 2
n2,
that is m2
is divisible by 2, hence,
m is divisible by 2
and it is possible to write:
m
= 2
k, then
m2
= 4
k2
or 4
k2
= 2
n2,
hence, n2
= 2
k2,
that is n2
is divisible by 2, then n
is divisible by 2, hence, m
è n have the common factor 2,
what contradicts to
the definition of rational number (see above). So, we
have proved that
is
the irrational number.
|