Is it possible to tile an equilateral integer-sided triangle with smaller equilateral integer-sided triangles, with no congruent triangles touching? This has been answered in the negative for the case that no like sizes repeat, I would like to know if it can be done with repeats but like sizes not touching, even at a corner.


Some more info:
I've been running a computer search for such a tiling and just finished the side-47 triangle which took 109 hours. But just because a 'reachable' tiling is hard to find, one should not expect no tiling at all. In related "squaring the square" problems tilings have been known to crop up of squares well over 100 on a side.



Triangling the triangle
It is not possible. Tutte shows in ["The dissection of equilateral triangles into equilateral triangles"](https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/dissection-of-equilateral-triangles-into-equilateral-triangles/5D2608ED5B662B77D4984CC7D7CB0BD9) that *any* triangulation (with equilateral tiles) of a big equilateral triangle will contain two adjacent triangles that share a side, and therefore have equal size.


In order to get past this obstruction he defines triangles of size $\pm k$ where the side length is $k$ and the sign is $+$ if their sides are parallel to the big triangle and $-$ otherwise. With this convention it is possible to give a triangulation of an equilateral triangle with all triangle tiles of different sizes, and the proof is quite similar to that of [squaring the square](https://en.wikipedia.org/wiki/Squaring_the_square).


Since you are interested in computing the smallest cases of such triangulations you can also look at ["An enumeration of equilateral triangle dissections"](https://www.sciencedirect.com/science/article/pii/S0166218X10001551), where the authors list all dissections of triangles of side $\le 20$ satisfying the property from the prevous paragraph. The smallest triangle admitting such a dissection has side $15$.


