FA
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms

معادله سیاله

From Wikipedia, the free encyclopedia

معادله سیاله
چند مثالمعادله‌های سیاله خطییک معادلهقضیه باقی‌مانده چینیمنابعمنابع

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

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

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

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

به‌طور مثال معادلهٔ x + y = 2 {\displaystyle x+y=2} {\displaystyle x+y=2} را می‌توان به صورت y = 2 − x {\displaystyle y=2-x} {\displaystyle y=2-x} نوشت. به ازای هر x {\displaystyle x} {\displaystyle x} یک مقدار برای y {\displaystyle y} {\displaystyle y} به دست می‌آید، این جواب‌ها را می‌توان با زوج ( x , 2 − x ) {\displaystyle (x,2-x)} {\displaystyle (x,2-x)} نشان داد. گر چه همین معادله، در مجموعه اعداد صحیح بی‌شمار پاسخ دارد، اما اگر همین معادله را در اعداد طبیعی حل کنیم، معادله جواب کاملاً محدود و مشخصی خواهد داشت که در این‌جا تنها پاسخ معادلهٔ x + y = 2 {\displaystyle x+y=2} {\displaystyle x+y=2} در اعداد طبیعی (۱و۱) است.

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

این یک معادله سیاله خطی است. a x + b y = c {\displaystyle ax+by=c} {\displaystyle ax+by=c}
کوچک‌ترین جواب غیربدیهی در مجموعه اعداد صحیح مثبت 123 + 13 = 93 + 103 = ۱۷۲۹ است. معروف است که به این معادله به‌طور خاص برای ۱۷۲۹ ساخته شده است. این عدد شماره یک تاکسی بود که توسط هاردی در یک ملاقات در ۱۹۱۷ به رامانوجان داده‌شد. برای همین به عدد شماره تاکسی[1] (همچنین به نام شماره هاردی–رامانوجان) مشهور است. البته این معادله بی‌نهایت جواب غیر بدیهی دارد. w 3 + x 3 = y 3 + z 3 {\displaystyle w^{3}+x^{3}=y^{3}+z^{3}} {\displaystyle w^{3}+x^{3}=y^{3}+z^{3}}
برای n=۲ بی‌نهایت جواب (x, y, z) وجود دارد که به سه‌گانه‌های فیثاغورثی معروف‌اند. برای مقادیر صحیح بزرگتر n، قضیه آخر فرما (که در سال ۱۶۳۷ توسط فرما بیان شد و توسط اندرو وایلز در ۱۹۹۵ اثبات شد) بیان می‌کند که هیچ جواب صحیح مثبتی وجود ندارد. x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}} {\displaystyle x^{n}+y^{n}=z^{n}}
این معادله پِل است که به نام ریاضیدان انگلیسی جان پل نامگذاری شده است. در قرن هفتم توسط براهماگوپتا و همچنین توسط فرما در قرن هفدهم مورد مطالعه قرار گرفت. x 2 − n y 2 = ± 1 {\displaystyle x^{2}-ny^{2}=\pm 1} {\displaystyle x^{2}-ny^{2}=\pm 1}
حدس اردوش-استراوس بیان می‌کند که برای هر عدد صحیح مثبت n ≥ ۲، یک جواب (x, y, z) در مجموعه اعداد صحیح مثبت وجود دارد. اگر چه این حدس معمولاً به صورت چند جمله ای بیان نمی‌شود، اما این مثال معادل معادله چند جمله‌ای 4 x y z = y z n + x z n + x y n = n ( y z + x z + x y ) {\displaystyle 4xyz=yzn+xzn+xyn=n(yz+xz+xy)} {\displaystyle 4xyz=yzn+xzn+xyn=n(yz+xz+xy)} است. 4 n = 1 x + 1 y + 1 z {\displaystyle {\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}} {\displaystyle {\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}}
ابتداً اویلر به اشتباه حدس زد که هیچ جواب غیر بدیهی ندارد. بعداً توسط نوام الکیس ثابت شد که بی‌نهایت جواب دارد، سپس با یک جستجوی کامپیوتری توسط Frye که کوچک‌ترین جواب غیربدیهی را تعیین می‌کند مشخص شد ۹۵۸۰۰۴ + ۲۱۷۵۱۹۴ + ۴۱۴۵۶۰۴ = ۴۲۲۴۸۱۴.[2] x 4 + y 4 + z 4 = w 4 {\displaystyle x^{4}+y^{4}+z^{4}=w^{4}} {\displaystyle x^{4}+y^{4}+z^{4}=w^{4}}

یک معادله

