m*v^2/l=T-m*g*cos(x), 1/2*ｍ*v0^2=1/2*m*v^2+m*g*l*(1-cos(x)) を T,v について解く