■円環の面積(その5)

 紐の長さaの追跡線の場合,紐が掃過する面積はπa^2/4となることが積分することなしにわかる.

 マミコンの定理の一般形は接ベクトルが,定長であっても可変長であっても,2次元であろうが3次元であろうが,

[定理]接線掃過領域の面積は,接線を1点の回りに集めた接線団の面積に等しい

というものである.

===================================