ম্যাচিনের ধরনের সূত্রের উপর তিনটি প্রবন্ধ

মৌলিক তথ্য

• প্রবন্ধ আইডি: 2302.00154
• শিরোনাম: Three essays on Machin's type formulas
• লেখক: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
• প্রকাশিত জার্নাল: Indagationes Mathematicae (প্রকাশনাধীন)
• প্রবন্ধ লিঙ্ক: https://arxiv.org/abs/2302.00154

সারসংক্ষেপ

এই প্রবন্ধটি ম্যাচিনের ধরনের সূত্রের সাথে সম্পর্কিত তিনটি সমস্যা অধ্যয়ন করে। প্রথমত, সমস্ত দ্বি-পদীয় ম্যাচিন সূত্র প্রদান করা হয়েছে, যেখানে বিপরীত স্পর্শক ফাংশনগুলি 2-পূর্ণসংখ্যা (যেমন $b/2^a$ আকারের মান) এ মূল্যায়ন করা হয়। এই সূত্রগুলি গণনামূলকভাবে অত্যন্ত উপকারী কারণ 2 এর শক্তি দ্বারা গুণ বা ভাগ করা বেশিরভাগ কম্পিউটারের জন্য অত্যন্ত দ্রুত অপারেশন। দ্বিতীয়ত, $N$-পদীয় অসীম সংখ্যক সূত্র খুঁজে পাওয়ার একটি পদ্ধতি প্রস্তাব করা হয়েছে, বিশেষ করে $N=2$ এর ক্ষেত্রে অত্যন্ত উপকারী, যা বেশিরভাগ পরিচিত সূত্র পুনরুদ্ধার করতে পারে, কিছু নতুন সূত্র প্রদান করে এবং লেহমার পরিমাপ যেকোনো ছোট দ্বি-পদীয় ম্যাচিন সূত্রের অস্তিত্ব সহজভাবে প্রমাণ করতে পারে। অবশেষে, পূর্ববর্তী ফলাফলে একটি ত্রুটি সংশোধন করা হয়েছে এবং স্বর্ণ অনুপাতের শক্তি জড়িত বিপরীত স্পর্শকের সমস্ত দ্বি-পদীয় ম্যাচিন-ধরনের সূত্র প্রদান করা হয়েছে।

গবেষণা পটভূমি এবং প্রেরণা

ঐতিহাসিক পটভূমি

ম্যাচিন সূত্রের উৎপত্তি 1706 সালে জন ম্যাচিন দ্বারা আবিষ্কৃত অভেদ থেকে: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

1671 সালে গ্রেগরি দ্বারা আবিষ্কৃত বিপরীত স্পর্শক শ্রেণী সম্প্রসারণের সাথে মিলিত: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

ম্যাচিন এই সূত্রটি ব্যবহার করে π এর 100 দশমিক স্থান গণনা করেছিলেন।

গবেষণা প্রেরণা

1. গণনামূলক দক্ষতা সমস্যা: π গণনার জন্য আরও দক্ষ ম্যাচিন-ধরনের সূত্র খুঁজে পাওয়া, বিশেষত 2 এর শক্তি জড়িত ফর্ম, কারণ কম্পিউটার 2 এর শক্তি অপারেশনে অত্যন্ত দক্ষ
2. তাত্ত্বিক সম্পূর্ণতা: বিভিন্ন ম্যাচিন-ধরনের সূত্র পদ্ধতিগতভাবে শ্রেণীবদ্ধ এবং নির্মাণ করা
3. লেহমার পরিমাপ ন্যূনতমকরণ: গণনামূলক দক্ষতা উন্নত করতে লেহমার পরিমাপ যেকোনো ছোট সূত্র খুঁজে পাওয়া
4. ঐতিহাসিক বাদ সংশোধন: স্বর্ণ অনুপাত জড়িত ম্যাচিন সূত্র শ্রেণীবিভাগ উন্নত করা

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

• পরিচিত ম্যাচিন-ধরনের সূত্রের সংখ্যা সীমিত
• পদ্ধতিগত নির্মাণ পদ্ধতির অভাব
• বিশেষ ফর্ম (যেমন 2 এর শক্তি জড়িত) সূত্রের গবেষণা অপর্যাপ্ত
• স্বর্ণ অনুপাত সম্পর্কিত পূর্ববর্তী গবেষণায় ত্রুটি রয়েছে

মূল অবদান

1. 2-পূর্ণসংখ্যা জড়িত দ্বি-পদীয় ম্যাচিন সূত্রের সম্পূর্ণ শ্রেণীবিভাগ: 10টি বিচ্ছিন্ন সমাধান এবং 2টি প্যারামিটার পরিবার প্রদান করা হয়েছে
2. "ম্যাচিন সূত্র মেশিন" পদ্ধতি প্রস্তাব করা: $N$-পদীয় ম্যাচিন-ধরনের সূত্র পদ্ধতিগতভাবে উৎপন্ন করতে পারে
3. লেহমার পরিমাপ যেকোনো ছোট দ্বি-পদীয় ম্যাচিন সূত্রের অস্তিত্ব প্রমাণ করা: গঠনমূলক প্রমাণ প্রদান করা হয়েছে
4. স্বর্ণ অনুপাত শক্তির ম্যাচিন সূত্র শ্রেণীবিভাগ সংশোধন এবং উন্নত করা: 16টি সারমর্মগতভাবে ভিন্ন অভেদ আবিষ্কৃত হয়েছে

পদ্ধতি বিস্তারিত

প্রথম সমস্যা: 2-পূর্ণসংখ্যা ম্যাচিন সূত্র

কাজের সংজ্ঞা

নিম্নলিখিত ফর্মের সমস্ত সমাধান খুঁজে পাওয়া: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ যেখানে $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ এবং $z_k = 2^{a_k}/b_k$ অথবা $b_k/2^{a_k}$।

মূল প্রযুক্তি

জটিল সংখ্যা প্রতিনিধিত্ব ব্যবহার করে, সমস্যাটি রূপান্তরিত করা হয়: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

গাউসীয় পূর্ণসংখ্যার ফ্যাক্টরাইজেশন বিশ্লেষণের মাধ্যমে, পরিচিত ডায়োফ্যান্টাইন সমীকরণ সমাধানের সাথে মিলিত:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

দ্বিতীয় সমস্যা: ম্যাচিন সূত্র মেশিন

মূল ধারণা

যুক্তিসঙ্গত ফাংশন $R_j(n,x)$ ($j = 0,1,2,3$) সংজ্ঞায়িত করা, যেমন: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

ফাংশন সংজ্ঞা

ডি মোইভ্রে সূত্রের উপর ভিত্তি করে, সংজ্ঞায়িত করা: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

নির্দিষ্ট অভিব্যক্তি:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

প্রধান উপপাদ্য

$\sum_{k=1}^N r_k = 0$ সন্তুষ্ট করে এমন পূর্ণসংখ্যা $r_k$ এর জন্য: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

তৃতীয় সমস্যা: স্বর্ণ অনুপাত সূত্র

সমস্যা বর্ণনা

নিম্নলিখিত ফর্মের সমস্ত সূত্র শ্রেণীবদ্ধ করা: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ যেখানে $\phi = \frac{1+\sqrt{5}}{2}$ স্বর্ণ অনুপাত।

প্রযুক্তিগত পদ্ধতি

$K = \mathbb{Q}(i,\sqrt{5})$ এ উপাদানগুলির নর্ম এবং প্রধান ফ্যাক্টরাইজেশন বিশ্লেষণের মাধ্যমে, ফিবোনাচি এবং লুকাস সংখ্যার অপরিহার্য প্রধান ফ্যাক্টর উপপাদ্য ব্যবহার করা।

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উপপাদ্য 1: 2-পূর্ণসংখ্যা ম্যাচিন সূত্র

