■円環の面積(その5)
紐の長さaの追跡線の場合,紐が掃過する面積はπa^2/4となることが積分することなしにわかる.
マミコンの定理の一般形は接ベクトルが,定長であっても可変長であっても,2次元であろうが3次元であろうが,
[定理]接線掃過領域の面積は,接線を1点の回りに集めた接線団の面積に等しい
というものである.
===================================