Maths Olympiad Prep

Library / /24 of 42

Algebra Difficulty 6.1 National olympiad Prove it Ireland

Suppose aa, bb, cc, d[1,1]d \in [-1, 1]. Prove that
ad+bc+cadb2 |ad + bc + ca - db| \leq 2
and determine the case of equality.

Solutions — 2

Solution 1

Solution 1. Note that
(ad+bc+cadb)2=(a(c+d)+b(cd))2=a2(c+d)2+2ab(c2d2)+b2(cd)2(c+d)2+2ab(c2d2)+(cd)2=2(c2+d2)+2ab(c2d2)=2[(1+ab)c2+(1ab)d2]2[(1+ab)+(1ab)](since 1ab1)=4, \begin{align*} (ad + bc + ca - db)^2 &= (a(c+d) + b(c-d))^2 \\ &= a^2(c+d)^2 + 2ab(c^2-d^2) + b^2(c-d)^2 \\ &\leq (c+d)^2 + 2ab(c^2-d^2) + (c-d)^2 \\ &= 2(c^2+d^2) + 2ab(c^2-d^2) \\ &= 2[(1+ab)c^2 + (1-ab)d^2] \\ &\leq 2[(1+ab) + (1-ab)] \quad (\text{since } -1 \leq ab \leq 1) \\ &= 4, \end{align*}
whence
ad+bc+cadb2. |ad + bc + ca - db| \leq 2.

When a21a^2 \neq 1, equality can only occur when we are in case (iii), hence b2=1b^2 = 1.
Then ab±1ab \neq \pm 1 and equality in the second inequality occurs iff c2=d2=1c^2 = d^2 = 1.
When b21b^2 \neq 1, equality can only occur when we are in case (ii), hence a2=1a^2 = 1.
Then ab±1ab \neq \pm 1 and equality in the second inequality occurs iff c2=d2=1c^2 = d^2 = 1.
When a2=b2=1a^2 = b^2 = 1, we either have a=b=±1a = b = \pm 1 and then ab=1ab = 1, in which case equality in the second inequality occurs iff c2=1c^2 = 1, or we have a=b=±1a = -b = \pm 1, hence ab=1ab = -1, and equality in the second inequality occurs iff d2=1d^2 = 1.

Equality holds in the first inequality iff we are in one of the following four cases: (i) a2=b2=1a^2 = b^2 = 1, or (ii) a2=1,c=da^2 = 1, c = d, or (iii) b2=1,c=db^2 = 1, c = -d, or (iv) c=d=0c = d = 0. When c=d=0c = d = 0, the second inequality is strict, so we are not interested in case (iv).
---
In summary, equality occurs iff one of the following holds:
a=banda2=b2=c2=1, orc=dandb2=c2=d2=1. \begin{aligned} a &= b \quad \text{and} \quad a^2 = b^2 = c^2 = 1, \text{ or} \\ c &= -d \quad \text{and} \quad b^2 = c^2 = d^2 = 1. \end{aligned}

Solution 2

Solution 2. Note that if xx, yy are real numbers then
x+y+xy=2max(x,y). |x + y| + |x - y| = 2 \max(|x|, |y|).
For
(x+y+xy)2=(x+y)2+2x+yxy+(xy)2=2(x2+y2)+2x2y2=4max(x2,y2)=4(max(x,y))2. \begin{aligned} (|x + y| + |x - y|)^2 &= (x + y)^2 + 2|x + y||x - y| + (x - y)^2 \\ &= 2(x^2 + y^2) + 2|x^2 - y^2| \\ &= 4 \max(x^2, y^2) \\ &= 4(\max(|x|, |y|))^2. \end{aligned}
Hence
ad+bc+cadb=a(c+d)+b(cd)ac+d+bcdc+d+cd=2max(c,d)2. \begin{aligned} |ad + bc + ca - db| &= |a(c+d) + b(c-d)| \\ &\leq |a| |c+d| + |b| |c-d| \\ &\leq |c+d| + |c-d| \\ &= 2 \max(|c|, |d|) \\ &\leq 2. \end{aligned}

The case of equality can be determined in a way similar to Solution 1.

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.