খসড়া:উইলসনের উপপাদ্য

টেমপ্লেট:AFC submission সংখ্যা তত্ত্ব ও বীজগণিতে উইলসনের উপপাদ্য একটি গুরুত্বপূর্ণ উপপাদ্য। উইলসনের উপপাদ্য অনুযায়ী, সকল স্বাভাবিক সংখ্যা n>1 এর জন্য (n - 1)! +1 ≡ 0 (mod n) হবে কেবল এবং কেবল যদি n একটি মৌলিক সংখ্যা হয়।

অর্থাৎ, যদি p একটি মৌলিক সংখ্যা হয়, কেবল তখনই (p-1)!+1 এর মান p দ্বারা নিঃশেষে বিভাজ্য হবে।^[১]

ইতিহাস

আনু. খ্রিস্টীয় ১০০০ সালের দিকে উইলসনের উপপাদ্য সর্বপ্রথম আলোকপাত করেছিলেন মুসলিম বিজ্ঞানী হাসান ইবনুল হায়সাম। ^[২] ১৭৭০ সালে এডওয়ার্ড ওয়ারিং এই উপপাদ্যটি বিবৃত করেন কিন্তু কোনো প্রমাণ দেননি। তিনি এই আবিষ্কারের কৃতিত্ব তার ছাত্র জন উইলসনকে দেন।^[৩] ১৭৭১ সালে প্রথমবার জোসেফ লুই ল্যাগ্রাঞ্জ এই উপপাদ্যের প্রমাণ দেন।^[৪] এর প্রায় এক শতাব্দী আগে লিবনিজও এই ফলাফল সম্পর্কে জানতেন বলে প্রমাণ রয়েছে, কিন্তু তিনি এটি কখনো প্রকাশ করেননি।^[৫]

উদাহরণ

প্রতিটি n-এর জন্য (২ থেকে ৩০ পর্যন্ত), নিম্নলিখিত সারণী (n − 1)! এর মান এবং (n − 1)! কে n দ্বারা ভাগ করার পর অবশিষ্টাংশ প্রদর্শন করে। (মডুলার পাটিগণিতের নোটেশনে, m কে n দ্বারা ভাগ করার পর অবশিষ্টাংশ m mod n দ্বারা লেখা হয়।)

সারণীর ব্যাকগ্রাউন্ডের রঙ এখানে নীল, মৌলিক মানের জন্য এবং সোনালী, যৌগিক মানের জন্য।

ফ্যাক্টোরিয়াল সারণী এবং এর ভাগশেষ মডুলো n
$n$	$(n - 1)!$ টেমপ্লেট:OEIS	$(n - 1)! mod n$ টেমপ্লেট:OEIS
2	1	1
3	2	2
4	6	2
5	24	4
6	120	0
7	720	6
8	5040	0
9	40320	0
10	362880	0
11	3628800	10
12	39916800	0
13	479001600	12
14	6227020800	0
15	87178291200	0
16	1307674368000	0
17	20922789888000	16
18	355687428096000	0
19	6402373705728000	18
20	121645100408832000	0
21	2432902008176640000	0
22	51090942171709440000	0
23	1124000727777607680000	22
24	25852016738884976640000	0
25	620448401733239439360000	0
26	15511210043330985984000000	0
27	403291461126605635584000000	0
28	10888869450418352160768000000	0
29	304888344611713860501504000000	28
30	8841761993739701954543616000000	0

প্রমাণ

বিপরীত অনুমানের মাধ্যমে প্রমাণ

ধরি, 'n' একটি যৌগিক সংখ্যা।

যেহেতু যৌগিক সংখ্যার দুইয়ের বেশি উৎপাদক থাকে, 'n' কে প্রকাশ করা যায় n = n₁ · n₂ আকারে, যেখানে 1 < n₁n₂ < n .

এখন, (n – 1)! = (n – 1)(n – 2)(n – 3)...3 · 2 · 1

আবার, n₁n₂ < n ⇒ n₁n₂ ≤ (n – 1)

সুতরাং, 1 < n₁n₂ ≤ (n – 1)

এখন, n₁ এবং n₂ হল (n – 1)! এর যেকোনো দুটি উৎপাদক যা n₁n₂ দ্বারা বিভাজ্য।

তাই, (n – 1)! ≡ 0 (mod n₁n₂)

যেহেতু n = n₁n₂, (n – 1)! ≡ 0 (mod n).....(i)

দেওয়া আছে যে (n – 1)! ≡ -1 (mod n).....(ii)

এর অর্থ 0 ≡ -1 (mod n)

⇒ 0 + 1 ≡ 0 (mod n)

