【菲赫金哥爾茨微積分學(xué)教程精讀筆記Ep134】三角余弦及雙曲余弦的函數(shù)特性（下）
預(yù)備知識(shí)：
ch x=[e^x+e^(-x)]/2，sh x=[e^x-e^(-x)]/2；
（ch x）^2-(sh x)^2
={[e^x+e^(-x)]/2}^2-{[e^x-e^(-x)]/2}^2
=[e^(2x)+2+e^(-2x)]/4-[e^(2x)-2+e^(-2x)]/4
=1；
ch(x+y)
=(ch x)(ch y)+(sh x)(sh y)，
ch(x-y)
=(ch x)(ch y)-(sh x)(sh y)；
ch 2x
=（ch x）^2+(sh x)^2
=2(ch x)^2-1；
ch(x/2)
=[(ch x+1)/2]^(1/2).
今天繼續(xù)看一些函數(shù)對(duì)應(yīng)的函數(shù)方程。
76三角余弦及雙曲余弦的函數(shù)特性
三角余弦（f（x）=cos ax）與雙曲余弦（f（x)=ch ax）對(duì)應(yīng)的函數(shù)方程：f（y+x）+f（y-x）=2f（x）f（y）——其中a>=0
（再看雙曲余弦的情況）
b.雙曲余弦（f（x）=ch ax）
1.基本特性（奇偶性）
求f（0）——
當(dāng)x=0時(shí)，代入函數(shù)方程得到：f（y+0）+f（y-0）=2f（0）f（y），即f（0）=0或1；
若f（0）=0，則函數(shù)為恒等式f（x）=0，所以，f（x）≠0，于是f（0）=1。
確定f（x）的奇偶性——
令y=0，則f（0+x）+f（0-x）=2f（0）f（x）=2f（x）；
于是，f（-x）=f（x），則f（x）為偶函數(shù)。
因?yàn)閒（x）=cos ax的值域?yàn)閇-1,1]，f（x）=ch ax的值域?yàn)閇1,+∞），所以可以分類討論——
情形一：f（x）<=1；——見Ep133
情形二：f（x）>1。
2.情形二：f（x）=ch ax——其中a>0
step1：a=n，n∈N*——
令f（c）=ch θ（0<=θ<π/2）——
求f（2c）：
由函數(shù)方程：f（c+c）+f（c-c）=2f（c）f（c）；
f（2c）
=f（c+c）
=2f（c）f（c）-f（c-c）
=2[f（c）]^2-f（0）
=2（ch θ）^2-1
=ch 2θ。
求f（3c）：
由函數(shù)方程：f（2c+c）+f（2c-c）=2f（2c）f（c）；
f（3c）
=f（2c+c）
=2f（2c）f（c）-f（2c-c）
=2（ch 2θ）（ch θ）-ch θ
=2（ch 2θ）（ch θ）-[（ch 2θ）（ch θ）-（sh 2θ）（sh θ）]
=（ch 2θ）（ch θ）+（sh 2θ）（sh θ）
=ch（2θ+θ）
=ch 3θ。
求f（4c）——
由函數(shù)方程：f（3c+c）+f（3c-c）=2f（3c）f（c）；
f（4c）
=f（3c+c）
=2f（3c）f（c）-f（3c-c）
=2（ch 3θ）（ch θ）-ch 2θ
=2（ch 3θ）（ch θ）-[（ch 3θ）（ch θ）-（sh 3θ）（sh θ）]
=（ch 3θ）（ch θ）+（sh 3θ）（sh θ）
=ch （3θ+θ）
=ch 4θ。
歸納法證明：f（nc）=ch nθ——
假設(shè)，f（nc）=2（ch （n-1）θ）（ch θ）-ch （n-2）θ=ch nθ；
則：
f（（n+1）c）
=2（ch nθ）（ch θ）-ch （n-1）θ
=2（ch nθ）（ch θ）-[（ch nθ）（ch θ）-（sh nθ）（sh θ）]
=（ch nθ）（ch θ）+（sh nθ）（sh θ）
=ch（（n+1）θ），證畢。
step2：a=（1/2^n），n∈N*——
求f（c/2）——
由函數(shù)方程：f（c/2+c/2）+f（c/2-c/2）=2[f（c/2）]^2；
f（c/2）
=[（f（c）+f（0））/2]^（1/2）
=[（ch θ+1）/2]^（1/2）
=ch（θ/2）。
歸納法證明：f（c/2^n）=ch （θ/2^n）——
假設(shè)，f（c/2^n）=ch（θ/2^n）；
由函數(shù)方程：
f（c/2^（n+1）+c/2^（n+1））+f（c/2^（n+1）-c/2^（n+1）)
=2[f（c/2^（n+1））]^2；
f[c/2^（n+1）]
=[（f（c/2^n）+f（0））/2]^（1/2）
=[（ch（θ/2^n）+1）/2]^（1/2）
=ch（θ/2^（n+1）），證畢。
step3：a=（m/2^n），m、n∈N*——
由step1、step2易得：
f（mc）
=ch mθ，
f（mc/2^n）
=ch（mθ/2^n）；
對(duì)于任何m/2^n型是正數(shù)x，由f（cx）=ch θx，m/2^n的值域?yàn)镽+，所有正實(shí)數(shù)，故而對(duì)一切正實(shí)數(shù)x∈R+，f（cx）=ch θx；
又f（x）為偶函數(shù)，故而對(duì)x<0——
f（cx）=f（c（-x））=ch θ（-x）=ch θx，即對(duì)一切正實(shí)數(shù)x∈R+，f（cx）=ch θx；
f（c*0）=1=ch 0θ；
則對(duì)于一切實(shí)數(shù)x∈R，f（cx）=ch θx；
于是：f（x）=f（c（x/c））=ch θ（x/c），令a=θ/c，則f（x）=ch ax；
綜上：雙曲余弦函數(shù)（f（x）=ch ax）對(duì)應(yīng)的函數(shù)方程為：f（y+x）+f（y-x）=2f（x）f（y），其中a>=0。
