>>826
√{ (dx/dθ)^2 + (dy/dθ)^2} = r √{ 2 + 2 cosθ}
をθ = 0 to 2πで積分すれば 8r になる。