ساده‌ترین معادله سیاله خطی به شکل a x + b y = c {\displaystyle ax+by=c} {\displaystyle ax+by=c} است که در آن a, b و c اعداد صحیح داده می‌شوند. راه حل‌ها با قضیه زیر[1] توصیف می‌شوند:

فرض کنیم a, b و c اعداد صحیح مثبت باشند و بزرگ‌ترین مقسوم علیه مشترک a و b برابر با d باشد. معادله a x + b y = c {\displaystyle ax+by=c} {\displaystyle ax+by=c} در مجموعه اعداد صحیح راه‌حل دارد اگر و فقط اگر d | c {\displaystyle d|c} {\displaystyle d|c}. به علاوه اگر d | c {\displaystyle d|c} {\displaystyle d|c} و ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} {\displaystyle (x_{0},y_{0})} یک جواب برای معادله باشد، آنگاه کلیه جواب‌های معادله عبارتند از: { x k = x 0 + k b d y k = y 0 − k a d {\displaystyle {\begin{cases}x_{k}=x_{0}+k{\frac {b}{d}}\\y_{k}=y_{0}-k{\frac {a}{d}}\end{cases}}} {\displaystyle {\begin{cases}x_{k}=x_{0}+k{\frac {b}{d}}\\y_{k}=y_{0}-k{\frac {a}{d}}\end{cases}}}که در آن k عددی صحیح است.

اثبات: فرض کنید ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} {\displaystyle (x_{0},y_{0})} یک جواب برای معادله باشد، در این صورت از d|a و d|b نتیجه می‌شود که d | a x 0 + b y 0 = c {\displaystyle d|ax_{0}+by_{0}=c} {\displaystyle d|ax_{0}+by_{0}=c}؛ لذا d|c یک شرط لازم برای وجود جواب خواهد بود، نشان می‌دهیم این شرط کافی نیز هست؛ بنابراین فرض کنید که d|c آنگاه وجود دارد m که c=dm پس بنابه قضیه بزو اعداد صحیح μ {\displaystyle \mu } {\displaystyle \mu } و ν {\displaystyle \nu } {\displaystyle \nu } پیدا می‌شوند که μ a + ν b = d {\displaystyle \mu a+\nu b=d} {\displaystyle \mu a+\nu b=d} و لذا ( m μ ) a + ( m ν ) b = d m = c {\displaystyle (m\mu )a+(m\nu )b=dm=c} {\displaystyle (m\mu )a+(m\nu )b=dm=c} و این یعنی ( m μ , m ν ) {\displaystyle (m\mu ,m\nu )} {\displaystyle (m\mu ,m\nu )} جوابی برای معادله است.

