তুরীয় সংখ্যা

গণিত-এ, তুরীয় সংখ্যা(ইংরেজি Transcendental number) এমন একটি সংখ্যা যা বীজগাণিতিক সংখ্যা নয়—অর্থাৎ, মূলদ সহগযুক্ত সসীম ঘাতের অশূন্য বহুপদীর মূল নয়। সবচেয়ে পরিচিত তুরীয় সংখ্যা হল [[Pi|টেমপ্লেট:Pi]] এবং টেমপ্লেট:Mvar।

যদিও তুরীয় সংখ্যার মাত্র কয়েকটি শ্রেণী সম্পর্কে জানা যায়(কারণ একটা সংখ্যা যে তুরীয় সংখ্যা তা প্রমাণ করা অত্যন্ত কঠিন) তবুও তুরীয় সংখ্যা দুর্লভ না। প্রকৃতপক্ষে, প্রায় সব বাস্তব এবং জটিল সংখ্যাগুলি তুরীয় সংখ্যা, যেহেতু বীজগণিতিক সংখ্যাগুলি একটি গণনাযোগ্য সেট গঠন করে, যখন বাস্তব সংখ্যার সেট এবং জটিল সংখ্যার সেট উভয়ই অগণনাযোগ্য সেট, এবং যে কোনও গণনাযোগ্য সেটের চেয়ে বড়। সমস্ত 'বাস্তব তুরীয় সংখ্যা' ('তুরীয় বাস্তব সংখ্যা' বা 'তুরীয় অমূলদ সংখ্যা' নামেও পরিচিত) হল অমূলদ সংখ্যা, যেহেতু সমস্ত মূলদ সংখ্যা বীজগণিতিক সংখ্যা। এর বিপরীতটা সত্য নয়: সব অমূলদ সংখ্যা তুরীয় সংখ্যা নয়। তাই, বাস্তব সংখ্যার সেটকে মূলদ সংখ্যা, বীজগাণিতিক অ-মূলদ সংখ্যা এবং তুরীয় বাস্তব সংখ্যার সেট অনাধিক্রান্তভাবে গঠন করে। উদাহরণস্বরূপ, 2 এর বর্গমূল একটি অমূলদ সংখ্যা, কিন্তু এটি তুরীয় সংখ্যা নয় কারণ এটি একটি বহুপদী সমীকরণ টেমপ্লেট:Math এর একটি মূল। গোল্ডেন রেশিও ($\phi$ বা $\varphi$ লেখা হয়) হল আরেকটি অমূলদ সংখ্যা যা তুরীয় সংখ্যা নয়, কারণ এটি বহুপদী সমীকরণ টেমপ্লেট:Math এর মুল। একটি সংখ্যার তুরীয় সংখ্যা হওয়ার ধর্মকে 'ট্রান্সসেন্ডেন্স বলে।

ইতিহাস

"ট্রান্সসেনডেন্টাল" নামটি ল্যাটিন transcendĕre শব্দটি থেকে এসেছে 'উপরে বা তার বাইরে আরোহণ করা বা অতিক্রম করা', এবং এই গাণিতিক ধারণার প্রথম ব্যবহার করা হয়েছিল লিবনিজের 1682 একটি গবেষণা পত্রে যেখানে তিনি প্রমাণ করেছিলেন যে টেমপ্লেট:Math, টেমপ্লেট:Mvar এর একটি বীজগণিতিক ফাংশন নয়। অয়লার, 18 শতকে, সম্ভবত প্রথম ব্যক্তি যিনি আধুনিক অর্থে তুরীয় সংখ্যাকে সংজ্ঞায়িত করেছিলেন।

জোহান হেনরিখ ল্যামবার্ট অনুমান করেছিলেন যে টেমপ্লেট:Mvar এবং [[Pi|টেমপ্লেট:Pi]] উভয়ই তুরীয় সংখ্যা, তিনি 1768 সালে গবেষণা পত্রে প্রমাণ করেন {pi}} হল অমূলদ সংখ্যা, এবং টেমপ্লেট:Pi-এর অতিক্রমের প্রমাণের একটি অস্থায়ী স্কেচ প্রস্তাব করেছে।

জোসেফ লিউভিল 1844 সালে সর্বপ্রথম তুরীয় সংখ্যার অস্তিত্ব প্রমাণ করেন, এবং 1851 সালে প্রথম দশমিক উদাহরণ দেন যেমন লিউভিল ধ্রুবক

