MathDB
equilateral, can be covered by 5 equilaterals (2017 HOMC Junior Q9)

Source:

August 3, 2019
geometryEquilateral

Problem Statement

Prove that the equilateral triangle of area 11 can be covered by five arbitrary equilateral triangles having the total area 22.