Maths Olympiad Prep

Track / Stage 6 / 145 of 400 #1785 of 2604

Problem 1785

National Olympiad, first round
Geometry Difficulty 6.2 Prove it Baltic Way competition problems · Baltic Way

Given positive real numbers a,b,c,da, b, c, d that satisfy equalities
a2+d2−ad=b2+c2+bcanda2+b2=c2+d2, a^2 + d^2 - ad = b^2 + c^2 + bc \quad \text{and} \quad a^2 + b^2 = c^2 + d^2,
find all possible values of the expression ab+cdad+bc\frac{ab+cd}{ad+bc}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Answer: 32\frac{\sqrt{3}}{2}.

Let A1BC1A_1BC_1 be a triangle with A1B=bA_1B = b, BC1=cBC_1 = c and ∠A1BC1=120∘\angle A_1BC_1 = 120^\circ, and C2DA2C_2DA_2 be another triangle with C2D=dC_2D = d, DA2=aDA_2 = a and ∠C2DA2=60∘\angle C_2DA_2 = 60^\circ. By the law of cosines and the assumption a2+d2−ad=b2+c2+bca^2 + d^2 - ad = b^2 + c^2 + bc, we have A1C1=A2C2A_1C_1 = A_2C_2. Thus the two triangles can be put together to form a quadrilateral ABCDABCD with AB=bAB = b, BC=cBC = c, CD=dCD = d, DA=aDA = a and ∠ABC=120∘\angle ABC = 120^\circ, ∠CDA=60∘\angle CDA = 60^\circ. Then ∠DAB+∠BCD=360∘−(∠ABC+∠CDA)=180∘\angle DAB + \angle BCD = 360^\circ - (\angle ABC + \angle CDA) = 180^\circ.

Suppose ∠DAB>90∘\angle DAB > 90^\circ; then ∠BCD<90∘\angle BCD < 90^\circ whence a2+b2<BD2<c2+d2a^2 + b^2 < BD^2 < c^2 + d^2, contradicting the assumption a2+b2=c2+d2a^2 + b^2 = c^2 + d^2. By symmetry, ∠DAB<90∘\angle DAB < 90^\circ also leads to contradiction. Hence ∠DAB=∠BCD=90∘\angle DAB = \angle BCD = 90^\circ. Now calculate the area of ABCDABCD in two ways; on one hand, it equals 12adsin⁡60∘+12bcsin⁡120∘\frac{1}{2}ad \sin 60^\circ + \frac{1}{2}bc \sin 120^\circ or 34(ad+bc)\frac{\sqrt{3}}{4}(ad + bc); on the other hand, it equals 12ab+12cd\frac{1}{2}ab + \frac{1}{2}cd or 12(ab+cd)\frac{1}{2}(ab + cd). Consequently,
ab+cdad+bc=3412=32. \frac{ab + cd}{ad + bc} = \frac{\frac{\sqrt{3}}{4}}{\frac{1}{2}} = \frac{\sqrt{3}}{2}.

Setting T2=a2+b2=c2+d2T^2 = a^2 + b^2 = c^2 + d^2, where T>0T > 0, we can write
a=Tsin⁡α,b=Tcos⁡α,c=Tsin⁡β,d=Tcos⁡β a = T \sin \alpha, \quad b = T \cos \alpha, \quad c = T \sin \beta, \quad d = T \cos \beta
for some α,β∈(0,π/2)\alpha, \beta \in (0, \pi/2). With this notation, the first equality gives
sin⁡2α+cos⁡2β−sin⁡αcos⁡β=sin⁡2β+cos⁡2α+cos⁡αsin⁡β. \sin^2 \alpha + \cos^2 \beta - \sin \alpha \cos \beta = \sin^2 \beta + \cos^2 \alpha + \cos \alpha \sin \beta.
Hence, cos⁡(2β)−cos⁡(2α)=sin⁡(α+β)\cos(2\beta) - \cos(2\alpha) = \sin(\alpha + \beta). Since cos⁡(2β)−cos⁡(2α)=2sin⁡(α−β)sin⁡(α+β)\cos(2\beta) - \cos(2\alpha) = 2\sin(\alpha - \beta)\sin(\alpha + \beta) and sin⁡(α+β)≠0\sin(\alpha + \beta) \neq 0, this yields sin⁡(α−β)=1/2\sin(\alpha - \beta) = 1/2. Thus, in view of α−β∈(−π/2,π/2)\alpha - \beta \in (-\pi/2, \pi/2) we deduce that cos⁡(α−β)=1−sin⁡2(α−β)=3/2\cos(\alpha - \beta) = \sqrt{1 - \sin^2(\alpha - \beta)} = \sqrt{3}/2.

Now, observing that ab+cd=T22(sin⁡(2α)+sin⁡(2β))=T2sin⁡(α+β)cos⁡(α−β)ab + cd = \frac{T^2}{2}(\sin(2\alpha) + \sin(2\beta)) = T^2 \sin(\alpha + \beta) \cos(\alpha - \beta) and ad+bc=T2sin⁡(α+β)ad + bc = T^2 \sin(\alpha + \beta), we obtain (ab+cd)/(ad+bc)=cos⁡(α−β)=3/2(ab + cd)/(ad + bc) = \cos(\alpha - \beta) = \sqrt{3}/2.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.