$\begin{array}{cc}{L}_b& =\sum _{n=1}^{\mathrm{\infty }}10^{-n!}\\ & =10^{-1}+10^{-2}+10^{-6}+10^{-24}+10^{-120}+10^{-720}+10^{-5040}+10^{-40320}+\dots \\ & =0.\mathbf{\text{1}}\mathbf{\text{1}}000\mathbf{\text{1}}00000000000000000\mathbf{\text{1}}00000000000000000000000000000000000000000000000000000\dots \\ \end{array}$

যেটিতে দশমিক বিন্দুর পরে টেমপ্লেট:Mvarতম সংখ্যাটি টেমপ্লেট:Math যদি টেমপ্লেট:Mvar সমান টেমপ্লেট:Math (টেমপ্লেট:Mvar factorial) হয় কিছু টেমপ্লেট:Mvar এবং টেমপ্লেট:Math ছাড়া। অন্য কথায়, এই সংখ্যার টেমপ্লেট:Mathতম সংখ্যাটি 1 হলে তবেই {{mvar|n} } হল একটি সংখ্যা টেমপ্লেট:Math, ইত্যাদি। লিউভিল দেখিয়েছেন যে এই সংখ্যাটি তুরীয় সংখ্যার একটি শ্রেণীর অন্তর্গত যা যেকোনো অমূলদ বীজগাণিতিক সংখ্যার চেয়ে মূলদ সংখ্যা দ্বারা আনুমানিক কাছাকাছি হতে পারে এবং এই শ্রেণীর সংখ্যাকে লিউভিল' বলা হয় সংখ্যাs, তার সম্মানে নামকরণ করা হয়েছে। লিউভিল দেখিয়েছেন যে সমস্ত লিউভিল সংখ্যা তুরীয়।

1873 সালে চার্লস হারমাইট দ্বারা টেমপ্লেট:Mvar তুরীয় সংখ্যার অস্তিত্ব প্রমাণের উদ্দেশ্যে বিশেষভাবে নির্মিত না হয়েই প্রথম সংখ্যাটি ট্রান্সসেন্ডেন্টাল প্রমাণিত হয়েছিল।

1874 সালে, জর্জ ক্যান্টর প্রমাণ করেন যে বীজগাণিতিক সংখ্যা সংখ্যা গণনাযোগ্য এবং বাস্তব সংখ্যাগুলি অগণিত। তিনি তুরীয় সংখ্যা নির্মাণের জন্য একটি নতুন পদ্ধতি দিয়েছেন। যদিও এটি ইতিমধ্যেই বীজগাণিতিক সংখ্যা সংখ্যার গণনাযোগ্যতার প্রমাণ দ্বারা উহ্য ছিল, ক্যান্টর একটি নির্মাণও প্রকাশ করেছেন যা প্রমাণ করে যে বাস্তব সংখ্যার মতো বহু তুরীয় সংখ্যা রয়েছে।। ক্যান্টরের নির্মাণ তুরীয় সংখ্যার সেট এবং বাস্তব সংখ্যার সেটের মধ্যে একটি এক থেকে এক চিঠিপত্র তৈরি করে। এই নিবন্ধে, ক্যান্টর শুধুমাত্র অমূলদ সংখ্যার সেটে তার নির্মাণ প্রয়োগ করেছেন।

1882 সালে, ফার্দিনান্দ ভন লিন্ডেমান টেমপ্লেট:Mvar এর তুরীয় হওয়ার প্রথম সম্পূর্ণ প্রমাণ প্রকাশ করেন। তিনি প্রথম প্রমাণ করেন যে টেমপ্লেট:Math হল তুরীয়, যদি টেমপ্লেট:Mvar একটি অ-শূন্য বীজগাণিতিক সংখ্যা সংখ্যা হয়। তারপর, যেহেতু টেমপ্লেট:Math বীজগাণিতিক সংখ্যা (অয়লারের পরিচয় দেখুন), টেমপ্লেট:Math অবশ্যই তুরীয় হতে হবে। কিন্তু যেহেতু টেমপ্লেট:Math বীজগাণিতিক সংখ্যা, তাই টেমপ্লেট:Mvar হতে হবে তুরীয়। এই পদ্ধতিটি কার্ল ওয়েইয়েরস্ট্রাস দ্বারা সাধারণীকরণ করা হয়েছিল যা বর্তমানে লিন্ডেম্যান-ওয়েয়ারস্ট্রাস উপপাদ্য নামে পরিচিত। টেমপ্লেট:Mvar-এর সীমা অতিক্রম করার ফলে কম্পাস এবং স্ট্রেইটেডজ জড়িত বেশ কিছু প্রাচীন জ্যামিতিক নির্মাণের অসম্ভবতার প্রমাণ দেওয়া হয়েছিল, যার মধ্যে সবচেয়ে বিখ্যাতটি বৃত্তের বর্গকরণ রয়েছে।

