证01 Y=loga x在(0,+∞)上是减涵数.