- 415 名前：１３２人目の素数さん mailto:sage [2021/07/03(土) 03:00:22.02 ID:00ClNtrb.net]
- >>397
念のため、式変形で書いておくと
binomial(p^2,p)-p
=p×((p^2-1)(p^2-2)…(p^2-(p-1))-(p-1)!)/(p-1)!
=p×(Π[k=1,(p-1)/2](p^2-k)(p^2-(p-k))-(p-1)!)/(p-1)!
=p×(Π[k=1,(p-1)/2](p^3(p-1)+k(p-k))-(p-1)!)/(p-1)!
=p×(Np^6+Σ[k=1,(p-1)/2]k(p-k)p^3(p-1))/(p-1)!
=p×(Mp^4+(Σ[k=1,(p-1)/2]k^2)p^3(p-1))/(p-1)!
=p×(Mp^4+p^4(p^2-1)/24)/(p-1)!
=p^5×(M+(p^2-1)/24)/(p-1)!
ここでM,Nはある整数
