Difference between revisions of "1966 IMO Problems/Problem 6"

Latest revision as of 18:13, 10 November 2024

Problem

In the interior of sides $BC, CA, AB$ of triangle $ABC$ , any points $K, L,M$ , respectively, are selected. Prove that the area of at least one of the triangles $AML, BKM, CLK$ is less than or equal to one quarter of the area of triangle $ABC$ .

Solution

Let the lengths of sides $BC$ , $CA$ , and $AB$ be $a$ , $b$ , and $c$ , respectively. Let $BK=d$ , $CL=e$ , and $AM=f$ .

Now assume for the sake of contradiction that the areas of $\Delta AML$ , $\Delta BKM$ , and $\Delta CLK$ are all at greater than one fourth of that of $\Delta ABC$ . Therefore

$\frac{AM\cdot AL\sin{\angle BAC}}{2}>\frac{AB\cdot AC\sin{\angle BAC}}{8}$

In other words, $AM\cdot AL>\frac{1}{4}AB\cdot AC$ , or $f(b-e)>\frac{bc}{4}$ . Similarly, $d(c-f)>\frac{ac}{4}$ and $e(a-d)>\frac{ab}{4}$ . Multiplying these three inequalities together yields

$def(a-d)(b-e)(c-f)>\frac{a^2b^2c^2}{64}$

We also have that $d(a-d)\leq \frac{a^2}{4}$ , $e(b-e)\leq \frac{b^2}{4}$ , and $f(c-f)\leq \frac{c^2}{4}$ from the Arithmetic Mean-Geometric Mean Inequality. Multiplying these three inequalities together yields

$def(a-d)(b-e)(c-f)\leq\frac{a^2b^2c^2}{64}$

This is a contradiction, which shows that our assumption must have been false in the first place. This proves the desired result.

Solution 2

Let $AR : AB = x, BP : BC = y, CQ : CA = z$ . Then it is clear that the ratio of areas of $AQR, BPR, CPQ$ to that of $ABC$ equals $x(1-y), y(1-z), z(1-x)$ , respectively. Suppose all three quantities exceed $\frac{1}{4}$ . Then their product also exceeds $\frac{1}{64}$ . However, it is clear by AM-GM that $x(1-x) \le \frac{1}{4}$ , and so the product of all three quantities cannot exceed $\frac{1}{64}$ (by the associative property of multiplication), a contradiction. Hence, at least one area is less than or equal to $\frac{1}{4} [ABC]$ .

Remarks (added by pf02, September 2024)

Solution 2 is written in a very sloppy way. However, an interested reader can make sense of it. More importantly, the two solutions are identical. If it wasn't for the sloppy writing, Solution 2 could be obtained from the first Solution after applying a word by word translation which replaces line segments by ratios.

Below I will give another solution. It is formally different from the previous solutions, even if not at a deep level.

Solution 3

Let $\triangle ABC$ and $K, L, M$ be as in the problem. Denote $x = \frac{AM}{AB}, y = \frac{BK}{BC}, z = \frac{CL}{CA}$ as in Solution 2. Note that $x, y, z, \in (0, 1)$ because $K, L, M$ are in the interior of the respective sides.

Using the fact that the area of a triangle is half of the product of two sides and $\sin$ of the angle between them (like in the first Solution), we have that $\mathbf{area} AML = x(1 - z) \mathbf{area} ABC, \mathbf{area} BKM = y(1 - x) \mathbf{area} ABC, \mathbf{area} CLK = z(1 - y) \mathbf{area} ABC$ .

Now the problem has nothing to do with geometry anymore: we just have to show that given three numbers $x, y, z, \in (0, 1)$ , at least one of $x(1 - z), y(1 - x), z(1 - y)$ is $\le \frac{1}{4}$ .

If $y(1 - x) \le \frac{1}{4}$ , we are done. Otherwise, we have $y(1 - x) > \frac{1}{4}$ . It follows that $y > \frac{1}{4(1 - x)}$ (recall that $0 < x, y, z < 1$ ). In particular, it follows that $\frac{1}{4(1 - x)} < 1$ , which implies $3 - 4x > 0$ .

If $z(1 - y) \le \frac{1}{4}$ , we are done. Otherwise, we have $z(1 - y) > \frac{1}{4}$ . Using the inequality on $y$ from the previous paragraph, we have $z \left( 1 - \frac{1}{4(1 - x)} \right) > \frac{1}{4}$ , or after a few computations, $z \cdot \frac{3 - 4x}{1 - x} > 1$ . Using the observation about $3 - 4x$ from the preceding paragraph, we get $z > \frac{1 - x}{3 - 4x}$ .

Now consider $x(1 - z)$ . Using the inequality on $z$ from the previous paragraph, we have that $x(1 - z) < x \left( 1 - \frac{1 - x}{3 - 4x} \right)$ . To finish the solution to the problem, it is enough to show that $x \cdot \left( 1 - \frac{1 - x}{3 - 4x} \right) \le \frac{1}{4}$ .

After some easy computations (and using again that $3 - 4x > 0$ ), this becomes $3(4x^2 - 4x + 1) \ge 0$ , which is true because. $4x^2 - 4x + 1 = (2x - 1)^2$ .

[Solution by pf02, September 2024]

@@ Line 75: / Line 75: @@
 After some easy computations (and using again that <math>3 - 4x > 0</math>), this
-becomes <math>3(4x^2 - 4x + 1) \ge 0</math>, which is obvious.
+becomes <math>3(4x^2 - 4x + 1) \ge 0</math>, which is true because.
+<math>4x^2 - 4x + 1 = (2x - 1)^2</math>.
-(Solution by pf02, September 2024)
+[Solution by pf02, September 2024]

1966 IMO (Problems) • Resources
Preceded by Problem 5	1 • 2 • 3 • 4 • 5 • 6	Followed by Last Problem
All IMO Problems and Solutions

Page

Toolbox

Search