1900 সালে, ডেভিড হিলবার্ট তুরীয় সংখ্যা সম্পর্কে একটি প্রভাবশালী প্রশ্ন উত্থাপন করেছিলেন, হিলবার্টের সপ্তম সমস্যা: যদি টেমপ্লেট:Mvar একটি বীজগাণিতিক সংখ্যা হয় যা শূন্য বা এক নয়, এবং টেমপ্লেট:Mvar একটি অযৌক্তিক বীজগাণিতিক সংখ্যা সংখ্যা, টেমপ্লেট:Math কি অগত্যা তুরীয়? 1934 সালে গেলফন্ড-শ্নেইডার উপপাদ্য দ্বারা ইতিবাচক উত্তর দেওয়া হয়েছিল। এই কাজটি অ্যালান বেকার দ্বারা 1960-এর দশকে যেকোন সংখ্যক লগারিদমের (বীজগাণিতিক সংখ্যা সংখ্যার) রৈখিক আকারের জন্য নিম্ন সীমার উপর তার কাজ দ্বারা প্রসারিত হয়েছিল।

বৈশিষ্ট্য

একটি তুরীয় সংখ্যা হল একটি (সম্ভবত জটিল) সংখ্যা যা কোনো পূর্ণসংখ্যা বহুপদীর মূল নয়। প্রতিটি বাস্তব তুরীয় সংখ্যা অবশ্যই অমূলদিত হতে হবে, যেহেতু একটি মূলদ সংখ্যা হল ডিগ্রী একটি পূর্ণসংখ্যা বহুপদীর মূল৷ তুরীয় সংখ্যার সেট হল uncountably infinite। যেহেতু মূলদ সহগ সহ বহুপদীগুলি গণনাযোগ্য, এবং যেহেতু এই জাতীয় প্রতিটি বহুপদীর একটি সসীম সংখ্যা শূন্য, বীজগণিতীয় সংখ্যাগুলিকেও গণনাযোগ্য হতে হবে। যাইহোক, ক্যান্টরের তির্যক যুক্তি প্রমাণ করে যে বাস্তব সংখ্যা (এবং তাই জটিল সংখ্যা) অগণিত। যেহেতু বাস্তব সংখ্যা হল বীজগাণিতিক সংখ্যা এবং তুরীয় সংখ্যার মিলন, তাই উভয়েরই উপসেট গণনাযোগ্য হওয়া অসম্ভব। এটি তুরীয় সংখ্যাকে অগণিত করে তোলে।

কোন মূলদ সংখ্যা তুরীয় সংখ্যা নয় এবং সমস্ত বাস্তব ট্রান্সেন্ডেন্টাল সংখ্যাই অমূলদ। অযৌক্তিক সংখ্যাগুলি সমস্ত বাস্তব তুরীয় সংখ্যা এবং বীজগাণিতিক সংখ্যা সংখ্যাগুলির একটি উপসেট ধারণ করে, যার মধ্যে চতুর্মুখী অমূলদগুলি এবং বীজগণিতের অযৌক্তিকগুলির অন্যান্য রূপ রয়েছে।

ট্রান্সসেন্ডেন্টাল আর্গুমেন্টে যেকোন অ-ধ্রুবক একক-ভেরিয়েবল বীজগাণিতিক সংখ্যা ফাংশন প্রয়োগ করলে একটি ট্রান্সসেন্ডেন্টাল মান পাওয়া যায়। উদাহরণ স্বরূপ, টেমপ্লেট:Pi তুরীয় সংখ্যা তা জানা থেকে অবিলম্বে অনুমান করা যায় যে সংখ্যা যেমন টেমপ্লেট:Math, এবং টেমপ্লেট:Mathও তুরীয় সংখ্যা।

