$\begingroup$

Hi, I have a minor in math and this is not a homework problem - my prof mentioned it 5 years ago and I could not even begin to tackle it until I took a good intro to linear algebra (after work). Please try to adjust the answer to my level.

A map is a smaller version of the land: rotated and scaled down. The prerequisite is that the map (say of USA) lands entirely inside the land (and not partly in Canada or in the ocean). Another prerequisite might be that the map has no holes (is that really necessary?) and perhaps that it must be a convex region (however I doubt that this is needed.) Please help me eliminate these doubts and prove that $p \in M, p \in L$. Correct my notation if needed by editing this post.

Here is the notation that I came up with (let's see if LaTex likes me):

$L$ = land (region in $R^2$)

$M$ = map (region in $R^2$)

$T$ = transformation in $R^2$ (scalar times a rotation matrix)

$\vec{s}$ = shift vector (since the overall transformation is generally non-linear)

$\vec{p}$ = "pivot" - the point that does not change.

Now, I can solve for p uniquely by picking a non-trivial triangle on the land denoted by vectors $\vec{l_1}, \vec{l_2}, \vec{l_3}$, locating the corresponding vectors $\vec{m_1}, \vec{m_2}, \vec{m_3}$ on the map and writing out:

$\vec{m_1} = T \vec{l_1} + \vec{s}$, $\vec{m_2} = T \vec{l_2} + \vec{s}$, $\vec{m_3} = T \vec{l_3} + \vec{s}$

I solve for T: $T = [ m_1 - m_2 \; \; \; m_1 - m_3 ] [ l_1 - l_2 \;\;\; l_1 - l_3 ]^{-1}$ Because we picked a non-trivial triangle, it's area will be non-zero and the matrix on the right will be invertible. So, we can always solve for T. We can also solve for s: $\vec{s} = \vec{m_1} - T \vec{l_1}$, and finally for the pivot p: $\vec{p} = (I - T)^{-1} \vec{s}$. Since T = c * rotation matrix, where $c \leq 1$, the only time when (I - T) does not have an inverse is when I = T (details omitted).

So, it seems that I can solve for a unique p.

Now, how do I prove that pivot $\vec{p}$ will be inside both shapes/regions L and M?

Finally, what assumptions must I make about convexity of M, absence of holes, etc ?

P.S. Which undergraduate classes might have this as a homework problem?