برای اثبات قسمت دوم قضیه، فرض کنید که ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} {\displaystyle (x_{0},y_{0})} و ( x 1 , y 1 ) {\displaystyle (x_{1},y_{1})} {\displaystyle (x_{1},y_{1})} دو جواب معادله باشد، در این صورت a x 0 + b y 0 = a x 1 + b y 1 = c {\displaystyle ax_{0}+by_{0}=ax_{1}+by_{1}=c} {\displaystyle ax_{0}+by_{0}=ax_{1}+by_{1}=c} و لذا a ( x 1 − x 0 ) = − b ( y 1 − y 0 ) {\displaystyle a(x_{1}-x_{0})=-b(y_{1}-y_{0})} {\displaystyle a(x_{1}-x_{0})=-b(y_{1}-y_{0})}. پس b d | a d ( x 1 − x 0 ) {\displaystyle {\frac {b}{d}}{\bigg |}{\frac {a}{d}}(x_{1}-x_{0})} {\displaystyle {\frac {b}{d}}{\bigg |}{\frac {a}{d}}(x_{1}-x_{0})}و چون ( a d , b d ) = 1 {\displaystyle {\big (}{\frac {a}{d}},{\frac {b}{d}}{\big )}=1} {\displaystyle {\big (}{\frac {a}{d}},{\frac {b}{d}}{\big )}=1}، طبق لم اقلیدس نتیجه می‌شود که برای یک k ∈ Z {\displaystyle k\in \mathbb {Z} } {\displaystyle k\in \mathbb {Z} } داریم x 1 = x 0 + k b d {\displaystyle x_{1}=x_{0}+k{\frac {b}{d}}} {\displaystyle x_{1}=x_{0}+k{\frac {b}{d}}} و لذا از a d ( x 1 − x 0 ) = a d ( k b d ) = − b d ( y 1 − y 0 ) {\displaystyle {\frac {a}{d}}(x_{1}-x_{0})={\frac {a}{d}}{\big (}k{\frac {b}{d}}{\big )}=-{\frac {b}{d}}(y_{1}-y_{0})} {\displaystyle {\frac {a}{d}}(x_{1}-x_{0})={\frac {a}{d}}{\big (}k{\frac {b}{d}}{\big )}=-{\frac {b}{d}}(y_{1}-y_{0})} نیز نتیجه می‌شود: { x 1 = x 0 + k b d y 1 = y 0 − k a d {\displaystyle {\begin{cases}x_{1}=x_{0}+k{\frac {b}{d}}\\y_{1}=y_{0}-k{\frac {a}{d}}\end{cases}}} {\displaystyle {\begin{cases}x_{1}=x_{0}+k{\frac {b}{d}}\\y_{1}=y_{0}-k{\frac {a}{d}}\end{cases}}} برعکس، به راحتی دیده می‌شود که برای هر k، زوج ( x k , y k ) {\displaystyle (x_{k},y_{k})} {\displaystyle (x_{k},y_{k})} در معادله صدق می‌کنند و در نتیجه حکم اثبات می‌شود. ◼ {\displaystyle \blacksquare } {\displaystyle \blacksquare }

برای مثال کلیه جواب‌های معادله 11 x + 24 y = 400 {\displaystyle 11x+24y=400} {\displaystyle 11x+24y=400} عبارتند از: { x k = 4400 + 24 k y k = − 2000 − 11 k {\displaystyle {\begin{cases}x_{k}=4400+24k\\y_{k}=-2000-11k\end{cases}}} {\displaystyle {\begin{cases}x_{k}=4400+24k\\y_{k}=-2000-11k\end{cases}}}حال شرط مثبت بودن x k {\displaystyle x_{k}} {\displaystyle x_{k}} و y k {\displaystyle y_{k}} {\displaystyle y_{k}} را هم اگر لحاظ کنیم نتیجه می‌دهد که k = − 182 {\displaystyle k=-182} {\displaystyle k=-182} یا k = − 183 {\displaystyle k=-183} {\displaystyle k=-183} که دو جواب ( 8 , 13 ) {\displaystyle (8,13)} {\displaystyle (8,13)} و ( 32 , 2 ) {\displaystyle (32,2)} {\displaystyle (32,2)} بدست می‌آیند.

قضیه باقی‌مانده چینی

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

فرض کنید d 1 , d 2 , . . . , d n {\displaystyle \;d_{1},d_{2},...,d_{n}} {\displaystyle \;d_{1},d_{2},...,d_{n}} و همچنین a 1 , a 2 , . . . , a n {\displaystyle \;a_{1},a_{2},...,a_{n}} {\displaystyle \;a_{1},a_{2},...,a_{n}} اعدادی صحیح باشند که برای هر 0 ≤ i , j ≤ n {\displaystyle \;0\leq i,j\leq n} {\displaystyle \;0\leq i,j\leq n} داریم: ( d i , d j ) | a i − a j {\displaystyle \;(d_{i},d_{j})|a_{i}-a_{j}} {\displaystyle \;(d_{i},d_{j})|a_{i}-a_{j}}. که ( d i , d j ) {\displaystyle \;(d_{i},d_{j})} {\displaystyle \;(d_{i},d_{j})} ب.م. م d i {\displaystyle \;d_{i}} {\displaystyle \;d_{i}} و d j {\displaystyle \;d_{j}} {\displaystyle \;d_{j}}است. حال حتماً عدد صحیح x {\displaystyle \;x} {\displaystyle \;x} وجود دارد به‌طوری‌که در دستگاه معادلات همنهشتی زیر صدق کند: x = a 1 + n 1 x 1 ⋮ x = a k + n k x k {\displaystyle {\begin{aligned}x&=a_{1}+n_{1}\,x_{1}\\&\;\;\vdots \\x&=a_{k}+n_{k}\,x_{k}\end{aligned}}} {\displaystyle {\begin{aligned}x&=a_{1}+n_{1}\,x_{1}\\&\;\;\vdots \\x&=a_{k}+n_{k}\,x_{k}\end{aligned}}}

  1. [1]
    T.A.A.B (May 1955). "An Introduction to the Theory of Numbers. By G.H. Hardy. and E.M. Wright. 3rd edition. Pp. xvi, 419. 42s. 1955. (Geoffrey Cumberlege, Columbia University Press)". The Mathematical Gazette. 39 (328): 174–174. doi:10.2307/3610026. ISSN 0025-5572.
  2. [2]
    Elkies, Noam D. (1988). "On $A^4 + B^4 + C^4 = D^4$". Mathematics of Computation. 51 (184): 825–835. doi:10.2307/2008781. ISSN 0025-5718.
  • "Diophantine equations", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Diophantine Equation از MathWorld در Wolfram Research.
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

چند مثال

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

منابع

منابع