যাইহোক, বেশ কয়েকটি ভেরিয়েবলের একটি বীজগণিতিক ফাংশন একটি বীজগণিতিক সংখ্যা প্রদান করতে পারে যখন এই সংখ্যাগুলি বীজগাণিতিক সংখ্যাভাবে স্বাধীন না হলে তুরীয় সংখ্যাগুলিতে প্রয়োগ করা হয়। উদাহরণস্বরূপ, টেমপ্লেট:Pi এবং টেমপ্লেট:Math হল বট h তুরীয়, কিন্তু টেমপ্লেট:Math স্পষ্টতই নয়। এটি অজানা যে টেমপ্লেট:Math, উদাহরণস্বরূপ, ট্রান্সেন্ডেন্টাল কিনা, যদিও অন্তত একটি টেমপ্লেট:Math এবং টেমপ্লেট:Mvar অবশ্যই তুরীয় হতে হবে। আরও সাধারণভাবে, যেকোনো দুটি তুরীয় সংখ্যা টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar, অন্তত একটি টেমপ্লেট:Math এবং টেমপ্লেট:Mvar তুরীয় হতে হবে। এটি দেখতে, বহুপদ বিবেচনা করুন টেমপ্লেট:Math। যদি টেমপ্লেট:Math এবং টেমপ্লেট:Mvar উভয়ই বীজগাণিতিক সংখ্যা হয়, তাহলে এটি বীজগাণিতিক সংখ্যা সহগ সহ একটি বহুপদ হবে। যেহেতু বীজগণিতীয় সংখ্যাগুলি একটি বীজগণিতীয়ভাবে বন্ধ ক্ষেত্র গঠন করে, এর অর্থ হল বহুপদীর মূল, টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar, বীজগাণিতিক সংখ্যা হতে হবে। কিন্তু এটি একটি দ্বন্দ্ব, এবং এইভাবে এটি অবশ্যই হওয়া উচিত যে সহগগুলির মধ্যে অন্তত একটি তুরীয়।

অ-গণনাযোগ্য সংখ্যা হল তুরীয় সংখ্যার একটি কঠোর উপসেট।

সমস্ত লিউভিল নম্বরগুলি তুরীয়, কিন্তু উল্টো নয়৷ যেকোন লিউভিল সংখ্যার অবশ্যই তার চলমান ভগ্নাংশ প্রসারণে সীমাহীন আংশিক ভাগফল থাকতে হবে। একটি গণনা যুক্তি ব্যবহার করে কেউ দেখাতে পারে যে এমন তুরীয় সংখ্যা রয়েছে যা আংশিক ভাগফলকে আবদ্ধ করেছে এবং তাই লিউভিল সংখ্যা নয়।

টেমপ্লেট:Mvar-এর সুস্পষ্ট ক্রমাগত ভগ্নাংশ সম্প্রসারণ ব্যবহার করে, কেউ দেখাতে পারে যে টেমপ্লেট:Mvar একটি Liouville সংখ্যা নয় (যদিও এটির ক্রমাগত ভগ্নাংশের প্রসারণের আংশিক ভাগ সীমাহীন)। কার্ট মাহলার 1953 সালে দেখিয়েছিলেন যে টেমপ্লেট:Piও একটি লিউভিল নম্বর নয়। এটি অনুমান করা হয় যে সমস্ত অসীম অবিরত ভগ্নাংশগুলি আবদ্ধ পদগুলির সাথে যেগুলি শেষ পর্যন্ত পর্যায়ক্রমিক নয় সেগুলি তুরীয় (অবশেষে পর্যায়ক্রমিক অবিরত ভগ্নাংশগুলি দ্বিঘাত অযৌক্তিকের সাথে মিলে যায়)৷

যেসব সংখ্যা তুরীয় সংখ্যা হিসাবে প্রমাণিত

তুরীয় সংখ্যা হিসাবে প্রমাণিত সংখ্যা:

