>>828
θ→θ+δθの変換に対してラグランジアンL(z,θ,z',θ')が不変だとします
δL=∂L/∂θ*δθ+∂L/∂θ'*δθ'=∂L/∂θ*δθ+d/dt(∂L/∂θ'*δθ)-d/dt(∂L/∂θ')*δθ=d/dt(∂L/∂θ'*δθ)=0
∂L/∂θ'*δθが保存量となり、今回の場合は、δθは定数ですから、δθ=1とすると
∂L/∂θ'*δθ=mr^2θ'=mr^2ωが一定となります