证明(tanπ/7)(tan2π/7)(tan3π/7)=√7寻找知己
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/30 00:59:11
![证明(tanπ/7)(tan2π/7)(tan3π/7)=√7寻找知己](/uploads/image/z/1596067-43-7.jpg?t=%E8%AF%81%E6%98%8E%28tan%CF%80%2F7%29%28tan2%CF%80%2F7%29%28tan3%CF%80%2F7%29%3D%E2%88%9A7%E5%AF%BB%E6%89%BE%E7%9F%A5%E5%B7%B1)
证明(tanπ/7)(tan2π/7)(tan3π/7)=√7寻找知己
证明(tanπ/7)(tan2π/7)(tan3π/7)=√7
寻找知己
证明(tanπ/7)(tan2π/7)(tan3π/7)=√7寻找知己
证明:cos(π/7)cos(2π/7)cos(3π/7) =2sin(π/7)cos(π/7)cos(2π/7)cos(3π/7)/[2sin(π/7)] =2sin(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)=右边