In triangle ABC, D is the midpoint of side AB. E and F are points arbitrarily chosen on segments AC and BC, respectively. Show that [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 D be the midpoint of side AB in triangle ABC. This implies that AD=DB. 2. Let E and F be points on segments AC and BC respectively. We need to show that the area of triangle DEF is less than the sum of the areas of triangles ADE and BDF. 3. Define x=ACCE and y=BCCF. This means E divides AC in the ratio x:1−x and F divides BC in the ratio y:1−y. 4. The area of triangle ABC can be denoted as [ABC]. Since D is the midpoint of AB, the area of triangle ADE is 21×[ADE] and the area of triangle BDF is 21×[BDF]. 5. The area of triangle DEF can be expressed in terms of x and y. We need to show that: [DEF]<[ADE]+[BDF] 6. Using the given sketch, we can express the areas in terms of x and y. The area of triangle DEF can be written as: [DEF]=[ABC](1−21(1−x)−21(1−y)−xy) 7. The areas of triangles ADE and BDF can be written as: [ADE]=[ABC](21(1−x)) [BDF]=[ABC](21(1−y)) 8. Summing the areas of ADE and BDF: [ADE]+[BDF]=[ABC](21(1−x)+21(1−y)) 9. We need to show that: 1−21(1−x)−21(1−y)−xy<21(1−x)+21(1−y) 10. Simplifying the inequality: 1−21−21+2x+2y−xy<21−2x+21−2y 1−1+2x+2y−xy<1−2x−2y 2x+2y−xy<1−2x−2y 0<xy−x−y+1 0<(1−x)(1−y) 11. Since 0<(1−x)(1−y) holds for 0<x<1 and 0<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.