গণিতবিজ্ঞান

মৌলিক সংখ্যা কি অসীম না সসীম?

মৌলিক সংখ্যা কি অসীম না সসীম?মৌলিক সংখ্যা কি অসীম না সসীম?

মৌলিক সংখ্যা

স্কুলজীবনে গণিতবিদ্যায় হাতে খড়ির একেবারে সাথেসাথেই জানা হয়ে যায় সংখ্যা (numbers) দুই ধরনের: মৌলিক (prime) ও যৌগিক (composite)। কোনো সংখ্যাকে যদি কেবলমাত্র এক এবং সেই সংখ্যা দিয়েই ভাগ করা যায় (অর্থাৎ ভাগশেষ শূন্য আসে), তাকে বলা হয় মৌলিক সংখ্যা। এই মৌলিক সংখ্যার গণিতচর্চাই পরবর্তীকালে কম্পিউটার সায়েন্সের আনুকূল্যে ক্রিপ্টোগ্রাফি (cryptography / সংকেতলিপি)-র মতো বিষয়ে একটি মূল অংশ হয়ে দাঁড়িয়েছে। এই মৌলিক সংখ্যার মধ্যে লুকিয়ে থাকা কিছু বিষ্ময় নিয়ে এই লেখা।

স্কুলে থাকাকালীনই ছাত্র-ছাত্রীরা এই মৌলিক সংখ্যার কিছু আশ্চর্য গুণাগুণ নিজেরাই দেখতে পেয়ে যায়।
প্রথমতঃ দুই ছাড়া আর কোনো জোড় সংখ্যা মৌলিক (even prime) হয় না, কারণ অন্য যে কোনো জোড় সংখ্যা দুই দ্বারা বিভাজ্য।
দ্বিতীয়তঃ সমস্ত মৌলিক সংখ্যার ব্যাপ্তি বেশ অবিন্যস্ত। অর্থাৎ তারা বেশ ছড়িয়ে ছিটিয়ে আছে। শুরুর দিকের মৌলিক সংখ্যাগুলির ওপর চোখ বোলালেই ব্যাপারটা পরিষ্কার হবে: ২, ৩, ৫, ৭, ১১, ১৩, ১৭, ১৯, ২৩, ২৯, ৩১, … । সুতরাং, যদি প্রশ্ন করা হয় : ২০২০ তম মৌলিক সংখ্যাটি কি? তাহলে গণনার জন্য কোনো সুনির্দিষ্ট ফর্মুলা না থাকায় কম্পিউটারের শরণাপন্ন হওয়া ছাড়া গতি নেই।

কতগুলো মৌলিক সংখ্যা হয়?

স্বাভাবিক ভাবেই মনের মধ্যে একটা প্রশ্ন উঁকি দেয়: মৌলিক সংখ্যার কি আদৌ কোনো শেষ আছে? অর্থাৎ এক কথায় বলতে গেলে: মৌলিক সংখ্যার সংখ্যা সসীম না অসীম?
এই প্রশ্নটির খুব সরল অথচ গাণিতিকভাবে আকর্ষণীয় প্রমাণ দেন গ্রীক গণিতজ্ঞ ইউক্লিড। তিনি প্রমাণ করেন মৌলিক সংখ্যার সংখ্যা অসীম।
প্রমাণটা এইরকম: আমরা শুরুতে ধরে নিই যে মৌলিক সংখ্যার সংখ্যা সসীম। সেই সীমাটাকে চিহ্নিত করা যাক। ধরা যাক, n সংখ্যক মৌলিক সংখ্যা হতে পারে। মৌলিক সংখ্যাগুলির নামকরণ কর হল p1 , p2 , … , pn হিসেবে। এই , n সংখ্যক সংখ্যার বাইরে আর কোনো মৌলিক সংখ্যা নেই।

কিন্তু, একটা মৌলিক সংখ্যা সহজেই বানানো যায় যেটা এর বাইরে। p1, p2, … , pn সংখ্যাগুলোকে গুণ করে তার সাথে এক যোগ করে একটা নতুন সংখ্যা তৈরী করা যাক:

(p1 X p2 X … X pn ) + ১

