对 y'' - y = sec x 应用参数变易。结果有闭式吗?