一道微积分题目.y=ln(1/3 (1+e^(-2x) ))求证 dy/dx=2/3 (e^(-y)-3)