Decágono regular

Consideremos um decágono regular para o qual os pontos $A$, $B$, $C$ e $D $ são vértices consecutivos, $d$ a medida da sua segunda diagonal mais curta e $l$ a medida do seu lado. Supondo que $d$ e $l$ são comensuráveis, temos $d=mx$ e $l=nx$, onde $m$ e $n$ são inteiros positivos e $x$ é uma medida comum à segunda diagonal mais curta e ao lado do decágono. Note-se que cada lado é uma corda da circunferência que circunscreve o polígono à qual corresponde um arco de amplitude MATH. Marcamos o ponto $E$ na diagonal $\left[ AD\right] $ tal que MATH. Então, como $\left[ AEB\right] $ é isósceles e MATH, vem MATH. Além disso, MATH, logo a diagonal $\left[ AD\right] $ é paralela ao lado $\left[ BC\right] $. Marcamos agora o ponto $F$ na diagonal $\left[ AD\right] $ tal que MATH. Então, como $\left[ EF\right] $ é paralelo a $\left[ BC\right] $, MATH é um paralelogramo, pelo que MATH. Como MATH, marcamos o ponto $G$ na semi-recta $DC$ tal que MATH. Como MATH e MATH, temos que os triângulos $\left[ ACD\right] $ e $\left[ DFG\right] $ são semelhantes, pelo que $\left[ DG\right] $ é a segunda diagonal mais curta de um decágono regular de lado $\left[ DF\right] $. Além disso, temos MATH e MATH, pelo que $\left[ FCG\right] $ é isósceles, com MATH. Temos também que MATH e MATH, pelo que $\left[ DFC\right] $ também é isósceles, com MATH. Sendo assim, podemos construir um decágono regular que passa pelos pontos $D$, $F$ e $G$, cujas medidas do lado e da segunda diagonal mais curta são dadas por:

MATH

MATH

Como $d=mx$ e $l=nx$, temos:

MATH

MATH

onde $n_{1}=m-2n$ e $m_{1}=m-n$ são dois números inteiros positivos, com $m_{1}<m$. Procedendo da mesma forma, vamos obter um novo decágono regular cuja segunda diagonal mais curta é $d_{2}=m_{2}x$ e cujo lado é $l_{2}=n_{2}x$, sendo que $n_{2}=m_{1}-2n_{1}$ e $m_{2}=m_{1}-n_{1}$ são dois números inteiros positivos, com $m_{2}<m_{1}<m$.

Uma vez que podemos continuar indefinidamente a construir novos decágonos regulares, vamos obter uma sucessão estritamente decrescente de números inteiros positivos:

MATH

tal que MATH o que é absurdo, dado que não pode haver uma infinidade de números inteiros positivos distintos menores do que $m$ (de facto, existem exactamente $m-1$ elementos: $1$,$2$,$3$,...,$m-2$, e $m-1$). Logo, a segunda diagonal mais curta e o lado do decágono regular são grandezas incomensuráveis.