证明三角恒等式
证明三角恒等式 证明 sin(π/7)*sin (2π/7)*sin (4π/7)=(√7)/8
证明:cos(π/7)cos(2π/7)cos(3π/7) =2³sin(π/7)cos(π/7)cos(2π/7)cos(3π/7)/[2³sin(π/7)] =2²sin(2π/7)cos(2π/7)cos(3π/7)/[8sin(π/7)] =2sin(4π/7)cos(3π/7)/[8sin(π/7)] =2sin(3π/7)cos(3π/7)/[8sin(π/7)] =sin(6π/7)/[8sin(π/7)] =1/8 欲证tan(π/7)tan(2π/7)tan(3π/7)=√7 只需8sin(π/7)sin(2π/7)sin(3π/7)=√7 右端是无理数,直接证明有困难,考虑平方, 64sin³(π/7)sin³(2π/7)sin³(3π/7)=7 即8[1-cos(2π/7)][1-cos(4π/7)][1-cos(6π/7)]=7 亦即8[1-(cos(2π/7)+cos(4π/7)+cos(6π/7))+cos(2π/7)cos(4π/7)+cos(4π/7)cos(6π/7)+cos(6π/7)cos(2π/7)-cos(2π/7)cos(4π/7)cos(6π/7)]=7 而cos(2π/7)cos(4π/7)cos(6π/7)=cos(2π/7)cos(3π/7)cos(π/7)=1/8 故只需证 cos(2π/7)cos(4π/7)+cos(4π/7)cos(6π/7)+cos(6π/7)cos(2π/7) =cos(2π/7)+cos(4π/7)+cos(6π/7) 左边=cos(4π/7)[cos(2π/7)+cos(6π/7)]+cos(6π/7)cos(2π/7) =cos(4π/7)2cos(4π/7)cos(2π/7)+cos(6π/7)cos(2π/7) =cos(2π/7)×2cos²(4π/7)+cos(6π/7)cos(2π/7) =cos(2π/7)(1+cos(8π/7))+cos(6π/7)cos(2π/7) =cos(2π/7)+cos(2π/7)[cos(8π/7))+cos(6π/7)] =cos(2π/7)+cos(2π/7)×2cosπcos(π/7) =cos(2π/7)-2cos(2π/7)cos(π/7) =cos(2π/7)-(cos(3π/7)+cos(π/7)) =cos(2π/7)+cos(4π/7)+cos(6π/7)=右边。
证明三角恒等式 证明sin(π/7)*sin (2π/7)*sin (4π/7)=(√7)/8 证明 令A=π/7,B=2π/7,C=4π/7,那么A+B+C=π, 设三角形ABC对应边长分别a,b,c。 根据正弦定理:a/sin(π/7)=b/sin(2π/7)=c/sin(4π/7) 即可求得: cos(π/7)=b/(2a), cos(2π/7)=c/(2b), cos(4π/7)=-a/(2c), 再注意到倍角公式: ∠B=2∠A b^2-a^2=ac,(1) ∠C=2∠B c^2-b^2=ab, (2) (1)+(2)得:c^2-a^2=a(b+c), 由此可推出:bc=a(b+c), c^2-a^2=bc [sin(π/7)]^2=1-[cos(π/7)]^2=1-b^2/(4a^2)=(4a^2-b^2)/(4a^2)=(3a^2-ac)/(4a^2)=(3a-c)/(4a)。
同理可得: [sin(2π/7)]^2=(3b-a)/(4b), [sin(4π/7)]^2=(3c+b)/(4c)。 所以 (64abc) *[sin(π/7)*sin (2π/7)*sin (4π/7)]^2 =(3a-c)*(3b-a)*(3c+b)=(3a-c)*(9bc-3ac+3b^2-ab) =(3a-c)*(6bc+3b^2+2ab)=b*(3a-c)*(6c+2a+3b) =b*(16ac-6c^2+6a^2+9ab-3bc) =b*(16ac-9bc+9ab)=b*(16ac-9ac)=7abc 故 [sin(π/7)*sin (2π/7)*sin (4π/7)]^2=7/64, 上式平方后即得所证恒等式。
证毕。 。
详细解答可参考:
答:解 设t=nπ/5 (n=0,1,2,3,4) 是tan(5t)=0的根. 令x=tant,由tan(5t)=0得:tan(3t)=-tan(2t), 即 (3...详情>>
问:小华5/1小时行了3/2千米他行1千米需要多少小时,他行1小时可行多少千米?(为...
答:1/5÷2/3=1/5×3/2=3/10小时详情>>
问:甲车每小时行38km乙车每小时行41km甲乙车同时两地开岀相向行了2.5小时后相...
答:(38+41)x2.5=197.5千米详情>>