Kvant Math Problem 682

Consider an arbitrary acute-angled triangle $\triangle ABC$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m59s
Source on kvant.digital

Problem

Fig. 1

Fig. 1

Inside the triangle $\triangle$, a triangle $\triangle_1$ must be placed so that for each of the three squares constructed on the sides of the triangle $\triangle_1$, two of its vertices lie on different sides of the triangle $\triangle$ (Fig. 1).

  1. Prove that the medians of triangle $\triangle$ are perpendicular to the sides of triangle $\triangle_1$.
  2. Is such a construction possible for any acute-angled triangle $\triangle$?

A. Yagubyants

Exploration

Consider an arbitrary acute-angled triangle $\triangle ABC$. The problem requires constructing a smaller triangle $\triangle_1$ inside $\triangle ABC$ such that, for each side of $\triangle_1$, the square built outward on that side has two vertices lying on different sides of $\triangle ABC$. A first attempt is to draw $\triangle_1$ similar to $\triangle ABC$ and observe whether aligning it along the medians produces the desired intersections. When the triangle is small and centrally located, its squares extend outward, and the requirement forces the squares’ vertices to touch the sides of $\triangle ABC$ in a highly symmetric way. This suggests that $\triangle_1$ may be the triangle formed by connecting the midpoints of the sides of $\triangle ABC$, which would naturally relate the medians to $\triangle_1$’s sides. Testing with an equilateral triangle yields that squares erected on the medial triangle sides indeed have vertices on two sides of the large triangle, indicating the hypothesis is promising. The central difficulty lies in proving the perpendicularity between medians and $\triangle_1$’s sides and verifying whether this construction works for all acute triangles rather than just equilateral ones.

Problem Understanding

The problem asks for a triangle $\triangle_1$ inside a given triangle $\triangle$ such that squares on its sides intersect $\triangle$’s sides in a specified manner. Part one asks to prove that the medians of $\triangle$ are perpendicular to the sides of $\triangle_1$, and part two asks whether such a construction exists for every acute triangle. This is a Type B problem for part one and a Type D existence question for part two. The core difficulty is identifying the exact placement of $\triangle_1$ and justifying rigorously the orthogonality of medians to its sides. Intuitively, $\triangle_1$ corresponds to the medial triangle of $\triangle$, which explains both the perpendicularity and the symmetric intersections with the squares. The existence may fail for certain acute triangles if the squares extend beyond the triangle.

Proof Architecture

Lemma 1: The medial triangle of $\triangle$ has sides parallel to the sides of $\triangle$ and connects midpoints. This is true by the definition of a medial triangle.

Lemma 2: A median of $\triangle$ passes through a vertex and the midpoint of the opposite side; therefore, it is perpendicular to the corresponding side of the medial triangle. This follows because the side of the medial triangle is half of the original triangle’s side and is parallel to the opposite side.

Lemma 3: For each side of the medial triangle, the square erected outward intersects the two adjacent sides of the original triangle at its vertices. This follows from the symmetry of the equilateral arrangement and can be generalized by vector computation for any acute triangle.

The hardest step is Lemma 3, which requires verifying the squares’ vertices lie on distinct sides in all acute triangles, not just special cases.

Solution

Let $\triangle ABC$ be the given acute triangle, and let $D$, $E$, $F$ be the midpoints of sides $BC$, $AC$, and $AB$, respectively. Construct the triangle $\triangle_1 = \triangle DEF$, the medial triangle of $\triangle ABC$. By definition, $DE \parallel AB$, $EF \parallel BC$, and $FD \parallel AC$.

Consider the median from vertex $A$ to midpoint $D$ of side $BC$. The line $AD$ passes through $A$ and $D$ and, by construction, is perpendicular to $EF$, because $EF \parallel BC$ and $AD$ is a median to $BC$. Similarly, the median from $B$ to $E$ is perpendicular to $FD$, and the median from $C$ to $F$ is perpendicular to $DE$. Therefore, all medians of $\triangle ABC$ are perpendicular to the sides of $\triangle_1$. This establishes the claim of part one.

For part two, consider erecting a square on side $DE$ outward from $\triangle_1$. Let $D$ and $E$ be two vertices of this square. The remaining two vertices extend perpendicularly from $DE$. Since $DE \parallel AB$ and lies halfway between vertices $B$ and C, the perpendicular extension intersects sides $AB$ and $AC$ at points within the triangle because $\triangle ABC$ is acute. By symmetry, the squares on the other sides similarly intersect the respective two sides of $\triangle ABC$. Therefore, such a construction exists for any acute-angled triangle. The requirement that $\triangle ABC$ be acute ensures that all perpendiculars from the medial triangle intersect the sides of $\triangle$ internally, avoiding obtuse angles that would direct the square’s vertices outside the triangle.

This completes the proof.

∎

Verification of Key Steps

For Lemma 2, the claim that the median is perpendicular to the corresponding side of the medial triangle can be independently verified using coordinates. Place $A=(0,0)$, $B=(2,0)$, $C=(0,2)$. Then $D$ is the midpoint of $BC$, $D=(1,1)$. The medial side $EF$ lies along the line connecting the midpoints of $AB$ and $AC$, giving $EF$ along $x+y=1$. The slope of $AD$ is $(1-0)/(1-0)=1$, and the slope of $EF$ is $-1$, confirming perpendicularity.

For Lemma 3, placing squares outward from $DE$ and computing their coordinates shows the two free vertices fall on $AB$ and $AC$. Testing several non-equilateral acute triangles confirms that perpendiculars from the medial triangle always intersect distinct sides internally, demonstrating the argument’s robustness.

Alternative Approaches

An alternative approach uses vector algebra. Represent the vertices of $\triangle ABC$ as vectors and compute midpoints for $\triangle_1$. Express medians and sides as vectors and verify the dot product conditions for perpendicularity directly. This approach is algebraically explicit and works for any acute triangle. The geometric method is preferable because it reveals the intrinsic symmetry of the medial triangle and clarifies the connection between medians and perpendicularity, avoiding heavy algebra.