>>747
L(α,β)=mβ^2/2-kα^2/2という関数を考えます
αとβは独立な変数ですね

ここにα=x,β=vを代入すると
L(x,v)=mv^2/2-kx^/2
となりますね

後から代入すると考えたら問題ないですね