এই সংখ্যাটি p1 , p2 , … , pn -এর মধ্যে কোনো একটা নয় কারণ সে এদের গুণফলের থেকেও বড়। আবার একে p1 , p2 , … , pn -এর মধ্যে যেকোনো একজনকে দিয়ে ভাগ করলেই ভাগশেষ এক হবে। অতএব, কোনো মৌলিক সংখ্যার দ্বারাই সে বিভাজ্য নয়। তাই সে নিজেই মৌলিক।
সুতরাং, শুরুর অনুমানটা অসম্ভব এবং মৌলিক সংখ্যার সংখ্যা অসীম। এটা যাচাই করতে ধরা যাক যদি ২ আর ৩-এ মিলে মৌলিক সংখ্যা শেষ হতো, তাহলে সেটা ভুল হতো কারণ

(২ X ৩) + ১ = ৭

এটাও একটা মৌলিক সংখ্যা। যদি {২,৩,৫,৭} মিলে মৌলিক সংখ্যা শেষ হতো, সেটাও ভুল হতো কারণ

(২ X ৩ X ৫ X ৭ ) + ১ = ২১১

এটাও মৌলিক সংখ্যা। যেখানেই শেষ ধরে নিই না কেন, আরো বড় একটা মৌলিক সংখ্যা তৈরী করতে পারি।

এই ধরনের প্রমাণের পদ্ধতিকে বলে “মেথড অফ কন্ট্রাডিকশন”। পদ্ধতিটি কিছুটা এরকম: যে জিনিসটা প্রমাণ করতে চাই, তার বিপরীত বক্তব্যকে ধরে নেব সত্য বলে। তা থেকে এমন একটা সিদ্ধান্তে পৌঁছবো যেটা শুরুর ধরে নেওয়া বক্তব্যটাকে নাকচ করে দেয়।

মৌলিক সংখ্যা সংখ্যায় অসীম হলে যোগফলও কি অসীম হবে?

গণিতের জগতে যখনই এরকম কোনো বিশেষ ধরনের সংখ্যাগোষ্ঠীর সদস্যসংখ্যা অসীম হয়, তখন প্রশ্ন ওঠে তাদের অসীম সমষ্টি বা তাদের কোনো বিশেষ রূপের অসীম সমষ্টির মান নিয়ে।
ছোট্ট উদাহরণ দিলেই ব্যাপারটা পরিষ্কার হয়ে যাবে। ধরা যাক: ১, ২, ৪, ৮, ১৬, ৩২, ….. এই ধরনের সংখ্যার কথা। অর্থাৎ ২n জাতীয় সংখ্যা যেখানে n হলো ১, ২, ৩, ৪, ….। যেহেতু এগুলি ধনাত্মক (পজিটিভ) এবং ক্রমবর্ধমান সংখ্যা, তাই এর অসীম সমষ্টিকে নিলে আমরা কোনো সসীম মান পাব না। কিন্তু আমরা যদি এর বিপরীত সংখ্যাগুলির (রেসিপ্রোকাল-এর) সমষ্টির কথা ভাবি:

১ + ১/২ + ১/৪ + ১/৮ + ১/১৬ + ১/৩২ + …

তাহলে দেখবো এই অসীম সমষ্টির মান কিন্তু সসীম:

১ + ১/২ + ১/৪ + ১/৮ + ১/১৬ + ১/৩২ + … = ২

প্রমাণ করা সোজা। যদি যোগফলটা S হয়, তাহলে:

S = ১ + + ১/২ + ১/৪ + ১/৮ + ১/১৬ + ১/৩২ + …
= ১ + ১/২ [১ + ১/২ + ১/৪ + ১/৮ + ১/১৬+ … ] = ১ + ১/২ S

সমীকরণটা সমাধান করলে দাঁড়ায় S = ২।

ওই একই প্রশ্ন স্বাভাবিক ভাবেই উঠে আসে মৌলিক সংখ্যার ক্ষেত্রেও। এদের অসীম সমষ্টির মান সসীম না অসীম? প্রথম অসীম সমষ্টির ক্ষেত্রে উত্তরটা সোজা:

২ + ৩ + ৫+ ৭+ ১১ + ১৩ + ১৭ + ১৯ +২৩ + …

প্রত্যাশিত ভাবেই সমষ্টির মান অসীম কারণ অসীম সমষ্টিটি ধনাত্মক, ক্রমবর্ধমান সংখ্যার যোগফল।

