স্বতঃসিদ্ধ ও উপপাদ্য — পার্থক্য কী?

বাস্তব জীবনের উদাহরণ

কী এটি?

স্বতঃসিদ্ধ (Axiom/Postulate) হলো এমন সত্য যা প্রমাণ ছাড়াই মেনে নেওয়া হয়। উপপাদ্য (Theorem) হলো যা স্বতঃসিদ্ধ ও আগের উপপাদ্য থেকে যুক্তি দিয়ে প্রমাণ করা হয়। পুরো জ্যামিতি এই দুটোর ওপর দাঁড়িয়ে আছে!

বাস্তব প্রয়োগ

আইনের ধারাগুলো স্বতঃসিদ্ধের মতো — সংবিধানে যা লেখা আছে তা মেনে নেওয়া হয়। আদালতের রায় হলো উপপাদ্যের মতো — আইন ব্যবহার করে যুক্তি দিয়ে সিদ্ধান্ত নেওয়া হয়। কম্পিউটার প্রোগ্রামিংয়ে 'if-then' লজিক প্রমাণের ধাপগুলোর মতোই কাজ করে।

মূল পয়েন্টসমূহ

• স্বতঃসিদ্ধ (Axiom / Postulate) — স্বতঃসিদ্ধ হলো এমন একটা বক্তব্য যা এতটাই স্পষ্ট ও মৌলিক যে প্রমাণ ছাড়াই সত্য বলে মেনে নেওয়া হয়। এগুলো জ্যামিতির ভিত্তি — এদের উপর দাঁড়িয়ে বাকি সব প্রমাণ হয়। যেমন: 'যেকোনো দুটো বিন্দু দিয়ে একটাই সরলরেখা আঁকা যায়।'
• উপপাদ্য (Theorem) — উপপাদ্য হলো এমন একটা বক্তব্য যা স্বতঃসিদ্ধ ও আগের প্রমাণিত উপপাদ্য ব্যবহার করে যুক্তি দিয়ে প্রমাণ করতে হয়। যেমন: 'ত্রিভুজের কোণের যোগফল 180°' — এটা একটা উপপাদ্য কারণ এটা প্রমাণ করা যায়।
• ইউক্লিডের ৫টি স্বতঃসিদ্ধ (Euclid's Postulates) — ১) দুটো বিন্দু দিয়ে একটাই সরলরেখা আঁকা যায়। ২) রেখাংশকে উভয় দিকে অসীম পর্যন্ত বাড়ানো যায়। ৩) যেকোনো বিন্দু কেন্দ্র ও যেকোনো দূরত্ব ব্যাসার্ধ নিয়ে বৃত্ত আঁকা যায়। ৪) সব সমকোণ পরস্পর সমান। ৫) সমান্তরাল রেখার স্বতঃসিদ্ধ (Parallel Postulate)।
• ইউক্লিডের সাধারণ ধারণা (Common Notions) — এগুলো গাণিতিক সাধারণ সত্য: ১) যা একই জিনিসের সমান, তারা পরস্পর সমান (a=c, b=c → a=b)। ২) সমানে সমান যোগ করলে যোগফল সমান থাকে। ৩) সমান থেকে সমান বিয়োগ করলে বিয়োগফল সমান। ৪) যা পরস্পরের উপর পড়ে, তারা সমান। ৫) সমগ্র অংশের চেয়ে বড়।
• প্রমাণ (Proof) কেন দরকার? — প্রমাণ ছাড়া কোনো বক্তব্য গণিতে গ্রহণযোগ্য নয়। চোখে দেখে মনে হতে পারে সত্য, কিন্তু প্রমাণ না করলে নিশ্চিত হওয়া যায় না। যেমন: প্রথম ১০টা বিজোড় সংখ্যার যোগফল দেখে মনে হতে পারে সবসময় বর্গসংখ্যা — কিন্তু প্রমাণ দরকার!
• উপপাদ্যের বিপরীত (Converse) — যেকোনো উপপাদ্যের শর্ত ও ফলাফল উলটে দিলে বিপরীত উপপাদ্য পাওয়া যায়। কিন্তু সাবধান — মূল উপপাদ্য সত্য হলেও বিপরীত সবসময় সত্য নাও হতে পারে! প্রতিটা আলাদাভাবে প্রমাণ করতে হয়।
• অনুসিদ্ধান্ত (Corollary) — কোনো উপপাদ্য থেকে সহজেই যে ফলাফল বের হয়, তাকে অনুসিদ্ধান্ত বলে। আলাদা করে বড় প্রমাণ লাগে না — মূল উপপাদ্য থেকেই স্পষ্ট। যেমন: 'ত্রিভুজের কোণের যোগ 180°' উপপাদ্য থেকে অনুসিদ্ধান্ত — 'সমকোণী ত্রিভুজে বাকি দুই কোণ সূক্ষ্ম'।
• ⚠️ ভুল ধারণা: ছবি আঁকলেই প্রমাণ হয়ে যায় — অনেক শিক্ষার্থী মনে করে চিত্র এঁকে দেখালেই প্রমাণ হয়ে গেল। কিন্তু চিত্র হলো সহায়ক — প্রমাণ হলো যুক্তির ধাপ। চিত্রে মাপ নিখুঁত নাও হতে পারে, তাই যুক্তি দিয়ে প্রমাণ করতে হবে।

কোড উদাহরণ

📐 সমস্যা: প্রমাণ করো যে দুটো ভিন্ন রেখা সর্বোচ্চ একটা বিন্দুতে ছেদ করতে পারে।

ধাপ ১: ধরি, দুটো ভিন্ন রেখা l₁ ও l₂ দুটো বিন্দু A ও B তে ছেদ করে।

ধাপ ২: তাহলে A ও B বিন্দু দিয়ে দুটো রেখা যায়: l₁ ও l₂।

ধাপ ৩: কিন্তু ইউক্লিডের ১ম স্বতঃসিদ্ধ অনুসারে:
        'দুটো ভিন্ন বিন্দু দিয়ে একটাই সরলরেখা যায়।'

ধাপ ৪: তাহলে l₁ ও l₂ একই রেখা হতে হবে।
        কিন্তু আমরা ধরেছিলাম তারা ভিন্ন — এটা পরস্পরবিরোধী!

ধাপ ৫: ∴ দুটো ভিন্ন রেখা দুটো বিন্দুতে ছেদ করতে পারে না।
        অর্থাৎ, সর্বোচ্চ একটা বিন্দুতে ছেদ করতে পারে। (প্রমাণিত)

[এটা 'পরোক্ষ প্রমাণ' বা 'Proof by Contradiction' পদ্ধতি]

লাইন-বাই-লাইন ব্যাখ্যা

1. 1. ধাপ ১: পরোক্ষ প্রমাণ (Proof by Contradiction) — আমরা যা প্রমাণ করতে চাই তার উলটোটা ধরি।
2. 2. ধাপ ২: ধরলাম দুটো ভিন্ন রেখা দুটো বিন্দুতে (A ও B) ছেদ করে।
3. 3. ধাপ ৩: তাহলে A ও B দিয়ে দুটো আলাদা রেখা যাচ্ছে — কিন্তু ইউক্লিড বলেছেন দুটো বিন্দু দিয়ে একটাই রেখা সম্ভব।
4. 4. ধাপ ৪: এটা পরস্পরবিরোধী (Contradiction)! তাই আমাদের ধারণা ভুল।
5. 5. ধাপ ৫: ∴ দুটো ভিন্ন রেখা সর্বোচ্চ একটা বিন্দুতে মিলতে পারে।

বাগ খুঁজে বের করুন

প্রমাণ: সব সমকোণ সমান
ধরি, ∠A = 90° এবং ∠B = 90°
যেহেতু দুটোই 90°, তাই ∠A = ∠B
∴ সব সমকোণ সমান (প্রমাণিত)

একদম সহজ ভাষায়

মজার তথ্য

হ্যান্ডস-অন চ্যালেঞ্জ

আরও রিসোর্স

• Euclid's Postulates — Khan Academy (Khan Academy)
• Axioms, Postulates and Theorems (Math is Fun)
• Euclid: The Game (GeoGebra)