Stijn Symens @ Wordpress

Drawing braids using METAPOST

Stijn — Tue, 18 Mar 2008 14:51:20 +0000

If you are writing a book on the braid theory (or Theorie der Zöpfe as E. Artin called it) , this might be a useful post; a few weeks ago, I made a little metapost program to draw braids. This file allows you to draw a continuation of braids using a single simple statement.
All you need to do is put the file braids.mp in your base metapost directory (or just put it in your working directory) and include the file using the code input braids.mp;.

Two commands are made to draw the braids:

drawbraidwithlines(n,s) draws an -strand-braid based on the string . In the string, the -th letter of the alphabet gives a crossover between the -th and the -th strand; a capital letter does a right crossover, a small letter gives left crossover. An example makes this clear:
beginfig(1); drawbraidwithlines(5,"ABabCCcDaB"); setbounds currentpicture to boundingbox currentpicture enlarged 2pt ; endfig;

drawbraid(n,s) does the same, but without the lines:

beginfig(2); drawbraid(7,"ABabEbCcDaB"); setbounds currentpicture to boundingbox currentpicture enlarged 2pt ; endfig;
gives you the picture

Thickness of the lines can be adjusted and horizontal and vertical scaling is also possible. Check out the comments in the file for this.

As an exercise you might try to draw this 3-strand braid (I’m exercising to do the hair of my daughters).

Lichamentheorie en de laatste stelling van Fermat

Stijn — Wed, 08 Aug 2007 17:41:33 +0000

Momenteel stel ik de oefeningenexamens op voor de tweede zittijd. Een van de vakken die ik zeer graag begeleid gaat onder andere over Galoistheorie. Mijn vriend en collega Raf Bocklandt kwam met een voorstel voor een examenvraag voor de eerste zittijd in juni. Uiteindelijk is het een bonusvraag geworden. Veel zoekplezier.

Zoek de fout in het volgende foutief bewijs van de laatste stelling van Fermat. Geef ook aan waarom dit foutief is.

De vergelijking

heeft geen niet-triviale gehele oplossing als 2' title='n > 2' class='latex' />. (met niet-triviaal bedoelen we ).

Bewijs.
Het volstaat de stelling te bewijzen voor een priemgetal en voor .

Stel dat een niet-triviale oplossing heeft, met priem. Neem de kleinste oplossing die voldoet (kleinste in de zin dat zo klein mogelijk moet zijn).

We mogen veronderstellen dat , , geen gemeenschappelijke priemfactoren hebben (anders delen
we die uit en bekomen we een kleinere oplossing).

We bekijken nu de oplossing modulo .
Stel een primitieve -de machtswortel van en breid het lichaam uit met . In het lichaam kunnen we de vergelijking herschrijven als

We weten dat een automorfisme is. We nemen het inverse van dit automorfisme en passen dit toe op de voorgaande vergelijking en we vinden dat

Dit wil zeggen dat

Ofwel een lineair afhankelijk is van en dus is
$\zeta$ noodzakelijk de tweede machtswortel van , maar dit kan niet want 2' title='p>2' class='latex' />.

Ofwel is maar dan is analoog ook via de vgl
. Uit die twee vergelijkingen kunnen we afleiden dat en , en zijn dus -vouden.
Dit laatste is in tegenspraak met het feit dat , en geen gemeenschappelijke factor hebben.

Dit vervolledigt het bewijs.

Tijdens het tweede zit examen mogen de studenten opnieuw een foutief bewijs van de stelling van Fermat verwachten!

lotte’s eerste pasjes.

Stijn — Wed, 01 Aug 2007 17:31:42 +0000

Vorige week was het zover, Lotte zette haar eerste pasjes. Stappen aan de hand deed ze al lang, maar om zonder houvast op twee voeten voort te bewegen was ze wat te koppig.

