রোলের উপপাদ্য

ক্যালকুলাসে, রোলের উপপাদ্য বা রোলের লেম্মা মূলত বলে যে, যেকোন বাস্তব মানবিশিষ্ট অন্তরীকরণযোগ্য ফাংশন যা দুটি স্বতন্ত্র বিন্দুতে সমান মান ধারণ করে; তার মধ্যে অন্তত একটি স্থির বিন্দু থাকতে হবে- অর্থাৎ এমন একটি বিন্দু যেখানে প্রথম অন্তরজ (ঐ বিন্দুতে অঙ্কিত স্পর্শক রেখার ঢাল) শূন্য হবে । উপপাদ্যটি মাইকেল রোলের নামানুসারে নামকরণ করা হয়েছে।
উপপাদ্যটির আদর্শ সংস্করণ
এমন একটি বাস্তব মানবিশিষ্ট - ফাংশন টেমপ্লেট:Mvar যা টেমপ্লেট:Math বদ্ধ ব্যবধিতে অবিচ্ছিন্ন, টেমপ্লেট:Math মুক্ত ব্যবধিতে অন্তরীকরণযোগ্যতা এবং টেমপ্লেট:Math, তাহলে টেমপ্লেট:Math মুক্ত ব্যবধিতে একটি সংখ্যা টেমপ্লেট:Mvar আছে, যার জন্য
- ।
রোলের উপপাদ্যের এই সংস্করণটি গড় মান উপপাদ্য প্রমাণ করতে ব্যবহৃত হয়, যার মধ্যে রোলে'র উপপাদ্য মূলত একটি বিশেষ ঘটনা । এটি টেইলরের উপপাদ্য প্রমাণের ভিত্তি।
ইতিহাস
ভারতীয় গণিতবিদ দ্বিতীয় ভাস্কর-কে(১১১৪-১১৮৫) রোলে'র উপপাদ্যের জ্ঞান থাকার জন্য কৃতিত্ব দেওয়া হয়।[১] যদিও উপপাদ্যটি মাইকেল রুলের নামে নামকরণ করা হয়েছে, ১৬৯১ সালে রুলের করা প্রমাণ শুধুমাত্র বহুপদী ফাংশনের ক্ষেত্রে আব্দদ্ধ ছিল। তার প্রমাণে তিনি ডিফারেনশিয়াল ক্যালকুলাস পদ্ধতি ব্যবহার করেননি। যা তার জীবনের সেই সময়ে তিনি বিভ্রান্তিকর বলে বিবেচনা করতেন। উপপাদ্যটি ১৮২৩ সালে কোশি কর্তৃক গড় মান উপপাদ্যের একটি অনুসিদ্ধান্ত হিসেবে প্রথম প্রমাণিত হয়।[২] ১৮৩৪ সালে জার্মানির মরিৎজ উইলহেল্ম ড্রোবিশ নামটি প্রথম ব্যবহার করেন এবং ১৮৪৬ সালে ইতালির গিউসতো বেলাভিটিস নামটি ব্যবহার করেন ।[৩]
আরও দেখুন
তথ্যসূত্র
আরও পড়া
বহিঃসংযোগ
- রোলস এবং মিট মান উপপাদাগুলি কাটা-গাঁট ।
- মিজার সিস্টেম প্রমাণ: http://mizar.org/version/current/html/rolle.html#T2