قضیه رول : اگر تابع f در پیوسته باشد و در بازه مشتق پذیر باشد و آنگاه حداقل یک نقطه وجود دارد که باشد .
تذکر : قضیه رول شرایط وجود مماس افقی را در بازه برآورده می کند .
قضیه میانگین : هرگاه تابع روی پیوسته و روی مشتق پذیر باشد آنگاه حداقل یک نقطه c وجود دارد که :
تذکر : c باید جزء بازه بوده و نقاط ابتدا و انتها نیز نباشد .