hoekpunten van een 17-hoek
De hoekpunten van een regelmatige n-hoek kan je berekenen als oplossingen van algebraïsche vergelijkingen en dat werk kan je in GeoGebra perfect overlaten aan CAS. Je hoeft enkel te weten welke vergelijking overeenkomt met welke veelhoek. Voor een regelmatige 17-hoek wordt dit:
x16 + x15 +x14 + x13 + x12 + x11 + x10 + x9 + x8 + x8 + x7 + x6 + x5 + x4 + x3 + x2 + x + 1 = 0.
Met het commando COplossen[ ] vind je de 16 oplossingen van de vergelijking.
Op het eerste zicht zie je geen vierkantswortels en lijkt een constructie met passer en lineaal ver weg. Maar Gauss wist dat het moest kunnen. Het was enkel wachten op een goeie inval om de goniometrische uitdrukking te herschrijven als een vorm met vierkantswortels...