2^x+2^y >= 2√(2^(x+y))
原式 >= log2(2√(2^(x+y))
所以只要证log2(2√(2^(x+y))) > 7/8
即 2√(2^(x+y))) > 2^(7/8)
即 √(2^(x+y)) > 2^(-1/8)
即 2^(x+y) > 2^(-1/4)
即 x+y >-1/4
因为y=x^2 所以x+y=x+x^2>-1/4
固原式成立