⇒ 1 ≡ 0 (mod n) যার অর্থ 1 কে 'n' দিয়ে ভাগ করলে ভাগশেষ 0 হবে।

⇒ n|1, যা বিরোধিতা সৃষ্টি করে কারণ 'n' একটি যৌগিক সংখ্যা (আমাদের অনুমান অনুযায়ী), এবং 1 কোনো যৌগিক সংখ্যা দ্বারা বিভাজ্য হতে পারে না।

আবার, n₁n₂ > 1 হওয়াটাও একটি কারণ যে n = n₁n₂, 1 কে ভাগ করতে পারে না।

সুতরাং, আমাদের অনুমান ভুল।

'n' অবশ্যই একটি মৌলিক সংখ্যা হবে।

বীজগাণিতিক প্রমাণ

ধরি, 'n' একটি মৌলিক সংখ্যা।

মডুলো n-এ পূর্ণসংখ্যার ক্ষেত্রটি বিবেচনা করে, ফার্মার ক্ষুদ্র উপপাদ্য থেকে আমরা জানি:

উক্ত ক্ষেত্রের প্রতিটি অশূন্য উপাদান f(x) = xⁿ⁻¹-1 বহুপদীর একটি মূল।

যেহেতু ক্ষেত্রটিতে মাত্র (n - 1) টি অশূন্য উপাদান আছে, তাই

হয় n = 2 অথবা n - 1 জোড় সংখ্যা।

n = 2 হলে, যেকোনো পূর্ণসংখ্যা a এর জন্য, a ≡ -a (mod 2)

n - 1 এর জন্য, (-1)ⁿ⁻¹ ≡ 1 (mod n)

সুতরাং, $x^{n - 1} - 1 = \prod_{r = 1}^{n - 1} (x - r) = \prod_{r = 1}^{n - 1} (- x + r)$

x = 0 বসালে, আমরা পাই (n - 1)! ≡ -1 (mod n)

প্রাথমিক প্রমাণ

ধরি 'n' একটি মৌলিক সংখ্যা।

ক্ষুদ্রতম মৌলিক সংখ্যার জন্য, n = 2: 1! ≡ -1 (mod 2)। (সত্য)

যদি n > 2 হয়, তবে যেকোনো a ∈ [1, n - 1] এর জন্য, এমন একটি b ∈ [1, n - 1] আছে, যেখানে ab ≡ 1 (mod n)

{1, ..., n - 1} এর প্রতিটি পূর্ণসংখ্যা a এর মডুলো n-এ একটি গৌণিক বিপরীত সংখ্যা আছে।

এই গৌণিক বিপরীত সংখ্যাটি অনন্য এবং এটিকে a⁻¹ (mod n) দ্বারা প্রকাশ করা হয়।

যদি a ≡ a⁻¹ (mod n) হয়, তবে a² - 1 ≡ 0 (mod n)

⇒ (a - 1)(a + 1) ≡ 0 (mod n), যার মডুলো n-এ দুটি মূল আছে: a ≡ 1 (mod n) এবং a ≡ -1 (mod n)

⇒ a = 1 অথবা a = n - 1

আমরা 1 থেকে n - 1 পর্যন্ত সকল পূর্ণসংখ্যাকে, 1 এবং n - 1 বাদে, {a, b} জোড়ায় সাজাতে পারি, যেখানে ab ≡ 1 (mod n), শুধুমাত্র 1 এবং n - 1 বাদে যাদের গুণফল -1 (mod n)।

সুতরাং, (n - 1)! ≡ 1 · (n - 1) ≡ -1 (mod n)।

উদাহরণস্বরূপ, p = 11 হলে:

$10! = [(1 \cdot 10)] \cdot [(2 \cdot 6) (3 \cdot 4) (5 \cdot 9) (7 \cdot 8)] \equiv [- 1] \cdot [1 \cdot 1 \cdot 1 \cdot 1] \equiv - 1 (\mod 11) .$

সাইলোর উপপাদ্যের মাধ্যমে প্রমাণ

উইলসনের উপপাদ্যকে সাইলোর উপপাদ্যের একটি নির্দিষ্ট প্রয়োগ থেকে নির্ণয় করা সম্ভব। ধরা যাক, p একটি মৌলিক সংখ্যা। সহজেই দেখা যায় যে, p-এর জন্য Sₚ (সমমিতিক গ্রুপ) এ p-ক্রম বিশিষ্ট (p − 1)! সংখ্যক উপাদান রয়েছে, যেগুলো p-চক্রগুলোর সমষ্টি, অর্থাৎ Cₚ।

