Bu sorudaki sonuc ve notasyonlara gore cevap verecegim.ν2((nk))=[n−σ2(n)]−[k−σ2(k)]−[(n−k)−σ2(n−k)] olur. Bu sayinin her k∈{1,2,⋯,n−1} icin buyuk sifir olmasini istiyoruz, yani σ2(n)<σ2(k)+σ2(n−k) olmali.
n=2a+m olarak yazalim, burada a en buyuk kuvvet. k=m≥1 durumu icin σ2(n)=σ2(2a)+σ2(m) olacagindan elde edecegimiz sayi tek olur.
Geriye m=0 secenegi kaldi. k ve n−k sifir olmayacagindan agirliklari en az 1 olur. Dolayisiyla aradaki her k degeri icin 1=σ2(2a)<1+1≤σ2(k)+σ2(n−k) olur.
Sonuc: n sadece 2'nin bir tam kuvveti oldugunda saglanir.