定理，令f在闭区间[a，b]上连续，在开区间（a，b)内连续，假如f=f，则在开区间（a，b)内至少有一点使它的导函数的值为零。
证明：因为函数f在[a，b]内连续，所以闭区间内取得的最大值（m）最小值（m）……
约瑟夫三两下写完，却忽觉旁边的拉格朗日呼吸急促起来，忙抬头看去，就见老数学家神色激动，盯着考卷的样子如同见到了初恋。
约瑟夫立刻低头扫了一遍题目，迟疑道：“我应该没写错吧”
拉格朗日一把抓起考卷，仔细看了几遍证明过程，口中喃喃：“原来在可微函数上也是成立的！我怎么没想到”
他又看向了约瑟夫，目光炙热如火：“殿下，您是怎么想到的”
“啊不就是……”约瑟夫猛然想起来，罗尔只是简单证明了在多项式方程的两个相邻的实根之间，方程至少有一个根，直到十九世纪才有人将其推广到可微函数范畴。
大意了，没有闪……
“咳！”他忙拿回试卷，转移话题，“拉格朗日先生，我要做后面两题了。”