ISL 2006 C6
A holey triangle is an upward equilateral triangle of side length with upward unit triangular holes cut out. A diamond is a unit rhombus. Prove that a holey triangle can be tiled with diamonds if and only if the following condition holds: Every upward equilateral triangle of side length in contains at most holes, for . (Colombia)
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.