• টেমপ্লেট:Math যদি টেমপ্লেট:Mvar হয় বীজগাণিতিক সংখ্যা এবং অশূন্য ( লিন্ডেম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য)।
• [[pi|টেমপ্লেট:Pi]] (লিন্ডম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
• টেমপ্লেট:Math, গেলফন্ডের ধ্রুবক, পাশাপাশি টেমপ্লেট:Math (গেলফন্ড–শ্নেইডার উপপাদ্য দ্বারা)।
• টেমপ্লেট:Math যেখানে টেমপ্লেট:Mvar বীজগণিতীয় কিন্তু 0 বা 1 নয়, এবং টেমপ্লেট:Mvar হল অমূলদ বীজগাণিতিক সংখ্যা (এর দ্বারা গেলফন্ড-স্নাইডার উপপাদ্য), বিশেষ করে:

টেমপ্লেট:Math, Gelfond–Schneider ধ্রুবক (বা হিলবার্ট সংখ্যা)

• টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math , এবং টেমপ্লেট:Math, এবং তাদের হাইপারবোলিক কাউন্টারপার্টস, যেকোনো অশূন্য বীজগাণিতিক সংখ্যার জন্য টেমপ্লেট:Mvar, [এ প্রকাশ করা হয়। [radian]]s (লিন্ডেম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
• কোসাইন ফাংশনের স্থির বিন্দু (এটিকে ডটি নম্বর টেমপ্লেট:Mvarও বলা হয়) – সমীকরণের অনন্য বাস্তব সমাধান টেমপ্লেট:Math, যেখানে টেমপ্লেট:Mvar রেডিয়ানে (লিন্ডেম্যান–ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
• টেমপ্লেট:Math যদি টেমপ্লেট:Mvar বীজগাণিতিক সংখ্যা হয় এবং লগারিদম ফাংশনের যেকোনো শাখার জন্য 0 বা 1 এর সমান না হয় (লিন্ডেম্যান- দ্বারা উইয়েরস্ট্রাস উপপাদ্য)।
• টেমপ্লেট:Math যদি টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar ধনাত্মক পূর্ণসংখ্যা হয় একই পূর্ণসংখ্যার উভয় শক্তি নয় (গেলফন্ড-স্নাইডার উপপাদ্য দ্বারা)।
• বেসেল ফাংশন টেমপ্লেট:Math, এর প্রথম ডেরিভেটিভ, এবং ভাগফল টেমপ্লেট:Math হয় ট্রান্সেন্ডেন্টাল যখন ν মুলদ হয় এবং x হয় বীজগাণিতিক সংখ্যা এবং অশূন্য, এবং টেমপ্লেট:Math এবং টেমপ্লেট:Math-এর সমস্ত অশূন্য মূল তুরীয় সংখ্যা হয়, যখন ν মুলদ হয়।
• টেমপ্লেট:Math যদি টেমপ্লেট:Mvar হয় বীজগাণিতিক সংখ্যা এবং অশূন্য, ল্যামবার্ট ডব্লিউ ফাংশনের যেকোনো শাখার জন্য (দ্বারা লিন্ডেম্যান–ওয়েয়ারস্ট্রাস উপপাদ্য), বিশেষ করে: টেমপ্লেট:Math ওমেগা ধ্রুবক
• টেমপ্লেট:Math।
• টেমপ্লেট:Math, চৈটিনের ধ্রুবক (যেহেতু এটি একটি অ-গণনাযোগ্য সংখ্যা)।
• তথাকথিত ফ্রেডহোম ধ্রুবক, যেমন

  $\sum _{n=0}^{\mathrm{\infty }}10^{-2^n}=0.\mathbf{\text{1}}\mathbf{\text{1}}0\mathbf{\text{1}}000\mathbf{\text{1}}0000000textbf1\dots$

যা 10 কে যেকোনো বীজগাণিতিক সংখ্যা টেমপ্লেট:Math দিয়ে প্রতিস্থাপন করে।

• গাউসের ধ্রুবক এবং লেমনিসকেট ধ্রুবক।
• যেকোন বীজগাণিতিক টেমপ্লেট:Math-এর জন্য পূর্বোক্ত লিউভিল ধ্রুবক।
• প্রোহেত–থু–মোর্স ধ্রুবক।
• কোমোরনিক–লোরেটি ধ্রুবক।
• যে কোনো সংখ্যা যার জন্য কিছু নির্দিষ্ট ভিত্তির সাপেক্ষে অঙ্কগুলি একটি স্টুরমিয়ান শব্দ গঠন করে।
• টেমপ্লেট:Math এর জন্য

$\sum _{k=0}^{\mathrm{\infty }}10^{-\lfloor {\beta }^k\rfloor };$

যেখানে $\beta \mapsto \lfloor \beta \rfloor$ হল ফ্লোর ফাংশন।

• 3.300330000000000330033... এবং এর পারস্পরিক 0.30300000303..., শুধুমাত্র দুটি ভিন্ন দশমিক সংখ্যা সহ দুটি সংখ্যা যার অশূন্য অঙ্কের অবস্থান Moser–de Bruijn ক্রম এবং এর দ্বিগুণ।
• সংখ্যা টেমপ্লেট:Math, যেখানে টেমপ্লেট:Math এবং টেমপ্লেট:Math হল বেসেল ফাংশন এবং টেমপ্লেট:Mvar হল ইউলার–মাশ্চেরনি ধ্রুবক৷
• নেস্টেরেনকো 1996 সালে প্রমাণ করেছিলেন যে $\pi ,e^{\pi }$ এবং $\mathrm{\Gamma }(1/4)$ বীজগাণিতিক সংখ্যাভাবে স্বাধীন।

সম্ভাব্য তুরীয় সংখ্যা

যে সংখ্যাগুলি এখনও ট্রান্সসেন্ডেন্টাল বা বীজগাণিতিক বলে প্রমাণিত হয়েছে:

• সংখ্যা টেমপ্লেট:Pi এবং [[E (গাণিতিক ধ্রুবক)|সংখ্যা টেমপ্লেট:Mvar]] এর অধিকাংশ যোগফল, গুণফল, ক্ষমতা ইত্যাদি, যেমন টেমপ্লেট:Mvar, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Pi^{টেমপ্লেট:Pi}, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math, টেমপ্লেট:Math যৌক্তিক, বীজগাণিতিক সংখ্যা, অযৌক্তিক বা তুরীয় বলে পরিচিত নয়। একটি উল্লেখযোগ্য ব্যতিক্রম হল {{math|eটেমপ্লেট:Sup} (যেকোন ধনাত্মক পূর্ণসংখ্যার জন্য টেমপ্লেট:Mvar) যা তুরীয় সংখ্যা প্রমাণিত হয়েছে।
• অয়লার–মাশ্চেরনি ধ্রুবক টেমপ্লেট:Mvar: 2010 সালে এম. রাম মূর্তি এবং এন. সারদা টেমপ্লেট:Math এমন যে তাদের মধ্যে সর্বাধিক একটি ব্যতীত সবগুলিই তুরীয় সংখ্যা৷
• Apéry's constant টেমপ্লেট:Math (যা Apéry অযৌক্তিক প্রমাণিত)।
• কাতালানের ধ্রুবক, এমনকি অযৌক্তিক বলেও প্রমাণিত নয়।
• খিনচিনের ধ্রুবক, অযৌক্তিক বলেও প্রমাণিত নয়।
• অন্যান্য বিজোড় পূর্ণসংখ্যাতে রিম্যান জেটা ফাংশন, টেমপ্লেট:Math, টেমপ্লেট:Math, ... (প্রমাণিত নয় অযৌক্তিক হতে)।
• Feigenbaum ধ্রুবক টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar, এছাড়াও অযৌক্তিক প্রমাণিত নয়।
• মিলের ধ্রুবক, অযৌক্তিক বলেও প্রমাণিত নয়।
• কোপল্যান্ড–এর্ডোস ধ্রুবক, মৌলিক সংখ্যাগুলির দশমিক উপস্থাপনাগুলিকে একত্রিত করে গঠিত।
• $\mathrm{\Gamma }(1/5)$ অযৌক্তিক বলে প্রমাণিত হয়নি।

অনুমান:

• শানুয়েলের অনুমান,
• চারটি সূচক অনুমান।

একটি প্রমাণের স্কেচ, যে টেমপ্লেট:Mvar তুরীয় সংখ্যা

প্রথম প্রমাণ যে [[E (গাণিতিক ধ্রুবক)|প্রাকৃতিক লগারিদমের ভিত্তি, টেমপ্লেট:Mvar]], 1873 সালের তুরীয় তারিখ। আমরা এখন ডেভিড হিলবার্ট (1862) এর কৌশল অনুসরণ করব -1943) যিনি চার্লস হারমাইট-এর মূল প্রমাণের সরলীকরণ দিয়েছেন। ধারণা নিম্নোক্ত:

অনুমান করুন, একটি দ্বন্দ্ব খোঁজার উদ্দেশ্যে, যে টেমপ্লেট:Mvar বীজগাণিতিক সংখ্যা। তারপরে পূর্ণসংখ্যা সহগগুলির একটি সসীম সেট বিদ্যমান c₀, c₁, ..., c_n sub> সমীকরণটি সন্তুষ্ট করে:

$c_0+c_{1}e+c_2{e}^2+\cdots +c_n{e}^n=0,c_0,c_n\ne 0.$

এখন একটি ধনাত্মক পূর্ণসংখ্যা k-এর জন্য, আমরা নিম্নলিখিত বহুপদকে সংজ্ঞায়িত করি:

$f_k(x)=x^k{[(x-1)\cdots (x-n)]}^{k+1},$

এবং উপরের সমীকরণের উভয় দিক দিয়ে গুণ করুন

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx,$

সমীকরণে পৌঁছাতে:

$c_0\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)+c_{1}e\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)+\cdots +c_n{e}^n\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)=0.$

