卡在這題?用 AI 解開它
Calculus · real student question

計算逐次積分:內層對 x 從 √(1 − y²) + 1 積到 y,外層對 y 從 0 積到 1,被積函數是 (y − x)。

Question

計算

∫01(∫1−y2+1y(y−x) dx)dy\int_0^1\left(\int_{\sqrt{1-y^2}+1}^{y}(y-x)\,dx\right)dy

Step-by-step solution

  1. 先把 yy 當常數,做關於 xx 的內層積分。 y−xy-x 關於 xx 的反導函數是

    yx−x22yx-\frac{x^2}{2}

    注意在 [0,1][0,1] 上,下限 1−y2+1\sqrt{1-y^2}+1 至少是 11,而上限 yy 至多是 11,也就是說上下限「反著」排。這沒問題:微積分基本定理照樣成立,只是會帶出一個負號,我們保留它,不去交換上下限。

  2. 在兩個端點處取值。 在 x=yx=y 處:y2−y22=y22y^2-\tfrac{y^2}{2}=\tfrac{y^2}{2}。在 x=1−y2+1x=\sqrt{1-y^2}+1 處,先把平方展開:

    (1−y2+1)2=(1−y2)+21−y2+1=2−y2+21−y2\left(\sqrt{1-y^2}+1\right)^2=(1-y^2)+2\sqrt{1-y^2}+1=2-y^2+2\sqrt{1-y^2}

    於是下限處的值是 y1−y2+y−1+y22−1−y2y\sqrt{1-y^2}+y-1+\tfrac{y^2}{2}-\sqrt{1-y^2}。

  3. 相減,注意 y2/2y^2/2 項會互相抵消。 內層積分化簡成

    1−y+1−y2−y1−y21-y+\sqrt{1-y^2}-y\sqrt{1-y^2}

    這個抵消正是本題的關鍵:原本一堆帶根號的雜亂式子,現在變成了四個初等部分。

  4. 對 y∈[0,1]y\in[0,1] 逐塊積分。

    ∫01(1−y) dy=12\int_0^1(1-y)\,dy=\frac12

    ∫011−y2 dy=π4(四分之一單位圓的面積)\int_0^1\sqrt{1-y^2}\,dy=\frac{\pi}{4}\quad\text{(四分之一單位圓的面積)}

    ∫01y1−y2 dy=13(令 u=1−y2)\int_0^1 y\sqrt{1-y^2}\,dy=\frac13\quad\text{(令 }u=1-y^2\text{)}

  5. 合併並做數值檢驗。

    12+π4−13=π4+16\frac12+\frac{\pi}{4}-\frac13=\frac{\pi}{4}+\frac16

    數值上 π/4+1/6=0.9520648300641\pi/4+1/6=0.9520648300641。在 yy 方向取 200 萬個格點求內層積分再平均,得到 0.95206483006420.9520648300642——吻合到小數點後十二位 ✓。

Answer

π4+16\frac{\pi}{4}+\frac{1}{6}

Need to solve a different problem like this? Open the solver →