基于數學歸納法的中國剩余定理證明方法

姚俊萍 李新社 范守祥

【摘要】中國剩余定理主要用來求解一元一次同余方程組，其解結構不但規范，而且證明方法幾乎都是采用通過證明存在性和唯一性兩點來完成的.本文根據方程解的迭加性原理和數學歸納法給出了一元一次同余方程組解結構的構造性證明過程，其思路和方法具有一定的普適性.

一、引 言

中國剩余定理主要用來闡述一元線性同余方程組的有解準則及其求解方法，最初主要用來解決在整數域上一個數的存在和尋求的問題.隨著一代代數學家和科學家們的努力，中國剩余定理已與其他數學理論建立起了非常重要的聯系.中國剩余定理可以把一個有限群拆成不同的循環群的積，進而研究Z/mZ的結構;中國剩余定理可以把一個撓模分成循環模的積，進而分出戴德金環或主理想環上模的類別;中國剩余定理不僅是現代公鑰密碼體制RSA快速解密的理論依據之一，而且也是Rabin公鑰密碼體制的解密工具.事實上，中國剩余定理還可以作為建立群簽名成員的管理模型的理論基礎.就中國剩余定理與不定方程和同余方程求解內在聯系而言，中國剩余定理證明方法研究可以使人們更加透徹地理解和掌握不定方程和同余方程的應用.

二、基礎理論

四、總 結

本文從方程（組）解迭加性原理出發，運用不定方程和同余方程求解方法，并根據數學歸納法證明命題步驟完成了中國剩余定理的構造性證明過程.與前面的方法相比，該方法更符合讀者的認知結構，使讀者最終達到學會數學，理解數學，享受數學的目的.

【參考文獻】

[1]Kenneth H Rosen.Elementary Number Theory and Its Applications[M].北京：機械工業出版社，2009：116-123.

[2]胡典順，徐漢文.初等數論[M].北京：科學出版社，2010：62-69.

[3]劉曉蕾.有限群及其表示論若干問題研究[M].北京：國防工業出版社，2010：89-93.

[4]莫宗堅.代數學[M].北京：北京大學出版社，1999：222-225.

[5]金晨輝，鄭浩然，等.密碼學[M].北京：高等教育出版社，2010：252-253.

[6]朱文余，孫琦.計算機密碼應用基礎[M].北京：科學出版社，2015：143-145.

[7]陳澤文，張龍軍，等.一種基于中國剩余定理的群簽名方案[J].電子學報，2004（1）：1062-1065.