ইন্টিগ্রেশনের সংশ্লিষ্ট ডোমেনগুলিকে বিভক্ত করে, এই সমীকরণটি আকারে লেখা যেতে পারে

$P+Q=0$

যেখানে

$\begin{array}{cc}P& =c_0\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)+c_{1}e\left(\underset{1}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)+c_2{e}^2\left(\underset{2}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)+\cdots +c_n{e}^n\left(\underset{n}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\right)\\ Q& =c_{1}e\left(\underset{0}{\overset{1}{\int }}{f}_k{e}^{-x}dx\right)+c_2{e}^2\left(\underset{0}{\overset{2}{\int }}{f}_k{e}^{-x}dx\right)+\cdots +c_n{e}^n\left(\underset{0}{\overset{n}{\int }}{f}_k{e}^{-x}dx\right)\end{array}$

লেমা 1।' k এর উপযুক্ত পছন্দের জন্য, $\frac{P}{k!}$ হল একটি অ-শূন্য পূর্ণসংখ্যা।

প্রুফ।' P-এর প্রতিটি পদ একটি পূর্ণসংখ্যা গুণিতক গুণিতকগুলির সমষ্টি, যা সম্পর্কের ফলাফল

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^j{e}^{-x}dx=j!$

যেটি যেকোনো ধনাত্মক পূর্ণসংখ্যা j এর জন্য বৈধ ( গামা ফাংশন বিবেচনা করুন)।

