Шелковый путь олимпиада по математике 2016 года | Казахстанские олимпиады

Пусть P(n)P(n) это количество способов разбить натуральное число nn на сумму степеней двойки, при этом порядок не имеет значение. Например P(5)=4P(5) = 4, так как 5=4+1=2+2+1=2+1+1+1=1+1+1+1+15=4+1=2+2+1=2+1+1+1=1+1+1+1+1.

Докажите, что для любого натурального nn верно тождество

P(1) + (-1)^{a_n} = 0,$$ где $a_k$ — количество единиц в двоичной записи числа $k$.