Maths Olympiad Prep

Library / /52 of 57

, 2008

Geometry Difficulty 6.9 National Olympiad Prove it JBMO

Problem:
The side lengths of a parallelogram are aa, bb and diagonals have lengths xx and yy. Knowing that ab=xy2a b = \frac{x y}{2}, show that
a=x2, b=y2ora=y2, b=x2 a = \frac{x}{\sqrt{2}},\ b = \frac{y}{\sqrt{2}} \quad \text{or} \quad a = \frac{y}{\sqrt{2}},\ b = \frac{x}{\sqrt{2}}

Solution

Solution:
Let us consider a parallelogram ABCDABCD, with AB=aAB = a, BC=bBC = b, AC=xAC = x, BD=yBD = y, AOD^=θ\widehat{AOD} = \theta.
For the area of ABCDABCD we know (ABCD)=absinA(ABCD) = ab \sin A.
But it is also true that (ABCD)=4(AOD)=4OAOD2sinθ=2OAODsinθ=2x2y2sinθ=xy2sinθ(ABCD) = 4(AOD) = 4 \cdot \frac{OA \cdot OD}{2} \sin \theta = 2 OA \cdot OD \sin \theta = 2 \cdot \frac{x}{2} \cdot \frac{y}{2} \sin \theta = \frac{xy}{2} \sin \theta.
So absinA=xy2sinθab \sin A = \frac{xy}{2} \sin \theta and since ab=xy2ab = \frac{xy}{2} by hypothesis, we get
sinA=sinθ \sin A = \sin \theta
Thus
θ=A^ or θ=180A^=B^ \theta = \widehat{A} \text{ or } \theta = 180^\circ - \widehat{A} = \widehat{B}
If θ=A\theta = A then (see Figure below) A2+B1=A1+A2A_2 + B_1 = A_1 + A_2, so B1=A1B_1 = A_1 which implies that ADAD is tangent to the circumcircle of triangle OABOAB. So
DA2=DODBb2=y2yb=y2 DA^2 = DO \cdot DB \Rightarrow b^2 = \frac{y}{2} \cdot y \Rightarrow b = \frac{y}{\sqrt{2}}

Figure 1

Then by ab=xy2ab = \frac{xy}{2} we get a=x2a = \frac{x}{\sqrt{2}}.
If θ=B\theta = B we similarly get a=x2,b=y2a = \frac{x}{\sqrt{2}}, b = \frac{y}{\sqrt{2}}.

Let us consider a parallelogram ABCDABCD, with AB=aAB = a, BC=bBC = b, AC=xAC = x, BD=yBD = y, BOC^=θ\widehat{BOC} = \theta, and let us produce the line ADAD towards DD and consider M(AD)M \in (AD) so that AD=DMAD = DM. Then BCMDBCMD is a parallelogram, so CM=BD=yCM = BD = y.
Observe also that (ABCD)=2(ACD)=(ACM)(ABCD) = 2(ACD) = (ACM) which is written equivalently as
CBCDsinC=ACCMsinθ2 i.e. absinC=xysinθ2 CB \cdot CD \cdot \sin C = \frac{AC \cdot CM \cdot \sin \theta}{2} \text{ i.e. } ab \sin C = \frac{xy \sin \theta}{2}
Because of the given relation ab=xy2ab = \frac{xy}{2} the last relation becomes sinC=sinθ\sin C = \sin \theta, i.e.
θ=C^ or θ=180C^=B^ \theta = \widehat{C} \text{ or } \theta = 180^\circ - \widehat{C} = \widehat{B}
If θ=C^\theta = \widehat{C}, then the triangles ACMACM and BCDBCD are similar because their angles at CC are equal, as well as their angles at B,MB, M (remember BCMDBCMD is a parallelogram).
Figure 2
Then
by=ax=y2b(b=y2,a=x2) \frac{b}{y} = \frac{a}{x} = \frac{y}{2b} \Rightarrow \left(b = \frac{y}{2}, a = \frac{x}{2}\right)
If θ=B^\theta = \widehat{B}, then similarly we prove that the triangles ACMACM and ACDACD are similar, which then implies
ay=bx=x2b(a=y2,b=x2) \frac{a}{y} = \frac{b}{x} = \frac{x}{2b} \Rightarrow \left(a = \frac{y}{2}, b = \frac{x}{2}\right)

The Parallelogram Law states that, in any parallelogram, the sum of the squares of its diagonals is equal to the sum of the squares of its sides.
In our case, this translates to x2+y2=2(a2+b2)x^2 + y^2 = 2(a^2 + b^2). First adding 2xy=4ab2xy = 4ab, then subtracting the same equality, yields (x+y)2=2(a+b)2(x + y)^2 = 2(a + b)^2 and (xy)2=2(ab)2(x - y)^2 = 2(a - b)^2. It follows that x+y=a2+b2x + y = a \sqrt{2} + b \sqrt{2} and either xy=a2b2x - y = a \sqrt{2} - b \sqrt{2}, or xy=b2a2x - y = b \sqrt{2} - a \sqrt{2}. In the first case one obtains x=a2,y=b2x = a \sqrt{2}, y = b \sqrt{2}, in the latter case, x=b2,y=a2x = b \sqrt{2}, y = a \sqrt{2}.
For the proof of the Parallelogram Law, simply apply the Law of cosines in triangles ABCABC and ABDABD and use the fact that ( ABC) = - ( BAD)\text{( ABC) = - ( BAD)}. Adding the two relations gives the desired condition.

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.