مبرهنة رول

نصف دائرة شعاعها يساوي r.

ليكن r عددا موجبا ولتكن الدالة التالية:

${\displaystyle f(x)={\sqrt {r^{2}-x^{2}}},\quad x\in [-r,r].}$

الرسم البياني لدالة القيمة المطلقة.

${\displaystyle f(x)=|x|,\qquad x\in [-1,1].}$

وجود القيمة r يعني أن هناك قيمة قصوى أو دنيا. نفترض f موجبة في (أ، ب).

في هذه الحالة يكون للدالة f على الأقل قيمة قصوية.

إذا افترضنا أنه لا توجد القيمة r، وf(a) = 0 وf موجبة. فهذا يعني أن الدالة f متزايدة أي أن f(b)#0 وهذا يتناقض مع f(b)=0.