>>760
何でyで積分?
円の中心と2接点、接点同士、を結んで積分+三角形−扇形で終わり。