Author |
Topic: take 4 real numbers... (Read 1913 times) |
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
take 4 real numbers...
« on: May 2nd, 2010, 11:29am » |
Quote Modify
|
Take 4 real numbers x,y,z,u and let "a" be their arithmetical mean. Below them write the distances they have to a, that is, the 4 numbers |x-a|,|y-a|,|z-a|,|u-a|. If you repeat this process a few times, you arrive at 4 zeros (almost always, there's one exception) This is similar to Ducci sequences It's easy to find the exception. Could you prove that the number of steps to arrive at 4 zeros is between 3 and 6? Could you offer a solution without using programming?
|
|
IP Logged |
If we want to understand our world — or how to change it — we must first understand the rational choices that shape it.
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: take 4 real numbers...
« Reply #1 on: May 3rd, 2010, 1:45pm » |
Quote Modify
|
This property is supposed to hold independently of the size of the numbers we start with. If three, but not all four, of the numbers we start with are equal, then you never reach zero. For example, if we take 1 1 1 7, we never reach zero. I took few examples. In some examples it took me 4 steps, in others it took me a little longer to reach zero. replacing "a" by the sum x+y+z+u = s then we continue with the numbers |4x-s|,|4y-s|,|4z-s|,|4u-s| Then what? I got nowhere
|
|
IP Logged |
If we want to understand our world — or how to change it — we must first understand the rational choices that shape it.
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: take 4 real numbers...
« Reply #2 on: May 3rd, 2010, 2:10pm » |
Quote Modify
|
on May 3rd, 2010, 1:45pm, BenVitale wrote:This property is supposed to hold independently of the size of the numbers we start with. |
| It would be invariant under both addition and multiplication. x, y, z, u 0, (y-x)/(u-x), (z-x)/(u-x), 1
|
« Last Edit: May 3rd, 2010, 2:12pm by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: take 4 real numbers...
« Reply #3 on: May 4th, 2010, 6:04am » |
Quote Modify
|
You can make the process take an arbitrary number of steps, by starting with 0,0,1,x where if you pick x = (2 + 4n)/6, it takes 2n steps before you reach 0,0,0,0. (I had wanted to prove as intermediate lemma that if you start with two equal values that you will always end up with all zeros. I hoped there would just be a finite number of branches to work through, but instead I ran into this.)
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: take 4 real numbers...
« Reply #4 on: May 4th, 2010, 3:38pm » |
Quote Modify
|
My math prof gave this problem as an assignment. I'm glad that this did not come up a test. The same problem was presented to physics students and computer science students. The physics students are confused about this problem. So now, it is the math major students(including myself) competing against the computer science students.
|
|
IP Logged |
If we want to understand our world — or how to change it — we must first understand the rational choices that shape it.
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: take 4 real numbers...
« Reply #5 on: May 5th, 2010, 2:51am » |
Quote Modify
|
If you subtract the minimum from the other numbers, the log of the ratio of the maximum two numbers seems to be strictly decreasing over any two steps, and possibly decreases by a fixed minimum amount over every four steps. If you can prove the latter, then I think you can prove that all numbers become the same (you can at least prove the maximum two become the same, because the log of the ration can't become less than zero. And of course you can reverse the order by multiplying by -1; so you can prove the other two become the same as well. And once you have two pairs, they all become equal, then zero.)
|
« Last Edit: May 5th, 2010, 2:54am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: take 4 real numbers...
« Reply #6 on: May 5th, 2010, 10:38am » |
Quote Modify
|
I found this problem discussed Here
|
|
IP Logged |
If we want to understand our world — or how to change it — we must first understand the rational choices that shape it.
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: take 4 real numbers...
« Reply #7 on: May 5th, 2010, 11:17am » |
Quote Modify
|
Very interesting!
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: take 4 real numbers...
« Reply #8 on: May 5th, 2010, 11:36am » |
Quote Modify
|
This should just about suffice. Although it could use some prettifying and tying up of loose ends. 0,0,y,y+d, y,d > 0 a = (2y+d)/4 1:2y>=d 2y+d, 2y+d, 2y-d, 2y+3d a = 2y+d 2: 0,0,2d,2d (end) 1:2y<=d 2y+d, 2y+d, d-2y, 2y+3d a = 2y+3d/2 2: d-2y, d-2y, 6y+d, 2y+3d a=(3d+2y)/2 3:10y>=d 6y+d, 6y+d, 10y-d, 3d+2y a=6y+d 0, 0, 2d-4y, 2d-4y (end) 3:10y<=d 6y+d, 6y+d, d-10y, 3d+2y a=(3d+2y)/2 4: d-10y, d-10y, d+22y, 3d+2y (y+d)/y = 1+d/y (1/16d+6/16y)/y = 1/16 d/y + 6/16 > 1 16(d+y)/(d+6y) > 8/3 0,1,y,y+d+1, y>=1, d>=0 a = (2y+2+d)/4 1:2y>=2+d 2y+2+d, 2y-2+d, 2y-2-d, 2y+3d+2 a=d+2y 2: 2, 2, 2d+2, 2d+2 (end) 1:2y<=2+d 2y+2+d, 2y-2+d, -2y+2+d, 2y+3d+2 a=(3d+2y+2)/2 2:2y+2>=d 2y+2-d, 6+d-2y, 6y-2+d, 3d+2y+2 a=d+2y+2 3: 2d, 4y-4, 4y-4, 2d (end) 2:2y+2<=d d-2y-2, 6+d-2y, 6y-2+d, 3d+2y+2 a=(3d+2y+2)/2 3:10y>=d+6 d+6y+6, d+6y-10, 10y-d-6, 3d+2y+2 a=d+6y-2 4: 8, 8, 2d+4-4y, 2d+4-4y (end) 3:10y<=d+6 d+6y+6, d+6y-10, d+6-10y, 3d+2y+2 a=(3d+2y+2)/2 4:10y+10>=d 10y+10-d, d+22-10y, d+22y-10, 3d+2y+2 a=d+6y+6 5: 2d-4y-4, 16y-16, 16y-16, 2d-4y-4 (end) 4:10y+10<=d d-10y-10, d+22-10y, d+22y-10, 3d+2y+2 0, 16, 16y, d+6y+6 16(d+(y+1))/(d+6(y+1)) >= 8/3
|
« Last Edit: May 5th, 2010, 11:49am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: take 4 real numbers...
« Reply #9 on: May 5th, 2010, 11:48am » |
Quote Modify
|
on May 5th, 2010, 10:38am, BenVitale wrote:I found this problem discussed Here |
| Interesting article, and a less bloody-minded approach than mine
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Benny
Uberpuzzler
Gender:
Posts: 1024
|
|
Re: take 4 real numbers...
« Reply #10 on: May 7th, 2010, 11:40am » |
Quote Modify
|
Thank you towr.
|
« Last Edit: May 7th, 2010, 11:41am by Benny » |
IP Logged |
If we want to understand our world — or how to change it — we must first understand the rational choices that shape it.
|
|
|
|