حدس اردوش-استراوس

در نظریه اعداد، حدس اردوش-استراوس بیان می‌کند که به ازای هر عدد صحیح $n \geq ۲$ ، عدد گویای $4/ n$ را می‌توان به صورت مجموع سه کسر واحد مثبت بیان کرد. پاول اردوش و ارنست جی استراوس این حدس را در سال ۱۹۴۸ تنظیم کردند.[1] این یکی از حدس‌های پال اردوش است.

مسئلهٔ حل نشدهٔ ریاضی:

آیا به ازای هر عدد صحیح

n \geq ۲

معادلهٔ

4/ n = 1/ x + 1/ y + 1/ z

پاسخ صحیح مثبتی دارد؟

(مسائل حل نشدهٔ دیگر در ریاضی)

اگر $n$ عددی مرکب باشد، $n = pq$ ، آنگاه می‌توان پاسخ معادله برای $4/ n$ را از روی پاسخ $4/ p$ یا $4/ q$ پیدا کرد؛ بنابراین، اگر مثال نقضی برای حدس اردوش-استراوس وجود داشته باشد، کوچکترین $n$ مثال نقض باید عددی اول باشد، و با نتیجه‌گیری بیشتر می‌توان آن را به یکی از شش مدول تصاعد حسابی نامتناهی عدد $840$ محدود کرد.[2] تحقیق‌های رایانه ای نشان می‌دهد حدس بر روی اعداد تا $n \leq 1017$ صادق است [3]، اما اثبات آن برای همهٔ $n$ ها همچنان یک مسئلهٔ حل نشده‌است.

مثبت بودن سه کسر واحد برای دشواری مسئله ضروری است، زیرا اگر مقادیر منفی مجاز بودند، مسئله برای همه حالت‌ها حل می‌شد.

حدس

به‌طور صوری تر، حدس بیان می‌کند که به ازای هر عدد صحیح $n \geq ۲$ ، اعداد صحیح مثبت $x$ ، $y$ و $z$ وجود دارد به طوری که:

{\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}.

به عنوان مثال، به ازای $n = ۵$ ، دو پاسخ وجود دارد:

{\frac {4}{5}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{20}}={\frac {1}{2}}+{\frac {1}{5}}+{\frac {1}{10}}.

بعضی از محققان شرط متمایز بودن این اعداد صحیح را نیز لازم می‌دانند، در حالی که برخی دیگر اجازه می‌دهند برابر باشند. برای $n \geq ۳$ ، مهم نیست اعداد با هم متفاوت باشند: اگر یک راه حل برای هر سه عدد صحیح $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». در دانشنامهٔ ویکی‌پدیای انگلیسی.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] See, e.g. , Elsholtz (2001). Note however that the earliest published reference to it appears to be Erdős (1950).

[2] Mordell (1967).

[FOOTNOTESalez2014-3] Salez (2014).

[4] Eppstein (1995), conflict resolution section.