JBMO-SL 2008 G5
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.)
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.