Maths Olympiad Prep

Track / Stage 7 / 39 of 300 #1439 of 1964

Problem 1439

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Prove it

In triangle ABCABC, DD is the midpoint of side ABAB. EE and FF are points arbitrarily chosen on segments ACAC and BCBC, respectively. Show that [DEF]<[ADE]+[BDF][DEF] < [ADE] + [BDF].

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Let DD be the midpoint of side ABAB in triangle ABCABC. This implies that AD=DBAD = DB.
2. Let EE and FF be points on segments ACAC and BCBC respectively. We need to show that the area of triangle DEFDEF is less than the sum of the areas of triangles ADEADE and BDFBDF.
3. Define x=CEACx = \frac{CE}{AC} and y=CFBCy = \frac{CF}{BC}. This means EE divides ACAC in the ratio x:1xx:1-x and FF divides BCBC in the ratio y:1yy:1-y.
4. The area of triangle ABCABC can be denoted as [ABC][ABC]. Since DD is the midpoint of ABAB, the area of triangle ADEADE is 12×[ADE]\frac{1}{2} \times [ADE] and the area of triangle BDFBDF is 12×[BDF]\frac{1}{2} \times [BDF].
5. The area of triangle DEFDEF can be expressed in terms of xx and yy. We need to show that:
[DEF]<[ADE]+[BDF] [DEF] < [ADE] + [BDF]
6. Using the given sketch, we can express the areas in terms of xx and yy. The area of triangle DEFDEF can be written as:
[DEF]=[ABC](112(1x)12(1y)xy) [DEF] = [ABC] \left(1 - \frac{1}{2}(1-x) - \frac{1}{2}(1-y) - xy\right)
7. The areas of triangles ADEADE and BDFBDF can be written as:
[ADE]=[ABC](12(1x)) [ADE] = [ABC] \left(\frac{1}{2}(1-x)\right)
[BDF]=[ABC](12(1y)) [BDF] = [ABC] \left(\frac{1}{2}(1-y)\right)
8. Summing the areas of ADEADE and BDFBDF:
[ADE]+[BDF]=[ABC](12(1x)+12(1y)) [ADE] + [BDF] = [ABC] \left(\frac{1}{2}(1-x) + \frac{1}{2}(1-y)\right)
9. We need to show that:
112(1x)12(1y)xy<12(1x)+12(1y) 1 - \frac{1}{2}(1-x) - \frac{1}{2}(1-y) - xy < \frac{1}{2}(1-x) + \frac{1}{2}(1-y)
10. Simplifying the inequality:
11212+x2+y2xy<12x2+12y2 1 - \frac{1}{2} - \frac{1}{2} + \frac{x}{2} + \frac{y}{2} - xy < \frac{1}{2} - \frac{x}{2} + \frac{1}{2} - \frac{y}{2}
11+x2+y2xy<1x2y2 1 - 1 + \frac{x}{2} + \frac{y}{2} - xy < 1 - \frac{x}{2} - \frac{y}{2}
x2+y2xy<1x2y2 \frac{x}{2} + \frac{y}{2} - xy < 1 - \frac{x}{2} - \frac{y}{2}
0<xyxy+1 0 < xy - x - y + 1
0<(1x)(1y) 0 < (1-x)(1-y)
11. Since 0<(1x)(1y)0 < (1-x)(1-y) holds for 0<x<10 < x < 1 and 0<y<10 < y < 1, the inequality is satisfied.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.