(1652-1719)
羅爾是法國數(shù)學(xué)家。1652年4月21日生于昂貝爾特,1719年11月8日卒于巴黎。
羅爾出生于小店家庭,只受過初等教育,且結(jié)婚過早,年輕時(shí)貧困潦倒,靠充當(dāng)公證人與律師抄錄員的微薄收入養(yǎng)家糊口,他利用業(yè)余時(shí)間刻苦自學(xué)代數(shù)與丟番圖的著作,并很有心得。1682年,他解決了數(shù)學(xué)家奧扎南提出一個(gè)數(shù)論難題,受到了學(xué)術(shù)界的好評(píng),從而名聲鵲起,也使他的生活有了轉(zhuǎn)機(jī),此后擔(dān)任初等數(shù)學(xué)教師和陸軍部行征官員。1685年進(jìn)入法國科學(xué)院,擔(dān)任低級(jí)職務(wù),到1690年才獲得科學(xué)院發(fā)給的固定薪水。此后他一直在科學(xué)院供職,1719年因中風(fēng)去世。
羅爾在數(shù)學(xué)上的成就主要是在代數(shù)方面,專長于丟番圖方程的研究。羅爾所處的時(shí)代正當(dāng)牛頓、萊布尼茲的微積分誕生不久,由于這一新生事物不存在邏輯上的缺陷,從而遭受多方面的非議,其中也包括羅爾,并且他是反對(duì)派中最直言不諱的一員。1700年,在法國科學(xué)院發(fā)生了一場有關(guān)無窮小方法是否真實(shí)的論戰(zhàn)。在這場論戰(zhàn)中,羅爾認(rèn)為無窮小方法由于缺乏理論基礎(chǔ)將導(dǎo)致謬誤,并說:“微積分是巧妙的謬論的匯集”。瓦里格農(nóng)、索弗爾等人之間,展開了異常激烈的爭論。約翰.貝努利還諷刺羅爾不懂微積分。由于羅爾對(duì)此問題表現(xiàn)得異常激動(dòng),致使科學(xué)院不得不屢次出面干預(yù)。直到1706年秋天,羅爾才向瓦里格農(nóng)、索弗爾等人承認(rèn)他已經(jīng)放棄了自己的觀點(diǎn),并且充分認(rèn)識(shí)到無窮小分析新方法價(jià)值。
羅爾于1691年在題為《任意次方程的一個(gè)解法的證明》的論文中指出了:在多項(xiàng)式方程
的兩個(gè)相鄰的實(shí)根之間,方程 至少有一個(gè)根。一百多年后,即1846年,尤斯托.伯拉維提斯將這一定理推廣到可微函數(shù),并把此定理命名為羅爾定理。
羅爾在數(shù)學(xué)上的成就主要是在代數(shù)方面,專長于丟番圖方程的研究。 羅爾于1691年在題為《任意次方程的一個(gè)解法的證明》的論文中指出了:在多項(xiàng)式方程 的兩個(gè)相鄰的實(shí)根之間,方程 至少有一個(gè)根。在一百多年后,1846年尤斯托(Giusto Bellavitis)將這一定理推廣到可微函數(shù),尤斯托還把此定理命名為羅爾定理。
羅爾定理如下:
如果函數(shù)f(x)滿足:
在閉區(qū)間[a,b]上連續(xù);
在開區(qū)間(a,b)內(nèi)可導(dǎo);
在區(qū)間端點(diǎn)處的函數(shù)值相等,即f(a)=f(b),
那么在(a,b)內(nèi)至少有一點(diǎn)ξ(a<ξ 羅爾定理的誕生是十分有趣的,他只是做了一個(gè)小小的發(fā)現(xiàn),而且并沒有證明,但現(xiàn)在,他的定理卻出現(xiàn)在每一本微積分教材上。更有趣的是,他本人是微積分的強(qiáng)烈攻擊者。
幾何上,羅爾定理的條件表示,曲線弧 (方程為 )是一條連續(xù)的曲線弧
,除端點(diǎn)外處處有不垂直于 軸的切線,且兩端點(diǎn)的縱坐標(biāo)相等。而定理結(jié)論表明,
弧上至少有一點(diǎn) ,曲線在該點(diǎn)切線是水平的.