Triángulo rectángulo con los lados del pentágono, decágono y hexágono

Si se inscribe un pentágono regular en un círculo, el cuadrado del lado del pentágono es igual a la suma de los cuadrados de los lados del hexágono y del decágono regulares inscritos en el mismo círculo. Se trata de la proposición 10 del libro XIII de los Elementos de Euclides.
Euclíddes naturalmente no lo demostró como se hace aquí.