令x=rcosa，y=rsina，直线方程 r=1/(sina+cosa)，圆方程 r=1，明显夹角范围[0，π/2]，因此原式=∫[0，π/2]da∫[1/(sina+cosa)，1]f(rcosa，rsina) rdr 。
