Maths Olympiad Prep

Track / Stage 5 / 206 of 400 #1286 of 2444

Problem 1286

AIME late
Geometry Difficulty 5.4 Prove it Shortlist JBMO · JBMO · 2008

Is it possible to cover a given square with a few congruent right-angled triangles with acute angle equal to 3030^{\circ}? (The triangles may not overlap and may not exceed the margins of the square.)

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.

Next problem →

Official solution

Solution:
We will prove that desired covering is impossible.
Let us assume the opposite, i.e., a square with side length aa can be tiled with kk congruent right-angled triangles, whose sides are of lengths bb, b3b \sqrt{3}, and 2b2b.

Then the area of such a triangle is b232\frac{b^{2} \sqrt{3}}{2}.
And the area of the square is
Ssq=kb232 S_{sq} = k b^{2} \frac{\sqrt{3}}{2}
Furthermore, the length of the side of the square, aa, is obtained by the contribution of an integer number of lengths bb, 2b2b, and b3b \sqrt{3}, hence
a=mb3+nb a = m b \sqrt{3} + n b
where m,nN{0}m, n \in \mathbb{N} \cup \{0\}, and at least one of the numbers mm and nn is different from zero. So the area of the square is
Ssq=a2=(mb3+nb)2=b2(3m2+n2+23mn) S_{sq} = a^{2} = (m b \sqrt{3} + n b)^{2} = b^{2} \left(3 m^{2} + n^{2} + 2 \sqrt{3} m n\right)
Now because of (1) and (2) it follows 3m2+n2+23mn=k323 m^{2} + n^{2} + 2 \sqrt{3} m n = k \frac{\sqrt{3}}{2}, i.e.
6m2+2n2=(k4mn)3 6 m^{2} + 2 n^{2} = (k - 4 m n) \sqrt{3}
Because 3m2+n203 m^{2} + n^{2} \neq 0 and from the equality (3) it follows 4mnk4 m n \neq k. Using once more (3), we get
3=6m2+2n2k4mn \sqrt{3} = \frac{6 m^{2} + 2 n^{2}}{k - 4 m n}
which contradicts the fact that 3\sqrt{3} is irrational, because 6m2+2n2k4mn\frac{6 m^{2} + 2 n^{2}}{k - 4 m n} is a rational number.

Finally, we have obtained a contradiction, which proves that the desired covering is impossible.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.