吳麗華

【摘 要】本文借助不定積分的定義與計算，從另外一個角度給出了一些三角及反三角恒等式的證明。

【關(guān)鍵詞】不定積分 三角恒等式 反三角恒等式

不定積分是《高等數(shù)學(xué)》、《微積分》等課程中微積分學(xué)的基本內(nèi)容之一，讓學(xué)生理解和掌握不定積分的概念及其計算是教學(xué)的重點。教材中介紹了一系列的計算不定積分的方法，如湊微分、換元法、分部積分法等等。學(xué)生在實際計算時，往往會采用不同的方法來處理，這有可能會得到不同形式的結(jié)果，此時學(xué)生就會產(chǎn)生疑問，不知道到底哪種結(jié)果是對的？事實上，只要方法得當(dāng)，計算無誤，不定積分的結(jié)果在表示形式上不同是存在的。其實，學(xué)生只要抓住不定積分的定義及同一函數(shù)的任兩個原函數(shù)相差一個常數(shù)，明白不同的方法導(dǎo)致的不同結(jié)果本質(zhì)上是暗示了某些恒等式的存在，這就不難理解了。

本文將針對幾個具體的不定積分，采用不同的方法，從中得到一些常見的三角，尤其是反三角恒等式。

一、不定積分

定義1：若定義在區(qū)間上的函數(shù)及可導(dǎo)函數(shù)滿足下列關(guān)系：對任一都有

或

則稱為在區(qū)間上的一個原函數(shù)。

定理1：（1）如果一個函數(shù)有一個原函數(shù)，那么就有無限多個原函數(shù)；

（2）如果

且

則 （為某個常數(shù)），

即的任兩個原函數(shù)只差一個常數(shù)。

證明：（1）若，則對任意常數(shù)有

上式說明，若是的一個原函數(shù)，則對任意常數(shù)，都是的原函數(shù)。

（2）由， 可得

，

于是

（某個為常數(shù)），

即

（為某個常數(shù)）.

定義2：在區(qū)間上的，函數(shù)的全體原函數(shù)，稱為在區(qū)間上的不定積分，記作。

由定義2知，若，則。再由定理1易得如下結(jié)論。

定理2：若

且

則，某個為常數(shù)。

證明：由 及可知

，

于是由定理1的第二個結(jié)論即得所證。

二、三角恒等式

下面通過幾個具體的例子，結(jié)合不定積分的相關(guān)結(jié)論，證明一些三角恒等式。

例1：證明（1）；

（2）

證明： （1）

（2）

（3）

聯(lián)立（1）（2）（3）式，由定理2得

（4）

在（4）式中令得

將代入（4）式即得所證。

例2：證明

證明：

由定理2有

在上式中令得于是等式得證。

例3：證明當(dāng)時，

（1）；

（2）；

（3）。

證明：當(dāng)時，

由定理2知

上式中均令得

于是當(dāng)時，（1）（2）（3）式得證。又當(dāng)時，等式顯然成立。故結(jié)論得證。

注：類似可證

例4：證明（1）

（2）；

（3）；

（4）。

證明：

于是有

（5）

（6）

在（5）（6）式中分別令和，

得，，，

綜上等式成立。

注：類似可證

結(jié)束語：一般來說，對于常見的三角恒等式，學(xué)生都能記得住，但是對簡單的反三角恒等式卻記不住。文中通過簡單的不定積分的計算，推導(dǎo)出一些三角和反三角恒等式，幫助學(xué)生加深對三角，特別是反三角恒等式的理解和記憶。

【參考文獻】

[1]同濟大學(xué)數(shù)學(xué)系. 高等數(shù)學(xué)第六版[M].北京：高等教育出版社，2010.

[2]吳傳生.經(jīng)濟數(shù)學(xué)-微積分.北京：高等教育出版社，2009.