IMO 1967 Problem 4

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 5m43s

Problem

Let $A_0 B_0 C_0$ and $A_1 B_1 C_1$ be any two acute-angled triangles. Consider all triangles $ABC$ that are similar to $\triangle A_1 B_1 C_1$ (so that vertices $A_1$, $B_1$, $C_1$ correspond to vertices $A$, $B$, $C$, respectively) and circumscribed about triangle $A_0 B_0 C_0$ (where $A_0$ lies on $BC$, $B_0$ on $CA$, and $C_0$ on $AB$). Of all such possible triangles, determine the one with maximum area, and construct it.

Exploration

Let a triangle $ABC$ be required to be similar to a fixed acute triangle $A_1B_1C_1$ with correspondence $A \leftrightarrow A_1$, $B \leftrightarrow B_1$, $C \leftrightarrow C_1$, and suppose that the sides of $ABC$ pass through the fixed points $A_0 \in BC$, $B_0 \in CA$, $C_0 \in AB$.

Similarity fixes the directions of the sides of $ABC$: the side $BC$ is parallel to $B_1C_1$, $CA$ is parallel to $C_1A_1$, and $AB$ is parallel to $A_1B_1$. Each side is therefore a line with a prescribed direction passing through a prescribed point. This suggests that each side is uniquely determined, hence the triangle is uniquely determined.

A potential difficulty is whether these three prescribed lines always form a nondegenerate triangle. The acute-angled assumption ensures that the directions are pairwise non-parallel and geometrically compatible with the placement of $A_0,B_0,C_0$ on segments.

Since similarity fixes shape and side directions, there is no continuous degree of freedom left to optimize area. Any admissible triangle is forced by intersection of three lines.

Thus the maximal-area triangle should coincide with the unique triangle determined by these three directional constraints.

Problem Understanding

The problem concerns two given acute triangles $A_0B_0C_0$ and $A_1B_1C_1$. We consider triangles $ABC$ that are similar to $A_1B_1C_1$ in fixed correspondence and whose sides pass through the fixed points $A_0 \in BC$, $B_0 \in CA$, $C_0 \in AB$.

The task is to determine and construct the triangle $ABC$ among all such configurations that has maximal area.

The structure of the constraints suggests rigidity: similarity fixes directions of sides, while incidence conditions force each side to pass through a prescribed point. This strongly indicates that at most one triangle satisfies all conditions, hence the maximal area is realized uniquely by that triangle.

This is a Type D problem.

Proof Architecture

Lemma 1 asserts that if $ABC \sim A_1B_1C_1$, then the lines $BC$, $CA$, $AB$ are respectively parallel to $B_1C_1$, $C_1A_1$, $A_1B_1$. This follows directly from the definition of similarity preserving angles between corresponding sides.

Lemma 2 asserts that there exists a unique line through a given point parallel to a given direction. This guarantees that each side of $ABC$ is uniquely determined by one point and one direction.

Lemma 3 asserts that the three lines constructed in Lemma 2 form a nondegenerate triangle. This requires verifying that no two coincide and no two are parallel, which follows from the acute nature of $A_1B_1C_1$ ensuring distinct side directions.

Lemma 4 asserts that if a triangle satisfies the incidence conditions, then it must coincide with the intersection triangle of the three constructed lines, ensuring uniqueness of the admissible configuration.

The hardest part is Lemma 3, since degeneracy must be excluded using geometric consistency of the given configuration.

Solution

Lemma 1

If $ABC \sim A_1B_1C_1$ under the correspondence $A \leftrightarrow A_1$, $B \leftrightarrow B_1$, $C \leftrightarrow C_1$, then $BC \parallel B_1C_1$, $CA \parallel C_1A_1$, and $AB \parallel A_1B_1$.

Since similarity preserves angles, we have $\angle ABC = \angle A_1B_1C_1$ and $\angle ACB = \angle A_1C_1B_1$. Hence the angle between lines $BA$ and $BC$ equals the angle between $B_1A_1$ and $B_1C_1$, implying that the orientation of $BC$ matches that of $B_1C_1$. The same argument applies cyclically, giving the stated parallelisms.

This establishes that similarity fixes the directions of the sides, and any admissible triangle must have sides parallel to the corresponding sides of $A_1B_1C_1$.

Lemma 2

Given a point $P$ and a direction determined by a line $\ell$, there exists a unique line through $P$ parallel to $\ell$.

Existence follows by constructing the line passing through $P$ and having the same angle with a fixed reference axis as $\ell$. Uniqueness follows since two distinct lines through $P$ cannot both be parallel to the same line, as this would force them to coincide.

This ensures that each side of the required triangle is uniquely determined once a point and direction are prescribed.

Lemma 3

The three lines through $A_0$ parallel to $B_1C_1$, through $B_0$ parallel to $C_1A_1$, and through $C_0$ parallel to $A_1B_1$ form a nondegenerate triangle.

The directions of these lines are respectively those of the sides of $A_1B_1C_1$, which are pairwise non-parallel since $A_1B_1C_1$ is a triangle. Hence no two of the constructed lines are parallel.

To exclude coincidence of intersections collapsing to a point, suppose two of these lines met at more than one point; then they would coincide, contradicting the fact that they pass through distinct prescribed points $A_0,B_0,C_0$ lying on different segments of a triangle.

Therefore the three lines intersect pairwise in three distinct points, forming a triangle.

This establishes that the construction produces a valid triangle.

Lemma 4

Any triangle $ABC$ satisfying the conditions must coincide with the triangle formed by the three constructed lines.

Since $A_0 \in BC$ and $BC \parallel B_1C_1$, the line $BC$ is the unique line through $A_0$ parallel to $B_1C_1$, hence $BC$ is fixed. Similarly, $CA$ is fixed as the unique line through $B_0$ parallel to $C_1A_1$, and $AB$ is fixed as the unique line through $C_0$ parallel to $A_1B_1$.

Thus all sides of $ABC$ are uniquely determined, so $ABC$ must coincide with the triangle formed by these three lines.

This establishes uniqueness of the admissible triangle.

Completion of construction and extremality

Construct the line through $A_0$ parallel to $B_1C_1$, the line through $B_0$ parallel to $C_1A_1$, and the line through $C_0$ parallel to $A_1B_1$. Let their pairwise intersections define points $B,C$, $C,A$, $A,B$ respectively, forming triangle $ABC$.

By Lemma 4, any triangle satisfying the conditions coincides with this one. Hence there is exactly one admissible triangle, and therefore it has maximal area among all admissible triangles.

The constructed triangle $ABC$ is the required one.

Verification of Key Steps

The most delicate point is the assertion that the three constructed lines necessarily form a triangle rather than degenerating. This depends crucially on the fact that the side directions of $A_1B_1C_1$ are pairwise non-parallel, ensuring distinct slopes and hence distinct intersections.

Another subtle point is the use of uniqueness of parallel lines through a point. A careless argument might overlook that this fixes each side globally, eliminating any degrees of freedom.

Finally, the transition from existence to maximality rests on the rigidity that no family of admissible triangles exists; failure to recognize this would lead to an incorrect optimization interpretation.

Alternative Approaches

One alternative approach introduces an affine transformation sending $A_1B_1C_1$ to an equilateral triangle. Under this map, similarity becomes homothety and the incidence constraints become linear equations in barycentric coordinates. The problem then reduces to solving a linear system defining a single triangle, yielding the same construction.

Another approach uses vector equations for directed sides, writing $B-A \parallel B_1-A_1$ type relations and solving the resulting system of linear constraints for vertex positions, again producing a unique solution and hence trivial maximization.