StoneTemplePython
Science Advisor
Gold Member
- 1,265
- 597
I'm not sure what happened to the spoiler tags, but I'll nest your responses in them, for space reasons:
Since this is a Basic thread, the argument needs to be fairly tight though perhaps not completely airtight. What I'm strongly hinting at is:
you solved it explicitly for the ##N = 2## case and have identified some interesting structural features for general ##N##. Why not try to solve it explicitly for ##N=3## and perhaps explicitly for ##N=4##. What kinds of patterns can you find here? There's no shame in solving multiple base cases. Then with a pinch of insight you can put it all together in a seamless inductive proof. (I trust you're somewhat familiar with induction in math, or recursion in programming... this is a very nice exercise for it. If you're not, or don't want to go this way, mfb is hinting at another approach)
@Thugles --this seems to hint at the other solution I'm aware of -- a very slick thought experiment that shows how to quickly find the 'right' starting position which gives you existence for free.
- - - -
There certainly may be even more approaches though these are the 2 mains ones I'm aware of.
As a reminder: if different people solve the same problem in significantly different ways, then they both get credit. It's worth exploring different approaches for interesting problems.
edit:
There's also a real nice way to set this one up for a contradiction. So that's 3 distinct solution approaches that I'm aware of...
So if you were allowed to choose the sequencing then the above equations would work. However the problem is that I mischievously get to choose the sequencing of the gas canisters. You don't get to permute them / choose their ordering in general. You can only choose where you start in the cycle (i.e. a cyclic property).Thugles said:(Consider a "portion" as being a section of track between two canisters)
We already know it's possible to divide both the total amount of fuel (F) and the total length (U) in the same number of partitions. Therefore, ##U = F##.
If we number all the canisters (from 1 to n) in their respective positions, we have, for the general case:
##U = U_{1,2} + U_{2,3} + U_{3,4} + ... + U_{n-1,n}##
##F = F_{1,2} + F_{2,3} + F_{3,4} + ... + F_{n-1,n}##
(I thought about writing the second one as ##F = F_{1} + F_{2} + F_{3} + ... + F_{n}##; instead, intepret ##F_{a,b}## simply as the amount of fuel in canister a)
Since ##U = F##, we have ##U_{1,2} + U_{2,3} + U_{3,4} + ... + U_{n-1,n} = F_{1,2} + F_{2,3} + F_{3,4} + ... + F_{n-1,n} = C## (with C being a real constant)
Therefore, no matter how many "low fuel canisters" or "really lenghty portions" we have; they will be balanced by canisters with more fuel and shorter lenghts. If that didn't happen, the relation wouldn't remain constant.
(But I'm afraid I'm just saying that that the amount of fuel is almost enough, instead of answering the question...?)
Thugles said:I think I can see the "informal" solution but I'm sure sure if I can express that in a mathematical way
To me, since U = F, distributing the fuel is the same thing as distributing the circle. It's impossible to distribute circle in a way that it's impossible to make the cycle; taking away from one portion means compensating it somewhere else, and we are always going to have a starting point.
The "perfect" way of having the car run the cycle is by distributing the cannisters symmetrically with the same amount of fuel in each of them (therefore the car arrives at each canister exactly when he's about to run out of fuel), which means any canister is a valid starting point. If I want the car to fail, I need to either remove a bit of fuel in one canister and add in on the another one or move one of the canisters a little bit towards either direction, in order to create one particular portion of track that is bigger than the car can reach.
But, due to the symmetry of the arrangement and the circle, removing fuel or adding length to a portion would end up adding fuel or removing length to another portion. There will always be at least one spot where the amount of fuel required to reach the next canister is greater than the amount of units I need to run, giving me "extra" fuel to compensate the places where I was supposed to dail.
(Thanks for all the clarifying replies. Now I realize I underestimated that question quite a bit! Last try for today, I promise)
Since this is a Basic thread, the argument needs to be fairly tight though perhaps not completely airtight. What I'm strongly hinting at is:
you solved it explicitly for the ##N = 2## case and have identified some interesting structural features for general ##N##. Why not try to solve it explicitly for ##N=3## and perhaps explicitly for ##N=4##. What kinds of patterns can you find here? There's no shame in solving multiple base cases. Then with a pinch of insight you can put it all together in a seamless inductive proof. (I trust you're somewhat familiar with induction in math, or recursion in programming... this is a very nice exercise for it. If you're not, or don't want to go this way, mfb is hinting at another approach)
It's ok to submit another one -- as long as you seem to be making incremental progress / putting in a real effort it's fine by me.Thugles said:(Thanks for all the clarifying replies. Now I realize I underestimated that question quite a bit! Last try for today, I promise)
mfb said:In general, there will be only one starting point where you can complete the circle. Given the positions and fuel amounts, how can you find this point?
@Thugles --this seems to hint at the other solution I'm aware of -- a very slick thought experiment that shows how to quickly find the 'right' starting position which gives you existence for free.
- - - -
There certainly may be even more approaches though these are the 2 mains ones I'm aware of.
As a reminder: if different people solve the same problem in significantly different ways, then they both get credit. It's worth exploring different approaches for interesting problems.
edit:
There's also a real nice way to set this one up for a contradiction. So that's 3 distinct solution approaches that I'm aware of...
Last edited:
