MathDB
angle bisector wanted, 2 excenters related

Source: 2014 Indonesia MO Province P2 q2 OSP

December 10, 2020
geometryangle bisectorexcenter

Problem Statement

Given an acute triangle ABCABC with AB<ACAB <AC. The ex-circles of triangle ABCABC opposite BB and CC are centered on B1B_1 and C1C_1, respectively. Let DD be the midpoint of B1C1B_1C_1. Suppose that EE is the point of intersection of ABAB and CDCD, and FF is the point of intersection of ACAC and BDBD. If EFEF intersects BCBC at point GG, prove that AGAG is the bisector of BAC\angle BAC.