令t=2^x,则t>0为正数
存在零点,则f=t^2+at+a+1=0有正根
所以有:a=-(t^2+1)/(t+1)
令p=t+1>1
则a=-[(p-1)^2+1]/p=-(p-2+2/p)=-(p+2/p)+2
因为p>1,故由均值不等式,p+2/p>=2√(p*2/p)=2√2,当p=2/p时,即p=√2时取等号
所以有:a
令t=2^x,则t>0为正数
存在零点,则f=t^2+at+a+1=0有正根
所以有:a=-(t^2+1)/(t+1)
令p=t+1>1
则a=-[(p-1)^2+1]/p=-(p-2+2/p)=-(p+2/p)+2
因为p>1,故由均值不等式,p+2/p>=2√(p*2/p)=2√2,当p=2/p时,即p=√2时取等号
所以有:a