Maths Olympiad Prep

Library / /128 of 136

Geometry Difficulty 8.6 Shortlist Prove it Hong Kong

Let ABCABC be a triangle. Let MM be the midpoint of BCBC, and let GG be the centroid of ABC\triangle ABC. Let DD be a point on the segment GMGM. A straight line passing through DD meets the sides ABAB and ACAC at EE and FF respectively (with E,FAE, F \ne A). Show that
[BEGF]+[CFGE]49[ABC]. [BEGF] + [CFGE] \ge \frac{4}{9}[ABC].
When does the equality hold? (Here [WXYZ][WXYZ] is the area of the polygon WXYZWXYZ, etc.)

Solution

Let EE' and FF' be the points on ABAB and ACAC such that EE', GG, FF' are collinear and EFEFE'F' \parallel EF. Since EFG\triangle EFG and EFE\triangle EFE' have the same base EFEF and the same height, they have the same area. This yields
[BEGF]=[BEF]+[EFG]=[BEF]+[EFE]=[BFE][BFE] [BEGF] = [BEF] + [EFG] = [BEF] + [EFE'] = [BFE'] \ge [BF'E']

The last inequality holds since BFE\triangle BFE' and BFE\triangle BF'E' have the same base BEBE, but FF' is closer to the sideline BEBE' than FF. Equality holds when F=FF = F', i.e. D=GD = G. Similarly, we have [CFGE][CEF][CFGE] \ge [CE'F'], with equality D=GD = G. Thus, we have
[BEGF]+[CFGE][BFE]+[CEF]=2[MFE]=[AEF] [BEGF] + [CFGE] \ge [BF'E'] + [CE'F'] = 2[MF'E'] = [AE'F']
since MM is the midpoint of BCBC and AG:GM=2:1AG : GM = 2 : 1. It suffices to prove [AEF]49[ABC][AE'F'] \ge \frac{4}{9}[ABC].

Figure 1

Figure 2

Let BB' and CC' be the points on ABAB and ACAC such that B,G,CB', G, C' are collinear and BCBCB'C' \parallel BC. As ABCABC\triangle AB'C' \sim \triangle ABC with ratio 2:32:3, we have [ABC]=49[ABC][AB'C'] = \frac{4}{9}[ABC].
Therefore, it remains to show [AEF][ABC][AE'F'] \ge [AB'C']. WLOG assume EE' lies on the segment BBBB' and FF' lies on the segment ACAC'. Then we only need to show [GBE][GCF][GB'E'] \ge [GC'F']. Indeed, let PP be the symmetric point of FF' in GG. Then BGPCGF\triangle B'GP \cong \triangle C'GF', so that PP lies on the line FGF'G. Also, PP must lie on the segment GEGE' since
GPB=GFC=FEA+EAF>PEB \angle GPB' = \angle GF'C' = \angle F'E'A + \angle E'AF' > \angle PE'B'
It follows that [GBE][GBP]=[GCF][GB'E'] \ge [GB'P] = [GC'F'] as desired. Equality holds when E=BE = B' and F=CF = C', i.e. D=GD = G and EFBCEF \parallel BC.

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.