Dezelfde dag kwamen we er in het ziekenhuis achter dat Mieke haar sleutelbeen gebroken had na een spectaculaire afdaling van de glijbaan van een speeltuin aan een kinderboerderij in Herselt. Gelukkige is het een mooie breuk, zodat alles in principe zonder verband terug in orde zou moeten komen.

Ook Jef laat van zich spreken. Hij draaide zich de eerste maal om van rug naar buik. Vorige week nog onbewust, maar intussen vol overgave.

Ge hoort het, bewogen dagen, maar we genieten ervan!

IMO en Ceva

Stijn — Tue, 31 Jul 2007 13:02:52 +0000

Vorige week vond de Internationale Wiskunde Olympiade plaats. 2 dagen 4,5 uur zweten om 3 problemen per dag op te lossen. Ondertussen zijn de niet-evidente problemen en de uitslag op de IMO-site te vinden. Belgie kwam uiteindelijk met 3 bronzen medailles thuis.Enkele weken geleden was ik lesgever op een voorbereidingsstage voor de 3 Vlaamse deelnemers aan deze internationale wedstrijd. Na mijn les dacht ik de studenten te plezieren met een leuk vraagje dat ik enige tijd ervoor had bedacht:

Gegeven een willekeurige driehoek . Teken op de gelijkbenige driehoek met tophoek in . Teken vervolgens gelijkbenige driehoeken resp. , beide gelijkvormig met , met tophoeken in resp. . Deze 3 nieuwe driehoeken staan allen aan de buitenzijde van de driehoek . Toon aan dat , en concurrent zijn.

A priori was ik er niet zeker van dat deze eigenschap waar is, maar er is voldoende evidence dat het was moet zijn: noem even de basishoek van de gelijkbenige driehoeken. In het geval zijn de drie lijnen zwaartelijnen en dus concurrent. In het geval dat zijn de drie lijnen hoogtelijnen en dus concurrent. In het geval , zijn de drie lijnen ook concurrent en het snijpunt heet dan het punt van Torricelli (of van Fermat).Een analytisch bewijs is vervelend maar zeker niet onmogelijk. Toch is de drang naar een meetkundig bewijs groot, zeker in olympiademiddens.Het heeft onze Vlaamse kandidaten dan ook niet lang gekost om een mooie oplossing te vinden. Zij maakten gebruik van een stelling die voor mij toch al heel ver in het acherhoofd zat: de trigoniometrische versie van de stelling van Ceva.De gebruikelijke versie van de stelling van Ceva zegt dat in een driehoek , met ingeschreven driehoek , de rechten , en concurrent zijn als en slechts als

De trigoniometrische variant die zegt precies dat , en concurrent zijn als en slechts als

Het is precies deze laatste variant die, samen met de sinusregel, zorgt voor een zeer kort bewijs. We verkrijgen immers (met notaties zoals in de eerste figuur) dat

door gebruik te maken van de sinusregel in driehoek en in de driehoek . Passen we dit ook toe vanuit en , dan kunnen we de trigonometrische variant van Ceva gebruiken om aan te tonen dat , en concurrent zijn.

Smoutebollen op de foor

Stijn — Mon, 02 Jul 2007 11:09:48 +0000

Dit weekend was er in Wommelgem een jaarmarkt en een kermis. Veel drukte en plezier en dat hebben Mieke en Lotte geweten. Hun eerste ritje op de draaimolen was een succes. Niet zonder enige trots toont Mieke haar allereerste flosh, die ze tijdens haar tweede ritje gegrepen had. Ook Lotte had zichtbaar plezier!Wat later haalden we smoutebollen bij het Booms frituur, een streling voor de smaakpapillen, en dat als dessert voor ons familie-etentje.

De prijzen waren alsvolgt:
9 voor 4 euro
15 voor 7 euro
20 voor 8 euro
Ik vroeg de uitbater hoeveel smoutebollen ik krijg voor 10 euro. “Dit zijn de prijzen, er wordt niet over gediscuteerd”. Ongetwijfeld hadden al meerdere mensen hem duidelijk gemaakt dat de prijs per stuk voor 15 bollen hoger ligt dan de prijs per stuk voor 9 bollen, dat hij alle discussie uit de weg gaat. Ik heb het hem dan maar niet moeilijk gemaakt en hem voorgesteld 25 bollen te nemen voor 10 euro. Het heeft toch even geduurd alvorens hij inzag dat het voor hem een goeie deal was…

