مسئلہ بازیل

testwiki سے
Jump to navigation خانۂ تلاش میں جائیں

سانچہ:اصطلاح برابر

مسئلہ بازیل ریاضیاتی تحلیل کا ایک مشہور مسئلہ ہے جو نظریۂ عدد سے مطابقت رکھتا ہے جسے سب سے پہلے پیٹرو مینگولی نے 1644ء میں پیش کیا تھا اور لیونہارڈ اویلر نے 1735ء میں حل کیا تھا۔ اسے بہت سارے ریاضی دانوں نے حل کرنے کی کوشش کی تھی۔ اویلر کے حل نے اُسے بہت جلد بہت شہرت دلا دی جب اُس کی عمر صرف 28 سال تھی۔ اس مسئلہ کا نام بازیل اویلر اور برنولی خاندان کا آبائی شہر ہے۔ اس مسئلے میں لامتناہی قدرتی اعداد کے مربع کے متقابل کا حاصل جمع پوچھا جاتا ہے۔

n=11n2=limn+(112+122++1n2).

یہ تو سب کو معلوم تھا کہ اس کا تقریبا حاصل جمع 1.644934 بنتا ہے مگر اس کا درست جواب اس وقت کسی کو معلوم نہیں تھا۔ لیونہارڈ اویلر نے اس مسئلے کو 1735ء میں حل کیا اور اس کا جواب π26 بتایا۔ اس کے دلائل اس وقت کے لحاظ سے ٹھوس نہیں تھے مگر اُس نے 1741ء میں اس مسئلے کا معتبر حل پیش کیا۔

عائلر کی رسائی

عائلر نے اس مسئلے کو حل کرنے کے لیے متناہی کثیر رقمی (polynomials) کا مشاہدہ کیا اور یہ فرض کیا یہ لامنتاہی کثیر رقمی بھی انہی خصوصیات کی حامل ہوتی ہیں۔ عائلر کے اس مفروضے کا جواز تقریبا 100 سال بعد جرمن ریاضی دان کارل وایراشٹراس نے دیا اور ثابت کیا کہ عائلر کے لامنتاہی سائن دالہ (sin function) کا حاصل ضرب درست ہے۔ اس کے باوجود عائلر اس مسئلے کا درست حل معلوم کرنے میں کامیاب ہو گیا تھا۔

عائلر کے اپنی دلیل سائن فنکشن کی ٹیلر سلسلہ کی مدد سے توسیع سے شروع کیا۔

sin(x)=xx33!+x55!x77!+.

اسے x سے تقسیم کرنے پر ہمیں یہ نتیجہ حاصل ہو گا۔

sin(x)x=1x23!+x45!x67!+.

اس مساوات کا جزر، دوسرے الفاظ میں فنکشن کی وہ قدر جس پر نتجہ صفر آئے، x=nπ ہوں گے، یہاں n سے مراد n=±1,±2,±3,. ہے۔ اب ہم اس مساوات کو متناہی کثیر رقمی کی طرح اس طرح لکھا جا سکتا ہے۔

sin(x)x=(1xπ)(1+xπ)(1x2π)(1+x2π)(1x3π)(1+x3π)=(1x2π2)(1x24π2)(1x29π2).

اگر ہم نیوٹن کی اکائیاں کی مدد سے صرف x2 کو ضرب دیں تو ہم دیکھتے ہیں کہ sin(x)/x کے x2 کا عددی سر یہ ہو گا۔

(1π2+14π2+19π2+)=1π2n=11n2.

مگر ہم دیکھتے ہیں کہ اصل لامتناہی سلسلہ کا x2 کا عددی سر 1/6 ہے۔ یہ دونوں عددی سر برابر ہونے چاہیے۔ اس لیے ہم لکھ سکتے ہیں کہ

16=1π2n=11n2.

اس مساوات کو دونوں جانب سے π2 سے ضرب دینے پر ہمیں یہ حاصل ہو گا۔

n=11n2=π26.

بیرونی روابط