02.05.2013 Views

Curiosa Mathematica

Curiosa Mathematica

Curiosa Mathematica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

328. Groepenwet op elliptische krommen<br />

Nog verder veralgemeend kun je een schilderij zodanig om n spijkers hangen dat valt als je k spijkers<br />

naar keuze verwijdert, maar blijft hangen bij minder dan k, voor elke 1 ≤ k ≤ n!<br />

Een andere leuke veralgemening werkt met gekleurde spijkers. In dit voorbeeld blijft het schilderij enkel<br />

hangen als er twee spijkers van dezelfde kleur blijven zitten. Je kunt zelfs een schilderij zodanig ophangen<br />

aan n zwarte en n witte spijkers, dat het valt als je er k van elke kleur weghaalt, maar blijft hangen als<br />

je van minstens één kleur minder dan k spijkers afhaalt, voor elke 1 ≤ k ≤ n.<br />

ab −1 a −1 bcd −1 c −1 d<br />

328 Groepenwet op elliptische krommen<br />

Elliptische krommen werden geïntroduceerd in 112, blz. 63. Wanneer we één extra, speciaal punt O<br />

toevoegen aan de kromme, namelijk het punt op oneindig, verkrijgen we enkele speciale eigenschappen<br />

die het mogelijk maken een natuurlijke optelling op de punten van de elliptische kromme te definiëren.<br />

Eenmaal uitgebreid met O, hebben deze krommen de eigenschap dat een rechte door twee punten ervan<br />

ook steeds een derde punt als snijpunt heeft, en dat een raaklijn aan een punt de kromme ook steeds in<br />

een tweede punt snijdt. Hiermee definiëren we de optelling van twee punten P en Q als volgt:<br />

• Construeer de rechte door P en Q.<br />

• Bepaal het derde snijpunt.<br />

• Spiegel dit snijpunt om de x-as. Dit punt wordt P +Q.<br />

Een punt optellen bij zichzelf, gebeurt analoog, maar dan via de raaklijn aan P.<br />

P Q<br />

P +Q<br />

P 2P<br />

Deze optelling van punten herbergt een groepsstructuur: het punt op oneindig O speelt hier de rol van<br />

neutraal element, de optelling is gesloten, ook aan de associativiteit is voldaan en voor elk punt P is een<br />

invers punt −P te vinden zodat de som van de twee O oplevert, nl. zijn spiegelbeeld om de x-as. Dat<br />

P + Q hetzelfde resultaat oplevert als Q + P (commutativiteit) is duidelijk uit de constructie en zorgt<br />

ervoor dat de groep daarenboven abels is.<br />

249

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!