P58 · n = 5 · Solver note / 求解记录

在等边三角形一顶点上作一个边长为√2-1的的等边三角形，小三角形另外两个顶点在两条边上，再以这两个顶点作一样大的等边三角形