Let $ABC$ be an isosceles triangle with $AB=AC$. On the extension of the side ${CA}$ we consider the point ${D}$ such that ${AD<AC}$. The perpendicular bisector of the segment ${BD}$ meets the internal and the external bisectors of the angle $\angle BAC$ at the points ${E}$and ${Z}$, respectively. Prove that the points ${A, E, D, Z}$ are concyclic.
Problem
Source: 2011 JBMO Shortlist G1
Tags: geometry, JBMO
Sumgato
08.10.2017 21:12
Let $\angle BAC = 2\alpha$ and $\angle DBA = \theta$. Note that since $CE = BE = DE$, $E$ is the circumcenter of $\triangle DCB$ and therefore $\angle DEB = 2\angle ACB = 180^{\circ}- 2\alpha = \angle DAB$, so $DAEB$ is cyclic. Since $\angle ZEA = \frac{1}{2} \angle DEB + \theta = 90^{\circ} +\theta - \alpha$ and $\angle ZAE$ is right, we have that $\angle AZE = \alpha - \theta$, and $\angle ADE = \angle ABE = \alpha - \theta$ too, so $ADZE$ is cyclic, as desired.
parmenides51
07.08.2019 19:49
my solution without the circumcenter, posted here
itslumi
26.11.2019 15:44
The best way to sovle this is to find the angle EDZ=90 this lead us to the easy and smart solution
REYNA_MAIN
16.10.2021 09:05
REYNA_MAIN wrote:
Diagram stolem from @Sumgato
Claim 1(AEDB is cyclic).We first notice that $AE \perp BC \implies AE$ passes through the mid point of $BC$(let this be called $U$), since $\triangle ABC$ is isoceles. We know that the perpendicular bisector of $BD$ passes throught the mid point of $BD$(Let this be called $V$). $\angle{EUB} = \angle{EVB} = 90^{\circ} \implies EUBV$ is cyclic. Since $\overline{UV}$ is the midsegment of $\triangle BDC$, $\implies \measuredangle{BDC} = \measuredangle{BVU} = \measuredangle{BEU} = \measuredangle{BEA} \implies AEDB$ is cyclic.
Now same as Sumgato sar did $\angle{AEZ} = 90^{\circ} - \angle{AZE} = \angle{DBC} = \angle{DBA} + \angle{ABC} = \angle{DEA} + \angle{ACB} = \angle{DEA} + \angle{DAZ} \implies \angle{ADE} = 180^{\circ} - \angle{DAZ} - 90^{\circ} - \angle{DEA} = 90^{\circ} - (90^{\circ} - \angle{AZE}) = \angle{AZE} \implies ADEZ$ is cyclic.