Het heeft in elk geval wel gesmaakt.

Rubik’s delta ball

Stijn — Fri, 29 Jun 2007 08:26:37 +0000

Een collega kreeg hem enkele weken geleden cadeau: de jongste telg in het Rubik’s Gamma. Geen draaipuzzel deze keer, maar een schuifpuzzel: een driedimensionale variant van de bekende 14-15-puzzel. De deltabal is in feite een regelmatig twintigvlak (icosaeder) waar men 1 driehoekje kan uithalen. Dat is het vrije veld en hier kan men 1 van de 3 buurvelden naartoe schuiven. De puzzel bestaat uit 4 kleuren, van elke kleur zijn er 5 genummerde velden. Bedoeling is de velden zo te schuiven dat er een bepaald patroon verschijnt. Verschillende patronen worden meegegeven in bijbehorend boekje.

De eerste vraag die ik me dan stel is:

Kunnen alle mogelijke patronen gemaakt worden?

Bij de 14-15-puzzel is het antwoord neen: een puzzel waar je alles goed hebt geschoven, en enkel de 14 en 15 gewisseld zijn, kan je niet schuiven tot een situatie waar alles in volgorde is.Bij de deltabal kan dit echter wel. We controleren dit door gebruik te maken van groepentheorie. Het eerste dat we nodig hebben is kijken naar de graph van het duale Platonische lichaam: de dodecaeder. Deze graph geeft immers precies aan op welke manier de driehoeken van de deltabal met elkaar verbonden zijn:

Nu gaan we na welke permutaties van vertices we kunnen doen door te schuiven. We zullen ervan uitgaan dat het vrije veldje op plaats 20 staat, en dat dat vrije veldje ook op het einde van het schuiven op plaats 20 eindigt. Een eerste soort permutatie dat we kunnen doen, is alle blokjes doorschuiven volgens een vijfhoek: 1 vakje verder schuiven levert volgens de groene vijfhoek komt dan overeen met de permutatie (19 wordt 18, 18 wordt 17 enz). We zorgen er steeds voor dat elke permutatie vakje 20 open laat.

Naast die ene vijfhoek gaan we in de graph op zoek naar een gesloten pad dat alle vertices precies 1 maal bezoekt. Gelukkig is de dodecaedergraph een Hamiltoniaanse graph en bestaat er zulk een pad. Bijvoorbeeld:

We kijken nu naar de permutatiegroep voortgebracht door deze 2 permutaties:

Kan je nu met deze 2 permutaties alle mogelijke verschuivingen doen op de deltabal?
We controleren dit via GAP:
gap: a:=(19,18,17,16); gap: b:=(19,14,10,5,4,9,13,18,17,16,11,7,12,8,3,2,1,6,15); gap: G:=Group(a,b) Group([ (16,19,18,17), (1,6,15,19,14,10,5,4,9,13,18,17,16,11,7,12,8,3,2) ]) gap: Size(G) 121645100408832000 gap: Factorial(19) 121645100408832000
We merken dat onze permutatiegroep evenveel elementen heeft als en vermits het er een deelgroep van is, moeten deze groepen samenvallen. We kunnen dus besluiten dat alle posities mogelijk zijn op de deltabal!

School is out

Stijn — Thu, 28 Jun 2007 09:05:03 +0000

Morgen de laatste schooldag voor Mieke. Hier poseert ze naast een zonnebloem die ze dit jaar op de eerste dag van de lente heeft geplant in de klas. Van de zeven pitjes die ze in haar potje had geplant hebben er drie het gehaald tot een grote zonnebloem.

Bedankt juf Nadia, u hebt prachtig werk geleverd.