معادله سیاله

در ریاضیات، معادله سیاله یا معادلهٔ دیوفانتین معادله‌ای چندجمله‌ای با متغیرهای صحیح است که در آن معمولاً بیش از یک متغیر (مجهول) داشته باشیم. به یک معادله سیاله خطی می‌گوییم اگر برابر با جمع دو یا چند تک‌جمله‌ای درجه یک باشد، به‌طور مشابه به یک معادله سیاله، نمایی می‌گوییم اگر متغیرها در توان‌ها ظاهر شوند.

معمولاً دستگاه معادلات سیاله دستگاهی از معادلات چند مجهولی است که در آن تعداد مجهول‌ها از تعداد معادله‌ها بیشتر باشد و هدف یافتن اعداد صحیحی است که به‌طور همزمان همه معادلات را حل کنند. از آنجایی که چنین دستگاه معادلاتی را توسط منحنی‌های جبری، رویه‌ها جبری یا به‌طور کلی مجموعه‌های جبری را تعریف می‌کنند، مطالعه آنها بخشی از هندسه جبری است که هندسه دیوفانتینی نامیده می‌شود.

کلمه دیوفانتین به ریاضیدان قرن سوم، دیوفانت، اشاره دارد که چنین معادلاتی را مطالعه کرد و یکی از اولین ریاضیدانانی بود که نمادگرایی را وارد جبر کرد. مطالعه ریاضی مسائل دیوفانتین که دیوفانتوس آغاز کرد، اکنون آنالیز دیوفانتین نامیده می‌شود.

در حالی که معادلات خاص نوعی معما بوده‌اند و در طول تاریخ مورد توجه قرار گرفته‌اند، تدوین نظریه‌های کلی معادلات دیوفانتین (فراتر از معادلات خطی و درجه دوم) دستاورد قرن بیستم بود.

چند مثال 
به‌طور مثال معادلهٔ  را می‌توان به صورت  نوشت. به ازای هر  یک مقدار برای  به دست می‌آید، این جواب‌ها را می‌توان با زوج  نشان داد. گر چه همین معادله، در مجموعه اعداد صحیح بی‌شمار پاسخ دارد، اما اگر همین معادله را در اعداد طبیعی حل کنیم، معادله جواب کاملاً محدود و مشخصی خواهد داشت که در این‌جا تنها پاسخ معادلهٔ  در اعداد طبیعی (۱و۱) است.

در معادلات سیاله زیر، w, x، y و z مجهول هستند و حروف دیگر ثابت‌ها را نشان می‌دهند:

معادله‌های سیاله خطی

یک معادله 
ساده‌ترین معادله سیاله خطی به شکل  است که در آن a, b و c اعداد صحیح داده می‌شوند. راه حل‌ها با قضیه زیر توصیف می‌شوند:فرض کنیم a, b و c اعداد صحیح مثبت باشند و بزرگترین مقسوم علیه مشترک a و b برابر با d باشد. معادله  در مجموعه اعداد صحیح راه‌حل دارد اگر و فقط اگر . به علاوه اگر  و  یک جواب برای معادله باشد، آنگاه کلیه جواب‌های معادله عبارتند از:که در آن k عددی صحیح است.اثبات: فرض کنید  یک جواب برای معادله باشد، در این صورت از d|a و d|b نتیجه می‌شود که ؛ لذا d|c یک شرط لازم برای وجود جواب خواهد بود، نشان می‌دهیم این شرط کافی نیز هست؛ بنابراین فرض کنید که d|c آنگاه وجود دارد m که c=dm پس بنابه قضیه بزو اعداد صحیح  و  پیدا می‌شوند که  و لذا  و این یعنی  جوابی برای معادله است.

برای اثبات قسمت دوم قضیه، فرض کنید که  و  دو جواب معادله باشد، در این صورت  و لذا . پس و چون ، طبق لم اقلیدس نتیجه می‌شود که برای یک  داریم  و لذا از  نیز نتیجه می‌شود: برعکس، به راحتی دیده می‌شود که برای هر k، زوج  در معادله صدق می‌کنند و در نتیجه حکم اثبات می‌شود. 

برای مثال کلیه جواب‌های معادله  عبارتند از:حال شرط مثبت بودن  و  را هم اگر لحاظ کنیم نتیجه می‌دهد که  یا  که دو جواب  و  بدست می‌آیند.

قضیه باقی‌مانده چینی 
قضیه باقیمانده چینی کلاس مهمی از دستگاه معادلات دیوفانتین خطی را توصیف می‌کند.

فرض کنید  و همچنین  اعدادی صحیح باشند که برای هر  داریم: . که  ب.م. م  و است. حال حتماً عدد صحیح  وجود دارد به‌طوری‌که در دستگاه معادلات همنهشتی زیر صدق کند:

منابع

منابع 

 "Diophantine equations", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
 Diophantine Equation از MathWorld در Wolfram Research.