計(jì)算機(jī)輔助整除命題證明初探

郁林珠

[摘要]數(shù)論是數(shù)學(xué)領(lǐng)域十分重要的基礎(chǔ)理論，而整除理論又是數(shù)論的基礎(chǔ)。有些數(shù)論命題的得出需要經(jīng)過大量的數(shù)值計(jì)算來驗(yàn)證。在計(jì)算機(jī)發(fā)明以前，這一過程需要經(jīng)過數(shù)年甚至數(shù)代人前赴后繼的不斷努力才能結(jié)束。隨著計(jì)算機(jī)應(yīng)用的不斷普及，這些命題的證明過程變得輕松而快捷。

本文敘述了筆者利用計(jì)算機(jī)輔助解決整除命題的過程，其實(shí)，證明本身并不深?yuàn)W，但過程耐人尋味，特奉獻(xiàn)給大家。

[關(guān)鍵詞]計(jì)算機(jī)；程序；整除；集合