Maths Olympiad Prep

Library / /46 of 120

, 2012

Algebra Difficulty 5.0 AIME, harder Prove it Saudi Arabia

Let aa, bb, cc be rational numbers such that
1a+bc+1b+ac=1a+b. \frac{1}{a+bc} + \frac{1}{b+ac} = \frac{1}{a+b}.
Prove that c3c+1\sqrt{\frac{c-3}{c+1}} is rational.

Solutions — 2

Solution 1

The given relation is equivalent to
(b+ac+a+bc)(a+b)=ab+c(a2+b2)+abc2, (b + ac + a + bc)(a + b) = ab + c(a^2 + b^2) + abc^2,
so therefore
(a+b)2c+(a+b)2=ab(c2+1)+c(a2+b2). (a+b)^2c + (a+b)^2 = ab(c^2+1) + c(a^2+b^2).
It follows
(a+b)2=ab(c2+1)+c[a2+b2(a+b)2]=ab(c2+1)2abc=ab(c1)2.(1) \begin{aligned} (a+b)^2 &= ab(c^2+1) + c[a^2 + b^2 - (a+b)^2] \\ &= ab(c^2+1) - 2abc = ab(c-1)^2. \end{aligned} \quad (1)
If c=1c=1, from the given relation we get
1a+b+1b+a=1a+b, \frac{1}{a+b} + \frac{1}{b+a} = \frac{1}{a+b},
which is not possible. Therefore, we have c1c \ne 1, and from (1) we obtain
ab=(a+bc1)2.(2) ab = \left(\frac{a+b}{c-1}\right)^2. \quad (2)
Using (2), it follows
(c3)(c+1)=(c1)24=(a+b)2ab4=(ab)2ab=[(ab)(c1)a+b]2. \begin{aligned} (c-3)(c+1) &= (c-1)^2 - 4 = \frac{(a+b)^2}{ab} - 4 = \frac{(a-b)^2}{ab} \\ &= \left[ \frac{(a-b)(c-1)}{a+b} \right]^2. \end{aligned}
Finally,
c3c+1=(c3)(c+1)c+1=abc1c+1a+bQ. \sqrt{\frac{c-3}{c+1}} = \frac{\sqrt{(c-3)(c+1)}}{|c+1|} = \frac{|a-b| \cdot |c-1|}{|c+1| \cdot |a+b|} \in \mathbb{Q}.

Solution 2

Assume b=0b=0. Then we get
1a+1ac=1a, \frac{1}{a} + \frac{1}{ac} = \frac{1}{a},
which is not possible. It follows that b0b \neq 0, so we can divide by bb in the given relation and obtain
1ab+c+11+abc=1ab+1,abQ.(1) \frac{1}{\frac{a}{b} + c} + \frac{1}{1 + \frac{a}{b}c} = \frac{1}{\frac{a}{b} + 1}, \quad \frac{a}{b} \in \mathbb{Q}. \quad (1)
Let ab=rQ\frac{a}{b} = r \in \mathbb{Q}. Then (1) is equivalent to
1r+c+11+rc=1r+1.(2) \frac{1}{r+c} + \frac{1}{1+rc} = \frac{1}{r+1}. \quad (2)
From (2) we obtain (1+r+rc+c)(r+1)=(r+c)(rc+1)(1+r+rc+c)(r+1) = (r+c)(rc+1), hence r2[(c1)22]r+1=0r^2 - [(c-1)^2 - 2]r + 1 = 0. This is a quadratic equation with rational roots, hence the discriminant Δ\Delta must be a perfect square of a rational number. We have
Δ=[(c1)22]24=[(c1)24](c1)2=(c3)(c+1)(c1)2=c3c+1(c+1)2(c1)2, \begin{aligned} \Delta &= [(c-1)^2 - 2]^2 - 4 = [(c-1)^2 - 4](c-1)^2 \\ &= (c-3)(c+1)(c-1)^2 = \frac{c-3}{c+1}(c+1)^2(c-1)^2, \end{aligned}
implying that c3c+1\frac{c-3}{c+1} is a perfect square of a rational number, and we are done.

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.