Maths Olympiad Prep

Library / Putnam /22 of 60

Putnam

Algebra Difficulty 7.8 National Olympiad, round 2 Find the answer

Find a nonzero polynomial P(x,y)P(x,y) such that P(⌊a⌋,⌊2a⌋)=0P(\lfloor a \rfloor, \lfloor 2a \rfloor) = 0 for all real numbers aa. (Note: ⌊ν⌋\lfloor \nu \rfloor is the greatest integer less than or equal to ν\nu.)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Take P(x,y)=(y−2x)(y−2x−1)P(x,y) = (y-2x)(y-2x-1). To see that this works, first note that if m=⌊a⌋m = \lfloor a \rfloor, then 2m2m is an integer less than or equal to 2a2a, so 2m≤⌊2a⌋2m \leq \lfloor 2a \rfloor. On the other hand, m+1m+1 is an integer strictly greater than aa, so 2m+22m+2 is an integer strictly greater than 2a2a, so ⌊2a⌋≤2m+1\lfloor 2a \rfloor \leq 2m+1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.