From wikipedia description, the Austin procedure goes as follows
- Alice places one knife on the left of the cake and a second parallel to it on the right where she judges it splits the cake in two.
- Alice moves both knives to the right in a way that the part between the two knives always contains half of the cake's value in her eyes (while the physical distance between the knives may change).
- George says "stop!" when he thinks that half the cake is between the knives. How can we be sure that George can say "stop" at some point? Because if Alice reaches the end, she must have her left knife positioned where the right knife started. The Intermediate value theorem establishes that George must be satisfied the cake is halved at some point.
- A coin is tossed to select between two options: either George receives the piece between the knives and Alice receives the two pieces at the flanks, or vice versa. If partners are truthful, then they agree that the piece between the knives has a value of exactly 1/2, and so the division is exact.
In the third step, it is said that this procedure ensures that George will always say stop at a some moment, this is proved using the Intermediate value theorem (IVT), I have been trying to link between IVT and this procedure to understand why it is ensured that a position at some time will satisfy George but i failed to establish a relation.
How is IVT used to proof this procedure always satisfy George?