Let n≥3 be an integer and let p≥2n−3 be a prime number. For a set M of n points in the plane, no 3 collinear, let f:M→{0,1,…,p−1} be a function such that
(i) exactly one point of M maps to 0,
(ii) if a circle C passes through 3 distinct points of A,B,C∈M then ∑P∈M∩Cf(P)≡0(modp).
Prove that all the points in M lie on a circle. functionmodular arithmeticalgebradomaincombinatorics proposedcombinatorics