证明：如果X是有理数.
则：x一定不等于0和1.
且有X的平方即X*X=3,就是说：3可以表示成两个非0和1的两个有理数的乘积,则3不是素数（或者说质数）,这与3是素数（质数）相矛盾,所以假设不成立.