ফার্মার দুই বর্গের উপপাদ্যের অনেক প্রমাণে, দ্বিঘাত সর্বসমতা সমীকরণ এর ন্যূনতম ধনাত্মক অবশিষ্ট সমাধান গুরুত্বপূর্ণ ভূমিকা পালন করে, যেখানে একটি মৌলিক সংখ্যা এবং । এই ধরনের কে স্টর্মার সংখ্যা বলা হয়, যা নরওয়েজীয় গণিতবিদ এবং জ্যোতির্বিজ্ঞানী কার্ল স্টর্মার (১৮৭৪-১৯৫৭) এর নামে নামকরণ করা হয়েছে। এই পেপারটি এর জন্য কোনো মৌলিক সংখ্যা এর স্টর্মার সংখ্যা হওয়ার প্রয়োজনীয় এবং পর্যাপ্ত শর্ত প্রতিষ্ঠা করে। স্টর্মার এই সংখ্যাগুলির অধ্যয়ন প্রধানত Gregory-MacLaurin সিরিজ এর নির্দিষ্ট মানগুলির সীমিত রৈখিক সমন্বয়ের মাধ্যমে প্রতিনিধিত্ব করার অভিজ্ঞতা থেকে উদ্ভূত হয়েছিল। যেহেতু ১৯০০ সালে এর ৬০০ এর কম অঙ্ক জানা ছিল, এর আনুমানিকতা একটি গুরুত্বপূর্ণ বিষয় ছিল। স্টর্মার ১৮৯৬ সালে আবিষ্কৃত একটি অভিজ্ঞতা কানাডা এবং তার দল দ্বারা ২০০২ সালে ১.২৪ ট্রিলিয়ন অঙ্কের গণনা করতে ব্যবহৃত হয়েছিল।
১. ফার্মার দুই বর্গের উপপাদ্যের গুরুত্ব: এই উপপাদ্যটি জি.এইচ. হার্ডি দ্বারা "পাটিগণিতের সবচেয়ে সুন্দর উপপাদ্যগুলির মধ্যে একটি" হিসাবে উল্লেখ করা হয়েছে, এটি বলে যে একটি মৌলিক সংখ্যা দুটি ধনাত্মক পূর্ণসংখ্যার বর্গের যোগফল হিসাবে প্রকাশ করা যায় যদি এবং শুধুমাত্র যদি ।
२. দ্বিঘাত সর্বসমতার মূল ভূমিকা: ফার্মার দুই বর্গের উপপাদ্যের বেশিরভাগ প্রমাণ দ্বিঘাত সর্বসমতা সমীকরণ অধ্যয়ন জড়িত। উদাহরণস্বরূপ, হার্মিট এবং সেরেট দ্বারা ১৮৪৮ সালে স্বাধীনভাবে প্রদত্ত প্রমাণ ন্যূনতম অবশিষ্ট সমাধান জানা অনুমান করে, তারপর ইউক্লিডীয় অ্যালগরিদম ব্যবহার করে ধনাত্মক পূর্ণসংখ্যা খুঁজে পাওয়ার জন্য একটি অ্যালগরিদম তৈরি করে যা সন্তুষ্ট করে।
३. ঐতিহাসিক তাৎপর্য: যদিও গিরার্ড ১৬৩२ সালে এই উপপাদ্যটি বর্ণনা করেছিলেন এবং ফার্মাট ১৬४० সালে প্রমাণের ঘোষণা দিয়েছিলেন, প্রথম রেকর্ডকৃত অস্তিত্ব প্রমাণ ইউলার দ্বারা ১७४९ সালে দেওয়া হয়েছিল এবং অনন্যতা প্রমাণ গাউস দ্বারা ১८०१ সালে সম্পন্ন হয়েছিল।
१. তাত্ত্বিক প্রয়োজন: যখন মৌলিক সংখ্যা খুব বড় হয়, তখন খুঁজে পাওয়া ব্যবহারিকভাবে কঠিন, সিস্টেমেটিক সিদ্ধান্ত শর্তের প্রয়োজন। २. ঐতিহাসিক মূল্য: কার্ল স্টর্মারের কাজ সংখ্যা তত্ত্ব এবং এর আনুমানিকতা সংযুক্ত করে, যা গুরুত্বপূর্ণ গণিত ইতিহাসের তাৎপর্য রাখে। ३. প্রয়োগের মূল্য: স্টর্মারের অভিজ্ঞতা আজও উচ্চ নির্ভুলতা গণনায় কাজ করে।
१. স্টর্মার সংখ্যার সম্পূর্ণ বৈশিষ্ট্য প্রতিষ্ঠা: ধনাত্মক পূর্ণসংখ্যা কোনো মৌলিক সংখ্যার স্টর্মার সংখ্যা হওয়ার প্রয়োজনীয় এবং পর্যাপ্ত শর্ত প্রদান করা হয়েছে (উপপাদ্য २.३) २. স্টর্মার ফাংশনের একক-মূল্যতা প্রমাণ: প্রমাণ করা হয়েছে যে প্রতিটি স্টর্মার সংখ্যা একটি অনন্য মৌলিক সংখ্যার সাথে সম্পর্কিত (উপপাদ্য २.१) ३. স্টর্মার সংখ্যার প্রাকৃতিক ঘনত্বের অনুপ্রেরণামূলক প্রমাণ প্রদান: এভারেস্ট এবং হারম্যান অনুমান সমর্থন করে, যে স্টর্মার সংখ্যার প্রাকৃতিক ঘনত্ব ४. স্টর্মার সংখ্যা এবং গ্রেগরি সংখ্যার সংযোগ সিস্টেমেটিকভাবে ব্যাখ্যা করা: স্টর্মারের আনুমানিকতা তত্ত্ব এবং এর আধুনিক প্রয়োগ প্রদর্শন করা হয়েছে ५. সমৃদ্ধ গণনামূলক উদাহরণ প্রদান: নির্দিষ্ট উদাহরণের মাধ্যমে তত্ত্বের ব্যবহারিক প্রয়োগ ব্যাখ্যা করা হয়েছে
ইনপুট: ধনাত্মক পূর্ণসংখ্যা আউটপুট: নির্ধারণ করুন যে কোনো মৌলিক সংখ্যা এর স্টর্মার সংখ্যা কিনা, যদি হয়, সংশ্লিষ্ট মৌলিক সংখ্যা খুঁজে পান সীমাবদ্ধতা: অবশ্যই আকারের মৌলিক সংখ্যা হতে হবে, এবং ,
ধরুন একটি মৌলিক সংখ্যা, ধনাত্মক পূর্ণসংখ্যা সন্তুষ্ট করে:
তখন কে এর স্টর্মার সংখ্যা বলা হয়, দ্বারা চিহ্নিত করা হয়।
উপপাদ্য २.१ (একক-মূল্যতা): স্টর্মার ফাংশন একটি একক-মূল্যতা ফাংশন।
প্রমাণের রূপরেখা: ধরুন কিন্তু , সাধারণত ধরুন। যেহেতু , আমরা পাই , অর্থাৎ:
অন্যদিকে, যেহেতু এবং , আমরা অনুমান করতে পারি:
এটি একটি বিরোধ তৈরি করে, তাই ।
উপপাদ্য २.२ (মৌলিক সংখ্যার বৈশিষ্ট্য): যদি , তাহলে প্রতিটি ।
উপপাদ্য २.३ (প্রয়োজনীয় এবং পর্যাপ্ত শর্ত): ধরুন এর মৌলিক সংখ্যা বিয়োজন , যেখানে । তখন একটি মৌলিক সংখ্যা বিদ্যমান যেমন এর স্টর্মার সংখ্যা যদি এবং শুধুমাত্র যদি । যদি শর্ত সন্তুষ্ট হয়, তাহলে এবং ।
१. একীভূত সিদ্ধান্ত কাঠামো: স্টর্মার সংখ্যার সিদ্ধান্ত সমস্যাকে এর মৌলিক সংখ্যা বিয়োজনের বিশ্লেষণে রূপান্তরিত করা হয়েছে २. গঠনমূলক প্রমাণ: শুধুমাত্র সিদ্ধান্ত শর্ত প্রদান করা হয় না, বরং সংশ্লিষ্ট মৌলিক সংখ্যা খুঁজে পাওয়ার নির্দিষ্ট পদ্ধতি প্রদান করা হয়েছে ३. সংখ্যা তত্ত্ব এবং বিশ্লেষণ সংযোগ: স্টর্মার সংখ্যা, গ্রেগরি সিরিজ এবং এর আনুমানিকতার মধ্যে গভীর সংযোগ প্রতিষ্ঠা করা হয়েছে
পেপারটি দুটি গুরুত্বপূর্ণ ডেটা টেবিল প্রদান করে:
টেবিল १: মৌলিক সংখ্যা এবং সংশ্লিষ্ট স্টর্মার সংখ্যার ক্রমযুক্ত জোড়া
(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...
টেবিল २: ক্রমবর্ধমান ক্রমে সাজানো প্রথম কয়েকটি স্টর্মার সংখ্যা
1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...
পেপারটি নির্দিষ্ট উদাহরণের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করে:
উদাহরণ १:
উদাহরণ २:
পেপারটি স্টর্মার সংখ্যার প্রাকৃতিক ঘনত্বের সংখ্যাগত প্রমাণ প্রদান করে:
| প্রথম n ধনাত্মক পূর্ণসংখ্যা | স্টর্মার সংখ্যার সংখ্যা | অনুপাত |
|---|---|---|
| 100 | 86 | 86% |
| 1,000 | 719 | 71.9% |
| 10,000 | 7,101 | 71.01% |
| 100,000 | 70,780 | 70.78% |
| 1,000,000 | 704,536 | 70.45% |
এই ডেটা এভারেস্ট-হারম্যান অনুমান সমর্থন করে:
পেপারটি সম্ভাব্যতা তত্ত্বের উপর ভিত্তি করে একটি অনুপ্রেরণামূলক প্রমাণ প্রদান করে:
এর জন্য, যদি , তাহলে । ধরুন প্রতিটি পূর্ণসংখ্যা স্টর্মার সংখ্যা হওয়ার "সম্ভাবনা" , তাহলে স্টর্মার সংখ্যা হওয়ার সম্ভাবনা প্রায়:
মার্টেন অনুমান ব্যবহার করে চূড়ান্ত ফলাফল পাওয়া যায়।
স্টর্মার স্টর্মার সংখ্যা এবং গ্রেগরি সংখ্যা এর মধ্যে সংযোগ প্রতিষ্ঠা করেছেন:
উপপাদ্য ५.१ (স্টর্মার উপপাদ্য): যদি একটি স্টর্মার সংখ্যা না হয়, তাহলে অনন্যভাবে এর সীমিত রৈখিক সমন্বয় হিসাবে প্রকাশ করা যায়, যেখানে প্রতিটি একটি স্টর্মার সংখ্যা এবং ।
१. ম্যাচিন সূত্র (१७०६): २. ইউলার সূত্র: ३. স্টর্মার সূত্র (१८९६):
স্টর্মারের १८९६ সালের অভিজ্ঞতা কানাডা দল দ্বারা २००२ সালে १.२४ ট্রিলিয়ন অঙ্কের π গণনা করতে ব্যবহৃত হয়েছিল, যা ধ্রুপদী গণিত তত্ত্বের দীর্ঘস্থায়ী মূল্য প্রদর্শন করে।
१. ফার্মার দুই বর্গের উপপাদ্য: গিরার্ড (१६३२) থেকে ফার্মাট (१६४०) থেকে ইউলার (१७४९) এর উন্নয়ন প্রক্রিয়া २. স্মিথ পদ্ধতি (१८५५): ইউক্লিডীয় অ্যালগরিদম এবং অবিরত ভগ্নাংশ তত্ত্ব ব্যবহার করে মার্জিত অস্তিত্ব প্রমাণ ३. হার্মিট-সেরেট অ্যালগরিদম (१८४८): পরিচিত স্টর্মার সংখ্যার উপর ভিত্তি করে বর্গ যোগফল বিয়োজন নির্মাণের অ্যালগরিদম
१. কনওয়ে-গাই সংজ্ঞা: স্টর্মার সংখ্যার সামান্য ভিন্ন সংজ্ঞা, n=१ এর ক্ষেত্র অন্তর্ভুক্ত করে २. লেহমার কাজ: arccot ফাংশনের অভিজ্ঞতা গবেষণা ३. টড উপপাদ্য: arctan ফাংশনের অপরিবর্তনীয়তার বৈশিষ্ট্য সম্পর্কে
१. সম্পূর্ণ বৈশিষ্ট্য: স্টর্মার সংখ্যার প্রয়োজনীয় এবং পর্যাপ্ত সিদ্ধান্ত শর্ত প্রতিষ্ঠা করা হয়েছে, একটি দীর্ঘস্থায়ী সমস্যা সমাধান করা হয়েছে २. তাত্ত্বিক একীকরণ: স্টর্মার সংখ্যা, ফার্মার দুই বর্গের উপপাদ্য, গ্রেগরি সিরিজ এবং π এর আনুমানিকতা একটি তাত্ত্বিক কাঠামোতে একীভূত করা হয়েছে ३. ঐতিহাসিক মূল্য: কার্ল স্টর্মারের গণিত অবদান এবং এর আধুনিক তাৎপর্য সিস্টেমেটিকভাবে পর্যালোচনা করা হয়েছে
१. ঘনত্ব প্রমাণ: প্রাকৃতিক ঘনত্বের প্রমাণ এখনও অনুপ্রেরণামূলক, কঠোর গণিত প্রমাণের অভাব রয়েছে २. গণনামূলক জটিলতা: বড় এর জন্য, এটি একটি স্টর্মার সংখ্যা কিনা তা নির্ধারণ করতে বিয়োজন প্রয়োজন, যা গণনামূলকভাবে কঠিন হতে পারে ३. প্রয়োগের পরিসীমা: প্রধানত তাত্ত্বিক গণিতের মধ্যে সীমাবদ্ধ, ব্যবহারিক প্রয়োগ তুলনামূলকভাবে সীমিত
१. কঠোর ঘনত্ব প্রমাণ: এভারেস্ট-হারম্যান অনুমানের কঠোর গণিত প্রমাণ খোঁজা २. অ্যালগরিদম অপ্টিমাইজেশন: আরও দক্ষ স্টর্মার সংখ্যা সিদ্ধান্ত এবং গণনা অ্যালগরিদম উন্নয়ন ३. সাধারণীকরণ গবেষণা: অন্যান্য গণিত শাখায় অনুরূপ কাঠামোর প্রয়োগ অন্বেষণ
१. তাত্ত্বিক সম্পূর্ণতা: স্টর্মার সংখ্যার সম্পূর্ণ গণিত বৈশিষ্ট্য প্রদান করা হয়েছে, তাত্ত্বিক শূন্যতা পূরণ করা হয়েছে २. ঐতিহাসিক মূল্য: কার্ল স্টর্মারের জীবন এবং অবদান সিস্টেমেটিকভাবে উপস্থাপন করা হয়েছে, গুরুত্বপূর্ণ গণিত ইতিহাসের তাৎপর্য রাখে ३. শক্তিশালী সংযোগ: সংখ্যা তত্ত্ব, বিশ্লেষণ এবং π গণনা ইত্যাদি একাধিক গণিত শাখা দক্ষতার সাথে সংযুক্ত করা হয়েছে ४. সমৃদ্ধ উদাহরণ: বিস্তৃত নির্দিষ্ট উদাহরণের মাধ্যমে তত্ত্বের প্রয়োগ ব্যাখ্যা করা হয়েছে, পাঠযোগ্যতা বৃদ্ধি করা হয়েছে ५. স্পষ্ট লেখা: পেপারের কাঠামো স্পষ্ট, মৌলিক সংজ্ঞা থেকে গভীর প্রয়োগ পর্যন্ত স্তরে স্তরে অগ্রসর হয়েছে
१. গণনামূলক দক্ষতা: ব্যবহারিক প্রয়োগের জন্য, মৌলিক সংখ্যা বিয়োজনের গণনামূলক জটিলতা একটি বাধা হতে পারে २. ঘনত্ব প্রমাণ: প্রাকৃতিক ঘনত্বের প্রমাণ গণিত কঠোরতার অভাব রয়েছে, শুধুমাত্র অনুপ্রেরণামূলক যুক্তি ३. প্রয়োগ সীমাবদ্ধতা: যদিও তত্ত্ব সম্পূর্ণ, আধুনিক ব্যবহারিক মূল্য তুলনামূলকভাবে সীমিত ४. উদ্ভাবনের মাত্রা: প্রধানত বিদ্যমান তত্ত্বের সিস্টেমেটিক সংগঠন, মূল অবদান তুলনামূলকভাবে কম
१. তাত্ত্বিক অবদান: সংখ্যা তত্ত্ব গবেষণার জন্য নতুন সরঞ্জাম এবং দৃষ্টিভঙ্গি প্রদান করা হয়েছে २. শিক্ষামূলক মূল্য: সংখ্যা তত্ত্ব এবং গণিত ইতিহাসের শিক্ষা উপকরণ হিসাবে উপযুক্ত ३. অনুপ্রেরণামূলক তাৎপর্য: সম্পর্কিত গণিত কাঠামোর আরও গবেষণা অনুপ্রাণিত করতে পারে ४. পুনরুৎপাদনযোগ্যতা: তাত্ত্বিক ফলাফল স্পষ্ট, গণনামূলক উদাহরণ সহজে যাচাইযোগ্য
१. সংখ্যা তত্ত্ব গবেষণা: দ্বিঘাত সর্বসমতা এবং মৌলিক সংখ্যা বৈশিষ্ট্য গবেষণার জন্য নতুন পদ্ধতি প্রদান করা হয়েছে २. গণিত শিক্ষা: বিভিন্ন গণিত শাখা সংযুক্ত করার চমৎকার শিক্ষা কেস হিসাবে উপযুক্ত ३. গণিত ইতিহাস গবেষণা: १९-२० শতাব্দীর গণিত উন্নয়ন বোঝার জন্য গুরুত্বপূর্ণ উপকরণ প্রদান করা হয়েছে ४. অ্যালগরিদম ডিজাইন: সম্পর্কিত গণনামূলক সমস্যার জন্য তাত্ত্বিক ভিত্তি প্রদান করা হয়েছে
পেপারটি २१টি গুরুত্বপূর্ণ তথ্যসূত্র উদ্ধৃত করে, যা ধ্রুপদী সংখ্যা তত্ত্ব পাঠ্যপুস্তক থেকে আধুনিক গণনামূলক গণিত পর্যন্ত বিস্তৃত পরিসীমা কভার করে, গবেষণার গভীরতা এবং প্রস্থ প্রতিফলিত করে। মূল তথ্যসূত্রগুলির মধ্যে রয়েছে অ্যান্ড্রুজের "সংখ্যা তত্ত্ব", কনওয়ে এবং গাইয়ের "সংখ্যার বই" এবং স্টর্মারের মূল পেপার ইত্যাদি।