चीनी शेषफल प्रमेय

चीनी शेषफल प्रमेय (Chinese remainder theorem) को निम्नलिखित शब्दों में व्यक्त किया जा सकता है-

यदि साँचा:math युग्मशः अभाज्य (pairwise coprime) हों यदि साँचा:math कोई पूर्णांक हैं , तो एक पूर्णांक साँचा:math ऐसा होगा कि,

<math>\begin{align} x \equiv a_1 & \pmod{n_1} \\ \quad \vdots \\ x \equiv a_k &\pmod{n_k} \end{align},</math>

तथा कोई भी दो ऐसे पूर्णांक साँचा:math, सर्वसम मॉड्युलो साँचा:math होंगे।

उदाहरण

ऐसा पूर्णांक <math>x</math> प्राप्त कीजिये जो निम्नलिखित शर्तों को सन्तुष्ट करती हो-

x ≡ 3 (mod.5)

x ≡ 5 (mod.13)

x ≡ 7 (mod.29)

x ≡ 1 (mod.41)

X = 3.13.29.41.x1 + 5.5.29.41.x2 + 7.5.13.41.x3 + 1.5.13.29.x4

x₁.13.29.41≡1(mod.5) → x₁.(-2)(-1)(1)≡x₁.2≡1(mod.5)

x₁≡3(mod.5)

x₂.5.29.41≡1(mod.13) → x₂.5.3.2≡1(mod.13)→ x₂.4≡1(mod.13)

x₂≡10(mod. 13)

x₃.5.13.41≡1(mod.29) →x₃.5.13.17≡1(mod.29)&rarr x₃.3≡1(mod.29)

x₃≡-10(mod.29)

x₄.5.13.29≡1(mod.41) →x₄.5.13.(-12) ≡1(mod.41)→x₄.(-1) ≡1(mod.41)

x₄≡-1(mod.41)

X=3.13.29.41.3 + 5.5.29.41.10 + 7.5.13.41.(-10) + 1.5.13.29.(-1)

X=139113 + 297250 – 186550 -1885

X=247928

x≡X≡247928(mod.5.13.29.41) → x≡16073(mod.77285)

इतिहास

चीन के निवासी सुन्जी सुआनजिंग ने तीसरी शताब्दी में कुछ संख्याओं के माध्यम से इस प्रमेय का कथन किया है। किन्तु सुन जी के कार्य में न तो उपपत्ति दी गयी है और न ही पूर्ण अल्गोरिद्म। इसका सम्पूर्ण अल्गोरिद्म ५वीं शताब्दी के भारतीय गणितज्य आर्यभट ने दिया है।