Problem: Let f(x)=x2−ax+a2−4, where a is a real number. Find all a, for which:
a) the equation f(x)=0 has two real roots x1 and x2 such that ∣x13−x23∣≤4;
b) the inequality f(x)≥0 holds for all integers x.
Solution
Solution:
a. Using Vieta's formulas we get x12+x1x2+x22=(x1+x2)2−x1x2=4. Hence ∣x13−x23∣≤4⟺∣x1−x2∣≤1. Let D=16−3a2 be the discriminant of f(x). Then D≥0 and ∣x1−x2∣=D. It follows that 0≤16−3a2≤1, and therefore a∈[−343,−5]∪[5,343].
b. If D=16−3a2≤0, i.e. a∈(−∞,−343]∪[343,∞), then f(x)≥0 for every x. If D>0, then ∣x1−x2∣≤1 (since otherwise there is an integer x∈(x1,x2), i.e., f(x)<0). Hence a∈[−343,−5]∪[5,343] and we have to find all a from these intervals such that f(x)≥0 for every integer x. If f(x)<0 for some integer x, then the distance between x and 2a is at most 21. Since −23<−323≤2a≤−25<−1 or 23>323≥2a≥25>1, we conclude that x=±1 and by the inequalities f(−1)≥0 and f(1)≥0 we get a∈[−343,2−1−13]∪[21+13,343]. In conclusion, the desired values of a are a∈(−∞,2−1−13]∪[21+13,+∞)
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.