加法定理的纯分析证明;周期性的纯分析证明



2012.4.16
y''=-y在初值条件：y(0)=sina,y'(0)=cosa下的唯一特解为y=sin(x+c)=c_1sinx+c_2cosx。
将初值代入得：c=a,c_1=cosa,c_2=sina，
故得sin的加法定理：sin(x+a)=cosasinx+sinacosx。
2012.4.15
sin的加法定理<=>arcsin的加法定理
sin(x+y)=sinxcosy+cosxsiny
(<=>sin(x+y)=asqrt(1-b^2)+sqrt(1-a^2)b)
(<=>x+y=arcsin(asqrt(1-b^2)+sqrt(1-a^2)b))
<=>arcsina+arcsinb=arcsin(asqrt(1-b^2)+sqrt(1-a^2)b))
(<=>sin(x+y)=sinxsqrt(1-sin^2y)+sqrt(1-sin^2x)siny)
其中arcsina=x,arcsinb=y,a=sinx,b=siny。
2012.4.22
sin的加法定理<=>cos的加法定理：
sin(x+a)=sinxcosa+cosxsina<=>cos(x+a)=cosxcosa-sinxsina
[
恒等式两边d/dx：sin(x+a)=sinxcosa+cosxsina=>c