Định lý 2,25 (Trung Quốc còn lại định lý). Hãy để m1, m2,..., mk là một bộ sưu tập của cử tương đối nguyên tố số nguyên. Điều này có nghĩa là gcd(mi,MJ) = 1 cho tất cả.Hãy để a1, a2,..., ak là bất kỳ số nguyên. Sau đó có hệ thống đồng thời hìnhx ≡ a1 (mod m1), x ≡ a2 (mod m2),..., x ≡ ak (mod mk) (2,7) có một giải pháp x = c. Hơn nữa, nếu là cả hai giải pháp, sau đó . (2,8)Bằng chứng. Giả sử rằng đối với một số giá trị của tôi chúng tôi đã đã quản lý để tìm một giải pháp x = ci để là người đầu tiên tôi đồng thời hình, x ≡ a1 (mod m1), x ≡ a2 (mod m2),..., x ≡ ai (mod mi). (2.9)Ví dụ, nếu tôi = 1, thì c1 = a1 công trình. Chúng tôi sẽ giải thích làm thế nào để tìm một giải pháp cho một thêm congruence, x ≡ a1 (mod m1), x ≡ a2 (mod m2),..., x ≡ ai + 1 (mod mi + 1).Ý tưởng là để tìm một giải pháp có các hình thứcx = ci + m1m2 •••miy.Thông báo rằng giá trị này của x vẫn đáp ứng tất cả các hình (2,9), do đó, chúng tôi chỉ cần chọn y do đó nó cũng đáp ứng x ≡ ai + 1 (mod mi + 1). Nói cách khác, chúng tôi cần phải tìm một giá trị của y đáp ứng ci + m1m2 •••miy ≡ ai + 1 (mod mi + 1).Döï 1.13(b) và thực tế đó ƯCLN (mi + 1, m1m2 •••mi) = 1 ngụ ý rằng chúng tôi luôn luôn có thể làm điều này. Điều này hoàn thành bằng chứng về sự tồn tại của một giải pháp. Chúng tôi để lại cho bạn nhiệm vụ chứng minh rằng giải pháp khác nhau đáp ứng (2,8). Chứng minh định lý Trung Quốc còn lại (định lý 2,25) dễ dàng được chuyển đổi thành một thuật toán cho việc tìm kiếm các giải pháp cho một hệ thống đồng thời hình. Một ví dụ suffices để minh họa phương pháp tổng quát.Ví dụ 2,26. Chúng tôi giải quyết đồng thời hình ba x ≡ 2 (mod 3), x ≡ 3 (mod 7), x ≡ 4 (mod 16). (2.10)Định lý Trung Quốc còn lại nói rằng đó là một giải pháp độc đáo theo modulo 336, kể từ 336 = 3 • 7 • 16. Chúng tôi bắt đầu với các giải pháp x = 2 để đầu tiên congruence x ≡ 2 (mod 3). Chúng tôi sử dụng nó để tạo thành giải pháp tổng thể x = 2 + 3y và thay thế nó vào congruence thứ hai để có được2 + 3y ≡ 3 (mod 7).
đang được dịch, vui lòng đợi..