Maths Olympiad Prep

Library / /10 of 16

Geometry Difficulty 6.3 National Olympiad Prove it United States

Problem:

Let ABCDABCD be a cyclic quadrilateral (a quadrilateral which can be inscribed in a circle). Let EE and FF be variable points on the sides ABAB and CDCD, respectively, such that AE/EB=CF/FDAE / EB = CF / FD. Let PP be the point on the segment EFEF such that PE/PF=AB/CDPE / PF = AB / CD. Prove that the ratio between the areas of triangle APDAPD and BPCBPC does not depend on the choice of EE and FF.

Solutions — 2

Solution 1

Solution:

There are two cases to consider.

First, assume that the lines ADAD and BCBC are not parallel and meet at SS. Since ABCDABCD is cyclic, ASB\triangle ASB and CSD\triangle CSD are similar. Then, AE/AB=CF/CDAE / AB = CF / CD and AE/CF=AB/CD=AS/CSAE / CF = AB / CD = AS / CS, so that ASE\triangle ASE and CSF\triangle CSF are also similar (SAE=SCD\angle SAE = \angle SCD), and therefore, DSE=CSF\angle DSE = \angle CSF.

Figure 1

By similarity, we have
SESF=SASC=ABCD=PEPF \frac{SE}{SF} = \frac{SA}{SC} = \frac{AB}{CD} = \frac{PE}{PF}
which means that SPSP is the bisector of angle SS in FSE\triangle FSE. This implies that ESP=FSP\angle ESP = \angle FSP and hence ASP=BSP\angle ASP = \angle BSP, so SPSP is also the bisector of angle SS in ASB\triangle ASB. This means that PP is equidistant from the lines ADAD and BCBC. Thus

[APD][BPC]=ADBD \frac{[APD]}{[BPC]} = \frac{AD}{BD}

which is a constant (we use the notation [ABC][ABC] for the area of ABC\triangle ABC).

For the second case, assume that ADAD and BCBC are parallel. Then ABCDABCD is an isosceles trapezoid with AB=CDAB = CD, and we have BE=DFBE = DF. Let MM and NN be the midpoints of ABAB and CDCD, respectively. Then ME=NFME = NF and EE and FF are equidistant from the line MNMN. Thus PP, the midpoint of EFEF, lies on MNMN. Thus PP is equidistant from ADAD and BCBC, and hence

[APD][BPC]=ADBD. \frac{[APD]}{[BPC]} = \frac{AD}{BD}.

which is a constant.

Solution 2

Solution:

There are two cases to consider. First, assume that the lines ADAD and BCBC are not parallel and meet at SS. Since ABCDABCD is cyclic, ASB\triangle ASB and CSD\triangle CSD are similar. Since AE/AB=CF/CDAE / AB = CF / CD, then AE/CF=AB/CD=AS/CSAE / CF = AB / CD = AS / CS, and ASE\triangle ASE and CSF\triangle CSF are also similar (SAE=SCD)(\angle SAE = \angle SCD). Therefore, DSE=CSF\angle DSE = \angle CSF.
By similarity, we have
SESF=SASC=ABCD=PEPF, \frac{SE}{SF} = \frac{SA}{SC} = \frac{AB}{CD} = \frac{PE}{PF},
which means that SPSP is the bisector of angle SS in FSE\triangle FSE. This implies that ESP=FSP\angle ESP = \angle FSP and hence ASP=BSP\angle ASP = \angle BSP, so SPSP is also the bisector of angle SS in ASB\triangle ASB. This means that PP is equidistant from the lines ADAD and BCBC. Thus
[APD]/[BPC]=AD/BC, [APD]/[BPC] = AD/BC,
which is a constant (we use the notation [ABC][ABC] for the area of ABC\triangle ABC).

For the second case, assume that ADAD and BCBC are parallel. Then ABCDABCD is an isosceles trapezoid with AB=CDAB = CD, and we have BE=DFBE = DF. Let MM and NN be the midpoints of ABAB and CDCD, respectively. Then ME=NFME = NF and EE and FF are equidistant from the line MNMN. Thus PP, the midpoint of EFEF, lies on MNMN. This implies that PP is equidistant from ADAD and BCBC, and hence
[APD]/[BPC]=AD/BC. [APD]/[BPC] = AD/BC.

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.