Maths Olympiad Prep

Library / /9 of 24

Geometry Difficulty 6.1 National olympiad Prove it Belarus

Points XX, YY and ZZ are marked on the sides ADAD, ABAB and BCBC of a parallelogram ABCDABCD, respectively. It is known that AX=CZAX = CZ.

a) Prove that at least one of the inequalities holds
XY+YZAC or XY+YZBD. XY + YZ \geq AC \text{ or } XY + YZ \geq BD.

b) Is it true that XY+YZAC+BD2XY + YZ \geq \frac{AC + BD}{2}?

Solution

b) It is not true.

a) Without loss of generality we assume that α=BAD90\alpha = \angle BAD \le 90^\circ. In this case we have
BD=AB2+AD22ABADcosαAB2+AD2+2ABADcosα=[AD=BC]==AB2+BC22ABBCcos(πα)=AC. \begin{aligned} BD &= \sqrt{AB^2 + AD^2 - 2AB \cdot AD \cos \alpha} \le \\ &\le \sqrt{AB^2 + AD^2 + 2AB \cdot AD \cos \alpha} = [AD = BC] = \\ &= \sqrt{AB^2 + BC^2 - 2AB \cdot BC \cos(\pi - \alpha)} = AC. \end{aligned}
So, it is sufficient to show that XY+YZBDXY + YZ \ge BD. Let YMADYM \parallel AD, DMXYDM \parallel XY (see the Fig.). It is evident that XYMDXYMD is a parallelogram, so YM=XDYM = XD and XY=MDXY = MD. Since CZ=AXCZ = AX, we have XD=ADAX=BCCZ=ZBXD = AD - AX = BC - CZ = ZB. Since ZBXDYMZB \parallel XD \parallel YM, we see that YBZMYBZM is a parallelogram.

Figure 1

In the parallelogram YBZMYBZM we have BYM=BAD=α90\angle BYM = \angle BAD = \alpha \le 90^\circ, therefore,
YZ=YB2+BZ22YBBZcos(πα)[BZ=YM]YB2+YM22YBYMcosα=BM. \begin{aligned} YZ &= \sqrt{YB^2 + BZ^2 - 2YB \cdot BZ \cos(\pi - \alpha)} \ge [BZ = YM] \ge \\ &\ge \sqrt{YB^2 + YM^2 - 2YB \cdot YM \cos \alpha} = BM. \end{aligned}
Thus XY+YZXY+BM=MD+BMBDXY + YZ \ge XY + BM = MD + BM \ge BD, as required.

b) We show that there exist a parallelogram ABCDABCD and a point YY such that the inequality
XY+YZAC+BD2() XY + YZ \ge \frac{AC + BD}{2} \quad (*)
is not valid. Let a parallelogram ABCDABCD is different from a rectangle. Then its diagonals are not equal. Without loss of generality we assume that AC>BDAC > BD. Let YZACYZ \parallel AC (see the Fig.). Let AX/AD=CZ/BC=λAX/AD = CZ/BC = \lambda. By Thales' theorem, we have AY/AB=CZ/BC=λAY/AB = CZ/BC = \lambda. Hence AY/AB=AX/AD=λAY/AB = AX/AD = \lambda. It follows that the triangles AYXAYX and ABDABD are similar and XY/BD=λXY/BD = \lambda, i.e. XY=λBDXY = \lambda BD.

Moreover, by construction of YY, the triangles YBZYBZ and ABCABC are similar and YZ/AC=BZ/BC=(BCCZ)/BC=1λYZ/AC = BZ/BC = (BC - CZ)/BC = 1 - \lambda, hence YZ=(1λ)ACYZ = (1 - \lambda)AC.

Therefore, XY+YZ=λBD+(1λ)ACXY + YZ = \lambda BD + (1 - \lambda)AC and (*) has the form λBD+(1λ)AC12BD+12AC\lambda BD + (1 - \lambda)AC \ge \frac{1}{2}BD + \frac{1}{2}AC or (λ12)BD(λ12)AC(\lambda - \frac{1}{2})BD \ge (\lambda - \frac{1}{2})AC. But this inequality is not valid if λ>12\lambda > \frac{1}{2}.

Figure 2

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.