قضیه رول
در حسابان، قضیه رول (به انگلیسی: Rolle's Theorem) یا لم رول اساساً بیان می دارد که هر تابع دیفرانسیل پذیر حقیقی مقدار که مقادیرش (یعنی خروجی هایش) در دو نقطه متمایز مساوی شوند، حداقل یک نقطه مانا بین این دو نقطه دارد، یعنی نقطه ای که مشتق اول تابع در آن برابر صفر است (یعنی شیب خط مماس بر نمودار تابع در آن نقطه صفر می شود).
این قضیه را به اسم میشل رول نامگذاری کرده اند.
نسخه استاندارد قضیه
اگر یک تابع حقیقی_مقدار
این نسخه از قضیه رول را برای اثبات قضیه مقدار میانگین به کار می‌برند که قضیه رول در حقیقت حالت خاصی از این قضیه است. همچنین این نسخه پایه‌ای برای اثبات قضیه تیلور است.
تاریخچه
اعتبار قضیه رول را به ریاضیدان هندی باسکارا دوم (۱۱۱۴-۱۱۸۵) نسبت می دهند. هرچند که این قضیه به نام میشل رول نامگذاری شده، اثبات ۱۶۹۱ رول، تنها حالت توابع چند جمله ای را پوشش می داد. اثبات او از روش های حساب دیفرانسیل، که در آن بُرهه از زندگی‌اش آن را سفسطه آمیز می دانست، استفاده نمی‌کرد. این قضیه اولین بار توسط کوشی در ۱۸۲۳ به عنوان نتیجه‌ای از اثبات قضیه مقدار میانگین اثبات شد. نام "قضیه رول" اولین بار توسط موریتز ویلهلم دروبیش آلمانی در ۱۸۳۴ و توسط گیوستو بلاویتیس از ایتالیای در ۱۸۴۶ مورد استفاده قرار گرفت.
پانویس
- ↑ Gupta, R. C. Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures. p. 156.
- ↑ Besenyei, A. (September 17, 2012). "A brief history of the mean value theorem" (PDF).
- ↑ See Cajori, Florian. A History of Mathematics. p. 224.
برای مطالعه بیشتر
- Leithold, Louis (1972). The Calculus, with Analytic Geometry (2nd ed.). New York: Harper & Row. pp. 201–207. ISBN 0-06-043959-9.
- Taylor, Angus E. (1955). Advanced Calculus. Boston: Ginn and Company. pp. 30–37.