Çin kalan teoremi

Sunzi'nin orijinal çözümü:Şablon:Kayma Şablon:Kayma Şablon:Kayma Şablon:Kayma Şablon:KaymaŞablon:Kayma

Çin kalan teoremi Gauss'un 1801 tarihli kitabında Disquisitiones Arithmeticae.

Matematikte Çin kalan teoremi, bir n tamsayısının birkaç tam sayıya bölümünden kalanlar biliniyorsa, n'in bu sayıların çarpımına bölümünden kalanın bulunabileceğini belirtir. Buradaki koşul, n'e bölümlerinden kalanlarını bildiğimiz sayıların birbirleriyle aralarında asal olmaları gerekliliğidir.

Örneğin, n'in 3'e bölümünden kalanın 2 olduğunu, 5'e bölümünden kalanın 3 olduğunu ve 7'ye bölümünden kalanın 2 olduğunu biliyorsak; n'in değerini bilmemize gerek kalmadan n'in 105'e (3, 5 ve 7'nin çarpımı) bölümünden kalanın 23 olduğunu bulabiliriz. Daha da önemlisi, bu bize n'nin 105'ten küçük bir doğal sayı olması durumunda n'nin 23 olması gerektiğini söyler.

Teoremin bilinen en eski ifadesi MS 3. ila 5. yüzyılda Çinli matematikçi Sunzi Suanjing tarafından ortaya konulmuştur.

Çin kalan teoremi, yaygın olarak büyük tam sayılarla yapılan hesaplamalarda kullanılır.

İfade

n₁, ..., n_k, 1'den büyük bölenler olmak üzere n_i çarpımını N ile gösterelim. Çin kalan teoremine göre n_i dizisindeki sayı ikililerinin tümü aralarında asalsa ve a₁, ..., a_k tam sayıların 0 ≤ a_i < n_i eşitsizliğini i'nin tüm değerleri için sağlıyorsa, o halde 0 ≤ x < N olmak üzere i'nin her değeri için x'in n_i'ye bölümünden kalanı a_i yapan yalnız bir x değeri vardır.

Bu durum kongrüanslar ile aşağıdaki şekilde yeniden ifade edilebilir:

$n_i$ sayıları çiftler halinde aralarında asalsa, a₁, ..., a_k tam sayılar olmak üzere

$\begin{array}{cc}x& \equiv a_1(\mathrm{mod}{n}_1)\\ & ⋮\\ x& \equiv a_k(\mathrm{mod}{n}_k),\end{array}$

denkliğinin mod N'de yalnız bir çözümü vardır.

İspat

Benzersizlik

Şablon:Mvar ve Şablon:Mvar sayılarının denkliğin iki farklı çözümü olduğunu varsayalım. Şablon:Mvar ve Şablon:Mvar sayıları, Şablon:Math'ye bölümlerinde aynı kalanı verdiğinden bu sayıların farkı Şablon:Math, Şablon:Math'nin her değeri için Şablon:Math'nin bir katıdır. Şablon:Math'nin bütün değerlerinin aralarında asal olduğu göz ününde bulundurulursa, Şablon:Math dizisindeki sayıların çarpımı olan N sayısı da Şablon:Math'ye tam bölünür. Şablon:Mvar ve Şablon:Mvar sayıları negatif olmayan ve N'den küçük tam sayılar olarak alınırsa farkları olan Şablon:Math ancak Şablon:Math durumunda N'in bir katıdır.