bibliographic details : 微分方程与三角测量