Maths Olympiad Prep

Library / /2 of 5

Algebra Difficulty 3.4 AMC 10/12 Prove it Croatia

Find all pairs (a,b)(a, b) of real (not necessarily positive) numbers such that a2+b2=25a^2 + b^2 = 25, for which ab+a+bab + a + b attains the smallest possible value.

Solution

Transforming the inequality (a+b+1)20(a + b + 1)^2 \ge 0 yields a2+b2+1+2ab+2a+2b0a^2 + b^2 + 1 + 2ab + 2a + 2b \ge 0, from which it follows that 2(ab+a+b)(a2+b2)12(ab + a + b) \ge -(a^2 + b^2) - 1, i.e. ab+a+b13ab + a + b \ge -13.
The equality is attained if and only if a+b+1=0a + b + 1 = 0, i.e. b=a1b = -a - 1. Plugging this into a2+b2=25a^2 + b^2 = 25 gives us
a2+(a1)2=25,2a2+2a+1=25,a2+a12=0,(a+4)(a3)=0, \begin{aligned} a^2 + (-a - 1)^2 &= 25, \\ 2a^2 + 2a + 1 &= 25, \\ a^2 + a - 12 &= 0, \\ (a + 4)(a - 3) &= 0, \end{aligned}
hence we get and verify two symmetric solutions: (a,b)=(4,3)(a, b) = (-4, 3) and (a,b)=(3,4)(a, b) = (3, -4).

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 and solution reproduced as published; topic and difficulty added by this site.