অন্যদিকে, Sₚ-এ প্রতিটি সাইলো p-উপগ্রুপ আসলে Cₚ-এর একটি কপি। ফলে, সাইলো p-উপগ্রুপের সংখ্যা nₚ = (p − 2)!

তৃতীয় সাইলো উপপাদ্য থেকে পাই:

(p − 2)! ≡ 1 (mod p)

এখন উভয় পাশকে (p − 1) দ্বারা গুণ করলে পাওয়া যায়:

(p − 1)! ≡ (p − 1) ≡ −1 (mod p)।

প্রয়োগ

মৌলিকত্ব পরীক্ষণ

বাস্তবে, উইলসনের উপপাদ্য কোন সংখ্যার মৌলিকত্ব পরীক্ষণে খুব একটা কার্যকর নয়, কারণ বড় n এর জন্য (n − 1)! মডুলো n গণনা করা কম্পিউটেশনালি জটিল। এর চেয়ে অনেক দ্রুত প্রাইমালিটি টেস্টের পদ্ধতি বিদ্যমান (আসলে, এমনকি ট্রায়াল ডিভিশনও অনেক বেশি কার্যকর)।টেমপ্লেট:Cn

তবে, বড় ফ্যাক্টোরিয়ালের পরবর্তী সংখ্যাগুলোর মৌলিকত্ব নির্ধারণ করতে ব্যবহৃত হলে এটি সত্যিই খুব দ্রুত এবং কার্যকর একটি পদ্ধতি, যদিও এর ব্যবহার সীমিত।টেমপ্লেট:Cn

দ্বিঘাত অবশিষ্টাংশ

উইলসনের উপপাদ্য ব্যবহার করে, যে কোনো বিজোড় মৌলিক সংখ্যা টেমপ্লেট:Nowrap এর জন্য, বামপক্ষটি পুনর্বিন্যস্ত করে $1 \cdot 2 \dots (p - 1) \equiv - 1 (\mod p)$ এই সমীকরণটি পাওয়া যায়: $1 \cdot (p - 1) \cdot 2 \cdot (p - 2) \dots m \cdot (p - m) \equiv 1 \cdot (- 1) \cdot 2 \cdot (- 2) \dots m \cdot (- m) \equiv - 1 (\mod p) .$

তাহলে: $\prod_{j = 1}^{m} j^{2} \equiv (- 1)^{m + 1} (\mod p)$ অথবা $(m!)^{2} \equiv (- 1)^{m + 1} (\mod p) .$

আমরা এই তথ্যটি ব্যবহার করে একটি বিখ্যাত ফলাফলের একটি অংশ প্রমাণ করতে পারি: যেকোনো মৌলিক সংখ্যা p এর জন্য, যেখানে p ≡ 1 (mod 4), (−1) সংখ্যাটি একটি বর্গ (দ্বিঘাত অবশিষ্টাংশ) mod p। এক্ষেত্রে, মনে করি কোনো পূর্ণসংখ্যা k এর জন্য p = 4k + 1 । সুতরাং m = 2k নিলে হয় $(m!)^{2} \equiv - 1 (\mod p)$ ।

মৌলিক সংখ্যা নির্ণয়ের সূত্র

উইলসনের উপপাদ্য ব্যবহার করে মৌলিক সংখ্যা নির্ণয়ের সূত্র তৈরি করা হয়েছে, তবে সেগুলো ব্যবহারিক দৃষ্টিকোণ থেকে খুবই ধীর। যেমন:

১৯৬৪ সালে, উইলিয়ানস নিম্নলিখিত সূত্রটি প্রদান করেন: $p_{n} = 1 + \sum_{i = 1}^{2^{n}} ⌊ {(\frac{n}{\sum_{j = 1}^{i} ⌊ {(\cos \frac{(j - 1)! + 1}{j} π)}^{2} ⌋})}^{1 / n} ⌋$ যেখানে $p_{n}$ হলো $n$ -তম মৌলিক সংখ্যা।^[৬]

p-অ্যাডিক গামা ফাংশন

উইলসনের উপপাদ্য p-অ্যাডিক গামা ফাংশন সংজ্ঞায়িত করতে সহায়তা করে।

গাউসের সাধারণীকরণ

