p(a1+⋯+a7)=p(p(a1+⋯+a6)+a7)=p(2a7)
であり,同様にすることで
p(a1+⋯+a7)=p(2a1)=⋯=p(2a7)
が分かる.従って a1≡⋯≡a7(mod5) が分かるので,4 以下の非負整数 k と b1∈{0,1} などを用いて
a1=5b1+k,a2=5b2+k,…,a7=5b7+k
とできる.これらが条件を満たす必要十分条件は
p(2k)=p(a1+⋯+a7)=p(5(b1+⋯+b7+k)+2k)
を満たすことであり,これは b1+⋯+b7+k が偶数であることと同値.よって,b1,b2,…,b6 を自由に選べばそれに対応する b7 が一意に定まるので,求める答えは 5×26=320
である.
解説YouTubeが存在しません.