cos6π16+cos63π16+cos65π16+cos67π16=cos6π16+cos6(π2−π16)+cos63π16+cos6(π2−3π16)=(cos6π16+sin6π16)+(cos63π16+sin63π16)=[(cos2π16+sin2π16)(cos4π16−cos2π16sin2π16+sin2π16)]+[(cos23π16+sin23π16)(cos43π16−cos43π16sin23π16+sin23π16)]=[cos4π16−cos2π16sin2π16+sin2π16]+[cos43π16−cos23π16sin23π16+sin23π16]=[[cos2π16+sin2π16]2−3cos2π16sin2π16]+[[cos23π16+sin23π16]2−3cos23π16sin23π16]=2−3cos2π16sin2π16−3cos23π16sin23π16=2−34(2sinπ16cosπ16)2−34(2sin3π16cos3π16)2=2−34[sin2π8+sin23π8]=2−34[sin2π8+sin2[π2−π8]]=2−34[sin2π8+cos2π8]=2−34=54