Maths Olympiad Prep

Library / /11 of 462

, 2014

Geometry Difficulty 4.4 AIME Prove it Ireland

In a triangle ABCABC the internal bisector of the angle ABC\angle ABC meets the external bisector of BCA\angle BCA at DD. The circumcircle of the triangle ABCABC cuts BDBD at EE. Prove that EE is the circumcentre of the triangle ACDACD.

Solution

Because BDBD bisects ABC\angle ABC, we have EA=EC|EA| = |EC|.

Figure 1

Let II be the incentre of ABC\triangle ABC, then DCI=90\angle DCI = 90^\circ.

We have EIC=ICB+IBC=ACI+ABE=ACI+ACE=ECI\angle EIC = \angle ICB + \angle IBC = \angle ACI + \angle ABE = \angle ACI + \angle ACE = \angle ECI.

Thus ECD=DCIECI=90EIC=EDC\angle ECD = \angle DCI - \angle ECI = 90^\circ - \angle EIC = \angle EDC, which implies EC=ED|EC| = |ED|.

Therefore, EA=EC=ED|EA| = |EC| = |ED| and EE is the circumcentre of ACD\triangle ACD.

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.