证明(log2(3))^x-(l
证：
∵ (log2(3))>1，x≥-y
∴ (log2(3))^x≥(log2(3))^(-y) ----（1）
∵ (log5(3))=(log2(3))^(-y)-(log5(3))^(-y)
求证 x+y>=0
我上面的证明正好相反了。 （你把已知和求证的内容分开写就好了，就不易产生误会了。）
重新证明如下：
为了书写方便，设M=log2(3) , N=log5(3)
显然有： M>1 , N0 , lnM>0 , N^x>0 , lnN0 , 即f(x)是单增函数。
对于单增函数，若f(a)≥f(b) ， 则有 a≥b
今已知 f(x)≥f(-y),故 x≥-y ,即 x...全部
证：
∵ (log2(3))>1，x≥-y
∴ (log2(3))^x≥(log2(3))^(-y) ----（1）
∵ (log5(3))=(log2(3))^(-y)-(log5(3))^(-y)
求证 x+y>=0
我上面的证明正好相反了。
（你把已知和求证的内容分开写就好了，就不易产生误会了。）
重新证明如下：
为了书写方便，设M=log2(3) , N=log5(3)
显然有： M>1 , N0 , lnM>0 , N^x>0 , lnN0 , 即f(x)是单增函数。
对于单增函数，若f(a)≥f(b) ， 则有 a≥b
今已知 f(x)≥f(-y),故 x≥-y ,即 x+y≥0
【f(x)≥f(-y)，就是(log2(3))^x-(log5(3))^x>=(log2(3))^(-y)-(log5(3))^(-y)】
证毕。
。收起
