Can a row of five equilateral triangles tile a big equilateral triangle?
$begingroup$
Can rotations and translations of this shape
perfectly tile some equilateral triangle?
I've now also asked this question on mathoverflow.
Notes:
- Obviously I'm ignoring the triangle of side $0$.
- Because the area of the triangle has to be a multiple of the area of the tile, the triangle must have side length divisible by $5$ (where $1$ is the length of the short edges of the tile).
- The analogous tile made of three equilateral triangles can tile any equilateral triangle with side length divisible by three.
- There is a computer program, Burr Tools, which was designed to solve this kind of problem. Josh B. has used it to prove by exhaustive search that there is no solution when the side length of the triangle is $5$, $10$, $15$, $20$ or $25$. Lengths of $30$ or more will take a very long time to check.
- This kind of problem can often be solved be a colouring argument but I've failed to find a suitable colouring. (See below.)
Lee Mosher pointed me in the direction of Conway's theory of tiling groups. This theory can be used to show that if the tile can cover an equilateral triangle of side length $n$ then $a^nb^nc^n=e$ in the group $left<a,b,c;middle|;a^3ba^{-2}c=a^{-3}b^{-1}a^2c^{-1}=b^3cb^{-2}a=b^{-3}c^{-1}b^2a^{-1}=c^3ac^{-2}b=c^{-3}a^{-1}c^2b^{-1}=eright>$. But sadly it turns out that we do have that $a^nb^nc^n=e$ in this group whenever $n$ divides by $5$.- In fact one can use the methods in this paper of Michael Reid to prove that this tile's homotopy group is the cyclic group with $5$ elements. I think this means that the only thing these group theoretic methods can tell us is a fact we already knew: that the side length must be divisible by $5$.
- These group theoretic methods are also supposed to subsume all possible colouring arguments, which means that any proof based purely on colouring is probably futile.
- The smallest area that can be left uncovered when trying to cover a triangle of side length $(1,dots,20)$ is $($$1$$,,$$4$$,,$$4$$,,$$1$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$)$ small triangles. In particular it's surprising that when the area is $1;mathrm{mod};5$ one must sometimes leave six triangles uncovered rather than just one.
- We can look for "near misses" in which all but $5$ of the small triangles are covered and in which $4$ of the missing small triangles could be covered by the same tile. There's essentially only one near miss for the triangle of side $5$, none for the triangle of side $10$ and six (1,2,3,4,5,6) for the triangle of side $15$. (All other near misses can be generated from these by rotation, reflection, and by reorienting the three tiles that go around the lonesome missing triangle.) This set of six near misses are very interesting since the positions of the single triangle and the place where it "should" go are very constrained.
combinatorics group-theory geometry discrete-geometry tiling
$endgroup$
|
show 28 more comments
$begingroup$
Can rotations and translations of this shape
perfectly tile some equilateral triangle?
I've now also asked this question on mathoverflow.
Notes:
- Obviously I'm ignoring the triangle of side $0$.
- Because the area of the triangle has to be a multiple of the area of the tile, the triangle must have side length divisible by $5$ (where $1$ is the length of the short edges of the tile).
- The analogous tile made of three equilateral triangles can tile any equilateral triangle with side length divisible by three.
- There is a computer program, Burr Tools, which was designed to solve this kind of problem. Josh B. has used it to prove by exhaustive search that there is no solution when the side length of the triangle is $5$, $10$, $15$, $20$ or $25$. Lengths of $30$ or more will take a very long time to check.
- This kind of problem can often be solved be a colouring argument but I've failed to find a suitable colouring. (See below.)
Lee Mosher pointed me in the direction of Conway's theory of tiling groups. This theory can be used to show that if the tile can cover an equilateral triangle of side length $n$ then $a^nb^nc^n=e$ in the group $left<a,b,c;middle|;a^3ba^{-2}c=a^{-3}b^{-1}a^2c^{-1}=b^3cb^{-2}a=b^{-3}c^{-1}b^2a^{-1}=c^3ac^{-2}b=c^{-3}a^{-1}c^2b^{-1}=eright>$. But sadly it turns out that we do have that $a^nb^nc^n=e$ in this group whenever $n$ divides by $5$.- In fact one can use the methods in this paper of Michael Reid to prove that this tile's homotopy group is the cyclic group with $5$ elements. I think this means that the only thing these group theoretic methods can tell us is a fact we already knew: that the side length must be divisible by $5$.
- These group theoretic methods are also supposed to subsume all possible colouring arguments, which means that any proof based purely on colouring is probably futile.
- The smallest area that can be left uncovered when trying to cover a triangle of side length $(1,dots,20)$ is $($$1$$,,$$4$$,,$$4$$,,$$1$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$)$ small triangles. In particular it's surprising that when the area is $1;mathrm{mod};5$ one must sometimes leave six triangles uncovered rather than just one.
- We can look for "near misses" in which all but $5$ of the small triangles are covered and in which $4$ of the missing small triangles could be covered by the same tile. There's essentially only one near miss for the triangle of side $5$, none for the triangle of side $10$ and six (1,2,3,4,5,6) for the triangle of side $15$. (All other near misses can be generated from these by rotation, reflection, and by reorienting the three tiles that go around the lonesome missing triangle.) This set of six near misses are very interesting since the positions of the single triangle and the place where it "should" go are very constrained.
combinatorics group-theory geometry discrete-geometry tiling
$endgroup$
2
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
3
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
3
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
3
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
4
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13
|
show 28 more comments
$begingroup$
Can rotations and translations of this shape
perfectly tile some equilateral triangle?
I've now also asked this question on mathoverflow.
Notes:
- Obviously I'm ignoring the triangle of side $0$.
- Because the area of the triangle has to be a multiple of the area of the tile, the triangle must have side length divisible by $5$ (where $1$ is the length of the short edges of the tile).
- The analogous tile made of three equilateral triangles can tile any equilateral triangle with side length divisible by three.
- There is a computer program, Burr Tools, which was designed to solve this kind of problem. Josh B. has used it to prove by exhaustive search that there is no solution when the side length of the triangle is $5$, $10$, $15$, $20$ or $25$. Lengths of $30$ or more will take a very long time to check.
- This kind of problem can often be solved be a colouring argument but I've failed to find a suitable colouring. (See below.)
Lee Mosher pointed me in the direction of Conway's theory of tiling groups. This theory can be used to show that if the tile can cover an equilateral triangle of side length $n$ then $a^nb^nc^n=e$ in the group $left<a,b,c;middle|;a^3ba^{-2}c=a^{-3}b^{-1}a^2c^{-1}=b^3cb^{-2}a=b^{-3}c^{-1}b^2a^{-1}=c^3ac^{-2}b=c^{-3}a^{-1}c^2b^{-1}=eright>$. But sadly it turns out that we do have that $a^nb^nc^n=e$ in this group whenever $n$ divides by $5$.- In fact one can use the methods in this paper of Michael Reid to prove that this tile's homotopy group is the cyclic group with $5$ elements. I think this means that the only thing these group theoretic methods can tell us is a fact we already knew: that the side length must be divisible by $5$.
- These group theoretic methods are also supposed to subsume all possible colouring arguments, which means that any proof based purely on colouring is probably futile.
- The smallest area that can be left uncovered when trying to cover a triangle of side length $(1,dots,20)$ is $($$1$$,,$$4$$,,$$4$$,,$$1$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$)$ small triangles. In particular it's surprising that when the area is $1;mathrm{mod};5$ one must sometimes leave six triangles uncovered rather than just one.
- We can look for "near misses" in which all but $5$ of the small triangles are covered and in which $4$ of the missing small triangles could be covered by the same tile. There's essentially only one near miss for the triangle of side $5$, none for the triangle of side $10$ and six (1,2,3,4,5,6) for the triangle of side $15$. (All other near misses can be generated from these by rotation, reflection, and by reorienting the three tiles that go around the lonesome missing triangle.) This set of six near misses are very interesting since the positions of the single triangle and the place where it "should" go are very constrained.
combinatorics group-theory geometry discrete-geometry tiling
$endgroup$
Can rotations and translations of this shape
perfectly tile some equilateral triangle?
I've now also asked this question on mathoverflow.
Notes:
- Obviously I'm ignoring the triangle of side $0$.
- Because the area of the triangle has to be a multiple of the area of the tile, the triangle must have side length divisible by $5$ (where $1$ is the length of the short edges of the tile).
- The analogous tile made of three equilateral triangles can tile any equilateral triangle with side length divisible by three.
- There is a computer program, Burr Tools, which was designed to solve this kind of problem. Josh B. has used it to prove by exhaustive search that there is no solution when the side length of the triangle is $5$, $10$, $15$, $20$ or $25$. Lengths of $30$ or more will take a very long time to check.
- This kind of problem can often be solved be a colouring argument but I've failed to find a suitable colouring. (See below.)
Lee Mosher pointed me in the direction of Conway's theory of tiling groups. This theory can be used to show that if the tile can cover an equilateral triangle of side length $n$ then $a^nb^nc^n=e$ in the group $left<a,b,c;middle|;a^3ba^{-2}c=a^{-3}b^{-1}a^2c^{-1}=b^3cb^{-2}a=b^{-3}c^{-1}b^2a^{-1}=c^3ac^{-2}b=c^{-3}a^{-1}c^2b^{-1}=eright>$. But sadly it turns out that we do have that $a^nb^nc^n=e$ in this group whenever $n$ divides by $5$.- In fact one can use the methods in this paper of Michael Reid to prove that this tile's homotopy group is the cyclic group with $5$ elements. I think this means that the only thing these group theoretic methods can tell us is a fact we already knew: that the side length must be divisible by $5$.
- These group theoretic methods are also supposed to subsume all possible colouring arguments, which means that any proof based purely on colouring is probably futile.
- The smallest area that can be left uncovered when trying to cover a triangle of side length $(1,dots,20)$ is $($$1$$,,$$4$$,,$$4$$,,$$1$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$,,$$6$$,,$$4$$,,$$4$$,,$$6$$,,$$5$$)$ small triangles. In particular it's surprising that when the area is $1;mathrm{mod};5$ one must sometimes leave six triangles uncovered rather than just one.
- We can look for "near misses" in which all but $5$ of the small triangles are covered and in which $4$ of the missing small triangles could be covered by the same tile. There's essentially only one near miss for the triangle of side $5$, none for the triangle of side $10$ and six (1,2,3,4,5,6) for the triangle of side $15$. (All other near misses can be generated from these by rotation, reflection, and by reorienting the three tiles that go around the lonesome missing triangle.) This set of six near misses are very interesting since the positions of the single triangle and the place where it "should" go are very constrained.
combinatorics group-theory geometry discrete-geometry tiling
combinatorics group-theory geometry discrete-geometry tiling
edited Dec 4 '18 at 16:48
Oscar Cunningham
asked Apr 3 '17 at 9:32
Oscar CunninghamOscar Cunningham
10.1k22860
10.1k22860
2
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
3
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
3
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
3
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
4
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13
|
show 28 more comments
2
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
3
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
3
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
3
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
4
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13
2
2
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
3
3
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
3
3
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
3
3
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
4
4
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13
|
show 28 more comments
1 Answer
1
active
oldest
votes
$begingroup$
I suppose I should post: I solved this on MathOverflow. The answer is YES: a size-45 triangle can be tiled.
I thank two insights from Josh B here: first that a rhombus with side length 15 can be tiled, and second the strategy to "select a different shape which does tile a triangle, then tile that shape with our $5$ triangle trapezoid."
This $15-15-15-30$ trapezoid can be tiled, and three such trapezoids can tile a triangle with side length $45$.
$endgroup$
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
|
show 2 more comments
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2215781%2fcan-a-row-of-five-equilateral-triangles-tile-a-big-equilateral-triangle%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I suppose I should post: I solved this on MathOverflow. The answer is YES: a size-45 triangle can be tiled.
I thank two insights from Josh B here: first that a rhombus with side length 15 can be tiled, and second the strategy to "select a different shape which does tile a triangle, then tile that shape with our $5$ triangle trapezoid."
This $15-15-15-30$ trapezoid can be tiled, and three such trapezoids can tile a triangle with side length $45$.
$endgroup$
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
|
show 2 more comments
$begingroup$
I suppose I should post: I solved this on MathOverflow. The answer is YES: a size-45 triangle can be tiled.
I thank two insights from Josh B here: first that a rhombus with side length 15 can be tiled, and second the strategy to "select a different shape which does tile a triangle, then tile that shape with our $5$ triangle trapezoid."
This $15-15-15-30$ trapezoid can be tiled, and three such trapezoids can tile a triangle with side length $45$.
$endgroup$
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
|
show 2 more comments
$begingroup$
I suppose I should post: I solved this on MathOverflow. The answer is YES: a size-45 triangle can be tiled.
I thank two insights from Josh B here: first that a rhombus with side length 15 can be tiled, and second the strategy to "select a different shape which does tile a triangle, then tile that shape with our $5$ triangle trapezoid."
This $15-15-15-30$ trapezoid can be tiled, and three such trapezoids can tile a triangle with side length $45$.
$endgroup$
I suppose I should post: I solved this on MathOverflow. The answer is YES: a size-45 triangle can be tiled.
I thank two insights from Josh B here: first that a rhombus with side length 15 can be tiled, and second the strategy to "select a different shape which does tile a triangle, then tile that shape with our $5$ triangle trapezoid."
This $15-15-15-30$ trapezoid can be tiled, and three such trapezoids can tile a triangle with side length $45$.
edited Apr 17 '17 at 7:05
Oscar Cunningham
10.1k22860
10.1k22860
answered Apr 17 '17 at 1:35
LopsyLopsy
3,7631423
3,7631423
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
|
show 2 more comments
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks to you! How did you find that tiling? In the MathOverflow post you mention an SAT solver. Any more details? I had attempted this very search with BurrTools but it was going to take far too long. I think BurrTools gets in trouble when there are many ways to tile a subset of the full shape. For example, a rhombus of side length 5 can be tiled in two different ways. A parallelogram of lengths 5 and 6 can be tiled 4 ways. It only gets worse from there.
$endgroup$
– Josh B.
Apr 17 '17 at 1:57
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Thanks again. I added a picture of the solution to your answer because math.stackexchange answers are supposed to be self-contained.
$endgroup$
– Oscar Cunningham
Apr 17 '17 at 7:06
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
$begingroup$
Wonderful solution. Very entertaining how you reduced the problem to the case of three equilateral triangles.
$endgroup$
– Daniel Pietrobon
Apr 17 '17 at 8:58
1
1
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
@Josh B. Nothing special: I had one True/False variable for each possible tile placement, with the constraints "every triangle must be filled" and "any two overlapping tiles can't both exist." I wonder what techniques Burr Tools uses under the hood. An off-the-shelf SAT solver (pycosat) solved this in ~20 seconds, but would take a long time to solve a side-length-25 equilateral triangle. I'm guessing the limited width of the shape helps.
$endgroup$
– Lopsy
Apr 17 '17 at 15:57
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
$begingroup$
It's a rep-tile. The above tiling can be extended with a side-15 rhombus to get a tiling of the original shape using 1125 tiles.
$endgroup$
– nickgard
Apr 19 '17 at 7:56
|
show 2 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2215781%2fcan-a-row-of-five-equilateral-triangles-tile-a-big-equilateral-triangle%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
Conway's Tiling Groups might be relevant; see Thurston's article cimat.mx/ciencia_para_jovenes/pensamiento_matematico/…. It might be fun to work out.
$endgroup$
– Lee Mosher
Apr 3 '17 at 15:42
3
$begingroup$
@LeeMosher I'll kick out [recreational-mathematics]. This is now serious business! :-)
$endgroup$
– Oscar Cunningham
Apr 3 '17 at 21:05
3
$begingroup$
I used BurrTools to determine there is no tiling for a triangle of width 25. This took 21 hours on my computer. I'm not going to try width 30.
$endgroup$
– Josh B.
Apr 4 '17 at 20:55
3
$begingroup$
A couple close calls: one two
$endgroup$
– Josh B.
Apr 7 '17 at 0:23
4
$begingroup$
@OscarCunningham You can fill a rhombus with these pieces in all orientations. example Still, it seems that the orientations you point out do dominate the tiling. However, I'm not convinced this will remain the case as we examine larger rhombuses or triangles. But that's what I find interesting about this problem: my intuition isn't strongly pointing for or against.
$endgroup$
– Josh B.
Apr 7 '17 at 18:13