Maths Olympiad Prep

Library / /4 of 4

Geometry Difficulty 8.9 Shortlist Prove it Romania

Let ABCDEFABCDEF be a convex hexagon. The diagonals ACAC and BDBD cross at PP, the diagonals AEAE and DFDF cross at QQ, and the line PQPQ crosses the sides BCBC and EFEF at XX and YY, respectively. Prove that the length of the segment XYXY does not exceed the sum of the lengths of one of the diagonals through PP and one of the diagonals through QQ.

Solution

The problem at hand is a special case of the following situation: Let UU be a point on the diagonal ADAD and let V=UPBCV = UP \cap BC and W=UQEFW = UQ \cap EF. Then UVmax(AC,BD)UV \le \max(AC, BD) and, similarly, UWmax(AE,DF)UW \le \max(AE, DF), so VWUV+UWmax(AC,BD)+max(AE,DF)VW \le UV + UW \le \max(AC, BD) + \max(AE, DF). In particular, if U=ADPQU = AD \cap PQ, then V=XV = X and W=YW = Y, and the conclusion follows.

We now prove that UVmax(AC,BD)UV \le \max(AC, BD) in three different ways. The first proof is elementary; the other two both require some acquaintance with analysis and are intimately related.

1st Proof. Let α=UPA=VPC\alpha = \angle UPA = \angle VPC and let β=DPU=BPV\beta = \angle DPU = \angle BPV. In what follows, [KLM][KLM] stands for the area of a generic triangle KLMKLM. Write
12PDPAsin(β+α)=[PDA]=[PDU]+[PUA]=12PDPUsinβ+12PUPAsinα, \begin{aligned} \frac{1}{2} \cdot PD \cdot PA \cdot \sin(\beta + \alpha) &= [PDA] = [PDU] + [PUA] \\ &= \frac{1}{2} \cdot PD \cdot PU \cdot \sin \beta + \frac{1}{2} \cdot PU \cdot PA \cdot \sin \alpha, \end{aligned}
to get PU=PAPDsin(α+β)PAsinα+PDsinβPAPD(sinα+sinβ)PAsinα+PDsinβPAsinβ+PDsinαsinα+sinβPU = \frac{PA \cdot PD \cdot \sin(\alpha+\beta)}{PA \cdot \sin \alpha + PD \cdot \sin \beta} \le \frac{PA \cdot PD \cdot (\sin \alpha + \sin \beta)}{PA \cdot \sin \alpha + PD \cdot \sin \beta} \le \frac{PA \cdot \sin \beta + PD \cdot \sin \alpha}{\sin \alpha + \sin \beta}, where the last inequality holds since equivalent to (PAPD)2sinαsinβ0(PA - PD)^2 \cdot \sin \alpha \cdot \sin \beta \ge 0. Similarly,
PVPBsinα+PCsinβsinα+sinβ, PV \le \frac{PB \cdot \sin \alpha + PC \cdot \sin \beta}{\sin \alpha + \sin \beta},
so
UV=PU+PVPAsinβ+PDsinαsinα+sinβ+PBsinα+PCsinβsinα+sinβ=ACsinβ+BDsinαsinα+sinβmax(AC,BD), \begin{aligned} UV &= PU + PV \le \frac{PA \cdot \sin \beta + PD \cdot \sin \alpha}{\sin \alpha + \sin \beta} + \frac{PB \cdot \sin \alpha + PC \cdot \sin \beta}{\sin \alpha + \sin \beta} \\ &= \frac{AC \cdot \sin \beta + BD \cdot \sin \alpha}{\sin \alpha + \sin \beta} \le \max(AC, BD), \end{aligned}
as desired. This completes the proof.

2nd Proof. Let L\mathcal{L} be the pencil of lines through PP crossing the sides BCBC and DADA of the convex quadrangle ABCDABCD. As before, we prove that the length of each segment ABCD\ell \cap ABCD, \ell in L\mathcal{L}, does not exceed max(AC,BD)\max(AC, BD).
Clearly, no intersection segment has a length greater than the diameter of ABCDABCD, so supLABCD\sup_{\ell \in \mathcal{L}} |\ell \cap ABCD| is finite; here and hereafter, s|s| denotes the length of the line segment ss.
Suppose, if possible, that supLABCD>max(AC,BD)\sup_{\ell \in \mathcal{L}} |\ell \cap ABCD| > \max(AC, BD) and consider a line 0\ell_0 in L\mathcal{L} such that
0ABCD>12supLABCD+12max(AC,BD)>12(AC+BD). |\ell_0 \cap ABCD| > \frac{1}{2} \sup_{\ell \in \mathcal{L}} |\ell \cap ABCD| + \frac{1}{2} \max(AC, BD) > \frac{1}{2}(AC + BD).
Recall that the length of the internal bisectrix of an angle of a (possibly degenerate) triangle does not exceed the arithmetic mean of the lengths of the sides forming that angle, to infer that 0\ell_0 does not internally bisect BPC=DPA\angle BPC = \angle DPA; say, (0,AC)<(0,BD)\angle(\ell_0, AC) < \angle(\ell_0, BD).
Finally, reflect the line ACAC in 0\ell_0 to obtain a line 1\ell_1 in L\mathcal{L} such that
121ABCD+12max(AC,BD)12(1ABCD+AC)0ABCD>12supLABCD+12max(AC,BD), \begin{aligned} \frac{1}{2}|\ell_1 \cap ABCD| + \frac{1}{2} \max(AC, BD) &\ge \frac{1}{2}(|\ell_1 \cap ABCD| + AC) \ge |\ell_0 \cap ABCD| \\ &> \frac{1}{2} \sup_{\ell \in \mathcal{L}} |\ell \cap ABCD| + \frac{1}{2} \max(AC, BD), \end{aligned}
and thereby reach a contradiction; the inequality in the middle comes from the above mentioned fact about the length of an internal bisectrix in a triangle. This ends the proof.

3rd Proof. Notice that UVUV depends continuously on UU. Since the closed segment ADAD is compact, UVUV achieves a maximum at some position U0V0U_0V_0. We will show that U0V0max(AC,BD)U_0V_0 \le \max(AC, BD), so UVmax(AC,BD)UV \le \max(AC, BD) for all positions.
Suppose, if possible, that U0V0>max(AC,BD)12(AC+BD)U_0V_0 > \max(AC, BD) \ge \frac{1}{2}(AC + BD).
As before, it then follows that U0V0U_0V_0 does not internally bisect BPC=DPA\angle BPC = \angle DPA;
say, (U0V0,AC)<(U0V0,BD)\angle(U_0V_0, AC) < \angle(U_0V_0, BD).
Reflexion of ACAC in U0V0U_0V_0 then provides a segment U1V1U_1V_1 through PP, where U1U_1 lies on ADAD and V1V_1 lies on BCBC, such that
U0V012(U1V1+AC)12U1V1+12max(AC,BD)12U0V0+12max(AC,BD)<12U0V0+12U0V0=U0V0, \begin{aligned} U_0V_0 &\le \frac{1}{2}(U_1V_1 + AC) \le \frac{1}{2} \cdot U_1V_1 + \frac{1}{2} \max(AC, BD) \le \\ &\le \frac{1}{2} \cdot U_0V_0 + \frac{1}{2} \max(AC, BD) < \frac{1}{2} \cdot U_0V_0 + \frac{1}{2} \cdot U_0V_0 = U_0V_0, \end{aligned}
which is a contradiction. This ends the proof.

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.