From Wikipedia, the free encyclopedia
قضیه رول،(به انگلیسی: Rolle's Theorem) یا لم رول در حسابان، اساساً بیان میدارد که هر تابع دیفرانسیل پذیر حقیقی مقدار که مقادیرش (یعنی خروجیهایش) در دو نقطه متمایز مساوی شوند، حداقل یک نقطه مانا بین این دو نقطه دارد، یعنی نقطهای که مشتق اول تابع در آن برابر صفر است (یعنی شیب خط مماس بر نمودار تابع در آن نقطه صفر میشود).
این قضیه را به اسم میشل رول نامگذاری کردهاند.
اگر یک تابع حقیقی_مقدار روی بازه بستهای چون پیوسته باشد، و روی بازه باز دیفرانسیلپذیر باشد، و ، آنگاه حداقل یک روی بازه باز وجود خواهد داشت به طوری که:
این نسخه از قضیه رول را برای اثبات قضیه مقدار میانگین به کار میبرند که قضیه رول در حقیقت حالت خاصی از این قضیه است. همچنین این نسخه پایهای برای اثبات قضیه تیلور است.
اعتبار قضیه رول را به ریاضیدان هندی باسکارا دوم (۱۱۱۴-۱۱۸۵) نسبت می دهند.[1] هرچند که این قضیه به نام میشل رول نامگذاری شده، اثبات ۱۶۹۱ رول، تنها حالت توابع چند جمله ای را پوشش می داد. اثبات او از روش های حساب دیفرانسیل، که در آن بُرهه از زندگیاش آن را سفسطه آمیز می دانست، استفاده نمیکرد. این قضیه اولین بار توسط کوشی در ۱۸۲۳ به عنوان نتیجهای از اثبات قضیه مقدار میانگین اثبات شد.[2] نام "قضیه رول" اولین بار توسط موریتز ویلهلم دروبیش آلمانی در ۱۸۳۴ و توسط گیوستو بلاویتیس از ایتالیای در ۱۸۴۶ مورد استفاده قرار گرفت.[3]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.