Maths Olympiad Prep

Track / Stage 6 / 145 of 400 #1625 of 2444

Problem 1625

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+d2ad=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+d2ad=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 12adsin60+12bcsin120\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
sin2α+cos2βsinαcosβ=sin2β+cos2α+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(αβ)=1sin2(αβ)=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.