GFIF 寫到:設11...1(n個1)是平方數
因為11...1(n個1)的開平方是奇數,所以用8除必餘1
11...1000≡0(mod8)
111≡7(mod8)
所以11...1(n個1)用8除於7與用8除必餘1矛盾
所以11 , 111 , 1111 , 11111 , ...... , 11...1(n個) , ... 中沒有平方數
故得證
應加上紅色字方為完整
GFIF 寫到:設11...1(n個1)是平方數
因為11...1(n個1)的開平方是奇數,所以用8除必餘1
11...1000≡0(mod8)
111≡7(mod8)
所以11...1(n個1)用8除於7與用8除必餘1矛盾
所以11 , 111 , 1111 , 11111 , ...... , 11...1(n個) , ... 中沒有平方數
故得證