证:必要性 设x0,y0是ax+by=c的解,有ax0+by0=c,设d=(a,b),则有d|ax0,d|by0,所以d|c.这个|符号在这里什么意思啊?如果是整除的话后面的d|ax0,d|by0就看不懂了。
……说的对啊
这个符号表示整除。∵d=(a,b),即d是整数a,b的最大公约数,∴d整除a且d整除b∵x0,y0为整数,∴a整除ax0,∴d整除ax0 同理d整除by0