10 De Kleine Stervormige Dodecaëder

De twee voorafgaande posts, Lasnaadconstructie en Laspuntconstructie betroffen (al dan niet vermeende) uitzonderingen op de formule van Euler, welke door Hessel in 1832 zijn beschreven. Eerder nog in 1810 heeft Louis Poinsot twee uitzonderingen beschreven. Later duiken die twee uitzonderingen weer op in een boek van Schläfli. Wij knopen daarop aan.
In deze post worden zaken opnieuw uit de doeken gedaan die al eerder behandeld zijn. Zoals de formule van Euler en de formule van Euler-Poincaré. Enerzijds komt het doordat dit verhaal (wat u nu leest) al eens door mij is opgeschreven voordat ik wist dat deze weblog ooit zou verschijnen. Anderzijds heb ik dat zo gelaten omdat het verhaal zo beter is te volgen.

Op de webpagin’s van Wolfram met betrekking tot de Kleine Stervormige Dodecaëder en de Grote Dodecaëder wordt er op gewezen dat Schläfli de desbetreffende dodecaëder niet erkent als een regelmatig driedimensionaal lichaam.
Ik citeer:

Schläfli (1901, p. 134) did not recognize the small stellated dodecahedron [c.q. the great dodecahedron] as a regular solid because it violates the polyhedral formula, instead satisfying
N0 – N1 + N2 = 12 – 30 + 12 = -6
where N0 is the number of vertices, N1 the number of edges, and N2 the number of faces (Coxeter 1973, p. 172).

De “polyhedral formula” is de formule van Euler (gepubliceerd in 1752), welke ook wel wordt genoteerd als:

(1) V – E + F = 2
(V is het aantal vertices, E is het aantal edges en F is het aantal faces van een veelvlak).

De formule van Euler heeft in principe betrekking op lichamen zonder gaten. Later heeft Lhuilier in 1865 de formule uitgebreid voor de gevallen dat er gaten in het spel zijn:

(2) V – E + F = 2 – 2g
G betreft het aantal gaps.

