Maths Olympiad Prep

Library / /432 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

Quadrilateral ABCDABCD is such that ABCDAB \perp CD and ADBCAD \perp BC. Prove that there exist a point such that the distances from it to the sidelines are proportional to the lengths of the corresponding sides.

Solution

1. Identify the properties of the quadrilateral:
Given quadrilateral ABCDABCD with ABCDAB \perp CD and ADBCAD \perp BC, we can infer that BB is the orthocenter of ACD\triangle ACD.

2. Lemma 1:
In any XYZ\triangle XYZ and a point PP in the plane, let PDPD and PEPE be perpendicular lines from PP to YZYZ and XZXZ respectively. If PDYZ=PEXZ\frac{PD}{YZ} = \frac{PE}{XZ}, then PP lies on the ZZ-symmedian of XYZ\triangle XYZ.

Proof of Lemma 1:
- Let ZPZP intersect (XYZ)\odot(XYZ) at WW.
- Using the sine rule in PZY\triangle PZY and PZX\triangle PZX:
PDPE=PDPZPEPZ=sinPZYsinPZX=sinWZYsinWZX \frac{PD}{PE} = \frac{\frac{PD}{PZ}}{\frac{PE}{PZ}} = \frac{\sin \angle PZY}{\sin \angle PZX} = \frac{\sin \angle WZY}{\sin \angle WZX}
- Since WZY\angle WZY and WZX\angle WZX are angles subtended by the same arc in the circumcircle, we have:
sinWZYsinWZX=sinWXYsinWYX=WYWX \frac{\sin \angle WZY}{\sin \angle WZX} = \frac{\sin \angle WXY}{\sin \angle WYX} = \frac{WY}{WX}
- Therefore, YZXZ=WYWX\frac{YZ}{XZ} = \frac{WY}{WX}, implying WXZYWXZY is a harmonic quadrilateral.
- Hence, PP lies on the ZZ-symmedian of XYZ\triangle XYZ.

3. Application to the original problem:
- Let j,kj, k be the tangents to (ABD)\odot(ABD) at B,DB, D respectively, and let l,ml, m be the tangents to (BCD)\odot(BCD) at B,DB, D respectively.
- Let CFCF and AEAE be the CC-symmedian of BCD\triangle BCD and AA-symmedian of ABD\triangle ABD respectively, with jk=Ej \cap k = E and lm=Fl \cap m = F. Let AECF=PAE \cap CF = P.

4. Claim:
PP is the required point such that the distances from PP to the sidelines are proportional to the lengths of the corresponding sides.

5. Proof of the claim:
- Since PP lies on the CC-symmedian of BCD\triangle BCD and the AA-symmedian of ABD\triangle ABD, we have:
PDBC=PGBCandPEAD=PFAB \frac{PD}{BC} = \frac{PG}{BC} \quad \text{and} \quad \frac{PE}{AD} = \frac{PF}{AB}
- To prove PDBC=PEAD\frac{PD}{BC} = \frac{PE}{AD}, we need to show that DG,AE,CFDG, AE, CF are concurrent.

6. Concurrent lines:
- Let n,on, o be the tangents to ACD\odot ACD through A,CA, C respectively, and let no=Gn \cap o = G.
- We need to prove DG,AE,CFDG, AE, CF are concurrent.
- Using Desargues' Theorem on ACG\triangle ACG and EFD\triangle EFD:
- Since ACEFAC \parallel EF, CGFDCG \parallel FD, and AGEDAG \parallel ED, the three pairs of lines are parallel.
- Therefore, the intersection points ACEFAC \cap EF, CGFDCG \cap FD, and AGEDAG \cap ED are collinear (on the line at infinity).

7. Conclusion:
- Thus, AE,CFAE, CF, and GDGD are concurrent.
- Therefore, there exists a unique point PP such that the distances from PP to the sides of the quadrilateral are proportional to the lengths of the sides respectively.

\blacksquare

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.