Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad Shortlist /23 of 36

Junior Balkan Mathematical Olympiad Shortlist

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 BD⊥ZEBD \perp ZE, we conclude that: BDE^=90∘−DEZ^=90∘−ACB^=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 N∈ZEN \in ZE and M∈AEM \in AE. Next, [MN][MN] is a midline in △BCD\triangle BCD, so MN∥CD⇒NMB^≡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 T∈ADT \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.