What other convex plate tilings can you find?
Now consider a shape we will call a crown, a square with one corner cut off that can be tiled with 7 isosceles triangles: Here are a few convex shapes we can tile:
What other convex crown tilings can you find?
Are there other shapes of convex pentagons (tilable with isosceles right triangles) that can tile convex shapes? What if we mix plates and crowns? Now what convex shapes can be tiled?
Berend Jan van der Zwaag and Joseph DeVincentis also found the following crown tilings:
In 2013, George Sicherman found this crown tiling:
Therefore convex crown tilings are known to exist for n=1, 2, 3, 4, 6, and 10.
Likewise, convex plate tilings exist for n=1, 2, 4, and 13.
Joseph DeVincentis found the following plate-crown tilings:
These have a vertical right edge and so can be combined in pairs to create tilings with an even number of plates and 8 crowns, or an odd number of plates and 5 crowns, or 4 plates and 2 crowns:
These are squares, which can be stacked, or placed inside of other arrangements:
In 2013, George Sicherman found this arrangement, which he hypothesized was the smallest tiling of a square with plates and crowns:
Joseph DeVincentis and I both found the following crown-plate tilings:
Here are some additional tilings I found using both plates and crowns:
In 2013, George Sicherman found this tiling:
Joseph DeVincentis proved that any convex shape that could be made using identical isosceles triangles that does not contain any sharp 45 degree angles could be tiled with plates and crowns. His proof follows. Choose a scale such that the lengths of all the sides are integers or integers times √2. The green unit squares are filled in with any of the known methods for tiling a square. The small purple squares are not strictly necessary but help to illustrate the flexibility of the tiling. The diagonal edges are filled with rows of plates, with smaller plates turned a different way at the corners. The interior is filled with squares. If a diagonal edge is missing (not shown in the figure), the squares simply extend all the way to the corner. If an orthogonal edge is missing, in place of the smaller plates use a small rotated square.
Berend Jan van der Zwaag considered tilings of houses: Here are his convex tilings:
I found these:
In 2013, George Sicherman found these:
In 2014, George Sicherman found this tiling:
Berend Jan van der Zwaag also considered shapes like this one, with a right angle adjacent to a 45 degree angle: He found convex tilings like these:
I found these:
Are there convex tilings using more than 4 tiles?
Joseph DeVincentis also considered a shape he called a barb: He noted that we can make two small convex shapes, shown below. But he also showed that this shape tiles any convex shape tilable by isosceles right triangles since 50 barbs tile a triangle. Then Bryce Herdt tiled a triangle with only 8 barbs.
In 2013 and 2014, George Sicherman investigated convex figures using yet another shape: