খসড়া:এরডোস–স্ট্রাউস অনুমান

testwiki থেকে
পরিভ্রমণে চলুন অনুসন্ধানে চলুন

টেমপ্লেট:AFC submission এরডোস-স্ট্রাউস অনুমান হল সংখ্যা তত্ত্বের একটি অমীমাংসিত সমস্যা, যা প্রস্তাব করে যে প্রতিটি পূর্ণসংখ্যা n>2 এর জন্য, 4n ভগ্নাংশটিকে তিনটি একক ভগ্নাংশের যোগফল হিসাবে প্রকাশ করা সম্ভব। অর্থাৎ, 4n=1x+1y+1z যেখানে x,y,z ধনাত্মক পূর্ণসংখ্যা। এই অনুমানটি প্রস্তাব করেন গণিতবিদ পল এরডোসআর্নস্ট জি. স্ট্রাউস ১৯৪৮ সালে। এটি মিশরীয় ভগ্নাংশ বিষয়ক গবেষণার সাথে যুক্ত, যেখানে ভগ্নাংশগুলিকে স্বতন্ত্র একক ভগ্নাংশ (যেমন: 1x)-এর সমষ্টি হিসাবে লেখা হয়।

ইতিহাস

এরডোস ও স্ট্রাউস ১৯৪৮ সালে তাদের গবেষণাপত্রে এই অনুমানটি উত্থাপন করেন। তারা দেখান যে 4n-এর জন্য সম্ভাব্য সমাধান খুঁজে বের করা 5n বা উচ্চতর অংকের ভগ্নাংশের তুলনায় জটিল হতে পারে। ১৯৫০-এর দশকে লুই জে. মর্ডেলের মতো গণিতবিদরা এ সম্পর্কিত আংশিক ফলাফল প্রকাশ করেন।

উদাহরণ

  • n=5-এর জন্য, 45=12+15+110
  • n=6-এর জন্য, 46=13+16+16
  • n=7-এর ক্ষেত্রে, 47=12+115+1210
4n=1x+1y+1z সমীকরণের সমাধানসমূহ
n (x,y,z)
5 (2,4,20); (2, 5, 10)
6 (2, 8, 24); (3, 4, 12), (3,6,6)
7 (2, 21, 42); (3, 6, 14); (2,15,210)
8 (3, 6, 42); (3, 8, 24); (4,5,20); (4, 6, 12)
9 (3, 12, 36); (4, 6, 36)
10 (3, 20, 60); (5, 6, 30); (4, 10, 20)
11 (3, 44, 132); (4, 11, 44); (4, 12, 33)
12 (4, 18, 36); (4, 16, 48); (6, 8, 24)
13 (4, 26, 52)
14 (4, 42, 84); (5, 70, 140); (6, 14, 21); (7, 8, 56); (6, 12, 28)
15 (4, 90, 180); (5, 18, 90); (6, 15, 30); (7, 10, 42)
16 (5, 30, 60); (6, 12, 84); (8, 12, 24); (6, 20, 30)
17 (5, 30, 510); (6, 17, 102)
18 (6, 24, 72); (8, 12, 72)
19 (6, 38, 57)
20 (7, 20, 140)

প্রমাণিত অংশ

অধিকাংশ n-এর জন্য অনুমানটি সত্য। যেমন:

  • 42k=1k+1k+1+1k(k+1)
  • 43k=12k+12k+13k
  • 43k+2=1k+1+13k+2+1(k+1)(3k+2)
  • 44k1=1k+12k(4k1)+12k(4k1)=1k+1(k+1)(4k1)+1k(k+1)(4k1)
  • 44k+3=1k+1+1(2k+2)(4k+3)+1(2k+2)(4k+3)
  • 43ak1=1ak+13ak1+1ak(3ak1)
43k1=1k+13k1+1k(3k1);a=1
46k1=12k+16k1+12k(6k1);a=2
  • 48k3=13k1+12(3k1)+12(3k1)(8k3)
  • 48k+2=14k+1+14k+2+1(4k+1)(4k+2)
  • 48k+3=12k+2+1(2k+1)(2k+2)+1(2k+1)(8k+3)
  • 48k+4=12k+3+1(2k+2)(2k+3)+1(2k+1)(2k+2)
  • 48k+5=12k+2+1(2k+2)(8k+5)+1(k+1)(8k+5)
  • 48k+6=14k+3+14k+4+1(4k+3)(4k+4)
  • 48k+7=12k+3+1(2k+2)(2k+3)+1(2k+2)(8k+7)
  • 48k+8=12k+4+1(2k+2)(2k+3)+1(2k+3)(2k+4)
  • 4(8a1)k+4a1=1a(2k+1)+12a{(8a1)k+4a1}+12a(2k+1){(8a1)k+4a1}
  • 44k2k1=1k2+1k(4k2k1)+1k2(4k2k1)
  • 412k3=13k+1(k+1)(12k3)+13k(k+1)(4k1)
  • 412k7=13k1+1k(12k7)+1k(3k1)(12k7)
  • 424k11=16k2+12k(24k11)+1k(6k2)(24k11)
  • 460k35=124k14+160k35+12(60k35)

অপ্রমাণিত অংশ

মর্ডেল দেখিয়েছেন যে, কেবল মাত্র n1,112,132,172,192,232(mod840) অর্থাৎ সহজ ভাষায়:840k+1,840k+112,840k+132,840k+172,840k+192,840k+232 আকৃতির মৌলিক সংখ্যাসমূহের জন্য অপ্রমানিত রয়েছে।

গণনা যাচাই

গাণিতিক অ্যালগরিদম ব্যবহার করে n-এর বিশাল মানের জন্য অনুমানটি পরীক্ষা করা হয়েছে:

  • ১৯৯৯ সালে n108 এর জন্য অনুমানটির সত্যতা যাচাই সম্পন্ন হয়।
  • ২০১৪ সাল নাগাদ n1017 এর জন্য কোনো প্রতিউদাহরণ (counterexample) পাওয়া যায়নি।

তথ্যসূত্র

1. Erdős, P., & Straus, E. G. (1948). "On the Representation of Fractions." *Journal of Number Theory*. 2. Mordell, L. J. (1967). *Diophantine Equations*. Academic Press. 3. Swett, A. (1999). "The Erdős–Straus Conjecture: Computational Verification." *Mathematics of Computation*.