求微分方程tanydy dx=1 x-xcosy的通解