এটি অ-শূন্য কারণ প্রতিটি a সন্তোষজনক 0< a ≤ n এর জন্য ইন্টিগ্র্যান্ড

$c_a{e}^a\underset{a}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx$

e^−x হল একটি পদের যোগফল যার সর্বনিম্ন ক্ষমতা x এর জন্য x প্রতিস্থাপনের পর k+1 হয় অখণ্ডে +a। তারপর এটি ফর্মের অবিচ্ছেদ্য যোগফল হয়ে যায়

$A_{j-k}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^j{e}^{-x}dx$ যেখানে A_j-k পূর্ণসংখ্যা।

k+1 ≤ j সহ, এবং তাই এটি (k+1) দ্বারা বিভাজ্য একটি পূর্ণসংখ্যা! k! দ্বারা ভাগ করার পর, আমরা শূন্য মডুলো (k+1) পাব। যাইহোক, আমরা লিখতে পারি:

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}({[(-1{)}^n(n!)]}^{k+1}{e}^{-x}{x}^k+\cdots )dx$

এবং এগুলো

$\frac{1}{k!}{c}_0\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}_k{e}^{-x}dx\equiv c_0[(-1{)}^n(n!){]}^{k+1}\equiv ̸0(\mathrm{mod}k+1).$

সুতরাং P-এর প্রতিটি অখণ্ডকে k! দ্বারা ভাগ করার সময়, প্রাথমিকটি k+1 দ্বারা বিভাজ্য নয়, তবে বাকিগুলি যতক্ষণ k+1 হবে ততক্ষণ। প্রাইম এবং n এবং |c₀| থেকে বড়। এটি অনুসরণ করে যে

$\frac{P}{k!}$

নিজেই মৌলিক k+1 দ্বারা বিভাজ্য নয় এবং তাই শূন্য হতে পারে না।

লেমা 2। $\left|\frac{Q}{k!}\right|<1$ যথেষ্ট বড় $k$ এর জন্য।

প্রুফ। নোট করুন

$\begin{array}{cc}{f}_k{e}^{-x}& =x^k[(x-1)(x-2)\cdots (x-n){]}^{k+1}{e}^{-x}\\ & ={(x(x-1)\cdots (x-n))}^k\cdot ((x-1)\cdots (x-n)e^{-x})\\ & =u(x{)}^k\cdot v(x)\end{array}$

যেখানে $u(x)$ এবং $v(x)$ সব $x$ এর জন্য $x$ এর একটানা ফাংশন, তাই সীমাবদ্ধ। ব্যবধানে $[0,n]$। অর্থাৎ, ধ্রুবক আছে $G,H>0$ এরকম

$\left|f_k{e}^{-x}\right|\le |u(x){|}^k\cdot |v(x)|<G^{k}H\text{ for }0\le x\le n.$