10টি বিচ্ছিন্ন সমাধান এবং 2টি প্যারামিটার পরিবার আবিষ্কৃত হয়েছে:

বিচ্ছিন্ন সমাধানের উদাহরণ:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (ক্লাসিক্যাল ম্যাচিন সূত্র)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

প্যারামিটার পরিবার:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

উপপাদ্য 3: ছোট লেহমার পরিমাপ সূত্র

যেকোনো $\varepsilon > 0$ এর জন্য, ম্যাচিন সূত্রের অস্তিত্ব প্রমাণ করা হয়েছে: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ যার লেহমার পরিমাপ $\varepsilon$ এর চেয়ে ছোট।

গঠনমূলক প্রমাণ π এর অবিরত ভগ্নাংশ অভিসারীর উপর ভিত্তি করে, নির্দিষ্ট ফলাফল সারণী 1 এবং সারণী 2 এ দেখা যায়।

নির্দিষ্ট সংখ্যাগত উদাহরণ

সারণী 1 π এর অবিরত ভগ্নাংশ অভিসারীর উপর ভিত্তি করে সূত্র প্রদর্শন করে, লেহমার পরিমাপ 0.901429 থেকে 0.172125 এ হ্রাস পায়।

সারণী 2 $2^m$ এর উপর ভিত্তি করে সূত্র প্রদর্শন করে, ন্যূনতম লেহমার পরিমাপ 0.199544 এ পৌঁছায়।

স্বর্ণ অনুপাত সূত্র

16টি সারমর্মগতভাবে ভিন্ন অভেদ আবিষ্কৃত হয়েছে, যার মধ্যে রয়েছে:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

• স্টর্মার (1895): $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ ফর্মের সূত্র শুধুমাত্র 4টি প্রমাণ করেছেন
• লেহমার (1938): গণনামূলক দক্ষতার পরিমাপ হিসাবে লেহমার পরিমাপ প্রস্তাব করেছেন
• আধুনিক উন্নয়ন: চুডনোভস্কি অ্যালগরিদম ইত্যাদি আরও দ্রুত π গণনা পদ্ধতি

সম্পর্কিত গবেষণা

এই প্রবন্ধের "ম্যাচিন সূত্র মেশিন" 4 এ ফলাফল প্রসারিত করে, যা রেডেই বহুপদীর পুনরাবৃত্তিমূলক সম্পর্ক ব্যবহার করে $R_3(n,x)$ ফাংশনের বিশেষ ক্ষেত্র অর্জন করেছে।

উপসংহার এবং আলোচনা

প্রধান উপসংহার

1. 2-পূর্ণসংখ্যা জড়িত দ্বি-পদীয় ম্যাচিন সূত্র শ্রেণীবিভাগ সমস্যা সম্পূর্ণভাবে সমাধান করা হয়েছে
2. ম্যাচিন সূত্র নির্মাণের জন্য একটি পদ্ধতিগত সর্বজনীন পদ্ধতি প্রদান করা হয়েছে
3. লেহমার পরিমাপ যেকোনো ছোট সূত্র নির্মাণ করা যায় প্রমাণ করা হয়েছে
4. স্বর্ণ অনুপাত সম্পর্কিত সূত্র শ্রেণীবিভাগ সংশোধন এবং উন্নত করা হয়েছে

সীমাবদ্ধতা

1. $N > 2$ এর ক্ষেত্রে, এই পদ্ধতি সমস্ত পরিচিত সূত্র অন্তর্ভুক্ত করতে পারে না
2. যদিও ছোট লেহমার পরিমাপের সূত্র নির্মাণ করা যায়, ভগ্নাংশের অংক এবং হর অত্যন্ত বড়, প্রকৃত গণনামূলক দক্ষতা ভারসাম্য প্রয়োজন
3. আধুনিক π গণনায় আরও দক্ষ অ্যালগরিদম রয়েছে (যেমন চুডনোভস্কি অ্যালগরিদম), ম্যাচিন-ধরনের সূত্রের ব্যবহারিক মূল্য সীমিত

