Proof By Contradiction
Assume and is an even integer where Thus, Since, cannot be represented as an even number, must be odd for an odd . Thus, for to be even, must be even aswell.
Assume a=2k+1 and a2 is an even integer 2j where k,j∈Z Thus, a2=(2k+1)2=4k2+4k+1=2(2k2+2k)+1 Since, a2 cannot be represented as an even number, a2 must be odd for an odd a. Thus, for a2 to be even, a must be even aswell. □