Suppose a, b, c are the side lengths of an isosceles triangle ABC with area Δ. Prove that a2+b2−4Δ+a2+c2−4Δ≥b2+c2−4Δ. Determine the cases of equality.
Solution
Clearly, the desired inequality holds if either a=b or a=c, in which case a term on the LHS is equal to that on the RHS. If, say, a=c, equality holds iff a2+c2=4Δ=2acsinB, i.e., sinB=1, which means that ABC is right-angled with the right angle at B. If a=b, equality holds iff ABC is right-angled with the right angle at C.
Suppose b=c. Then the inequality holds iff 4(a2+b2−4Δ)≥(2b2−4Δ), equivalently, 2a2+b2≥6Δ, or 4a4+4a2b2+b4≥36Δ2. Heron's formula, Δ=s(s−a)(s−b)(s−c), can be rewritten as 16Δ2=(a+b+c)(−a+b+c)(a−b+c)(a+b−c). When b=c, the right hand side becomes (4b2−a2)a2, thus we want to show 4a4+4a2b2+b4≥49(4a2b2−a4). Simplifying this, the desired inequality holds iff 25a4+4b4≥20a2b2, namely, (5a2−2b2)2≥0, which is true, with equality iff 5a2=2b2.
For an alternative way to prove 2a2+b2≥6Δ, observe that a=2bsin(A/2) in an isosceles triangle with b=c. Using 2Δ=bcsinA=b2sinA, the desired inequality becomes 8b2sin22A+b2≥3b2sinA. Upon cancelling b2 and using 2sin2(A/2)=1−cosA, this simplifies to 4(1−cosA)+1≥3sinAor5≥3sinA+4cosA. The latter is true because the tangent to the unit circle at (x,y)=(4/5,3/5) has equation 5x+3y=4 and all points (cosA,sinA) on the unit circle are below this tangent.
Equality occurs only for the point of tangency, which is (cosA,sinA)=(4/5,3/5). As a=2bsin(A/2) and 2sin2(A/2)=1−cosA, we see now that equality occurs iff a2=4b2sin2(A/2)=2b2(1−cosA)=2b2/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.