Subcontests
(7)2d geometry, points in disks
Let n be a positive integer and let x1,…,xn be n nonzero points in R2. Suppose ⟨xi,xj⟩ (scalar or dot product) is a rational number for all i,j (1≤i,j≤n). Let S denote all points of R2 of the form ∑i=1naixi where the ai are integers. A closed disk of radius R and center P is the set of points at distance at most R from P (includes the points distance R from P). Prove that there exists a positive number R and closed disks D1,D2,… of radius R such that(a) Each disk contains exactly two points of S;
(b) Every point of S lies in at least one disk;
(c) Two distinct disks intersect in at most one point. FE R^2->R, bounding absolute value
Let (a1,b1),…,(an,bn) be n points in R2 (where R denotes the real numbers), and let ϵ>0 be a positive number. Can we find a real-valued function f(x,y) that satisfies the following three conditions?1. f(0,0)=1;
2. f(x,y)=0 for only finitely many (x,y)∈R2;
3. ∑r=1n∣f(x+ar,y+br)−f(x,y)∣<ϵ for every (x,y)∈R2.Justify your answer.