তাই $Q$ কম্পোজ করা সেই অখণ্ডের প্রতিটিই আবদ্ধ, সবচেয়ে খারাপ অবস্থা

$\left|\underset{0}{\overset{n}{\int }}{f}_k{e}^{-x}dx\right|\le \underset{0}{\overset{n}{\int }}\left|f_k{e}^{-x}\right|dx\le \underset{0}{\overset{n}{\int }}{G}^{k}Hdx=n{G}^{k}H.$

এখন $Q$ যোগফলকেও আবদ্ধ করা সম্ভব:

$\left|\underset{0}{\overset{n}{\int }}{f}_k{e}^{-x}dx\right|\le \underset{0}{\overset{n}{\int }}\left|f_k{e}^{-x}\right|dx\le \underset{0}{\overset{n}{\int }}{G}^{k}Hdx=n{G}^{k}H.$

যেখানে $M$ একটি ধ্রুবক যা $k$ এর উপর নির্ভর করে না। এটা যে অনুসরণ করে

$\left|\frac{Q}{k!}\right|<M\cdot \frac{G^k}{k!}\to 0\text{ as }k\to \mathrm{\infty },$

এই লেমার প্রমাণ শেষ করছি।

উভয় লেমাকে সন্তুষ্ট করে $k$-এর মান নির্বাচন করা একটি অ-শূন্য পূর্ণসংখ্যার দিকে নিয়ে যায় ($P/k!$) একটি অদৃশ্য হয়ে যাওয়া ছোট পরিমাণে ($Q/k!$) শূন্যের সমান হওয়া, একটি অসম্ভবতা। এটি অনুসরণ করে যে মূল অনুমান, যে টেমপ্লেট:Mvar পূর্ণসংখ্যা সহগ সহ একটি বহুপদী সমীকরণ পূরণ করতে পারে, তাও অসম্ভব; অর্থাৎ, টেমপ্লেট:Mvar হল তুরীয়।

=== টেমপ্লেট:Pi=== এর অতিক্রম একটি অনুরূপ কৌশল, লিন্ডেম্যান-এর মূল পদ্ধতির থেকে ভিন্ন, এটি দেখানোর জন্য ব্যবহার করা যেতে পারে যে [[Pi|সংখ্যা টেমপ্লেট:Pi]] তুরীয়। গামা-ফাংশন এবং টেমপ্লেট:Mvar-এর প্রমাণ হিসাবে কিছু অনুমান ছাড়াও, প্রতিসম বহুপদী সম্পর্কে তথ্য প্রমাণে গুরুত্বপূর্ণ ভূমিকা পালন করে।

টেমপ্লেট:Pi এবং টেমপ্লেট:Mvar-এর সীমা অতিক্রম করার প্রমাণ সম্পর্কিত বিস্তারিত তথ্যের জন্য, রেফারেন্স এবং বহিঃসংযোগগুলি দেখুন।

এছাড়াও দেখুন

• ট্রান্সসেন্ডেন্টাল নাম্বার থিওরি, ট্রান্সসেন্ডেন্টাল নাম্বার সম্পর্কিত প্রশ্নের অধ্যয়ন
• গেলফন্ড-স্নাইডার উপপাদ্য
• ডিওফ্যান্টাইন আনুমানিক
• পিরিয়ডস, সংখ্যার একটি সেট (উভয় ট্রান্সসেন্ডেন্টাল এবং বীজগাণিতিক সংখ্যা সহ) যা অখণ্ড সমীকরণ দ্বারা সংজ্ঞায়িত করা যেতে পারে।

রেফারেন্স

• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:সাময়িকী উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি
• টেমপ্লেট:বই উদ্ধৃতি

External links

টেমপ্লেট:Wikisource 602440|Transcendental number (mathematics)}

• টেমপ্লেট:MathWorld
• টেমপ্লেট:MathWorld
• টেমপ্লেট:MathWorld
• টেমপ্লেট:In lang Proof that e is transcendental
• টেমপ্লেট:In lang Proof that the Liouville Constant is transcendental টেমপ্লেট:ওয়েব আর্কাইভ
• টেমপ্লেট:In lang Proof that e is transcendental (PDF) টেমপ্লেট:ওয়েব আর্কাইভ
• টেমপ্লেট:In lang http://www.mathematik.uni-muenchen.de/~fritsch/pi.pdf টেমপ্লেট:ওয়েব আর্কাইভ

বিভাগ:প্রমাণ সম্বলিত নিবন্ধ