f(x,y)=1−x2−y2−9(64+π2)4π(3π−4)
由 x2+y2≤y 可知 0≤y≤1,故根式在 D 上有定义。令 x=rcosθ,y=rsinθ,则区域对应于 0≤θ≤2π、0≤r≤sinθ,从而 ∣D∣=21∫02πsin2θdθ=8π。
记 I=∬Df(u,v)dudv,J=∬D1−u2−v2dudv。对原式在 D 上积分,得 I=J−8π∣D∣I,即 (1+64π2)I=J。
利用极坐标并注意 0≤θ≤2π,有
因而 I=9(64+π2)32(3π−4)。
代回得
该函数连续,且在 D 上的积分恰为上述 I,所以满足原式。由于 1+64π2>0,I 及 f 均唯一。