حدس اردوش-استراوس
در نظریه اعداد، حدس اردوش-استراوس بیان میکند که به ازای هر عدد صحیح n ≥ ۲، عدد گویای 4/n را میتوان به صورت مجموع سه کسر واحد مثبت بیان کرد. پاول اردوش و ارنست جی استراوس این حدس را در سال ۱۹۴۸ تنظیم کردند.[1] این یکی از حدسهای پال اردوش است.
مسئلهٔ حل نشدهٔ ریاضی: (مسائل حل نشدهٔ دیگر در ریاضی) |
اگر n عددی مرکب باشد، n = pq، آنگاه میتوان پاسخ معادله برای 4/n را از روی پاسخ 4/p یا 4/q پیدا کرد؛ بنابراین، اگر مثال نقضی برای حدس اردوش-استراوس وجود داشته باشد، کوچکترین n مثال نقض باید عددی اول باشد، و با نتیجهگیری بیشتر میتوان آن را به یکی از شش مدول تصاعد حسابی نامتناهی عدد 840 محدود کرد.[2] تحقیقهای رایانه ای نشان میدهد حدس بر روی اعداد تا n ≤ 1017 صادق است [3]، اما اثبات آن برای همهٔ nها همچنان یک مسئلهٔ حل نشدهاست.
مثبت بودن سه کسر واحد برای دشواری مسئله ضروری است، زیرا اگر مقادیر منفی مجاز بودند، مسئله برای همه حالتها حل میشد.
حدس
بهطور صوری تر، حدس بیان میکند که به ازای هر عدد صحیحn ≥ ۲، اعداد صحیح مثبت x، y و z وجود دارد به طوری که:
به عنوان مثال، به ازای n = ۵، دو پاسخ وجود دارد:
بعضی از محققان شرط متمایز بودن این اعداد صحیح را نیز لازم میدانند، در حالی که برخی دیگر اجازه میدهند برابر باشند. برای n ≥ ۳، مهم نیست اعداد با هم متفاوت باشند: اگر یک راه حل برای هر سه عدد صحیح y , x و z وجود داشته باشد، یک راه حل برای اعداد صحیح مجزا نیز وجود دارد.[4] برای n = ۲، تنها راه حل ۴/۲ = ۱/۲ + ۱/۲ + ۱/۱، است با در نظر گرفتن جایگشت جمعشوندهها. وقتی y , x و z سه عدد متفاوت باشند، این کسرهای واحد کسر مصری عدد ۴/n را نمایش میدهند.
منابع
- See, e.g. , Elsholtz (2001). Note however that the earliest published reference to it appears to be Erdős (1950).
- Mordell (1967).
- Salez (2014).
- Eppstein (1995), conflict resolution section.
مشارکتکنندگان ویکیپدیا. «Erdős–Straus conjecture». در دانشنامهٔ ویکیپدیای انگلیسی.