用反证法假设a是有理数显然a不是整数所以是个分数则令a=p/q其中pq都是整数且互质则p²/q²=3p²=3q²所以p²是3的倍数则p是3的倍数假设p=3m则9m²=3q²q²=3m²所以q也是3的倍数这和pnq互质矛盾所以假设错误所以a不是有理数