原文:旋轮线方程怎么推导出来的?