Answer:
This statement can be proven by contradiction for
(including the case where
.)
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Step-by-step explanation:
Assume that the natural number
is a perfect square. Then, (by the definition of perfect squares) there should exist a natural number
(
) such that
.
Assume by contradiction that
is indeed a perfect square. Then there should exist another natural number
such that
.
Note, that since
,
. Since
while
, one can conclude that
.
Keep in mind that both
and
are natural numbers. The minimum separation between two natural numbers is
. In other words, if
, then it must be true that
.
Take the square of both sides, and the inequality should still be true. (To do so, start by multiplying both sides by
and use the fact that
to make the left-hand side
.)
.
Expand the right-hand side using the binomial theorem:
.
.
However, recall that it was assumed that
and
. Therefore,
.
.
Subtract
from both sides of the inequality:
.
.
Recall that
was assumed to be a natural number. In other words,
and
must be an integer. Hence, the only possible value of
would be
.
Since
could be equal
, there's not yet a valid contradiction. To produce the contradiction and complete the proof, it would be necessary to show that
just won't work as in the assumption.
If indeed
, then
.
, which isn't a perfect square. That contradicts the assumption that if
is a perfect square,
would be a perfect square. Hence, by contradiction, one can conclude that
.
Note that to produce a more well-rounded proof, it would likely be helpful to go back to the beginning of the proof, and show that
. Then one can assume without loss of generality that
. In that case, the fact that
is good enough to count as a contradiction.