Maths Olympiad Prep

Library / /21 of 68

, 2017

Algebra Difficulty 4.9 AIME Prove it United States

Problem:

Does there exist a two-variable polynomial P(x,y)P(x, y) with real number coefficients such that P(x,y)P(x, y) is positive exactly when xx and yy are both positive?

Solution

Solution:

Answer: No
For any ϵ\epsilon and positive xx, P(x,ϵ)>0P(x, \epsilon)>0 and P(x,ϵ)0P(x,-\epsilon) \leq 0. Thus by continuity/IVT, P(x,0)=0P(x, 0)=0 for all positive xx. Similarly P(0,y)=0P(0, y)=0 for all positive yy. This implies xyP(x,y)x y \mid P(x, y), and so we can write P(x,y)=xyQ(x,y)P(x, y)=x y Q(x, y). But then this same logic holds for QQ, and this cannot continue infinitely unless PP is identically 00 -- in which case the conditions do not hold. So no such polynomial exists.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.