Maths Olympiad Prep

Library / /4 of 15

Algebra Difficulty 4.7 AIME Prove it Estonia

Find all pairs (a,b)(a, b) of real numbers with a+b=1a + b = 1, which satisfy (a2+b2)(a3+b3)=a4+b4(a^2 + b^2)(a^3 + b^3) = a^4 + b^4.

Solutions — 2

Solution 1

As a3+b3=(a+b)(a2ab+b2)a^3 + b^3 = (a+b)(a^2 - ab + b^2), the given equation can be expressed as (a2+b2)(a2ab+b2)=a4+b4(a^2 + b^2)(a^2 - ab + b^2) = a^4 + b^4. Expanding brackets gives a3b+2a2b2ab3=0-a^3b + 2a^2b^2 - ab^3 = 0, which factorizes to ab(ab)2=0-ab(a-b)^2 = 0. Hence a=0a = 0 or b=0b = 0 or ab=0a-b = 0. Together with the condition a+b=1a+b=1, we get the following solutions: (0,1)(0, 1), (1,0)(1, 0), and (12,12)(\frac{1}{2}, \frac{1}{2}).

Solution 2

Denote ab=cab = c. Then a2+b2=(a+b)22ab=12ca^2 + b^2 = (a+b)^2 - 2ab = 1 - 2c,
a3+b3=(a+b)(a2ab+b2)=1(12cc)=13ca^3 + b^3 = (a+b)(a^2 - ab + b^2) = 1 \cdot (1 - 2c - c) = 1 - 3c, and a4+b4=(a2+b2)22a2b2=(12c)22c2=2c24c+1a^4 + b^4 = (a^2 + b^2)^2 - 2a^2b^2 = (1 - 2c)^2 - 2c^2 = 2c^2 - 4c + 1. The given equation (a2+b2)(a3+b3)=a4+b4(a^2 + b^2)(a^3 + b^3) = a^4 + b^4 can now be expressed as (12c)(13c)=2c24c+1(1 - 2c)(1 - 3c) = 2c^2 - 4c + 1, or equivalently, c(4c1)=0c(4c - 1) = 0. Hence, c=0c = 0 or c=14c = \frac{1}{4}. Now the two simultaneous equations a+b=1a+b=1 and ab=cab=c give the solutions a=0a=0, b=1b=1 and a=1,b=0a=1, b=0 for c=0c=0, and a=12,b=12a = \frac{1}{2}, b = \frac{1}{2} for c=14c = \frac{1}{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.