কিছুটা আশ্চর্য ফল পাওয়া যায় বিপরীত সংখ্যার অসীম সমষ্টিটির ক্ষেত্রে। এই ক্ষেত্রে সংখ্যাগুলি ধনাত্মক এবং ক্রমহ্রাসমান। অর্থাৎ, সিরিজ-এ যত এগোচ্ছি, সংখ্যার মান কমতে থাকছে। তা সত্ত্বেও এই যোগফলটা কিন্তু অসীম:

১/২ + ১/৩ + ১/৫+ ১/৭+ ১/১১ + ১/১৩ + ১/১৭ + ১/১৯ +১/২৩ + …

আগের উদাহরণের সাথে তুলনা করলে একটু চমকে ওঠা স্বাভাবিক।
মৌলিক সংখ্যাগুলির বিপরীত সংখ্যার যোগফল অসীম – এই গাণিতিক সত্যটি প্রথম প্রমাণ করেন সুইস গণিতজ্ঞ লিওনার্ড অয়লার (Leonhard Euler) । যদিও পাঠকদের সুবিধার্থে আমরা হাঙ্গেরিয়ান গণিতজ্ঞ পল এরদিশ (Paul Erdős) -এর আবিষ্কৃত প্রমাণে চোখ রাখবো। এই প্রমাণটিও “মেথড অফ কন্ট্রাডিকশন”-এর ওপর নির্ভরশীল।

মেথড অফ কন্ট্রাডিকশন

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

যা প্রমাণ করতে চাই, তার বিপরীত-টা কল্পনা করা যাক। অর্থাৎ, এই অসীম সমষ্টির মান সসীম। এই মানটিকে “S” হিসেবে চিহ্নিত করা যাক:

১/২ + ১/৩ + ১/৫+ ১/৭+ ১/১১ + ১/১৩ + ১/১৭ + ১/১৯ +১/২৩ + … = S

এবার মৌলিক সংখ্যাগুলোকে দুভাগে ভাগ করা যাক:

• প্রথম ভাগ: ২,৩,৫,৭,…,pn । এদের ‘ছোট’ মৌলিক সংখ্যা বলি।
• দ্বিতীয় ভাগ: pn+১, pn+২, pn+৩,…। এদের ‘বড়’ মৌলিক সংখ্যা বলি।

ভাগটা কোথায় করছি, সেটা এই প্রমাণের জন্য জরুরি নয়। কিন্তু বোঝার সুবিধের জন্য ভাগটা এমনভাবে করলাম যাতে প্রথম ভাগের সমষ্টি (S – ১/২)-এর থেকে একটু বেশি আর দ্বিতীয় ভাগের সমষ্টি ১/২-এর থেকে ঠিক ততটাই কম (দু-ভাগের যোগফল যাতে S থাকে) । অসমীকরণগলো লিখলে দাঁড়ায় এরকম:

১/২ + ১/৩ + ১/৫ + ১/৭ +… + ১/pn > S – ১/২
১/pn+১ + ১/pn+২ + ১/pn+৩ +… < ১/২

১/২ ব্যাপারটা এখানে জরুরি নয়। এক ভাগের সমষ্টির মান S-এর থেকে সামান্য কম, ব্যস এইটুকুই প্রয়োজন। তবে, ১/২ ধরলে অঙ্কটা করতে সুবিধে হয়।

এবার একদল স্বাভাবিক সংখ্যা নিয়ে (অর্থাৎ ১, ২, ৩, ৪,…, N), তাদের দুদলে ভাগ করা যাক:

• প্রথম দল: এরা একমাত্র ছোট মৌলিক সংখ্যাগুলোর দ্বারাই বিভাজ্য। অর্থাৎ এদের গুণকনির্ণয় (ফ্যাক্টরাইজেশান) করলে কোনো বড় মৌলিক সংখ্যা আসেনা।

• দ্বিতীয় দল: এদের গুণকনির্ণয় করলে এক বা একাধিক বড়ো মৌলিক সংখ্যা আসে।
প্রথম দলে যত সংখ্যা আছে, সেটাকে Ns হিসেবে চিহ্নিত করলাম আর দ্বিতীয় দলে যত সংখ্যা আছে, সেটাকে Nb। ‘s’ ছোট বা স্মল-এর প্রতীক আর ‘b’ বড়ো বা বিগ-এর।

