TRIMINI

The figure below show the 14 pieces that can be made composing four triangles. The six pieces on the top row are symmetric, ie, coincide with teir mirror images. Those on the bottom line are asymmetric. Overall the 14 pieces contain 56 triangles, therefore they could nicely fit on the 4x7 rectangular board: Unfortunately, this is not so ! Can you prove that it is not possible to arrange the 14 triminis on the 4x7 board?

Give this problem a try before continuing reading. You may cut the trimini pieces out of a piece of cardboard and play with them.

#### Hint: a non-solution

The 4x7 board has 14 black squares and 14 white squares. If we can show that
it is impossible to color the triangles of the pieces in such a way that half of
them are black and half are white, then we have a proof that the 4x7 covering is not possible.

The pieces A, B, C, D, E, F, G, I, J, L, M, and N always cover two black triangles and two white triangles. There remain the odd pieces H and K which cover three triangles of one color and
one of the other.

If the odd pieces (H and K) were in odd number we would be done. Unfortunately they are in even number.
So this approach does not lead us to a proof of impossibility of the cover.

#### A solution

The previous idea can be applied to another coloring of the board, based on triangles instead of squares, as shown in the figure below. In this coloring the pieces A, B, C, E, G, H, I, L always have one unit square black and one unit white.
The pieces, F, J, K, M, and N, have 3/4 units of one color and 5/4 of the other.
Finally the piece D can be either one unit black and one white, or 3/2 one color
and 1/2 the other.

Counting the color units we have that one of the two equations must have an integer solution for the covering to be possible:

```  8 * 1 + x * 0.75 + (1-x) * 1.25 + 1 = 8 * 1 + (1-x) * 0.75 + x * 1.25 + 1
8 * 1 + x * 0.75 + (1-x) * 1.25 + 1.5 = 8 * 1 + (1-x) * 0.75 + x * 1.25 + 0.5
```

The first equation has solution x = 1/2.
The second equation has solution x = 3/2.

This proves that the 4x7 rectagle covering is not possible.

Marco Corvi - 2014