Maths Olympiad Prep

Library / Berkeley Math Circle /48 of 98

Berkeley Math Circle

Algebra Difficulty 4.9 AIME Prove it United States

Problem:
Let aa, bb, cc, xx be real numbers such that
ax2−bx−c=bx2−cx−a=cx2−ax−b. a x^{2}-b x-c = b x^{2}-c x-a = c x^{2}-a x-b.
Prove that a=b=ca = b = c.

Solution

Solution:
Let u=a−bu = a - b, v=b−cv = b - c, and w=c−aw = c - a. Then u+v+w=0u + v + w = 0, and we would like to prove that u=v=w=0u = v = w = 0. We have
ax2−bx−c=bx2−cx−a(a−b)x2+(−b+c)x+(−c+a)=0ux2−vx−w=0. \begin{aligned} a x^{2} - b x - c &= b x^{2} - c x - a \\ (a - b) x^{2} + (-b + c) x + (-c + a) &= 0 \\ u x^{2} - v x - w &= 0. \end{aligned}

In a similar manner, we get
vx2−wx−u=0 v x^{2} - w x - u = 0
and
wx2−ux−v=0. w x^{2} - u x - v = 0.

Taking vv times (1) minus uu times (2) eliminates the x2x^{2} term; we get
(v2−wu)x=u2−vw. \left(v^{2} - w u\right) x = u^{2} - v w.

Letting A=u2−vwA = u^{2} - v w, B=v2−wuB = v^{2} - w u, C=w2−uvC = w^{2} - u v, we now have Bx=AB x = A, and analogously Cx=BC x = B and Ax=CA x = C. We see that if any of AA, BB, and CC are zero, then they all are. So we have two cases:

Case 1. A=B=C=0A = B = C = 0, that is, u2=vwu^{2} = v w, v2=wuv^{2} = w u, and w2=uvw^{2} = u v. Clearly if one of uu, vv, and ww is 00, then they all are and we are done. Otherwise, dividing the first equation by the second leads to v3=w3v^{3} = w^{3} and v=wv = w. Similarly u=v=wu = v = w. But since u+v+w=0u + v + w = 0, the only common value that uu, vv, and ww can have is 00 and we are done.

Case 2. AA, BB, and CC are all nonzero. Multiplying the three equations Bx=AB x = A, Cx=BC x = B, and Ax=CA x = C together, we derive that x3=1x^{3} = 1 so x=1x = 1. Plugging x=1x = 1 into the original equations gives
a−b−c=b−c−a=c−a−b, a - b - c = b - c - a = c - a - b,
so a=b=ca = b = c as desired.

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

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