একই উৎস থেকে পরস্পর-বিরোধী সত্য

যে পরস্পর-বিরোধী দুটো সত্য এবার বেরিয়ে আসবে, সেগুলোকে অঙ্কের ভাষায় লেখা খুব সোজা। প্রথমটা হলো:

Ns + Nb = N

দ্বিতীয়টা হলো:

Ns + Nb < N

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

একে একে দুটো সত্যিকে এবার সাব্যস্ত করা যাক। প্রথমটা সোজা। দুটো দল এমনভাবে গঠন করেছিলাম যে ১, ২, ৩, ৪,…,N-এর মধ্যে যে কোনো একটা স্বাভাবিক সংখ্যা নিলে, সে হয় প্রথম দলে থাকবে, নতুবা দ্বিতীয় দলে। অতএব দুই দলের সদস্যসংখ্যার সমষ্টি N হতে বাধ্য:

Ns + Nb = N

দ্বিতীয় সত্যটাকে প্রমাণ করতে একটু কাঠখড় পোড়াতে হবে। এক এক করে ছোট-র দল আর বড়-র দলকে দেখা যাক।

বড়-র দল: যাদের অন্তত একটা ফ্যাক্টর বড় মৌলিক সংখ্যা

বড় মৌলিক সংখ্যাগুলোকে তৈরী করা হয়েছিল এই অসমীকরণটার সাহায্যে:

১/pn+১ + ১/pn+২ + ১/pn+৩ +… < ১/২

অসমীকরণটার দুদিকেই N দিয়ে গুণ করলে আসে:

N/pn+১ + N/pn+২ + N/pn+৩ +… < N/২

এবার বড়ো মৌলিক সংখ্যা ছেড়ে বড় স্বাভাবিক সংখ্যা-র দলটাকে দেখা যাক। এই দলে তারাই আছে যাদের অন্তত একটা গুণনীয়ক (ফ্যাক্টর) একটা বড় মৌলিক সংখ্যা। এবার আমরা গুণবো, এই বড়-র দলে কতগুলো সদস্য আছে।

N-এর থেকে ছোট এবং যার একটা গুণনীয়ক pn+১, সেই সংখ্যাগুলোকে লেখা যাক:

pn+১, ২pn+১ , ৩pn+১, ৪pn+১,…

এরকম করে গুনতে থাকলে N-এ গিয়ে থামবো (যদি N হয় pn+১ -এর একটা গুণিতক বা মাল্টিপল), বা তার একটু আগে থামবো। অর্থাৎ এরকম সংখ্যা পাবো N/pn+১ গুলো বা তার কম [টীকা ১] । একই কথা pn+২ , pn+৩,…, ইত্যাদি-র ক্ষেত্রেও বলা চলে।

তাহলে, বড়ো-র দলে যতগুলো সদস্য আছে, সেটা N/pn+১ + N/pn+২ + N/pn+৩ +…-এর সমান হতে পারে বা তার কম। এই সদস্যসংখ্যাকেই নাম দিয়েছিলাম Nb। অতএব:

Nb ≦ N/pn+১ + N/pn+২ + N/pn+৩ +… < N/২

দ্বিতীয় অসমীকরণটা এই সেকশন-এ একটু আগেই দেখলাম।

সুতরাং, বড়োর দলের সংখ্যা অর্থাৎ Nb সংখ্যাটি N/২-এর থেকে কম। এবার ছোট-র দলে যাওয়া যাক। এটুকু প্রমাণ করলেই হবে যে সেই দলের সদস্যসংখ্যা অর্থাৎ Ns সংখ্যাটি N/২ এর সমান বা কম। তাহলেই, এইটা প্রমাণ হয়ে যাবে:

Ns + Nb < N

ছোট-র দল: যাদের সব ফ্যাক্টর-ই ছোট মৌলিক সংখ্যা

ছোট-র দলে সেইসব সংখ্যা ছিল যাদের সবকটা গুণনীয়কই (ফ্যাক্টর) ছোট মৌলিক সংখ্যা। অর্থাৎ এদেরকে ভাঙলে যে কোনো ছোট মৌলিক সংখ্যা শূন্য, এক বা একাধিকবার আসবে। অর্থাৎ, ছোট-র দলে যে কোনো একটা সংখ্যা m-কে লেখা যায় এইভাবে:

