| For All Solvers
OMC164

OMC164(D) - 平方完成

ユーザー解説 by jjmmxx

 a=Pa=P のときは,bPb \neq P または (b,c)=(P,P)(b,c)=(P,P) が条件であるので P(P1)+1P(P-1)+1 個.

 aPa \neq P のときを考える.このとき ax2+bx+ca(xα)2+β(modP)ax^2+bx+c \equiv a(x-\alpha)^2 + \beta \pmod P となる α,β (0α,β<P)\alpha,\beta ~ (0 \leq \alpha,\beta \lt P) が一意に存在する.なぜなら,(a,b)(a,b) を決めると b2aα(modP)b \equiv -2a\alpha \pmod P となる α\alpha が一意に存在し,β\beta を適当に 11 つ選ぶことで aα2+βc(modP)a\alpha^2+\beta \equiv c \pmod P とできるから(ともに逆元の存在より).問題の条件を満たすのは β=0\beta = 0 のときであるから,このときは P(P1)P(P-1) 個.

 よって M=2P22P+1M = 2P^2 - 2P + 1 と分かり,あとは公式解説と同様.