Maths Olympiad Prep

Library / /28 of 43

Geometry Difficulty 6.0 National Olympiad Prove it JBMO

Problem:
Let ABCABC be an isosceles triangle with AB=ACAB = AC. On the extension of the side [CA][CA] we consider the point DD such that AD<ACAD < AC. The perpendicular bisector of the segment [BD][BD] meets the internal and the external bisectors of the angle BAC^\widehat{BAC} at the points EE and ZZ, respectively. Prove that the points A,E,D,ZA, E, D, Z are concyclic.

Solutions — 3

Solution 1

Solution:
Figure 1
In ABD\triangle ABD the ray [AZ[AZ bisects the angle DAB^\widehat{DAB} and the line ZEZE is the perpendicular bisector of the side [BD][BD]. Hence ZZ belongs to the circumcircle of ABD\triangle ABD.
Therefore the points A,B,D,ZA, B, D, Z are concyclic.
In BCD\triangle BCD, AEAE and ZEZE are the perpendicular bisectors [BC][BC] and [BD][BD], respectively. Hence, EE is the circumcenter of BCD\triangle BCD and therefore DEZ^=BED^/2=ACB^\widehat{DEZ} = \widehat{BED} / 2 = \widehat{ACB}. Since BDZEBD \perp ZE, we conclude that: BDE^=90DEZ^=90ACB^=BAE^\widehat{BDE} = 90^{\circ} - \widehat{DEZ} = 90^{\circ} - \widehat{ACB} = \widehat{BAE}. Hence the quadrilateral AEBDA E B D is cyclic, that is the points A,B,D,EA, B, D, E are concyclic. Therefore, since A,B,D,ZA, B, D, Z are also concyclic, we conclude that AEZDA E Z D is cyclic.

Solution 2

Solution:
Figure 2
In ABD\triangle ABD the ray [AZ[AZ bisects the angle DAB^\widehat{DAB} and the line ZEZE is the perpendicular bisector of the side [BD][BD]. Hence ZZ belongs to the circumcircle of ABD\triangle ABD.
Therefore the points A,B,D,ZA, B, D, Z are concyclic.
Let MM and NN be the midpoints of the sides [BC][BC] and [DB][DB], respectively. Then NZEN \in ZE and MAEM \in AE. Next, [MN][MN] is a midline in BCD\triangle BCD, so MNCDNMB^ACB^MN \parallel CD \Rightarrow \widehat{NMB} \equiv \widehat{ACB}.
But [AZ[AZ is the external bisector of the angle BAC^\widehat{BAC} of ABC\triangle ABC, hence BAZ^ACB^\widehat{BAZ} \equiv \widehat{ACB}. Therefore, NMB^BAZ^\widehat{NMB} \equiv \widehat{BAZ}. In the quadrilateral BMENBMEN we have BNE^=BME^=90\widehat{BNE} = \widehat{BME} = 90^{\circ}, so BMENBMEN is cyclic NMB^BEZ^\Rightarrow \widehat{NMB} \equiv \widehat{BEZ}, hence BAZ^BEZ^AEBZ\widehat{BAZ} \equiv \widehat{BEZ} \Rightarrow AEBZ is cyclic.
Therefore, since A,B,D,ZA, B, D, Z are also concyclic, we conclude that AEZDA E Z D is cyclic.

Solution 3

Solution:
Figure 3
Let TT be the symmetric of BB with respect to the axis AZAZ. Obviously TADT \in AD. Since AEAE and BTBT are both perpendiculars to AZAZ, they are parallel, so BAC^BTA^\widehat{BAC} \equiv \widehat{BTA}. (1)
Since ZB=ZT=ZDZB = ZT = ZD, the point ZZ is the circumcenter of BDT\triangle BDT.
Therefore BTA^=BZD^/2=EZD^\widehat{BTA} = \widehat{BZD} / 2 = \widehat{EZD}.
From (1) and (2) we conclude that EAC^EZD^\widehat{EAC} \equiv \widehat{EZD}, which gives that AEDZAEDZ is cyclic.

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.