GeometryDifficulty 5.7AIME, harderProve itCzech-Polish-Slovak Mathematical Match
Let ABCD be a convex quadrilateral such that ∣AB∣+∣CD∣=2⋅∣AC∣and∣BC∣+∣DA∣=2⋅∣BD∣. Prove that ABCD is a parallelogram.
Solution
The result immediately follows from the following LEMMA. If ABCD is any quadrilateral (convex or non-convex), then (∣AB∣+∣CD∣)2+(∣BC∣+∣DA∣)2≥2∣AC∣2+2∣BD∣2, with the equality if and only if ABCD is a parallelogram.
PROOF OF LEMMA. The vectors a=AB, b=BC, c=CD and d=DA obviously satisfy a+b+c+d=0.(1) Squaring the triangle inequalities ∣a∣+∣c∣≥∣a−c∣,∣b∣+∣d∣≥∣b−d∣,(2) summing up and using the dot product, we get (∣AB∣+∣CD∣)2+(∣BC∣+∣DA∣)2≥∣a⋅c∣2+∣b−d∣2=∣a∣2+∣b∣2+∣c∣2+∣d∣2−2a⋅c−2b⋅d=∣a+b∣2−∣c+d∣2−2(a+d)⋅(b+c)=2∣AC∣2−2DB⋅BD=2∣AC∣2+2∣BD∣2. Thus the desired inequality is proven. If it is an equality, then (2) must become equalities as well, hence c=−pa and d=−qb for some positive real p and q. Substituting this into (1) yields (1−p)a+(1−q)b=0, hence both 1−p and 1−q vanish. Thus c=−a (and d=−b) which means that ABCD is a parallelogram.
Conversely, if ABCD is a parallelogram, then ∣AB∣=∣CD∣, ∣BC∣=∣DA∣ and thus the proved inequality verges into the well-known parallelogram equality, which itself follows from our solution if we take (2) as two obvious equalities.
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.