In deze tekst bestuderen we deelgroepen met eindige index in , de groep van de 2×2 matrices, met gehele getallen en determinant gelijk aan +1.
In deze tekst bestuderen we deelgroepen met eindige index in , de groep van de 2×2 matrices, met gehele getallen en determinant gelijk aan +1.
De vraag die we willen behandelen in deze tekst luidt:
Stel en n-tallen van reële getallen, dan geldt:
Deze ongelijkheid werd genoemd naar A.L.Cauchy( 1789-1857) en H.A.Schwarz(1843-1921) en steunt op de eigenschap dat het skalair product van twee vectoren kleiner is dan of gelijk is aan het product van de normen van die vectoren.
Bekijken we even een voorbeeld:
Het is enkel de kwestie van goed de twee drietallen te kiezen.
Neem en en vul in.
We zoeken naar gunstige situaties. Met (a,b) noteren we de situatie waarbij er a lucifers op één hoop liggen en b lucifers op de andere stapel. De situaties (a,b) en (b,a) zijn identiek.
De situaties (4k,4l) en (4k+1,4l+2) zijn altijd gunstig. De winnende strategie bestaat erin elke gegeven spelsituatie om te zetten in een gunstige situatie. In sommige spelsituaties heb je de keuze tussen twee of zelfs drie goede zetten. Zo kan je bijvoorbeeld (8,9) omzetten in de winnende situaties (8,8) en (6,9) door respectievelijk 1 lucifer weg te nemen van de stapel met 9 lucifers ofwel door er 2 weg te nemen van de andere stapel. Kies dan nu eens de ene en dan weer de andere voortzetting om de spelstrategie minder transparant te maken voor de tegenstrever. Als de winnende spelstrategie niet kan worden uitgevoerd, bestaat de optimale strategie erin 1 lucifer weg te nemen van de hoop met het meest aantal lucifers.
De Nederlandse wiskundige W.A. Wythoff (6 oktober 1865 – 21 mei 1939) publiceerde in 1904 een analyse van dit spel.
Zijn er meer scherpe dan stompe driehoeken? Tellen dan maar. Maar dan zouden er evenveel zijn, namelijk oneindig veel. Misschien moeten we de vraag anders stellen: Neem de verzameling van alle driehoeken. Wat is de kans, dat een willekeurig genomen element van die verzameling, stomp is?
De vraag is dan uiteraard hoe we de verzameling van alle driehoeken vastleggen. Omdat de grootte van de hoeken van essentieel belang is, lijkt het gunstig om met elke driehoek een koppel getallen (x,y) te laten overeenkomen. Hierbij zijn de hoeken van de driehoek dan x,y en . Om een driehoek te vormen moeten x en y voldoen aan:
De verzameling driehoeken komt dan overeen met de driehoek ABC.
Om scherp te zijn moet x en y voldoen aan:
Dit komt overeen met driehoek DEF. De kans opdat een driehoek scherp zou zijn kunnen we dan berekenen door de oppervlaktes te vergelijken en dus is de kans dat een driehoek scherp is gelijk aan . Of met andere woorden de kans dat een driehoek stomp is, is .
Opmerkingen: