区間I=[a,b]上の正値有界関数y=f(x)に対して、D={(x,y)|x∈I,0≦y≦f(x)}とおく。
点集合Dが面積確定であるための必要十分条件はf(x)がI上積分可能となることであることを示せ。
また|D|=∫(a→b)f(x)dxを示せ。

お願いします。