→ Ricestone: 1.這裡2跟8不互質，所以消的時候會連8一起變11/24 22:43
→ Ricestone: 直接舉例來說，因為2x=4mod8在mod8裡面是有x=2跟x=6這11/24 22:45
→ Ricestone: 兩個結果11/24 22:45
→ Ricestone: 2.不能用2就只是因為跟原本的聯立方程式不等價而已11/24 22:49
→ Ricestone: 而且這詳解作法不對，mod9根本不用變11/24 22:57
請問是怎麼判斷9可以留下來的？
是因為[1]這個等價類在mod9下包含於[1]在mod3之下嗎？
→ Ricestone: 只要確認7mod9跟另外那兩個1mod3是相符的，那兩個mod311/24 22:58
→ Ricestone: 就能去掉，所以剩的是mod9,mod4,mod711/24 22:59
推 mathtsai: 1.對 2.兩兩最大公因數不為111/24 22:59
→ mathtsai: x = 12k+4 = 4*(3k+1) 如果用2來做 就不等價惹11/24 23:00
請問這邊是怎麼判斷是否跟原式等價的？還是不太懂...
→ Ricestone: 3.看不太懂你想問什麼，不過2^(i-1)只有2的因數，11/24 23:08
→ Ricestone: 而現在n已經說是奇數（沒有因數2），所以當然互質11/24 23:08
喔喔因為他真的寫的太繞了所以不懂上下文的關聯性XD
→ mathtsai: 3.寫那麼神秘幹嘛...把你第一個藍筆的部分相減11/24 23:21
→ mathtsai: 得n | 2^j - 2^i = 2^i*(2^(j-i) - 1) => n | 2^(j-i)-111/24 23:23
！！！原來如此，我懂了
→ mathtsai: 鴿籠其實某題會了 下次出神秘一點的一樣沒想法11/24 23:25
→ ok8752665: 離散一堆都是沒看過根本沒想法的==11/24 23:27
※ 編輯: mistel (223.136.0.251 臺灣), 11/24/2019 23:28:15
※ 編輯: mistel (223.136.84.166 臺灣), 11/24/2019 23:32:05
→ Ricestone: 7mod9這個限制比1mod3來得強，有7mod9就不需要再講mod311/24 23:32
→ Ricestone: 一個合數的同餘式本來就有拆成等價的因數的聯立同餘式 11/24 23:37
→ Ricestone: 的辦法，叫除法原理 11/24 23:38
謝謝，限制較強這邊我懂了，
但我還是不懂要怎麼由x=12k+4=4(3k+1)
判斷跟原本的聯立式子等價？
這條式子不是也等於2(6k+2)嗎
※ 編輯: mistel (223.136.84.166 臺灣), 11/24/2019 23:57:31
→ Ricestone: 12本來就是拆成3跟4，如果用理論的想法，3跟4的餘數可11/24 23:59
→ Ricestone: 以表達12種情況，如果是3跟2就只剩6種，一定有問題 11/24 23:59
→ Ricestone: 用剛剛限制較強的想法也可以，4的限制就是比2多啊 11/25 00:00
Got it!!
※ 編輯: mistel (223.136.84.166 臺灣), 11/25/2019 00:01:45
推 iamawinner: 我是覺得，能2能整除的，4未必能整除 11/25 02:56
推 zuchang: 樓上 那不就是4的限制比較大的意思嗎:) 11/25 12:24