RTCNTC said:
The nth midpoint is heading to 1 or 0.
Imagine you have a piece of string anchored at one end to a sheet of wood. Now you cut away half the string and discard the free end. You do this over and over...and you notice that the free end is getting closer and closer to the anchored end. If we do this an infinite number of times, we can image the free end becoming indistinguishable from the anchored end. So, we should expect (using the labels from my first post):
$$\lim_{n\to\infty}M_n=P_1$$
Now, if you go back to my first post, you should observe that we could hypothesize:
$$M_n=\left(\frac{\left(2^n-1\right)x_1+x_2}{2^n},\frac{\left(2^n-1\right)y_1+y_2}{2^n}\right)$$
Let $n=1$ and $n=2$ and you'll see that it agrees with the mod-point formulas derived in my post.
I know you haven't gotten to the chapter on mathematical induction yet, but using that technique, we can prove the above is true.
Notice that this is algebraically equivalent to:
$$M_n=\left(\left(1-2^{-n}\right)x_1+2^{-n}x_2,\left(1-2^{-n}\right)y_1+2^{-n}y_2\right)$$
Now, using the fact that:
$$\lim_{n\to\infty}2^{-n}=0$$
We see that:
$$\lim_{n\to\infty}M_n=\left(x_1,y_1\right)=P_1$$
This is the math agreeing with intuition. :D