Answer:
If [tex]n^2[/tex] is even, then so is n.
Step-by-step explanation:
We will prove the above theorem with the help of contrapositivty.
The contrapositive statement for given statement is, if n is odd then, [tex]n^2[/tex] is odd. Now, all we need to prove is for odd n we have odd [tex]n^2[/tex].
Let n be odd, then it can be written in the form [tex]n = 2t + 1[/tex], where t is an integer,
[tex]n^2 = (2t + 1)^2 = 4t^2 + 1 + 4t = 2(2t^2 + 2t) + 1[/tex]
[tex]n^2[/tex] is odd as it can be expressed in the form [tex]n^2 = 2s + 1, \text{ where s =}~ 2t^2 + 2t}[/tex].
Hence, by contrapositivity, it can be said that if a number is even, then so is its square root.
But the given statement is true for [tex]m > 2[/tex].