Kimutatandó, hogy cosα=12sinπ5 esetében sinα=E2-E3i5, hogy ha E=cos2π5+isin2π5 a positív reális egységnek egyik ötödik gyöke.