Is it possible to cover a given square with a few congruent right-angled triangles with acute angle equal to ? (The triangles may not overlap and may not exceed the margins of the square.)
Problem 1286
Official solution
Solution:
We will prove that desired covering is impossible.
Let us assume the opposite, i.e., a square with side length can be tiled with congruent right-angled triangles, whose sides are of lengths , , and .
Then the area of such a triangle is .
And the area of the square is
Furthermore, the length of the side of the square, , is obtained by the contribution of an integer number of lengths , , and , hence
where , and at least one of the numbers and is different from zero. So the area of the square is
Now because of (1) and (2) it follows , i.e.
Because and from the equality (3) it follows . Using once more (3), we get
which contradicts the fact that is irrational, because is a rational number.
Finally, we have obtained a contradiction, which proves that the desired covering is impossible.