例 題 |
<例題>曲面 z=f(x,y),xy平面,yz平面,zx平面,点(x,y) を通り yz平面, zx平面と平行な平面で囲まれる立体の体積を v(x,y) とするとき,v は次式で 表されることを示せ。 v(x,y)=∬f(x,y)dxdy <解答>x=(an,bn),y=(cn,dn)とする。 v(an,bn)=p0+p11(an−x)+p12(bn−y)+・・・ ・・・・・・・・ (1) v(cn,dn)=p0+p11(cn−x)+p12(dn−y)+・・・ ・・・・・・・・ (2) とすると, (1) に an=x,bn=y を代入して,v(x,y)=p0 上の式より, v(an,bn)=v(x,y)+p11(an−x)+p12(bn−y)+・・・ 点(x,y) を通り yz平面と平行な平面の面積を s(x,y) とすると, どんな大きい n に対しても成立するには,p11=s(x,y) 上の式より, v(an,bn)=v(x,y)+s(x,y)(an−x)+p12(bn−y)+・・・ v(an,y)−v(x,y)=s(x,y)(an−x)+・・・ {v(an,y)−v(x,y)}÷(an−x)=s(x,y)+・・・ 同様にして,{v(cn,y)−v(x,y)}÷(cn−x)=s(x,y)+・・・ ∂v(x,y)/∂x={s(x,y)+・・・,s(x,y)+・・・} ={s(x,y),s(x,y)} =s(x,y)・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・(3) s(an,bn)=q0+q11(an−x)+q12(bn−y)+・・・ ・・・・・・・・(4) s(cn,dn)=q0+q11(cn−x)+q12(dn−y)+・・・ ・・・・・・・・(5) とすると, (4) に an=x,bn=y を代入して,s(x,y)=q0 上の式より, s(cn,dn)=s(x,y)+q11(cn−x)+q12(dn−y)+・・・ s(an,bn)−s(x,y)=q11(an−x)+q12(bn−y)+・・・ どんな大きい n に対しても上の式が成立するには,q11=f(x,y) {s(x,bn)−s(x,y)}÷(bn−y)=f(x,y)+・・・ 同様にして,{s(x,dn)−s(x,y)}÷(dn−y)=f(x,y)+・・・ ∂s(x,y)/∂y={f(x,y)+・・・,f(x,y)+・・・} ={f(x,y),f(x,y)} =f(x,y)・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・(6) (3),(6) から,∂{∂v(x,y)/∂x}/∂y=f(x,y) ∂v(x,y)/∂x=∫f(x,y)dy v(x,y)=∫{∫f(x,y)dy}dx =∬f(x,y)dydx (条件より,積分定数は 0 となる) |
<例題>曲面 z=f(X+Y),xy平面,yz平面,zx平面,点(x,y) を通り yz平面, zx平面と平行な平面で囲まれる立体の体積を v(x,y) とするとき,v は次式で 表されることを示せ。 v(x,y)=∫f(X+Y)(dX*dY) 但し、X=(x,0),Y=(0,y) 但し、∂v/dx>0,∂v/dy>0 とする。 (これは証明を簡単にするために付けた条件) <解答>s=(0,y)*(x,0)=yx,x=(an,bn),y=(cn,dn)とする。 v(cnan)=p0+p1(cnan−s)+p2(cnan−s)2+・・・ ・・・・・・・・(1) v(dnbn)=p0+p1(dnbn−s)+p2(dnbn−s)2+・・・ ・・・・・・・・(2) とする。 (1) に an=x,cn=y を代入して,v(s)=v(xy)=p0 上の式より,v(cnan)=v(s)+p1(cnan−s)+p2(cnan−s)2+・・・ v(cnan)−v(s)=p1(cnan−s)+p2(cnan−s)2+・・・ {v(cnan)−v(s)}÷{cnan−s}=p1+p2(cnan−s)+・・・ ・・・・(3) {cnan−s}f{(cn,0)+(0,an)} <{v(cnan)−v(s)} <{cnan−s}f(X+Y) f(an,cn)<{v(cnan)−v(s)}÷{cnan−s}<f(x,y) ・・・・・ (4) (3),(4) から、どんな大きな n についても成立するには、p1=f(X+Y) ∴ v(cnan)−v(s)=f(X+Y)(cnan−s)+p2(cnan−s)2+・・・ 同様に v(dnbn)−v(s)=f(X+Y)(dnbn−s)+p2(dnbn−s)2+・・・ 上の2つの式より、 {v(cnan)−v(s),v(dnbn)−v(s)} ={f(X+Y)(cnan−s)+p2(cnan−s)2+・・・ ,f(x,y)(dnbn−s)+p2(dnbn−s)2+・・・} ={f(X+Y)(cnan−s),f(x,y)(dnbn−s)} =f(X+Y){cnan−s,dnbn−s) dv=f(X+Y)ds v=∫f(X+Y)ds ・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・(5) dY*dX =(0,dy)*(dx,0) =dy×dx−0×0 =(cn−y,dn−y)×(an−x,bn−x) ={(cn−y)(an−x),(dn−y)(bn−x)} =(cnan−cnx−yan+yx ,dnbn−dnx−ybn+yx) =(cnan−cnx+yx−yan+yx−yx ,dnbn−dnx+yx−ybn+yx−xy) ={ancn−x(cn−y)−y(an−y)−yx ,bndn−x(dn−x)−y(bn−x)−yx} =(cnan−xy,dnbn−xy) =(cnan−s,dnbn−s) =ds ・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・ (6) (5),(6) より、v(x,y)=∫f(X+Y)(dY*dX) |