Weer later heeft Poincaré (gepubliceerd in 1895) een formule gegeven waarin ook rekening wordt gehouden met holtes binnen een lichaam. Een holte is een ruimte, omsloten door vlakken: een afgesloten binnenruimte.
Deze formule beschrijven we in de volgende paragraaf.
Opgemerkt kan worden dat dodecaëders (Grote, Kleine Stervormige of de platonische) doorgaans geen gaten bevatten.
Wel zij vastgesteld dat zowel de Kleine Stervormige (KSD) als de Grote Dodecaëder (GD) tengevolge van doorsnijdingen van de vlakken holtes bevatten.
Hieruit volgt:

  • ten eerste dat de formule van Euler ontoereikend is om de KSD of de GD volledig te beschrijven,
  • ten tweede dat voor een beschrijving van de KSD of de GD in termen van V, E en F de uitgebreide formule van Poincaré moet worden toegepast.
  • In de volgende paragraaf formuleren we de formule van Euler-Poincaré (deze is de door Poincaré uitgebreide formule van Euler).

    De formule van Euler-Poincaré

    Op een webpagina van het MIT wordt de formule van Euler-Poincaré beschreven en met voorbeelden toegelicht.

    De formule luidt als volgt:

    (3) V – E + F – (L-F) – 2(S – G) = 0

    Een aantal symbolen kwamen we al eerder tegen:
    V = aantal hoekpunten, E = aantal ribben, F = aantal vlakken en G = aantal gaten. In onze beschouwing gaan we uit van G = 0.
    Nieuw zijn de symbolen L en S.
    L staat voor aantal loops (lussen). Met elk vlak correspondeert altijd één outer loop. Als een vlak ontbreekt of onderbroken wordt dan correspondeert daarmee een inner loop. L is dan groter dan F. Op de pagina van het MIT worden voorbeelden van inner loops gegeven. Wij gaan hier niet op in, voor ons zijn deze niet van belang: dat wil zeggen voor de dodecaëders zoals hier behandeld geldt L=F.
    S staat voor aantal shells. Een compact lichaam heeft altijd één schil; S=1. Een doos heeft twee schillen: S=2. De buitenkant van de doos heeft namelijk één schil, de holle binnenkant impliceert nog één schil. Dus buiten- plus binnenkant zijn twee schillen.

    Een eenvoudige toepassing van de formule van Euler-Poincaré betreft een compacte kubus:

    (4) v=8, e=12, f=6, l=6, g=0:
    v-e+f-(l-f)-2(s-g)=8-12+6-(6-6)-2(1-0)=0

  • In het algemeen schrijf ik hoofdletters voor de variabelen van de EF en de EPF indien deze niet gebonden zijn aan bepaalde waarden. Indien ze wel gebonden zijn aan bepaalde waarden dan schrijf ik met kleine letters.
  • Is een kubus niet compact, maar hol:

    (5)
    www-holle-kubus1

    Aan de keerzijde van elk vlak van het eerste niveau is er een vlak van het tweede niveau.

    Een analoog voorbeeld is dat van een regelmatig twaalfvlak met holle binnenkant:

    (6)
    www-holle-dodecaeder

    In de volgende paragraaf passen we formule van Euler-Poincaré toe op de Kleine Stervormige Dodecaëder.

    De Kleine Stervormige Dodecaëder

    www-kleine-stervormige-dodecaeder
    Afbeelding (7):
    de Kleine Stervormige Dodecaëder
    Ontleend aan oorpronkelijk ontwerp en concept van Tom Ruen; SVG-creatie Júlio Reis

    Figuur (7) zullen we in eerste instantie beschrijven à la Schläfli:

    (8)
    www-kleine-stervormige-dodecaeder-a-la-schlafli
    Alles wat van dezelfde kleur is, representeert één van de twaalf vlakken die elkaar doorsnijden. Dus de driehoekige vlakken die door opdeling tengevolge van de doorsnijdingen van twaalf vijfvijfhoekige vlakken er zijn worden om zo te zeggen niet in rekening gebracht. Zo ook worden de ribben en hoekpunten die deel uitmaken van de driehoeken niet meegeteld. Alleen de ribben en hoekpunten die deel uitmaken van de twaalf vijfhoeken worden geteld. Vandaar tabel (8).

    Als we de figuur beschrijven in termen van de formule van Euler-Poincaré, dat wil zeggen we houden rekening met holtes tengevolge van de vlakken die elkaar doorsnijden, dan komen we tot het volgende.

    De Kleine Stervormige Dodecaëder omvat drie niveaus. Te weten:

  • Het eerste niveau: de buitenkant.
  • Aan de buitenkant toont de KSD zich als een geheel van twaalf aaneengeschakelde vijfkantige torenspitsen, die congruent zijn. In het midden van afbeelding (7) zien we zo’n vijfkantige torenspits.
    Zou elke torenspits vervangen worden door een vlak dan toonde de “getransformeerde” KSD zich aan de buitenkant als een regelmatige twaalfvlak, een platonische dodecaëder. Dat wil zeggen twintig hoekpunten, dertig ribben en twaalf vlakken. (a)
    Evenwel in de KSD is elk van de zojuist genoemde twaalf vlakken in werkelijkheid een torenspits, bestaande uit vijf opstaande vlakken, vijf opstaande ribben en één hoekpunt, de spits. Dus dragen de twaalf torenspitsen tesamen bij: twaalf hoekpunten, zestig ribben en zestig vlakken. (b)
    (a) + (b): v – e + f = (20+12) – (30+60) + (0+60).
    De buitenkant heeft per definitie één schil: s=1, dus -2s=-2

  • Het tweede niveau betreft van elke torenspits de binnenkant.
  • Elk zo’n binnenkant is een piramide met een vijfhoekig grondvlak. Dus per binnenpiramide: zes hoekpunten, tien ribben en zes vlakken. Er zijn twaalf van zulke piramiden. Dus in totaal: v – e + f = 72 – 120 + 72.
    Er zijn twaalf holle piramides, dus: s=12, -2s=-24.

  • Het derde niveau is een dodecaëder binnenin.
  • Aan de keerzijde van elk grondvlak van een piramide uit het tweede niveau is een zijvlak van één binnendodecaëder (een regelmatige twaalfvlak in het binnenste van de KSD). Dus voor het derde niveau geldt:
    v – e + f -2s = 20 – 30 + 12 – 2.

    Samengevat in (9):
    www-dsk1
    In totaal zijn er veertien schillen, waarvan dertien een holte betreffen.

    Besluit
    1) Zou de beschrijving zoals in tabel (9) zicht beperken tot het eerste niveau dan was de figuur beschreven als een compact ding; dat zo beschreven ook in overeenstemming is met de formule van Euler.
    2) Zou het derde niveau compact (en de piramides van het tweede niveau hol) zijn dan waren er geen veertien, maar dertien schillen.
    3) De beschrijving à la Schläfli is een interpretatie van de formule van Euler. De formule van Euler is, hoe deze ook wordt geïnterpreteerd, niet geschikt om een figuur met holtes te beschrijven. En zoals we in de eerste slotopmerking schreven: als de figuur wordt opgevat als een compact ding dan kan ze wel degelijk in termen van Euler worden beschreven. Wordt het opgevat als een hol ding dan kan het alleen adequaat worden beschreven in termen van Euler-Poincaré.

    Lees meer

    09 Laspuntconstructie

    In de vorige post hebben we een zogenaamde lasnaadconstructie gepresenteerd. Volgens Hessel betrof het hier een uitzondering op de regel. De regel zoals vastgelegd in de Formule van Euler. Er zou als het ware een ribbe te weinig zijn. Ik heb betoogd dat er onderscheid moet worden gemaakt tussen een ribbe als een meetkundig ding (lasnaad) en als een topologische functie (grens). De lasnaad is één ding met vier grenzen: twee hoekpunten en twee ribben. Zo gesteld is de lasnaadconstructie in overeenstemming met de Formule van Euler.
    Hessel presenteerde nog een figuur welke in strijd zou zijn met de Formule van Euler. We noemen dat figuur een laspuntconstructie:

    (1)
    laspuntconstructie

    Hesselgewijs zou dit figuur een punt teveel hebben:

    (2)
    laspunt-1

    We tonen dit uitgebreider aan in volgend tabel:

    (3)
    laspunt-2

  • Even ter herinnering per kolom geldt dat de waarde van de cel in regel 5 is de waarde van de cel in regel 4 minus de waarde van de cel in regel 3: ?(4,3) = (1,2) – U(1,2). U(1,2) betreft de logische som van de waarden van de corresponderende cellen van regel 1 en regel 2. Analoog hiermee is ∩(1,2) het logisch product van de waarden van de corresponderende cellen van regel 1 en regel 2 (zie ook slot van de vorige vorige post.
  • Maar is het inderdaad zo dat er een hoekpunt teveel is?
    Als we nog eens kijken naar figuur (1) dan zien we dat in punt P drie maal twee ribben elkaar “ontmoeten”: twee horizontaal, twee verticaal en twee in de “diepte”, waarvan één niet getekend. In wezen betekent dit dat het punt P ingesloten is door zes ribben, zodanig dat er geen ruimte is waar P zichtbaar is. Dat wil zeggen P is niet een grenspunt, dus niet een vertice V. Dus P is ten onrechte meegeteld in tabel (3). Hallo!!! Dus figuur (1) telt niet dertien maar twaalf hoekpunten: v=12. Dus tabel (3) moet worden vervangen door tabel (4) met samengesteld figuur 3:

    (4)
    laspunt-3

  • Op regel 0 van de tabel lezen we –c. Dit is een constante welke we hebben verkregen door de waarde 2 die normaal in de formule van Euler rechts staat van het =teken naar links van het =teken te brengen en deze waarde aan te duiden door het symbool c .
  • Het lijkt tamelijk bizar dat het enige raakpunt van twee veelvlakken om zo te zeggen onzichtbaar is. Maar het is niet anders dan dat je de toppen van hun neuzen niet ziet wanneer twee Eskimo’s met elkaar neuzen. Dat we gewoon zijn om ingeval van twee veelvlakken die precies één raakpunt met elkaar gemeen hebben dit raakpunt te zien als een grenspunt houdt in dat we iets zien dat er niet is. Anderzijds is het natuurlijk wel zo dat er “ergens” een soort van punt P is. Geen grenspunt, V, maar wat dan wel?

    Laten we een willekeurig ander veelvlak raken aan het punt P:

    (5)
    laspuntconstructie-2

    dan impliceert dat:

    (6)
    laspunt-4
    We zijn als het ware terug bij af. Blijkens regel 5 lijkt het erop dat met het nieuwe viervlak opnieuw een hoekpunt teveel is geïntroduceerd. Maar nog een hoekpunt eraf halen is niet goed denkbaar.

  • Wat er nu volgt is knap technisch. U kunt desgewenst vanaf (7) tot aan tabel (10) de tekst en de tabellen laten voor wat ze zijn (technische uitweidingen) en weer aanhaken bij tabel (10) met betrekking tot samengesteld figuur 7. Deze tabel (10) is een vertaling van de in termen van Euler gestelde tabel (4) met betrekking tot samengesteld figuur 3 in termen van Euler-Poincaré. Tabel (4) en tabel (10) zijn dus concurrerende beschrijvingen van de situatie zoals getekend in figuur (1). In tabel (10) wordt het raakpunt P opgevat als een gat (G). Met deze interpretatie wordt er vooruitgelopen op een vervanging van tabel (6) door tabel (11) als beschrijving van figuur (5). Ook in tabel (11) wordt P opgevat als een gat.
  • We voegen aan raakpunt P uit figuur (5) nog een viervlak toe:

    (7)
    laspunt-5
    Zoeken we naar constanten in de transformaties van samengesteld figuur 3 via samengesteld figuur 4 naar samengesteld figuur 5 dan kunnen we opmerken:
    Voor n veelvlakken die elkaar in P ontmoeten geldt, als we telkens de laatste regel van elk tabel bekijken en met elkaar vergelijken, dus regel n+3:

    (8)

    1) ∆v(n+2,n+1) = -n

    Bijvoorbeeld in tabel (4) geldt voor samengesteld figuur 3:
    ∆v(4,3) = 12 – 14 = -2 = -n

    In tabel (6) geldt:
    ∆v(5,4) = 15 – 18 = -3 = -n

    In tabel (7) geldt:
    ∆v(6,5) = 18 – 22 = -4 = -n

    2) ∆-e(n+2,n+1) = ∆-f(n+2,n+1) = 0

    3) ∆-c(n+2,n+1) = (n-1)*2

    Bijvoorbeeld in tabel (4) geldt voor samengesteld figuur 3:
    ∆-c(4,3) = -2 –1*-4 = +2 = (n-1)*2; voor n=2

    In tabel (6) geldt:
    ∆-c(5,4) = -2 –1*-6 = +4 = (n-1)*2; voor n=3

    In tabel (7) geldt:
    ∆-c(6,5) = -2 –1*-8 = +6 = (n-1)*2; voor n=4

    4) ∆(n+2,n+1) = n-2
    ‘n-2’ is de waarde rechts van het =teken in de meest rechtse kolom.

    Bijvoorbeeld in tabel (4) geldt:
    ∆(4,3) = 0 = n-2; voor n=2

    In tabel (6) geldt:
    ∆(5,4) = 1 = n-2; voor n=3

    In tabel (7) geldt:
    ∆(6,5) = 2 = n-2; voor n=4

    Kortom met elk nieuw veelvlak toegevoegd aan punt P neemt het getal rechts van het =teken met één toe, en verwijdert daarmee zich steeds verder van de door Euler vereiste waarde nul.

    In wat algemenere termen gesteld:
    (9)
    laspunt-6
    We hebben nu de volgende wat verwarrende situatie:
    1) Als we P percipiëren als een grenspunt V dan zien we iets dat er niet is (de neustoppen).
    2) P is een ding dat er is en dat we niet zien.
    3) Telkens als een nieuw veelvlak raakt aan P dan neemt in de laatste twee regels van de desbtetreffende tabel rechts van het =teken het getal met één toe.
    4) Het in 3) genoemde effekt kan niet worden weggepoetst door nog een grenspunt weg te werken. Bijvoorbeeld van een viervlak dat wordt toegevoegd, gaat één punt als het ware op in het punt P, de overige drie hoekpunten blijven gewoon bestaan.

    Het is duidelijk dat de Formule van Euler hier geen soelaas biedt. Wat te zeggen van de Formule van Euler-Poincaré?
    Deze formule biedt onder meer ingesloten ruimtes en gaten. Wat betreft ingesloten ruimtes, die zijn niet aan de orde. De veelvlakken kunnen zowel hol zijn als massief. En gaten?
    Ik stel voor P op te vatten als een gat.
    Als we P opvatten als een gat dan kunnen we de Euleriaanse tabel (4) met betrekking tot samengesteld figuur 3 transmuteren naar een een tabel à la de Formule van Euler-Poincaré. We spreken van een gepoincaréseerde tabel.

    (10)
    laspunt-71
    Regel 5 van deze tabel kunnen we als volgt interpreteren. Het zogenoemde raakpunt P is topologisch gesproken niet zozeer een punt als wel een gat. De twee veelvlakken hadden voordat zij elkaar ontmoeten in raakpunt P elk een hoekpunt dat als het ware verdwijnt in in het gat P. Vandaar dat ∆v=-2, ∆l=-2 en ∆2g=2. Bovendien zijn de twee afzonderlijke figuren daarmee opgegaan in één samengesteld figuur, vandaar ∆s=2. We zouden P om te onderscheiden van ‘normale’ gaten een zwart gat kunnen noemen, omdat P als het ware hoekpunten opslokt (telkens als een nieuw toegevoegd veelvlak met één van zijn hoekpunten P raakt, verliest het nieuwe toegevoegde veelvlak zijn desbetreffende hoekpunt) en omdat P onzichtbaar is (P heeft niet een ruimtelijk aanzien zoals een tunnel door een massieve kubus of twee openingen in de wand van een holle kubus).

    We kunnen vervolgens naar believen nog een veelvlak aan het raakpunt P toevoegen (zoals getekend in (5)):
    (11)
    laspunt-8
    In regel 6 van bovenstaand tabel staat genoteerd welke mutaties er zijn vanaf de logische som van de drie samenstellende figuren naar hun logisch product toe. Dit correspondeert weer met de werking van de operatoren van Euler:

    (12) Mgs: g=1
    Er is dus één gat gevormd, zoals de waarde in regel 5 van tabel (11) aangeeft.

    (13) 3*Mef

    (14) 3*Ksfv: s=1, v=15
    De aantallen s en v betreffen weer waardes uit regel 5.

    (15) 3* KeMl: l=18
    Met elk betrokken veelvlak is er één punt verdwenen en één lus toegevoegd.

  • In de vergelijkingen (12) tot en met (15) staan rechts van het :-teken niet waardes maar aantallen genoemd. Deze zijn cursief geschreven.
  • In algemene termen gesteld, geldt dat telkens als aan het raakpunt P een nieuw veelvlak wordt toegevoegd:

    (16) ∆= ∩-U

    De mutaties ∆ houden in:

    (17) Mfe

    (18) Ksfv: één punt en één shell zijn van het toegevoegde veelvlak verdwenen.

    (19) KeMl: het in (17) gecreëerde punt P wordt omgezet in een lus.

    Per saldo is het alsof met de toevoeging van een nieuw veelvlak aan het raakpunt (gat P) een punt van het toegevoegde veelvlak wordt vernietigd en als herinneringsmonumentje een lus achterlaat (zoals ook elke nieuwe opening in een vlak met de creatie van een lus gepaard gaat).

    In de vorige post konden we Euler “redden” voor een bepaalde meetkundige ribbe (ding) in plaats één twee topologische ribben (grenzen) te tellen. In de huidige post kennen we aan een bepaald meetkundig raakpunt P de topologische functie gat toe. Hiermee is Euler niet gered, maar wel is de formule van Euler-Poincaré toegepast.
    Dit is de kwintessens van deze post.

    Lees meer

    08 Lasnaadconstructie

    Tot dusverre is gepoogd in kort bestek een idee te geven van de formule van Euler en zijn moderne opvolger, de formule van Euler-Poincaré, zoals deze volgens het boekje worden opgevat. Vanaf nu worden nieuwe ideeën met betrekking tot beide formules geformuleerd. Vergelijk het met de verklanking van de eigen interpretatie van een bestaande compositie door een pianist.

    De Duitse delfstofkundige Johann Hessel (1796-1872) heeft in 1832 verschillende meetkundige figuren aangeduid als uitzonderingen op de Eulerformule. Twee ervan zullen we behandelen. Waarvan de eerste in deze post.
    Deze figuur wordt getekend als:
    (1)
    lasnaadconstructie-2

    Het gaat hierbij om een vijfvlak en een zesvlak die als het ware aan elkaar zijn gelast.
    Tellen we de hoekpunten, ribben en vlakken volgens de formule van Euler dan verkrijgen we volgens Hessel:

    (2)
    lasnaad-1
    De kneep zit ‘m natuurlijk in de ‘lasnaad’ PQ. Deze wordt door Hessel geteld als één ribbe. Dit kunnen we duidelijker tonen door één en ander uitgebreider weet te geven in de volgende tabel.

    (3)
    lasnaad-22
    In regel 0 van de tabel hebben we -c geïntroduceerd. Dat wil zeggen de waarde =2 die door Euler rechts van het =teken is geplaatst hebben we naar links van het =teken gebracht en geplaatst onder de noemer –c (constante) uit regel 0.
    In regel 3 zijn de waarden van de hoekpunten, ribben, vlakken en constanten met betrekking tot het vijfvlak en de kubus eenvoudigweg bij elkaar opgeteld. Dus de waarden uit regel 1 en 2 zijn bij elkaar opgeteld. Rechts van het =teken staat keurig netjes de waarde nul.
    Als we nu de waarden uit regel 2 en 3 bij elkaar voegen zoals Hessel dat bedoelde dan verkrijgen we regel 4. Rechts van het =teken staat +1 in plaats van 0. In regel 5 staat beschreven wat er eigenlijk is gebeurd van regel 3 naar regel 4. De waarde van de hoekpunten is per saldo van regel 3 naar regel 4 met 2 gedaald. Dit kan worden weggestreept tegen het gegeven dat de constante van de samengevoegde veelvlakken niet –4 (regel 3) maar –2 (regel 4) is, dus met 2 gestegen. Blijft over het gegeven dat volgens Hessel de totale waarde van de ribben met één is gestegen. Dat wil zeggen ribbe PQ telt in de samenvoeging voor 1, terwijl deze als som van beide veelvlakken in regel 3 als 1+1=2 gold. Dus van twee ribbes PQ van de afzonderlijke veelvlakken naar één ribbe PQ in de samengestelde figuur.
    Meetkundig is het inderdaad zo dat de samenvoeging van beide veelvlakken tot één negenvlak ertoe leidt dat uit twee ribbes PQ (één uit elk van beide samenstellende figuren) er één ribbe PQ bij wijze van lasnaad ontstaat. Nogmaals, meetkundig is dat zo. Evenwel niet topologisch. Topologisch is een ribbe niet een ding (zoals bijvoorbeeld een ijzeren staaf), maar een functie. Dat wil zeggen een grensfunctie van een ding. Het ‘ding’ PQ in de samengestelde figuur heeft vier grensfuncties. Aan beide uiteinden een hoekpunt, v. En aan ‘voorkant’ en de ‘achterkant’ van de samengestelde figuur een ribbe, met waarde e. Dat wil zeggen de samengestelde figuur heeft langs de lasnaad PQ niet één, maar twee functionele ribben, edges.
    Tabel 3 is dus in principe onjuist en dient te worden vervangen door tabel 4:

    (4)
    laasnaad-3

    Logische som en logisch product
    In tabel 3 en in tabel 4 zien we op de regels 3, 4 en 5 de volgende symbolen staan. Het U-symbool voor de logische som, het omgekeerde teken daarvan voor het logisch produkt (∩) en op regel 5 het wiskundige symbool voor verandering, ∆.
    Een samengesteld figuur impliceert een context waarbinnen beide samenstellende delen (kubus en vijfvlak) op één of andere manier voorkomen. Dit is een inperking van hun logische som: het logisch product.
    De logische som van –bijvoorbeeld- stukken hout en glas is een opsomming van de afzonderlijke elementen. Deze afzonderlijke elementen behoeven niet samen binnen één en dezelfde context voor te komen om een logische som te vormen. Een huis is een logische product van dergelijke elementen. Binnen het geheel dat een huis is worden de samenstellende elementen op een bepaalde en niet op een andere wijze gebruikt. De samenstellende delen vormen daarentegen een logisch product indien ze binnen één en dezelfde context voorkomen. Het geheel (huis of bijvoorbeeld het samengestelde negenvlak) is daarmee niet groter (zoals zo vaak gesteld), maar juist kleiner dan de som der (afzonderlijke) delen. De som geeft het potentieel van het gebruik, het geheel van de mogelijke contexten waarbinnen ze kunnen voorkomen, aan en het product geeft het gerealiseerde gebruik, één geactualiseerde context, aan.
    Met het ∆-teken wordt het verschil tussen het product en de logische som uitgedrukt van de samenstellende figuren kubus en vijfvlak. Als de formule van Euler klopt dan geldt dat in al de drie gevallen, U(1,2), ∩(1,2) en ∆(4,3) rechts van het =teken de waarde 0 staat.
    Blijkens tabel 4 is dat zo.

    Het onderscheid tussen logische som en logisch product wordt in zogenaamde waarheidstafels tot uitdrukking gebracht. In een logische som behoeven de samenstellende delen A en B niet per se in dezelfde context te fungeren.
    (5)
    logische-som3

    Bij een logisch product wel.
    (6)
    logisch-product

    Merk op dat bij een logische som de waarden A en B inderdaad worden opgeteld (bijvoorbeeld regel 2 in tabel 5: 1 + 0 =1) en bij een logisch product de logische waarden inderdaad met elkaar worden vermenigvuldigd (bijvoorbeeld regel 2 in tabel 6: 1 * 0 =0).
    De waarde 1 betekent waar en de waarde 0 betekent onwaar. De uiteindelijke logische waarde van een logische uitspraak (bijvoorbeeld A U B) staat per regel onder het symbool U (tabel 5)of het ∩ (tabel 6)aangegeven.

    Referentie
    de in deze post geanalyseerde lasnaadcontrsuctie wordt, zoals hierboven geschreven, in de vaklitterauur beschouwd als een typisch voorbeeld van een uitzonder op de Formule van Euler. Ik baseer me hierbij op het heel fraaie en waardevolle boek van David S. Richeson Euler’s Gem. In de komende posts zal de nodige informatie worden geput uit dit boek.

    Lees meer
    Page 5 of 8« First...34567...Last »