对,反证法：
假设他们最大公因数不是1,而是N（N>1)
那么N能整除他们两个之差（1）,即1/N是整数,但是N>1,所以不满足,假设不成立.