三角函数
x=r*cosa,y=r*sina
变型后所求的式子可以化成
r(2-根号2*sin(a-pi/4))
这个就好求了