证明：反证法.
令 2m=n²,假设n为奇数,设为 n=2t+1；
则有 2m=(2t+1)²,
整理得4(t²+t)=2m-1
右边偶数,左边奇数,显然不成立,故假设不成立；
所以n必是偶数.