ভবিষ্যত দিকনির্দেশনা

1. আরও পদীয় ম্যাচিন সূত্রে সম্প্রসারণ
2. বিপরীত স্পর্শক প্যারামিটারের অন্যান্য বিশেষ ফর্ম গবেষণা
3. উপবৃত্তাকার ফাংশন, মডুলার ফাংশনের সাথে সংযোগ অন্বেষণ

গভীর মূল্যায়ন

সুবিধা

1. তাত্ত্বিক সম্পূর্ণতা: বেশ কয়েকটি গুরুত্বপূর্ণ শ্রেণীবিভাগ সমস্যা পদ্ধতিগতভাবে সমাধান করা হয়েছে
2. পদ্ধতি উদ্ভাবন: প্রস্তাবিত "ম্যাচিন সূত্র মেশিন" সাধারণ এবং ব্যবহারিক
3. গঠনমূলক প্রমাণ: শুধুমাত্র অস্তিত্ব প্রমাণ করা হয়নি, বরং নির্দিষ্ট নির্মাণ পদ্ধতি প্রদান করা হয়েছে
4. ঐতিহাসিক সংশোধন: পূর্ববর্তী গবেষণার ত্রুটি গুরুত্বের সাথে সংশোধন করা হয়েছে

প্রযুক্তিগত হাইলাইট

1. চতুর জটিল সংখ্যাকরণ: বাস্তব সংখ্যা সমস্যা জটিল সংখ্যা ডোমেইনের বীজগণিত সমস্যায় রূপান্তরিত করা
2. ডায়োফ্যান্টাইন সমীকরণের প্রয়োগ: পরিচিত ডায়োফ্যান্টাইন সমীকরণ সমাধান কার্যকরভাবে ব্যবহার করা
3. অবিরত ভগ্নাংশ তত্ত্বের প্রয়োগ: π এর অবিরত ভগ্নাংশ বৈশিষ্ট্য ব্যবহার করে ছোট লেহমার পরিমাপ সূত্র নির্মাণ করা

অপূর্ণতা

1. সীমিত ব্যবহারিক মূল্য: আধুনিক উচ্চ নির্ভুলতা π গণনায়, এই সূত্রগুলির সুবিধা স্পষ্ট নয়
2. জটিলতা সমস্যা: নির্মিত ছোট লেহমার পরিমাপ সূত্র অত্যন্ত বড় পূর্ণসংখ্যা জড়িত
3. সাধারণীকরণ: পদ্ধতি আরও সাধারণ ক্ষেত্রে প্রযোজ্যতায় সীমাবদ্ধতা রয়েছে

প্রভাব

1. তাত্ত্বিক অবদান: ম্যাচিন-ধরনের সূত্র তত্ত্বের জন্য একটি পদ্ধতিগত কাঠামো প্রদান করা হয়েছে
2. গণনামূলক গণিত: বিশেষ ফাংশন অভেদ গবেষণার জন্য নতুন সরঞ্জাম প্রদান করা হয়েছে
3. সংখ্যা তত্ত্ব প্রয়োগ: বীজগণিত সংখ্যা তত্ত্ব পদ্ধতির নির্দিষ্ট সমস্যায় শক্তি প্রদর্শন করা হয়েছে

সংদর্ভ

প্রবন্ধটি 24টি গুরুত্বপূর্ণ সংদর্ভ উদ্ধৃত করে, যা ম্যাচিন (1706), গ্রেগরি (1671) এর ক্লাসিক্যাল কাজ থেকে আধুনিক সম্পর্কিত গবেষণা পর্যন্ত বিস্তৃত, বিশেষত স্টর্মার, লেহমার এবং অন্যান্য ব্যক্তিদের এই ক্ষেত্রে ভিত্তিস্থাপনকারী কাজ।