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

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

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

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

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

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

:
\begin{align}
L_b &= \sum_{n=1}^\infty 10^{-n!} \\ &= 10^{-1} + 10^{-2} + 10^{-6} + 10^{-24} + 10^{-120} + 10^{-720} + 10^{-5040} + 10^{-40320} + \ldots \\
&= 0.\textbf{1}\textbf{1}000\textbf{1}00000000000000000\textbf{1}00000000000000000000000000000000000000000000000000000\ldots \\
\end{align}

যেখানে দশমিক বিন্দুর পর -তম সংখ্যাটি হবে যদি কোনো সংখ্যা k এর জন্য = ( ফ্যাক্টরিয়াল) হয়, অন্যথায় -তম সংখ্যাটি হবে । অর্থাৎ -তম সংখ্যাটি 1 হবে যদি ও কেবল যদি এর মান 1! = 1, \ 2! = 2, \ 3! = 6, \ 4! = 24,... ইত্যাদি হয়। লিউভিল দেখিয়েছেন যে এই সংখ্যাটি তুরীয় সংখ্যার একটি শ্রেণীর অন্তর্গত যা যেকোনো অমূলদ বীজগাণিতিক সংখ্যার চেয়ে মূলদ সংখ্যা দ্বারা আনুমানিক কাছাকাছি হতে পারে এবং এই শ্রেণীর সংখ্যাগুলোকে তার সম্মানে 'লিউভিল সংখ্যা' নামে নামকরণ করা হয়েছে। লিউভিল দেখিয়েছেন যে সমস্ত লিউভিল সংখ্যা তুরীয়।

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

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

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

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

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

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

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

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

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

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

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

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

