Let , , and be positive integers with such that \begin{align}a^2-b^2-c^2+ab&=2011\text{ and}\\ a^2+3b^2+3c^2-3ab-2ac-2bc&=-1997.\end{align}
What is ?
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
Adding the equations gives (a-b)^2 + (b-c)^2 + (a-c)^2 = 14, forcing the gaps a-b and b-c to be 1 and 2 in some order.
Solution
The two left-hand sides look unrelated, but their sum is friendly:
The left side is the well-known expression , so the three pairwise differences have squares adding to .
Let and , so . Then
Each of is at most , and checking the few options, only works since . In either case .
Now substitute and into the first equation. The terms cancel (), leaving
- : , so , not an integer.
- : , so and .
With , , : the first equation holds by construction, and since the sum of the two equations is (the differences satisfy ), the second holds as well.
The answer is .
Why this works
A system of quadratics with integer unknowns is usually cracked by finding one linear combination that becomes a sum of squares; a small sum of squares has only a handful of integer solutions, and each turns the remaining equation into a linear one. The pattern should trigger the identity immediately. Writing the unknowns as minus small gaps also keeps the arithmetic to linear terms.
The trap
Trying to solve the system directly or subtracting the equations instead of adding them; the sum is the one combination that collapses to a sum of squares.
Common mistakes
- Trying to solve the system directly or subtracting the equations instead of adding them; the sum is the one combination that collapses to a sum of squares.
- Ignoring and admitting negative gaps such as , which also satisfy but violate the ordering.
- Expanding and numerically and slipping on signs; keep the quadratic terms symbolic so they cancel.
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Split into exhaustive cases and handle each · Substitute to simplify (u = x+1/x, shifting, scaling)