গাউস প্রমাণ করেছিলেন যে ^[৭] $\prod_{\binom{k = 1}{\gcd (k, m) = 1}}^{m} k \equiv {\begin{matrix} - 1 (\mod m) & if m = 4, p^{α}, 2 p^{α} \\ 1 (\mod m) & otherwise \end{matrix}$ যেখানে p একটি বিজোড় মৌলিক সংখ্যা এবং $α$ একটি ধনাত্মক পূর্ণ সংখ্যা ।

আরো দেখুন

টীকা

টেমপ্লেট:Noteslist টেমপ্লেট:Reflist

তথ্যসূত্র

টেমপ্লেট:Refbegin Disquisitiones Arithmeticae গাউসের সিসেরোনিয়ান ল্যাটিন থেকে ইংরেজি এবং জার্মান ভাষায় অনূদিত হয়েছে। জার্মান সংস্করণে সংখ্যা তত্ত্বের উপর তার সমস্ত কাজ অন্তর্ভুক্ত রয়েছে: কোয়াড্রাটিক রিসিপ্রোসিটির সমস্ত প্রমাণ, গাউসের যোগফলের চিহ্ন নির্ধারণ, বাইকোয়াড্রাটিক রিসিপ্রোসিটি ইনভেস্টিগেশন, এবং প্রকাশিত না হওয়া নোটগুলি।

টেমপ্লেট:Refend

বহিঃ সংযোগ

উইলসনের উপপাদ্য

টেমপ্লেট:AFC submission

↑ The Universal Book of Mathematics. David Darling, p. 350.
↑ O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics Archive, University of St Andrews
↑ Edward Waring, Meditationes Algebraicae (Cambridge, England: 1770), page 218 (in Latin). ওয়ারিংয়ের উক্ত বইয়ের-এর তৃতীয় (১৭৮২) সংস্করণে উইলসনের উপপাদ্যটি পৃষ্ঠা ৩৮০-তে সমস্যা ৫ হিসেবে উপস্থাপিত হয়েছে। ওই পৃষ্ঠায়, ওয়ারিং উল্লেখ করেন: "Hanc maxime elegantem primorum numerorum proprietatem invenit vir clarissimus, rerumque mathematicarum peritissimus Joannes Wilson Armiger." (একজন মহান এবং গণিতে অত্যন্ত দক্ষ ব্যক্তি, জন উইলসন, মৌলিক সংখ্যার এই অত্যন্ত সুন্দর বৈশিষ্ট্যটি আবিষ্কার করেন।)
↑ Joseph Louis Lagrange, "Demonstration d'un théorème nouveau concernant les nombres premiers" (মৌলিক সংখ্যা সম্পর্কিত একটি নতুন উপপাদ্যের প্রমাণ), Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres (Berlin), vol. 2, pages 125–137 (1771).
↑ Giovanni Vacca (1899) "Sui manoscritti inediti di Leibniz" (On unpublished manuscripts of Leibniz), Bollettino di bibliografia e storia delle scienze matematiche ... (Bulletin of the bibliography and history of mathematics), vol. 2, pages 113–116; see page 114 (in Italian). ভাক্কা লিবনিজের পান্ডুলিপি থেকে উদ্ধৃতি দেন, পান্ডুলিপিটি the Royal Public Library in Hanover (Germany)-এ সংরক্ষিত আছে, vol. 3 B, bundle 11, page 10:
Original : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:

"Productus continuorum usque ad numerum qui antepraecedit datum divisus per datum relinquit 1 (vel complementum ad unum?) si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."

Egli non giunse pero a dimostrarlo.
Translation : এছাড়াও, তিনি [লিবনিজ] উইলসনের উপপাদ্যটি দেখেছিলেন, যেমন নিম্নলিখিত বিবৃতিতে দেখা যায়:

"কোনো সংখ্যার পূর্ববর্তী সকল পূর্ণসংখ্যার গুণফলকে ঐ সংখ্যা দিয়ে ভাগ করলে, যদি ঐ সংখ্যাটি মৌলিক হয় তবে ভাগশেষ হবে 1 (অথবা 1 এর পরিপূরক)। যদি ঐ সংখ্যাটি যৌগিক হয়, তবে ভাগশেষ এমন একটি সংখ্যা হবে যার সাথে মূল সংখ্যার 1 এর চেয়ে বড় একটি ফ্যাক্টর থাকবে।""

তবে তিনি এটি প্রমাণ করতে সক্ষম হননি ।
See also: Giuseppe Peano, ed., Formulaire de mathématiques, vol. 2, no. 3, page 85 (1897).
↑ টেমপ্লেট:Citation.
↑ Gauss, DA, art. 78

[1] The Universal Book of Mathematics. David Darling, p. 350.

[2] O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics Archive, University of St Andrews

[3] Edward Waring, Meditationes Algebraicae (Cambridge, England: 1770), page 218 (in Latin). ওয়ারিংয়ের উক্ত বইয়ের-এর তৃতীয় (১৭৮২) সংস্করণে উইলসনের উপপাদ্যটি পৃষ্ঠা ৩৮০-তে সমস্যা ৫ হিসেবে উপস্থাপিত হয়েছে। ওই পৃষ্ঠায়, ওয়ারিং উল্লেখ করেন: "Hanc maxime elegantem primorum numerorum proprietatem invenit vir clarissimus, rerumque mathematicarum peritissimus Joannes Wilson Armiger." (একজন মহান এবং গণিতে অত্যন্ত দক্ষ ব্যক্তি, জন উইলসন, মৌলিক সংখ্যার এই অত্যন্ত সুন্দর বৈশিষ্ট্যটি আবিষ্কার করেন।)

[4] Joseph Louis Lagrange, "Demonstration d'un théorème nouveau concernant les nombres premiers" (মৌলিক সংখ্যা সম্পর্কিত একটি নতুন উপপাদ্যের প্রমাণ), Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres (Berlin), vol. 2, pages 125–137 (1771).

[5] Giovanni Vacca (1899) "Sui manoscritti inediti di Leibniz" (On unpublished manuscripts of Leibniz), Bollettino di bibliografia e storia delle scienze matematiche ... (Bulletin of the bibliography and history of mathematics), vol. 2, pages 113–116; see page 114 (in Italian). ভাক্কা লিবনিজের পান্ডুলিপি থেকে উদ্ধৃতি দেন, পান্ডুলিপিটি the Royal Public Library in Hanover (Germany)-এ সংরক্ষিত আছে, vol. 3 B, bundle 11, page 10:
Original : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:

"Productus continuorum usque ad numerum qui antepraecedit datum divisus per datum relinquit 1 (vel complementum ad unum?) si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."

Egli non giunse pero a dimostrarlo.
Translation : এছাড়াও, তিনি [লিবনিজ] উইলসনের উপপাদ্যটি দেখেছিলেন, যেমন নিম্নলিখিত বিবৃতিতে দেখা যায়:

"কোনো সংখ্যার পূর্ববর্তী সকল পূর্ণসংখ্যার গুণফলকে ঐ সংখ্যা দিয়ে ভাগ করলে, যদি ঐ সংখ্যাটি মৌলিক হয় তবে ভাগশেষ হবে 1 (অথবা 1 এর পরিপূরক)। যদি ঐ সংখ্যাটি যৌগিক হয়, তবে ভাগশেষ এমন একটি সংখ্যা হবে যার সাথে মূল সংখ্যার 1 এর চেয়ে বড় একটি ফ্যাক্টর থাকবে।""

তবে তিনি এটি প্রমাণ করতে সক্ষম হননি ।
See also: Giuseppe Peano, ed., Formulaire de mathématiques, vol. 2, no. 3, page 85 (1897).

[6] টেমপ্লেট:Citation.

[7] Gauss, DA, art. 78

[১]

[২]

[৩]

[৪]

[৫]

[৬]

[৭]

খসড়া:উইলসনের উপপাদ্য

পরিচ্ছেদসমূহ

ইতিহাস

উদাহরণ

প্রমাণ

বিপরীত অনুমানের মাধ্যমে প্রমাণ

বীজগাণিতিক প্রমাণ

প্রাথমিক প্রমাণ

সাইলোর উপপাদ্যের মাধ্যমে প্রমাণ

প্রয়োগ

মৌলিকত্ব পরীক্ষণ

দ্বিঘাত অবশিষ্টাংশ

মৌলিক সংখ্যা নির্ণয়ের সূত্র

p-অ্যাডিক গামা ফাংশন

গাউসের সাধারণীকরণ

আরো দেখুন

টীকা

তথ্যসূত্র

বহিঃ সংযোগ

উইলসনের উপপাদ্য

পরিভ্রমণ বাছাইতালিকা

খসড়া:উইলসনের উপপাদ্য

ইতিহাস

উদাহরণ

প্রমাণ

বিপরীত অনুমানের মাধ্যমে প্রমাণ

বীজগাণিতিক প্রমাণ

প্রাথমিক প্রমাণ

সাইলোর উপপাদ্যের মাধ্যমে প্রমাণ

প্রয়োগ

মৌলিকত্ব পরীক্ষণ

দ্বিঘাত অবশিষ্টাংশ

মৌলিক সংখ্যা নির্ণয়ের সূত্র

p-অ্যাডিক গামা ফাংশন

গাউসের সাধারণীকরণ

আরো দেখুন

টীকা

তথ্যসূত্র

বহিঃ সংযোগ

উইলসনের উপপাদ্য

পরিভ্রমণ বাছাইতালিকা

অনুসন্ধান