[z1116sl]

已知 y=atan(cos(pi/5)/(1-sin(pi/5)*cos(x)))

方程为 sqrt((sin(y))^2+(y'(x))^2) 从0到t积分 = sin(a)*b

求t的表达式 符号表示即可。