解：tanydy=tanxdx，∴d(cosy)/cosy=d(cosx)/cosx。两边积分，有ln丨cosy丨=ln丨cosx丨+lnc， ∴cosy=ccosx，y=arc(ccosx)。又，x=0时，y=π/4，∴c=1/√2。 ∴y=arc[(1/√2)cosx]。 供参考。