* যদি হয় বীজগাণিতিক সংখ্যা এবং অশূন্য ( লিন্ডেম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য)।
*pi| (লিন্ডম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
* , গেলফন্ডের ধ্রুবক, পাশাপাশি (গেলফন্ড–শ্নেইডার উপপাদ্য দ্বারা)।
* যেখানে বীজগণিতীয় কিন্তু 0 বা 1 নয়, এবং হল অমূলদ বীজগাণিতিক সংখ্যা (এর দ্বারা গেলফন্ড-স্নাইডার উপপাদ্য), বিশেষ করে:
::, Gelfond–Schneider ধ্রুবক (বা হিলবার্ট সংখ্যা)
*, , , , , এবং , এবং তাদের হাইপারবোলিক কাউন্টারপার্টস, যেকোনো অশূন্য বীজগাণিতিক সংখ্যার জন্য , [এ প্রকাশ করা হয়। [radian]]s (লিন্ডেম্যান-ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
*কোসাইন ফাংশনের স্থির বিন্দু (এটিকে ডটি নম্বর ও বলা হয়) – সমীকরণের অনন্য বাস্তব সমাধান , যেখানে রেডিয়ানে (লিন্ডেম্যান–ওয়েইয়েরস্ট্রাস উপপাদ্য দ্বারা)।
* যদি বীজগাণিতিক সংখ্যা হয় এবং লগারিদম ফাংশনের যেকোনো শাখার জন্য 0 বা 1 এর সমান না হয় (লিন্ডেম্যান- দ্বারা উইয়েরস্ট্রাস উপপাদ্য)।
* যদি এবং ধনাত্মক পূর্ণসংখ্যা হয় একই পূর্ণসংখ্যার উভয় শক্তি নয় (গেলফন্ড-স্নাইডার উপপাদ্য দ্বারা)।
* বেসেল ফাংশন , এর প্রথম ডেরিভেটিভ, এবং ভাগফল হয় ট্রান্সেন্ডেন্টাল যখন ν মুলদ হয় এবং x হয় বীজগাণিতিক সংখ্যা এবং অশূন্য, এবং এবং -এর সমস্ত অশূন্য মূল তুরীয় সংখ্যা হয়, যখন ν মুলদ হয়।
* যদি হয় বীজগাণিতিক সংখ্যা এবং অশূন্য, ল্যামবার্ট ডব্লিউ ফাংশনের যেকোনো শাখার জন্য (দ্বারা লিন্ডেম্যান–ওয়েয়ারস্ট্রাস উপপাদ্য), বিশেষ করে: ওমেগা ধ্রুবক
* {{math|}, যেকোনো প্রাকৃতিক সংখ্যার square super-root হয় একটি পূর্ণসংখ্যা বা ট্রান্সসেন্ডেন্টাল (গেলফন্ড-শ্নেইডার উপপাদ্য দ্বারা)
* , via Wolfram Mathworld, Transcendental Number , এবং . এছাড়াও \Gamma(1/4)^4/\pi এবং \Gamma(1/3)^2/\pi সংখ্যাগুলিও তুরীয় সংখ্যা। ref name=":0">
* 0.64341054629..., কাহেনের ধ্রুবক।
* চ্যাম্পারনোন ধ্রুবক, সমস্ত ধনাত্মক পূর্ণসংখ্যার সমন্বিত উপস্থাপনা দ্বারা গঠিত অমূলদ সংখ্যা। p=12}}।
* , চৈটিনের ধ্রুবক (যেহেতু এটি একটি অ-গণনাযোগ্য সংখ্যা)।
* তথাকথিত ফ্রেডহোম ধ্রুবক, যেমন
*:\sum_{n=0}^\infty 10^{-2^n} = 0.\textbf{1}\textbf{1}0\textbf{1}000\textbf{1}0000000\ textbf{1}\ldots
:যা 10 কে যেকোনো বীজগাণিতিক সংখ্যা দিয়ে প্রতিস্থাপন করে।
* গাউসের ধ্রুবক এবং লেমনিসকেট ধ্রুবক।
* যেকোন বীজগাণিতিক -এর জন্য পূর্বোক্ত লিউভিল ধ্রুবক।
* প্রোহেত–থু–মোর্স ধ্রুবক।
* কোমোরনিক–লোরেটি ধ্রুবক।
* যে কোনো সংখ্যা যার জন্য কিছু নির্দিষ্ট ভিত্তির সাপেক্ষে অঙ্কগুলি একটি স্টুরমিয়ান শব্দ গঠন করে।
* এর জন্য
::\sum_{k=0}^\infty 10^{-\left\lfloor \beta^{k} \right\rfloor};
: যেখানে \beta\mapsto\lfloor \beta \rfloor হল ফ্লোর ফাংশন।
* 3.300330000000000330033... এবং এর পারস্পরিক 0.30300000303..., শুধুমাত্র দুটি ভিন্ন দশমিক সংখ্যা সহ দুটি সংখ্যা যার অশূন্য অঙ্কের অবস্থান Moser–de Bruijn ক্রম এবং এর দ্বিগুণ।
* সংখ্যা , যেখানে এবং হল বেসেল ফাংশন এবং হল ইউলার–মাশ্চেরনি ধ্রুবক৷
* নেস্টেরেনকো 1996 সালে প্রমাণ করেছিলেন যে \pi,e^\pi এবং \Gamma(1/4) বীজগাণিতিক সংখ্যাভাবে স্বাধীন।
সম্ভাব্য তুরীয় সংখ্যা

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

অনুমান:
* শানুয়েলের অনুমান,
* চারটি সূচক অনুমান।
একটি প্রমাণের স্কেচ, যে তুরীয় সংখ্যা

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

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

:c_{0}+c_{1}e+c_{2}e^{2}+\cdots+c_{n}e^{n}=0, \qquad c_0, c_n \neq 0.

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

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

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

:\int^{\infty}_{0} f_k e^{-x}\,dx,

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

:c_{0} \left (\int^{\infty}_{0} f_k e^{-x}\,dx\right )+ c_1e\left ( \int^{\infty}_{0}f_k e^{-x}\,dx\right )+\cdots+ c_{n}e^{n} \left (\int^{\infty}_{0}f_k e^{-x}\,dx\right ) = 0.

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

:P+Q=0

যেখানে

:\begin{align}
P &= c_{0}\left ( \int^{\infty}_{0}f_k e^{-x}\,dx\right )+ c_{1}e\left (\int^{\infty}_{1}f_k e^{-x}\,dx\right )+ c_{2}e^{2}\left (\int^{\infty}_{2}f_k e^{-x}\,dx\right ) +\cdots+ c_{n}e^{n}\left (\int^{\infty}_{n}f_k e^{-x}\,dx\right ) \\
Q &= c_{1}e\left (\int^{1}_{0} f_k e^{-x}\,dx\right )+c_{2}e^{2} \left (\int^{2}_{0} f_k e^{-x}\,dx\right )+\cdots+c_{n}e^{n}\left (\int^{n}_{0} f_k e^{-x}\,dx \right )
\end{align}

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

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

:\int^{\infty}_{0}x^{j}e^{-x}\,dx=j!

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

এটি অ-শূন্য কারণ প্রতিটি a সন্তোষজনক 0c_{a}e^{a}\int^{\infty}_{a} f_k e^{-x}\,dx

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

:A_{j-k}\int^{\infty}_{0}x^{j}e^{-x}\,dx যেখানে Aj-k পূর্ণসংখ্যা।

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

:\int^{\infty}_{0} f_k e^{-x}\,dx = \int^{\infty}_{0} \left ( \left [(-1)^{n }(n!) \right ]^{k+1}e^{-x}x^k + \cdots \right ) dx

এবং এগুলো

:{\frac {1}{k!}}c_{0}\int _{0}^{\infty }f_{k}e^{-x}\,dx\equiv c_{0}[(-1)^{n}(n!)]^{k+1}\not\equiv 0{\pmod {k+1}}.

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

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

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

:\begin{align}
f_k e^{-x} &= x^{k}[(x-1)(x-2)\cdots(x-n)]^{k+1}e^{-x}\\
&= \left(x(x-1)\cdots(x-n) \right)^k \cdot \left ((x-1)\cdots(x-n)e^{-x}\right)\\
&= u(x)^k \cdot v(x)
\end{align}

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

: \left |f_k e^{-x} \right | \leq |u(x)|^k \cdot |v(x)|

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

:\left|\int_{0}^{n}f_{k}e^{-x}\,dx\right| \leq \int_{0}^{n} \left |f_{k}e^{-x} \right |\,dx \leq \int_{0}^{n}G^k H\,dx = nG ^k H.

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

:\left|\int_{0}^{n}f_{k}e^{-x}\,dx\right| \leq \int_{0}^{n} \left |f_{k}e^{-x} \right |\,dx \leq \int_{0}^{n}G^k H\,dx = nG^k H.

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

:\left| \frac{Q}{k!} \right|

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

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

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

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

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

*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
External links

602440|Transcendental number (mathematics)}
*
*
*
* Proof that e is transcendental
* Proof that the Liouville Constant is transcendental
* Proof that e is transcendental (PDF)
* http://www.mathematik.uni-muenchen.de/~fritsch/pi.pdf



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

বিষয়শ্রেণী:তুরীয় সংখ্যা