Decágono regular

Seja MATH um decágono regular de centro em $O$ cujas medidas do lado, da diagonal mais longa e da segunda diagonal mais curta são $l$, $d$ e $d\U{b4}$, respectivamente. Sejam $\left[ AF\right] $ e $\left[ CH\right] $ duas diagonais que passam pelo centro do decágono, $\left[ AD\right] $ a segunda diagonal mais curta que une os vértices $A$ e $D$, e $K$ o ponto de intersecção da diagonal $\left[ AD\right] $ com a diagonal $\left[ CH\right] $. Então, MATH e MATH, pelo que MATH e $\left[ KCD\right] $ é um triângulo isósceles, com MATH. Além disso, MATH, MATH e MATH, pelo que $\left[ AOK\right] $ é um triângulo isósceles, com MATH. Portanto, a medida da diagonal mais longa é dada por:

MATH

Logo, vem:

MATH

Equivalentemente, temos:

MATH

Assim, $\frac{d}{l}$ será um número racional se e só se MATH também o fôr, o que já vimos que não acontece. Portanto, a diagonal mais longa e o lado do decágono MATH são grandezas incomensuráveis.