Author |
Topic: Cutting and translating Triangle into Square (Read 1321 times) |
|
Aryabhatta
Uberpuzzler
Gender: 
Posts: 1321
|
 |
Cutting and translating Triangle into Square
« on: Jan 5th, 2008, 11:39am » |
 Quote  Modify
|
Two polygons P1 and P2 of equal area are said to be translationally-equi-dissectible if one of them (say P1) can be cut up (with straight cuts) so that the resulting (polygonal) pieces can be translated to give the other one (P2).
(Note that no rotation/flipping is allowed. Only translation. Also, no overlapping of pieces.)
Show that a triangle and a square (of same area) are not translationally-equi-dissectible.
|
|
 IP Logged |
|
|
|
Hippo
Uberpuzzler
Gender:
Posts: 919
|
|
Re: Cutting and translating Triangle into Square
« Reply #1 on: Jan 5th, 2008, 3:12pm » |
Quote Modify
|
Or show that a triangle with angles 45,45,90 degrees cannot be rotated by 45 degrees by such transformations.
|
| « Last Edit: Jan 5th, 2008, 3:13pm by Hippo » |
IP Logged |
|
|
|
jollytall
Senior Riddler
Gender:
Posts: 585
|
|
Re: Cutting and translating Triangle into Square
« Reply #2 on: Jan 9th, 2008, 12:46am » |
Quote Modify
|
I am not sure I understand Hippo correctly, but if the question is that a triangle and a square can never be dissectible, then Hippo's example is clearly a counterexample. Cut the square diagonally, and attach two sides together to form a triangle.
So, is the question that there are triangles that cannot be converted to square then it is a different question.
|
|
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #3 on: Jan 9th, 2008, 1:11am » |
Quote Modify
|
The point is that you are only allowed to translate the pieces, not to rotate them.
|
|
IP Logged |
|
|
|
Aryabhatta
Uberpuzzler
Gender:
Posts: 1321
|
|
Re: Cutting and translating Triangle into Square
« Reply #4 on: Jan 9th, 2008, 11:08am » |
Quote Modify
|
on Jan 5th, 2008, 3:12pm, Hippo wrote:| Or show that a triangle with angles 45,45,90 degrees cannot be rotated by 45 degrees by such transformations. |
|
Just showing this won't be a complete proof.
The problem states that _any_ triangle cannot be converted to a square...
|
|
IP Logged |
|
|
|
Hippo
Uberpuzzler
Gender:
Posts: 919
|
|
Re: Cutting and translating Triangle into Square
« Reply #5 on: Jan 9th, 2008, 1:28pm » |
Quote Modify
|
I haven't propose a proof  I just asked a connected (probably easier) question. But when I thing about it now, it seems to me any parallelogram can be easily transformed to a square. Therefore the angles in the triangle are not important. ... can any triangle be rotated 180 degrees?
... Why have I asked 45 degrees? ... I cannot remember . 90 degrees would be more interesting .
|
|
IP Logged |
|
|
|
Joe Fendel
Full Member
Posts: 158
|
|
Re: Cutting and translating Triangle into Square
« Reply #6 on: Jan 10th, 2008, 8:50am » |
Quote Modify
|
For any angle, t, we can define the "net length" of this angle on any polygon (or collection of polygons) by the total length of all sides of the polygon at this angle with the interior on the left, minus the total length of all sides of the polygon at this angle with the interior on the right.
So, for example, suppose we have a triangle defined by the points (0,0), (0,1) and (1,0). Then for the angle 0 (horizontal-right), we have a net length of 1, and for the angle pi (horizontal-left), we have a net length of -1. For the angle pi/2 (vertical-up), there is a net length of -1. For the angle 3pi/4, there is a net length of sqrt(2).
Then simply notice that the net length of t is invariant under dissection (because dissection adds two equal-length sides one with interior on the left and one with interior on the right), translation (angles are unchanged), and fusing (since this is the reverse of dissection).
Also notice that the net length of every angle for a square (or any parallelogram) is 0. But this is not so for a triangle - every triangle has three angles with nonzero net lengths. Thus a triangle and square are not translationally-equi-dissectible.
I'm intrigued by the claim that any parallelogram can be transformed into a square ("easily"!). I see how one can always transform a parallelogram to a rectangle. But a square? For example, how does one transform a generalized n*m rectangle into a square of side-length sqrt(nm)? I can see how to do it for some particular cases, such as 1*4 (that one is easy), or 1*2 (a bit trickier), but I don't see a general method. (Though this seems like it would be a "classic" problem.)
|
|
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #7 on: Jan 10th, 2008, 9:13am » |
Quote Modify
|
Transformation of a rectangle to a square: the method is straightforward once you have seen an example.
Compute the square side size. It is between the smaller and the longer rectangle dimension.
Cut along a line going from one corner to an opposite long border. Glue the 2 small corners together. You now have a parallelogram with one side equal to the wanted square size. Use that side as one edge of a square covering the parallelogram and extend it to a square grid. Cut wherever the paralellogram overlaps from one to another square and translate all pieces modulo the grid size into one square.
|
| « Last Edit: Jan 10th, 2008, 9:14am by Grimbal » |
IP Logged |
|
|
|
Hippo
Uberpuzzler
Gender:
Posts: 919
|
|
Re: Cutting and translating Triangle into Square
« Reply #8 on: Jan 10th, 2008, 12:49pm » |
Quote Modify
|
on Jan 10th, 2008, 8:50am, Joe Fendel wrote:For any angle, t, we can define the "net length" of this angle on any polygon (or collection of polygons) by the total length of all sides of the polygon at this angle with the interior on the left, minus the total length of all sides of the polygon at this angle with the interior on the right.
So, for example, suppose we have a triangle defined by the points (0,0), (0,1) and (1,0). Then for the angle 0 (horizontal-right), we have a net length of 1, and for the angle pi (horizontal-left), we have a net length of -1. For the angle pi/2 (vertical-up), there is a net length of -1. For the angle 3pi/4, there is a net length of sqrt(2).
Then simply notice that the net length of t is invariant under dissection (because dissection adds two equal-length sides one with interior on the left and one with interior on the right), translation (angles are unchanged), and fusing (since this is the reverse of dissection).
Also notice that the net length of every angle for a square (or any parallelogram) is 0. But this is not so for a triangle - every triangle has three angles with nonzero net lengths. Thus a triangle and square are not translationally-equi-dissectible.
I'm intrigued by the claim that any parallelogram can be transformed into a square ("easily"!). I see how one can always transform a parallelogram to a rectangle. But a square? For example, how does one transform a generalized n*m rectangle into a square of side-length sqrt(nm)? I can see how to do it for some particular cases, such as 1*4 (that one is easy), or 1*2 (a bit trickier), but I don't see a general method. (Though this seems like it would be a "classic" problem.) |
|
Exactly ... this is invariant I want to describe , to the question already answered by Grimbal ... the trick is the square is "rotated". What is no problem as there are 0's for all directions
|
| « Last Edit: Jan 11th, 2008, 4:15am by Hippo » |
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #9 on: Jan 11th, 2008, 12:17am » |
Quote Modify
|
This brings an interesting question: How can you rotate a square by dissection and rotation translation?
|
| « Last Edit: Jan 11th, 2008, 6:36am by Grimbal » |
IP Logged |
|
|
|
Aryabhatta
Uberpuzzler
Gender:
Posts: 1321
|
|
Re: Cutting and translating Triangle into Square
« Reply #10 on: Jan 11th, 2008, 1:31am » |
Quote Modify
|
on Jan 11th, 2008, 12:17am, Grimbal wrote:| This brings an interesting question: How can you rotate a quare by dissection and rotation? |
|
I don't understand.
Don't dissect, just rotate... or did you mean something else?
|
|
IP Logged |
|
|
|
Aryabhatta
Uberpuzzler
Gender:
Posts: 1321
|
|
Re: Cutting and translating Triangle into Square
« Reply #11 on: Jan 11th, 2008, 1:32am » |
Quote Modify
|
on Jan 10th, 2008, 8:50am, Joe Fendel wrote:
Well done!
|
|
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #12 on: Jan 11th, 2008, 6:34am » |
Quote Modify
|
on Jan 11th, 2008, 1:31am, Aryabhatta wrote:Don't dissect, just rotate... or did you mean something else?
|
|
Uh... yes, I meant translation, not rotation.
(It's not me, it is my fingers, they type faster than I think!)
|
| « Last Edit: Jan 11th, 2008, 6:35am by Grimbal » |
IP Logged |
|
|
|
Joe Fendel
Full Member
Posts: 158
|
|
Re: Cutting and translating Triangle into Square
« Reply #13 on: Jan 11th, 2008, 8:21am » |
Quote Modify
|
on Jan 10th, 2008, 9:13am, Grimbal wrote:Transformation of a rectangle to a square: the method is straightforward once you have seen an example.
Compute the square side size. It is between the smaller and the longer rectangle dimension.
Cut along a line going from one corner to an opposite long border. Glue the 2 small corners together. You now have a parallelogram with one side equal to the wanted square size. Use that side as one edge of a square covering the parallelogram and extend it to a square grid. Cut wherever the paralellogram overlaps from one to another square and translate all pieces modulo the grid size into one square. |
|
Ah, yes. Thanks, Grimbal. I see how this works now.
So here's a question: We've established that for polygons P and Q to be translationally-equi-dissectible, necessary conditions are that they have the same:
a) "Net length" for all angles, as defined in my proof above.
b) Area
Are these conditions sufficient? (This seems like a hard problem to me...)
|
|
IP Logged |
|
|
|
Joe Fendel
Full Member
Posts: 158
|
|
Re: Cutting and translating Triangle into Square
« Reply #14 on: Jan 11th, 2008, 8:32am » |
Quote Modify
|
on Jan 11th, 2008, 12:17am, Grimbal wrote:This brings an interesting question: How can you rotate a square by dissection and rotation translation? |
|
By an arbitrary angle? Good question!
|
|
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #15 on: Jan 11th, 2008, 9:10am » |
Quote Modify
|
I think it is sufficient. Any polygon with zero "net-length" can be reassembled into a square of the same area.
Cut the polygon horizontally through every vertex. You get trapezoids and triangles of various heights.
Choose a non-vertical angle and collect all pieces having this angle on either side.
Any piece having the angle on both side can be transformed into a rectangle and put aside.
For the remaining pieces, match 2 complementary pieces, glue 2 sides together aligning the bases and cut the top of the higher piece. You now have one less trapezoid in the set having the chosen angle.
In a finite number of steps, you have no more of that angle left.
Restart with a different angle until you did all angles. In the process, you have less and less trapezoids and triangles, and more and more rectangles.
In the end, you have only rectangles.
Rectangles can be resized to any other rectangle of the same area, because every rectangle can be transformed into a square of the same area and a square can be rotated.
Using this, transform all the rectangles you have put aside to give them the same width, and pile these to make a square.
QED
This makes so many tiny pieces that it is not practical. A much simpler dissection can probably always be made by hand. But it proves that it can always be done.
|
|
IP Logged |
|
|
|
Hippo
Uberpuzzler
Gender:
Posts: 919
|
|
Re: Cutting and translating Triangle into Square
« Reply #16 on: Jan 11th, 2008, 11:56am » |
Quote Modify
|
on Jan 11th, 2008, 8:21am, Joe Fendel wrote:
Ah, yes. Thanks, Grimbal. I see how this works now.
So here's a question: We've established that for polygons P and Q to be translationally-equi-dissectible, necessary conditions are that they have the same:
a) "Net length" for all angles, as defined in my proof above.
b) Area
Are these conditions sufficient? (This seems like a hard problem to me...) |
|
I wanted to stay new riddle ... "contradicting" your question ... proove that disc cannot be transformed to a square. ... Both have "directed integral in-out differences" equal 0.
I suppose the invariant using "second derivative instead first" should be used.
... I am leaving for a week ... so hope an exactly formulated proof will be formed during it.
Actually this is not contradicting as only finite number of angles are expected in your riddle
|
| « Last Edit: Jan 11th, 2008, 11:59am by Hippo » |
IP Logged |
|
|
|
Aryabhatta
Uberpuzzler
Gender:
Posts: 1321
|
|
Re: Cutting and translating Triangle into Square
« Reply #17 on: Jan 11th, 2008, 2:22pm » |
Quote Modify
|
Hippo, If i remember correctly, someone has shown that we can transform the circle into a square. (but i am not sure what kind of transforms were allowed, but they had something to do with dissection)
Let me edit this post later, when I get my hands on the book which has the reference.
|
| « Last Edit: Jan 11th, 2008, 2:22pm by Aryabhatta » |
IP Logged |
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #18 on: Jan 12th, 2008, 3:24am » |
Quote Modify
|
There is a nice solution for a 12-gon.
i.e. dissect a 12-gon into a square. But you can rotate the pieces.
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Cutting and translating Triangle into Square
« Reply #19 on: Jan 12th, 2008, 5:16am » |
Quote Modify
|
on Jan 11th, 2008, 2:22pm, Aryabhatta wrote:| Hippo, If i remember correctly, someone has shown that we can transform the circle into a square. |
|
Yes, and you can even dissect it and put it back together to form two circles that are the same size as the original. 
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #20 on: Jan 12th, 2008, 10:09am » |
Quote Modify
|
I read that about a ball.
You can dissect a ball into 4 pieces that can be recombined (with rotations) to form 2 balls of the original size.
I didn't know you can do that with disks or transform a square into a ball. Do you have a reference?
|
|
IP Logged |
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: Cutting and translating Triangle into Square
« Reply #21 on: Jan 12th, 2008, 11:08am » |
Quote Modify
|
on Jan 12th, 2008, 5:16am, towr wrote:
Yes, and you can even dissect it and put it back together to form two circles that are the same size as the original. |
|
3D circles? 
on Jan 12th, 2008, 10:09am, Grimbal wrote:I read that about a ball.
You can dissect a ball into 4 pieces that can be recombined (with rotations) to form 2 balls of the original size.? |
|
Banach-Tarski requires countably many pieces.
|
| « Last Edit: Jan 12th, 2008, 11:17am by ThudnBlunder » |
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: Cutting and translating Triangle into Square
« Reply #22 on: Jan 12th, 2008, 11:17am » |
Quote Modify
|
It requires a minimum of 5 pieces (at least, according to the best result I've heard of), although one of those pieces is a single point.
The most general form of the Banach-Tarski paradox says that for any two sets in  3 with non-empty interior, it is possible to divide one into a finite number of subsets which when rigidly transformed will recombine to form the other.
Note, though, that this requires 3 dimensions. The same thing is not possible in 2 dimensions. It is possible to extend the concept of area to all sets, provided that you only require finite additivity (the area of the union of any two disjoint sets is the sum of their areas, but there exist infinite collections of pairwise-disjoint sets for which the area of the union is not the sum of the individual areas). [edit](I also should add that there are infinitely many such extensions with nothing to suggest one is better than another, which is why normally we stick with just the sets for which area has a natural definition.)[/edit]
So towr's comment can only be true if his dissection is infinite.
[Edit] T&B: Check again - Banach-Tarski uses a finite number of pieces. Though I suppose finite is countable...[/Edit]
|
| « Last Edit: Jan 12th, 2008, 11:25am by Icarus » |
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: Cutting and translating Triangle into Square
« Reply #23 on: Jan 12th, 2008, 3:09pm » |
Quote Modify
|
on Jan 12th, 2008, 11:17am, Icarus wrote:
[Edit] T&B: Check again - Banach-Tarski uses a finite number of pieces. Though I suppose finite is countable...[/Edit] |
|
Welcome back, Icarus.
My understanding is that it requires a countably infinite number of non-measurable pieces.
If a finite number of pieces is sufficient, why is AC an essential part of the proof?
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
Grimbal
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 7527
|
|
Re: Cutting and translating Triangle into Square
« Reply #24 on: Jan 12th, 2008, 3:15pm » |
Quote Modify
|
The axiom of choice is necessary to decide for each orbit where to cut it to distribute its points over the various pieces.
|
|
IP Logged |
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print