以下、角は弧度法とし、cα=cosα, sα=sinα, cβ=cosβ, sβ=sinβ とおく。第1・第3象限にあることから 0<α,β<π/2 であり、 P=(cα,sα),Q=(−cβ,−sβ).
(1) P が y=x2+2kx 上にあるので sα=cα2+2kcα. cα>0 より k=2cαsα−cα2=2tanα−cosα. また、Q を代入すると −sβ=cβ2−2kcβ,2kcβ=sβ+cβ2.
(2) x=−1 では f(−1)=1−2k<−1 なので、最初の交点 Q より左では放物線が円の下にある。また f(0)=0 は円の上下の枝 y=±1 の間にあり、交点は Q,P の2つだけだから、その間では放物線は円内にある。P より右では f(1)=1+2k>1 なので放物線は円の上にある。従って、−1≦x≦xQ では円内の縦の幅全体が曲線より上にあり、xQ≦x≦xP では上側の円弧と曲線の間が求める領域である。よって S(k)=2∫−1−cβ1−x2dx+∫−cβcα(1−x2−(x2+2kx))dx. 最初の円弓形の面積は 2∫−1−cβ1−x2dx=β−cβsβ. また、上半円の xQ から xP までの面積は ∫−cβcα1−x2dx=2π−α−β+cαsα+cβsβ. 放物線の符号付き積分を I とおくと I=∫−cβcα(x2+2kx)dx=3cα3+cβ3+k(cα2−cβ2). 交点の式から kcα2=2cαsα−cα3,kcβ2=2cβsβ+cβ3, ゆえに I=2cαsα−cβsβ−6cα3+cβ3. 以上を面積式に代入して整理すると S(k)=2π+β−α+6cos3α+cos3β.
(3) 交点条件と k>1 から 0<cosα≦2k1,0<cosβ≦k1. 従って k→∞ で α,β→π/2。よって (2) の式から k→∞limS(k)=2π.
以下、角は弧度法とする。P=(cosα,sinα),Q=(−cosβ,−sinβ)で、0<α,β<2π。Pがy=x2+2kx上にあるため sinα=cos2α+2kcosα、従って k=2cosαsinα−cos2α=2tanα−cosα。Qからも2kcosβ=sinβ+cos2βを得る。x=−1では f(−1)=1−2k<−1なのでQより左で曲線は円の下にある。また f(0)=0は円の枝の間にあり、交点はQ,Pの2点だけだからその間では曲線は円内にある。Pより右では f(1)=1+2k>1なので円の上にある。従って曲線より上にある囲み図形の面積は、左端の円弓形とQ〜Pの上半円・曲線間の面積の和である。cα=cosα,sα=sinα,cβ=cosβ,sβ=sinβとおくと、S=2∫−1−cβ1−x2dx+∫−cβcα(1−x2−x2−2kx)dx。左の円弓形の面積はβ−cβsβ、上半円のQ〜P部分の面積は2π−α−β+cαsα+cβsβ。曲線の符号付き積分Iは3cα3+cβ3+k(cα2−cβ2)であり、交点条件からkcα2=2cαsα−cα3、kcβ2=2cβsβ+cβ3。よって I=2cαsα−cβsβ−6cα3+cβ3。以上から S(k)=2π+β−α+6cα3+cβ3。最後に2kcosα=sinα−cos2α≦1、2kcosβ=sinβ+cos2β≦2なのでcosα≦2k1、cosβ≦k1。k→∞でα,β→2πとなり、面積式から極限はπ/2。