对这个式子求导.f'(x)=(2^x)*ln2-8 容易看出该函数只有一个零点.在x0=3+log2(log2(e))处取得.
于是带回去.得到它有因式x=x0；