证明：y+x²=0则y=-x^2a^x+a^y=a^x+a^(-x²)>=2[a^(x²-x)]^1/2因为x²-x=(x-1/2)²-1/4>=1/4所以a^x+a^y=a^x+a^(-x²)>=2[a^(x²-x)]^1/2>=2a^1/8两边取对数loga因为0