Sejam ${\ell }_9$ o lado do eneágono regular convexo, ${\ell }_9^{\ast }$ e ${\ell }_9^{\ast \ast }$ os lados dos eneágonos estrelados $({\ell }_9^{\ast }<{\ell }_9^{\ast \ast })$, todos inscritos em um círculo de raio $r$. Mostre que: ${\ell }_9={\ell }_9^{\ast \ast }-{\ell }_9^{\ast }$