>>819前>>839
折りかえして重なるのは葉っぱじゃないよね。葉っぱじゃないよ、カエルかな？
カエルじゃないよ、土人だよ。葉っぱの半分でいいはず。楕円Cのふつうはちっさいほう折りかえすと思うんだけど、仮におっきいほう折りかえしても、重なるのは葉っぱじゃないよ、葉っぱの半分だよだよね？
楕円めんどいんで円でやって横拡大かと思ったんだけど、逆に縦圧縮だね。

半径1の円で求めて2/√3倍する。
x^2+y^2=1とy=-(2/√3)(x-1)の交点はP(1,0)とQ(0,2/√3)
2S/√3=π/4-(1/2)(1-1/7)(4√3/7)-∫[0→1/7]√(1-x^2)dx
2S/√3=π/4-12√3/49-∫[0→1/7]√(1-x^2)dx
S=π√3/8-18/49-(√3/2)∫[0→1/7]√(1-x^2)dx