函数y=½x∧2-lnx的单调递减区间为