α^3+β^3+γ^3가 최소가 되도록 하는 α, β, γ의 값을 각각 p, q, r이라 하자.


α=p일 때 β+γ의 값은 일정, β=γ일 때 β^3+γ^3가 최소이므로 q=r


β=q일 때 같은 방법으로 p=r


따라서 p=q=r



이런 식으로 계속하면 a_1+a_2+...+a_n이 일정할 때 a_1^m+a_2^m+...+a_n^m이 최소일 조건이 a_1=a_2=...=a_n인 것도 보일 수 있음