Maths Olympiad Prep

Library / /265 of 462

Geometry Difficulty 6.0 AIME, harder Prove it Ireland

Suppose aa, bb, cc are the side lengths of an isosceles triangle ABCABC with area Δ\Delta. Prove that
a2+b24Δ+a2+c24Δb2+c24Δ. \sqrt{a^2 + b^2 - 4\Delta} + \sqrt{a^2 + c^2 - 4\Delta} \ge \sqrt{b^2 + c^2 - 4\Delta}.
Determine the cases of equality.

Solution

Clearly, the desired inequality holds if either a=ba = b or a=ca = c, in which case a term on the LHS is equal to that on the RHS. If, say, a=ca = c, equality holds iff a2+c2=4Δ=2acsinBa^2 + c^2 = 4\Delta = 2ac \sin B, i.e., sinB=1\sin B = 1, which means that ABCABC is right-angled with the right angle at BB. If a=ba = b, equality holds iff ABCABC is right-angled with the right angle at CC.

Suppose b=cb = c. Then the inequality holds iff 4(a2+b24Δ)(2b24Δ)4(a^2 + b^2 - 4\Delta) \ge (2b^2 - 4\Delta), equivalently, 2a2+b26Δ2a^2 + b^2 \ge 6\Delta, or 4a4+4a2b2+b436Δ24a^4 + 4a^2b^2 + b^4 \ge 36\Delta^2. Heron's formula, Δ=s(sa)(sb)(sc)\Delta = \sqrt{s(s-a)(s-b)(s-c)}, can be rewritten as
16Δ2=(a+b+c)(a+b+c)(ab+c)(a+bc). 16\Delta^2 = (a+b+c)(-a+b+c)(a-b+c)(a+b-c).
When b=cb = c, the right hand side becomes (4b2a2)a2(4b^2 - a^2)a^2, thus we want to show
4a4+4a2b2+b494(4a2b2a4). 4a^4 + 4a^2b^2 + b^4 \ge \frac{9}{4}(4a^2b^2 - a^4).
Simplifying this, the desired inequality holds iff
25a4+4b420a2b2, namely, (5a22b2)20, 25a^4 + 4b^4 \ge 20a^2b^2, \text{ namely, } (5a^2 - 2b^2)^2 \ge 0,
which is true, with equality iff 5a2=2b25a^2 = 2b^2.

For an alternative way to prove 2a2+b26Δ2a^2 + b^2 \ge 6\Delta, observe that a=2bsin(A/2)a = 2b \sin(A/2) in an isosceles triangle with b=cb = c. Using 2Δ=bcsinA=b2sinA2\Delta = bc \sin A = b^2 \sin A, the desired inequality becomes
8b2sin2A2+b23b2sinA. 8b^2 \sin^2 \frac{A}{2} + b^2 \ge 3b^2 \sin A.
Upon cancelling b2b^2 and using 2sin2(A/2)=1cosA2\sin^2(A/2) = 1 - \cos A, this simplifies to
4(1cosA)+13sinAor53sinA+4cosA. 4(1 - \cos A) + 1 \ge 3\sin A \quad \text{or} \quad 5 \ge 3\sin A + 4\cos A.
The latter is true because the tangent to the unit circle at (x,y)=(4/5,3/5)(x, y) = (4/5, 3/5) has equation 5x+3y=45x + 3y = 4 and all points (cosA,sinA)(\cos A, \sin A) on the unit circle are below this tangent.

Equality occurs only for the point of tangency, which is (cosA,sinA)=(4/5,3/5)(\cos A, \sin A) = (4/5, 3/5). As a=2bsin(A/2)a = 2b \sin(A/2) and 2sin2(A/2)=1cosA2 \sin^2(A/2) = 1 - \cos A, we see now that equality occurs iff a2=4b2sin2(A/2)=2b2(1cosA)=2b2/5a^2 = 4b^2 \sin^2(A/2) = 2b^2(1 - \cos A) = 2b^2/5.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.