AlgebraDifficulty 7.1National Olympiad, round 2Prove itHong Kong
Find the largest possible positive integer n, so that there exist n distinct positive real numbers x1,x2,…,xn satisfying the following inequality: for any 1≤i,j≤n, (3xi−xj)(xi−3xj)≥(1−xixj)2.
Solution
The largest possible n is 3. Note that ⇔⇔⇔⇔(3xi−xj)(xi−3xj)≥(1−xixj)23xi2−10xixj+3xj2≥1−2xixj+xi2xj23xi2−6xixj+3xj2≥1+2xixj+xi2xj23(xi−xj)2≥(1+xixj)21+xixjxi−xj≥31.(1) WLOG, we may assume x1<x2<⋯<xn. For 1≤j≤n, we can find θj∈R such that 0<θj<2π and xj=tanθj. Now for 1≤i<j≤n, the inequality (1) is equivalent to tan(θj−θi)≥31, which means θj−θi≥6π. If n≥4, by the pigeonhole principle, there exists j with 1≤j≤3 such that θj+1−θj<6π. This contradicts (1). Therefore, we must have n≤3.
It is possible to have n=3. For example, we can take xj=tan12(2j−1)π for j=1,2,3. Following the above arguments, we see that all inequalities are satisfied.
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.