计算机辅助整除命题证明初探

郁林珠

[摘要]数论是数学领域十分重要的基础理论，而整除理论又是数论的基础。有些数论命题的得出需要经过大量的数值计算来验证。在计算机发明以前，这一过程需要经过数年甚至数代人前赴后继的不断努力才能结束。随着计算机应用的不断普及，这些命题的证明过程变得轻松而快捷。

本文叙述了笔者利用计算机辅助解决整除命题的过程，其实，证明本身并不深奥，但过程耐人寻味，特奉献给大家。

[关键词]计算机；程序；整除；集合