数学对数函数题若(log23)^x-(log53)^x>=(log23)^-y-(log530^-y,求证x+y>=0