劉春平， 劉曉平

(1.揚州大學 數(shù)學科學學院，江蘇 揚州 225002； 2.揚州市職業(yè)大學 數(shù)學學院，江蘇 揚州 225002)

反三角函數(shù)是三角函數(shù)在定義域內(nèi)某個單調(diào)區(qū)間上的反函數(shù). 關(guān)于反三角函數(shù),中學和大學教科書[1-3]上有許多經(jīng)典的定理和公式，如反正切相加定理，反正弦、反余弦相加定理等等. 吉米多維奇數(shù)學分析習題集第776題為：

證明反正切相加定理

(1)

式中ε(x,y)為取值0,1,-1三者之一的函數(shù). 當已知x的值時，對于怎樣的y值函數(shù)ε可能不連續(xù)？在Oxy平面上作出函數(shù)ε連續(xù)的對應域，并求此函數(shù)在所求得的域內(nèi)的數(shù)值.

該題中的(1)式即是應用非常廣泛的反正切相加公式.據(jù)我們所知，該定理一般都是從反函數(shù)的定義出發(fā)，通過討論arctanu的取值范圍進行證明的，證明本身并不復雜，但式中ε(x,y)何時取值0,何時取值1或-1, 學生不容易做出全面分析. 本文利用微分方程給出反正切相加定理一種新證明方法如下:

記

(2)

則

(3)

注意到平面曲xy=1將Oxy平面分為三個區(qū)域：

D1={(x,y)|xy<1},

D2={(x,y)|xy>1,x>0,y>0},

D3={(x,y)|xy>1,x<0,y<0}.

① 當(x,y)∈D1時，由(3)式兩邊關(guān)于x積分，得

F(x,y)=arctanx+φ1(y).

(4)

取x=0，代入(4)式，注意到F(0,y)=arctany,可知φ1(y)=arctany.因此

(5)

② 當(x,y)∈D2時，由(3)式兩邊關(guān)于x積分，得

(6)

注意到x→+∞時，

由(6)式有

又因為y>0時，

(7)

因此φ2(y)=-π+arctany,從而

(8)

③ 當(x,y)∈D3時，類似地有

(9)

注意到x→ -∞時，

由(9)式有

(10)

而y<0時，

(11)

因此φ3(y)=π+arctany,從而

(12)

綜合①～③，即證明了反正切相加公式

并且由(5)，(8)和(12)知

(13)

不難看出，(13)式直接給出了反正切相加定理中函數(shù)ε(x,y)的連續(xù)域以及函數(shù)在域內(nèi)的取值，第776題“當已知x的值時，對于怎樣的y值函數(shù)ε可能不連續(xù)？在Oxy平面上作出函數(shù)ε連續(xù)的對應域，并求此函數(shù)在所求得的域內(nèi)的數(shù)值.”自然就得到了解答.

[參 考 文 獻]

[1] 周敏澤.中國華羅庚學校數(shù)學課本(高一年級)[M].吉林:吉林教育出版社，2002：132-140.

[2] 菲赫金哥爾茨.微積分學教程(第一卷)[M].8版.北京:高等教育出版社，2006：87-91.

[3] 吉米多維奇. 數(shù)學分析習題集[M]. 北京:人民教育出版社，1978：81-83.