一樓的方法已經(jīng)很好了,就是語序要換一換：
假設(shè)該方程有解.
因為任意數(shù)x被3除只能余0或1或2.
1.當(dāng)x被3除余0,則x^2被3除余 0*0 mod 3=0.
2.當(dāng)x被3除余1,則x^2被3除余 1*1 mod 3=1.
3.當(dāng)x被3除余2,則x^2被3除余 2*2 mod 3=1.
所以任意數(shù)x的平方被3除都不余2.……①
又因為 3y^2 被3除余0,17被3除余2.
所以 x^2 被3除必須余2.……②
因為①與②矛盾,所以無解.
如果我沒記錯的話,這種方法好像不叫“抽屜原理”吧.“抽屜原理”是假想地往抽屜里放東西,如：16個蘋果放3個抽屜,就可以根據(jù)“抽屜原理”確定至少有一個抽屜里放了不少余6個的蘋果數(shù).