求证明cosxcos2xcos4.cos2^(n-1) x= sin 2^n x / 2^n sinx