反證法

[ruby0519]

k為正整數,證明(2^k)-1為質數,則k為質數(但其逆命題不成立,反例:(2^11)-1=23*89)
請問thepiano老師這題怎麼用反證法證明呢?
謝謝老師

[thepiano]

請參考
http://math.pro/db/viewthread.php?tid=393&page=1#pid452

[ruby0519]

懂了
謝謝老師