First of all, let's start by agreeing that Day9 is really fucking smart, and all we're trying to figure out is What Would Day9 Do. WWDD? That's right.
He's already miles ahead of us by running full speed as soon as he starts the strategy because he knows that it doesn't make sense to run any slower. Plus he's boss because of his ungodly stamina. Look at those legs go.
He's worked through the strategy in part 1:
http://www.teamliquid.net/blogs/viewblog.php?topic_id=285063¤tpage=6#102 to get ahead of the monster by running around in circles inside the 1/4r circle and if he messed up he could always come back and try again. Day9's thought ahead, but how did he know when to make a dash for the gate?
First he busted out the polar coordinates and simplified the problem. Radius of the island becomes 1. His own speed becomes C. The speed of the monster becomes 4C. (To be honest, Day9 doesn't care how fast he's running and needed r & s for more important things.) As long as Day9 was inside the circle and the monster was chasing him, the monster's position was bounded by
Day9 then imagined that he took the plunge and was out in no man's land beyond the safe circle of 1/4 and making a break for the shore. What was the optimum way to run for the shore? He knew he was bound by a parametric equation and the pythagorean theorem of the angular and radial differentials:
Then he had to optimize outward movement over monster's angular gain. He wanted a path that gets him as close to the shore as possible while minimizing the angular catchup that the monster would achieve. The sign in the denominator has to be a minus, otherwise Day9 is going towards the monsters and should retry!
Then subbed in the radial differential from the pythagorean theorem:
Sanity check here. If Day9 chooses angular motion of 0, he should get a ratio of 1/4. He moves C out, the monster moves 4C around an arc. And it's true! I'm still sane.
At this point, Day9 probably subbed in for angular movement, but frankly the following equation was beyond me. Day9 is hardcore:
Then take the derivative with respect to the angular differential using chain rule and solve for zero. Some stuff fell out and the derivative looks like: (the denominator of the derivative doesn't matter as much but again good for sanity checks)
plug that back into the pythagorean theorem and solve for radial differential and integrate to get the parametrized equation for radius.
You know what that looks like? Day9 took one look and recognized it as the pythagorean theorem equation. What a smart guy. Reorganize and boom (pretend C0 is 0 for a bit)!!!
He also knows that he's running Ct for distance so his parametric equation for path looks very much like a straight line. Day9 would make a beeline break for at his target point on the shore when it is tangent to the 1/4 circle that he was already running, checking once to see that monster was chasing the long way around.
Solve for theta to prove that it is indeed a line, and it looks like a proper inverse tangent function for the line:
Are we done yet? Nope! We still have to figure out how Day9 chose where on the shore to run for and how he decided to run after reaching the water. Dammit Day9. Why are you so smart.