若p²=2q²，则p必为偶数。

这是因为，由2能整除p²，可得2能整除p。

否则，若p为奇数，设p=2m+1，则

p²=(2m+1)²=4m²+4m+1，

显然2不能整除p²，产生矛盾。