Maths Olympiad Prep

Library / /18 of 57

, 2008

Geometry Difficulty 5.4 AIME, harder Prove it JBMO

Problem:
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.)

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.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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