Regular Icosagon Phenomenon

The applet below contains a regular icosagon (20-gon). How can we formally prove what is dynamically illustrated here? Source: Another Math (FB)