m = am X bm২

am -এর মধ্যে যে কোন ছোট মৌলিক সংখ্যা শূন্যবার বা একবার এসেছে। bm২ -এর মধ্যে ছোট মৌলিক সংখ্যা জোড়সংখ্যক-বার এসেছে। ধরো, ৫৪ সংখ্যাটি। এটাকে লেখা যায়:

৫৪ = ২ X ৩ X ৩ X ৩

এক্ষেত্রে am হলো ২ X ৩ আর bm২ হল ৩ X ৩। এরকমভাবে ভাগ করতে হলে আগে সংখ্যাটির পুরো গুনকনির্ণয় করো। তারপর যেসব মৌলিক সংখ্যাগুলো বিজোড়সংখ্যকবার এসেছে, তাদের থেকে একটা করে নিয়ে am-এ ঢোকাও। বাকি যা পড়ে রইলো, সেগুলো bm২ -এ ঢোকাও।

এবার am আর bm–কে আলাদা করে দেখি।

• am : এক একেকটা am হলো আসলে ছোট মৌলিক সংখ্যার বিন্যাস (ডিস্ট্রিবিউশন বা অ্যারেঞ্জমেন্ট) যার মধ্যে যে কোনো ছোট মৌলিক সংখ্যা হয় শূন্যবার নয় একবার এসেছে। এরকম কতগুলো বিন্যাস হয়? ২n-গুলো, যেখানে n টি ছোট মৌলিক সংখ্যা রয়েছে।

• bm: শুরুতে ১,২,৩,৪…,N-এর মধ্যে থেকেই ছোট-বড়ো সব দল তৈরী করেছিলাম। তাই ছোট-র দলের যে কোনো সংখ্যা (যাকে m বলছি) N-এর থেকে ছোট বা সমান। তাই, bm২-ও N-এর থেকে ছোট বা সমান। তাই:

bm ≤ √ N

এবার উপরের দুটো তথ্যকে মেলানো যাক। যেহেতু যেকোনো ছোট-র দলের সদস্যকে am X bm২ হিসেবে লেখা যায়, তাই ছোট-র দলের সদস্যসংখ্যা Ns এই অসমীকরণটি মেনে চলে:

Ns ≤ ২n √ N

এতক্ষণ N-এর উপর কোনো বিধিনিষেধ ছিল না। যা খুশি হতে পারতো। এবার N যদি ২২n+২ হয়, তাহলে এরকম দাঁড়াবে:

Ns ≤ ২n √ N = ২২n+১ = N/২

আর N যদি ২২n+২-এর থেকে বেশি হয়, তাহলে এরকম দাঁড়াবে:

Ns ≤ ২n √ N < N/২

অর্থাৎ, অন্তত কিছু N-এর ক্ষেত্রে ছোট-র দলের সংখ্যা N/২-এর সমান বা কম। আগের সেকশন-এ দেখেছিলাম, বড়-র দলের সংখ্যা N/২-এর কম। দুইয়ে মিলে দাঁড়ালো:

Ns + Nb < N

যেটা Ns + Nb = N-এর সরাসরি বিরোধ করে। অতএব একদম শুরুতে যে ধরে নিয়েছিলাম:

১/২ + ১/৩ + ১/৫+ ১/৭+ ১/১১ + ১/১৩ + ১/১৭ + ১/১৯ +১/২৩ + … = S

যেখানে S একটা সসীম সংখ্যা, সেটা ঠিক নয়। অর্থাৎ, মৌলিক সংখ্যার বিপরীত সংখ্যার সমষ্টি অসীম।

 

 

আরও পড়তে পারেন: জেনেটিক্যালি মডিফাইড ফুড, হ্যাঁ/না? /genetically-modified-food/

তথ্যসূত্রঃ bigyan.org.in

যারা বিষয়টি নিয়ে আরও গভীরে জানতে ইচ্ছুক তাদেরকে কয়েকটি বইয়ের কথা অবশ্যই বলতে হয়:
1. Introduction to the Theory of Numbers by G. Hardy & E. Wright (Oxford)
2. Ingenuity in Mathematics by Ross Honsberger (Mathematical Association of America)
3. Proofs from THE BOOK by Martin Aigner (Springer)

Leave a Reply

%d bloggers like this: