সেভার উপপাদ্য
ইউক্লিডীয় জ্যামিতিতে, সেভার উপপাদ্য হলো ত্রিভুজ সম্পর্কিত একটি উপপাদ্য। ইতালীয় গণিতবিদ জিওভানি সেভা-এর নামানুসারে উপপাদ্যটির নামকরণ করা হয়েছে।
ধরি, টেমপ্লেট:Math একটি ত্রিভুজ। এখন টেমপ্লেট:Mvar রেখাগুলি অঙ্কন করি যা শীর্ষবিন্দুত্রয় থেকে একটি সাধারণ বিন্দু টেমপ্লেট:Mvar তে ( যা টেমপ্লেট:Math এর বাহুর ওপর অবস্থিত নয়) মিলিত হয়েছে এবং যা ত্রিভুজের বাহুতে বা বাহুর বর্ধিতাংশে যথাক্রমে টেমপ্লেট:Mvar বিন্দুতে ছেদ করে। ( টেমপ্লেট:Mvar রেখাংশগুলিকে সেভিয়ান বলা হয়।) তারপর, রেখাংশসমূহের দৈর্ঘ্য ব্যবহার করে,
অন্য কথায়, একটি রেখার কিছু স্থির অবস্থান অনুসারে টেমপ্লেট:Mvar বিন্দুটি টেমপ্লেট:Mvar এর বামে নাকি ডানে আছে সেই অনুযায়ী টেমপ্লেট:Mvar দৈর্ঘ্যকে ধনাত্মক বা ঋণাত্মক হিসাবে ধরা হয়। উদাহরণস্বরূপ, টেমপ্লেট:Mvar কে ধনাত্মক মান হিসাবে সংজ্ঞায়িত করা হয় যখন টেমপ্লেট:Mvar, টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar এর মধ্যে থাকে; অন্যথায় ঋণাত্মক ধরা হয়।
সেভার উপপাদ্য হলো অ্যাফাইন জ্যামিতির একটি উপপাদ্য, এই অর্থে যে এটি কোণ, ক্ষেত্রফল এবং দৈর্ঘ্যের ধারণাসমূহ ব্যবহার না করেই বর্ণনা এবং প্রমাণ করা সম্ভব ( সহরৈখিক দুটি রেখার দৈর্ঘ্যের অনুপাত ব্যতীত)। তাই এই উপপাদ্যটি যেকোনো ক্ষেত্রের উপরে যেকোনো অ্যাফাইন সমতলে সকল ত্রিভুজের জন্য সত্য।
এর একটি সামান্য অভিযোজিত উপপাদ্যটিও সত্য, যেটি হচ্ছে- যদি টেমপ্লেট:Mvar বিন্দুসমূহ যথাক্রমে টেমপ্লেট:Mvar বাহুতে বেছে নেওয়া হয় যেখানে
তাহলে টেমপ্লেট:Mvar সমবিন্দুগামী রেখা, বা তিনটিই সমান্তরাল হবে। এই অনুসিদ্ধান্তটিকে প্রায়ই উপপাদ্যের অংশ হিসাবে ধরা হয়।
উপপাদ্যটির জন্য প্রায়শই জিওভানি সেভার অবদানকে স্বীকার করা হয়, যিনি ১৬৭৮ সালে তার রচিত ডি লাইনিস রেকটিস নামক বইয়ে প্রকাশ করেছিলেন। কিন্তু এই উপপাদ্যটি এর অনেক আগেই ইউসুফ আল-মুতামান ইবনে হাউদ কর্তৃক প্রমাণ হয়েছিল, যিনি একাদশ শতাব্দীতে জারাগোজার রাজা ছিলেন। [১]
উপপাদ্যটির সাথে সম্পর্কিত বেশ কিছু শব্দ বা টার্ম সেভা-এর নাম থেকে উদ্ভূত হয়েছে যার মধ্যে কয়েকটি পদ হলো: সেভিয়ান ( চিত্রে টেমপ্লেট:Mvar রেখাগুলি হলো টেমপ্লেট:Mvar এর সেভিয়ান), সেভিয়ান ত্রিভুজ (ত্রিভুজ টেমপ্লেট:Math হলো টেমপ্লেট:Mvar এর সেভিয়ান ত্রিভুজ); সেভিয়ান নেস্ট, বিপরীত সেভিয়ান ত্রিভুজ, সেভা কনজুগেট ইত্যাদি।
সেভার উপপাদ্যটি মেনেলাউসের উপপাদ্যের সাথে এতটাই সাদৃশ্যপূর্ণ যে তাদের সমীকরণগুলো শুধুমাত্র চিহ্নের মাধ্যমে আলাদা করা হয়। ক্রস-অনুপাতের পরিপ্রেক্ষিতে উভয় উপপাদ্যকে পুনরায় লিখলে, দুটি উপপাদ্যকে প্রজেক্টিভ দ্বৈত হিসাবে মনে হতে পারে। [২]
প্রমাণ
এই উপপাদ্যটির বেশ কিছু প্রমাণ রয়েছে। এখানে দুটি প্রমাণ নিয়ে আলোচনা করা হলো।
প্রথম প্রমাণটি খুবই সহজ, যেখানে শুধু ত্রিভুজের ক্ষেত্রফলের মৌলিক গুণাবলি ব্যবহার করা হয়েছে। তবে, এখানে বিন্দু O-এর অবস্থানের উপর ভিত্তি করে কয়েকটি পৃথক ক্ষেত্র বিবেচনা করতে হয়।
দ্বিতীয় প্রমাণটি ব্যারিসেন্ট্রিক কোঅর্ডিনেট এবং ভেক্টর ব্যবহার করে করা হয়েছে, যা তুলনামূলকভাবে আরও বস্তুনিষ্ঠ এবং ক্ষেত্র নির্ভর নয়। উপরন্তু, এটি যে কোনো ক্ষেত্রের উপর যে কোনো অ্যাফাইন সমতলে কাজ করে।