证明：反证法
假设 √3是有理数
则存在互质的自然数m,n
√3=m/n
∴ m²=3n²
∴ 3整除m,设m=3k,k∈N*
则 9k²=3n²
∴ n²=3k²
∴ 3整除n
与m.n互质矛盾
∴ 假设不成立
∴ √3是无理数.