edp
(Ed Pegg)
1
7 years ago William Somsky showed me how to divide an equilateral triangle into 13 strictly acute isosceles triangles.
When I noticed the image, I realized I could now solve it exactly. Seems to need roots of order 10 polynomials.
SomskyTriangleDissection.nb (31.7 KB)
4 Likes
edp
(Ed Pegg)
2
How to solve something like this? Consider the problem of covering the largest possible equilateral triangle with two unit squares.
I make a sketch in Geometer’s Sketchpad first.
Then put the equations right into Mathematica. z0==z1==1.
Root[144 + 96 #1 + 16 #1^2 + 72 #1^3 - 168 #1^4 + 9 #1^6 &, 3]
About 1.322159389397273286325082341278424475