【高一数学 必修四 三角函数公式推导】（[high mathematics compulsory four trigonometric function formula deduction]）.docVIP

【高一数学 必修四 三角函数公式推导】（[high mathematics compulsory four trigonometric function formula deduction]） A/sinA=b/sinB=c/sinC=2R therefore A=2R*sinA B=2R*sinB C=2R*sinC Add up to a+b+c=2R* (sinA+sinB+sinC) to bring in (a+b+c) / (sinA+sinB+sinC) =2R* (sinA+sinB+sinC) / (sinA+sinB+sinC) =2R The horns and formula Sin (A+B) =sinAcosB+cosAsinB Sin (A-B) =sinAcosB-cosAsinB Cos (A+B) =cosAcosB-sinAsinB Cos (A-B) =cosAcosB+sinAsinB Tan (A+B) = (tanA+tanB) / (1-tanAtanB) Tan (A-B) = (tanA-tanB) / (1+tanAtanB) Cot (A+B) = (cotAcotB-1) / (cotB+cotA) Cot (A-B) = (cotAcotB+1) / (cotB-cotA) Double angle formula Sin2A=2SinA? CosA? The nature and derivation of logarithms With said ^ involution, log (a) (b) said to the base a, log B * said / said multiplication, Division Definition: If a^n=b (a0 and a = 1) Then n=log (a) (b) Basic property: 1.a^ (log (a) (b)) =b 2.log (a) (MN), =log (a) (M), +log (a) (N); 3.log (a) (M/N), =log (a) (M), -log (a) (N); 4.log (a) (M^n), =nlog (a) (M) Deduction 1., this does not need to push it, directly from the definition can be obtained (the definition of [n=log (a) (b)) into a^n=b Two MN=M*N By the basic nature of 1 (replace M and N) A^[log (a) (MN),]=a^[log (a) (M),]*a^[log (a) (N)] The quality of being exponential A^[log (a) (MN)]=a^{[log (a) (M)]+[log (a) (N)]} And because exponential functions are monotone functions, so Log (a) (MN), =log (a) (M), +log (a) (N) 3. and 2 are similar MN=M/N By the basic nature of 1 (replace M and N) A^[log (a) (M/N),]=a^[log (a) (M),]/a^[log (a) (N)] The quality of being exponential A^[log (a) (M/N)]=a^{[log (a) (M)]-[log (a) (N)]} And because exponential functions are monotone functions, so Log (a) (M/N), =log (a) (M), -log (a) (N) 4. and 2 are similar M^n=M^n By the basic nature of 1 (change M) A^[log (a) (M^n),]={a^[log (a) (M),]}^n The quality of being exponential A^[log (a) (M^n),]=a^{[log (a) (M),]*n} And because exponential functions are monotone functions, so Log (a) (M^n), =nlog (a) (M) Other properties: Properties