Regular polygon inside another? Inspired by this question, I was wondering if one can generalize to the case of an $n$-gon. 
For example, when $n=5$ we have this picture:

where $ABCDE$ is a regular pentagon, $AA_1=BB_1=\cdots=EE_1$. Also $A,A_1,B_1$ are colinear in that order, and so on.
Can we conclude that $A_1B_1C_1D_1E_1$ is regular? Or is there a counterexample for that?
 A: *

*Let's begin our discussion by setting $\angle AEE_1$ as $\alpha$, $|AA_1|=d$, and generalizing for an arbitrary perfect polygon, $\gamma$ as the angle $\angle EAB$ (which is of course $\pi(\frac{n-2}n)$ radians for an n-sided polygon), and for simplicity set $|AB|=1$.

*Draw a perpendicular line to $EA_1$ from A. Assume for now that the intersection point is actually on $EA_1$ and not an extension (we'll get back to this point later). Mark the intersection point as $F$, and mark $\angle FAA_1 = \beta$. We then have $|AF| = \sin \alpha$ and $d \cos \beta = \sin \alpha$, and let's define function $f$ as the resulting angle: $\angle BAB_1 = f(\alpha) = \gamma - \beta - \frac {\pi}{2} + \alpha$.

*Naturally in the trivial solution $f(\alpha) = \alpha$, which means for example for 5 sides $\beta = \pi / 10$.

*Now suppose $f(\alpha) > \alpha$. We get $$\gamma - \beta - \frac {\pi}{2} + \alpha > \alpha$$
$$\gamma - \frac {\pi}2 - \arccos(\frac{\sin \alpha}d) > 0$$
However because $f(\alpha) > \alpha$, and because both angles are acute (if $\alpha$ is not acute, $AA_1$ is opposite the largest angle in triangle $AA_1E$, which would make $|AA_1| > |EA_1| > |EE_1|$ which is a contradiction. The same argument works for $f(\alpha) < \frac {\pi}2$), $\sin(f(\alpha)) > \sin(\alpha)$.

*Because $\arccos$ is a monotonous decreasing function $$\arccos(\frac{\sin(f(\alpha))}d) < \arccos(\frac{\sin(\alpha)}d)$$. Therefore:
$$f(f(\alpha)) = \gamma - \frac {\pi}2 - \arccos(\frac{\sin f(\alpha)}d) + f(\alpha) > \gamma - \frac {\pi}2 - \arccos(\frac{\sin \alpha}d) + f(\alpha) > f(\alpha)$$

*Switching the signs in the inequalities, the same argument demonstrates that if $f(\alpha) < \alpha$ then $f(f(\alpha)) < f(\alpha)$. Meaning that repeating $f$ is either monotonous decreasing, increasing or constant (in the trivial solution).

*But remember that if we repeat the function $f$ n-times we must get $\alpha$ again! This is because $f$ just calculates the next angle while going around the $n$-sided polygon, and after $n$ steps we just return to the original starting point. For example, in the 5-sided polygon we must have $f(f(f(f(f(\alpha)))) = \alpha$. But this is impossible if the composition of the functions is strictly increasing or decreasing.

*Therefore $f(\alpha) = \alpha$ for all $n$-sided regular polygons, all the triangles in the drawing are congruent and the internal polygon must be regular as well.

*Now we return to explaining why point $F$ must be on the line $EA_1$ and not on its extension. If this was possible, then the angle $\angle BAB_1$ would be $g(\alpha) = \gamma - \frac{\pi}2 + \beta + \alpha$ (notice the sign change before $\beta$ as opposed to $f(\alpha)$). Composition of $g$ is obviously monotonously increasing because $g(\alpha) > \alpha$.

*Let's mark $\delta(d) = \arcsin(d \cos(\gamma - \frac{\pi}2))$. If $\alpha > \delta(d)$, it is easy to see $f(\alpha) > \alpha$. This means that for $\alpha > \delta(d)$ both $g(\alpha) > \alpha$ and $f(\alpha) > \alpha$. Therefore we note that if $\alpha > \delta(d)$ no sequence of compositions of $f$ and $g$ can equal to $\alpha$.

*So if we show $g(\alpha) > \delta(d)$ for all $\frac{\pi}2 > \alpha > 0$, we know that no sequence of compositions over $g(\alpha)$ would be ever equal to $\alpha$.

*$$g(\alpha) = \gamma - \frac{\pi}2 + \arccos(\frac{\sin(\alpha)}d) + \alpha \ge \frac{\pi}2 - \arcsin(\frac{\sin(\alpha)}d) + \alpha$$
This inequality holds for $n > 3$ which was already proven in the original question. We'll now show:
$$ \alpha + \frac{\pi}2 \ge \arcsin(\frac{\sin(\alpha)}d) + \delta(d)$$
But we know $\delta(d) \le \arcsin(d)$ because $\arcsin$ is strictly increasing, so if we prove $ \alpha + \frac{\pi}2 \ge \arcsin(\frac{\sin(\alpha)}d) + \arcsin(d)$ we proved our inequality.

*$$\frac{d}{d\alpha}(\arcsin(\frac{\sin(\alpha)}d) + \arcsin(d) - \alpha) = \frac{\cos \alpha}{d \sqrt{1 - \frac{\sin ^2 \alpha}{d^2}}} - 1 \ge 0$$
The last inequality is true because $\cos \alpha > d$ (because $|EA_1| > |EE_1| = |AA_1|$). Therefore $\arcsin(\frac{\sin(\alpha)}d) + \arcsin(d) - \alpha$ is strictly increasing, and the maximal value would be $\alpha = \arcsin(d)$ (the function is undefined for higher $\alpha$). But
$$ \arcsin(\frac{\sin(\alpha)}d) + \arcsin(d) - \alpha = \arcsin(1) = \frac{\pi}2 $$

*Therefore we conclude $$ \alpha + \frac{\pi}2 \ge \arcsin(\frac{\sin(\alpha)}d) + \arcsin(d) \ge \arcsin(\frac{\sin(\alpha)}d) + \delta(d) $$
hence
$$g(\alpha) \ge \frac{\pi}2 - \arcsin(\frac{\sin(\alpha)}d) + \alpha \ge \delta(d)$$

*Finally, we conclude that any sequence of composition of $f$ and $g$ than includes at least one $g$ must become monotonously increasing, and therefore the only solution to the problem is the one using only $f$ (and so $F$ is on the line $EA_1$).
QED.
A: Very interesting geometric puzzle. It is true or valid for any regular polygon  of n sides.Continuously changing side $AB_1$ of shrinking side polygon $A_1B_1$ rotated in the manner indicated. Rotated polygons have different size but are all regular.
EDIT2:
$AA_1B_1$ is a given straight line. The sum of all external angles $ n AB_1B$ is $ 2\pi$ for any polygon in one single rotation of $AB$,so each angle $ AB_1B$  is given as $ 2 \pi/n $ for a regular polygon due to cyclic symmetry.
Moreover, a straight line $ x \,cos \alpha + y \,sin \alpha = p $  becomes  $ x \, cos (\alpha+\beta) + y \,sin (\alpha+\beta) = p $ by rotation through $\beta $, leaving external  $ AB_1B$ invariant around regular polygon.
EDIT1:
Took previous ABC equilateral triangle case for inspiration only. An independent problem circumstance/statement as I have taken/assumed taken is:
Lines AB,... of a regular polygon are rotated about regular polygon corner A by equal angles $B_1 A B$,... so that  intercepts $ A A_1, B B_1 $ are of equal length. Show that the enclosed reduced polygon is also regular.
Logic of method is recognizing locus containing $B_1$ is a circular arc. By Law of Sines $ AB / sin (2 \pi/n) =  BB_1/ sin (B_1 A B)$ =  constant suggests that polygon corner has a locus on a circle passing through A and B. The locus of A and B are circular arcs with polar offset $ 2 \pi/ n $.
It is proved that all surmises are quite correct. (Collinearity, regular polygon similarity upto side length or size, difference of $ AB_1$ and $B_1B $ being the side of rotating polygon etc.) while staying on this arc.
As the corner goes to center of arc polygon  gets smaller, but extension of sides go through the vertices of un-rotated polygon!
To visualize this, construct a circle of radius $ a/( 2 sin( \pi/n))$ through $A$ and $B$. Draw two rays through polygon corner B1, mark left side by removing right side length $ B_1B $ at left ray and  draw a circle through $A B_1 B$. complete construction of polygon. ( For higher n compass /ruler construction is  not known,  only n = 17 done by KF Gauss.). One can construct by finding chords and marking off corners.
Repeat the construction for several positions of corner point to visualize successively reducing regular polygons.
I have sketched squares in n = 4 case. Constructions of  pentagons, hexagons are likewise possible, with more time.
Would be fun on Java Sketch Pad or similar dynamic geometric animation to see changing  polygon positions  go through one set of extended bases of polygon to fixed polygon corners/vertices. Enclosing extensions would make the setup look like the iris or light arresting diaphragm of a lens in a camera..
Incidentally the problem can  also be stated like this in other words:
n-fold symmetry Polygon Iris: Between two fixed points$ A$ and $B$ a point $B_1$ is moving on a circular arc of radius $ a/( 2 sin( \pi/n))$  such that difference of $ AB_1$ and $B_1B =  A_1B_1$ forms a regular n-polygon side. Show that all polygon extensions pass through vertices of regular n-polygon with this difference  $ A_1B_1$ as side.

A: I think it is true. 
The construction (and hence the proof) will be easier to start with inclined angle instead of length.

Starting from $A$, the ray $AB_1$ is drawn inclining at angle $x_1$ to the adjacent side $AB$. Then the ray $BC_1$ with $x_2 = x_1$. The process is continued until $EA_1$ is formed.
Note that all x’s are equal. Therefore all y’s are also equal because the polygon is regular.
Then, $⊿ABB_1$ is congruent to $⊿BCC_1$ …… (ASA)
Therefore, $BB_1 = CC_1 = …$. 
This further means $A_1B_1 = B_1C_1 = ….$, implying that the constructed polygon is also regular.
