Brontekst bekijken van Formule van Euler voor veelvlakken

De '''formule van Euler voor veelvlakken''' is een [[Vergelijking (wiskunde)|vergelijking]], die een verband legt tussen het aantal [[Hoekpunt (meetkunde)|hoekpunten]] <math>H</math>, het aantal [[ribbe]]n <math>R</math> en het aantal zijvlakken <math>Z</math> van een ruimtelijke figuur, van een [[veelvlak]], waarvan de vlakken [[veelhoek]]en zijn. Er geldt:
:<math>H - R + Z = 2</math>

De [[Vergelijking (wiskunde)|vergelijking]] werd in de [[18e eeuw]] ontdekt door de Zwitserse wiskundige [[Leonhard Euler]].

Bij ieder veelvlak geldt dat het aantal hoekpunt-ribbe-combinaties en het aantal zijvlak-ribbe-combinaties gelijk is aan <math>2R</math>. Met <math>H_i</math> het aantal hoekpunten waar <math>i</math> ribben samenkomen en <math>Z_j</math> het aantal zijvlakken met <math>j</math> hoekpunten, geldt dus:
::<math>\Sigma \,(iH_i)= \Sigma (jZ_j)=2H+2Z-4=2R</math>

De [[eulerkarakteristiek]] van het oppervlak van een [[Veelvlak#Zelfdoorsnijdende en samengestelde veelvlakken|niet-zelfdoorsnijdend niet-samengesteld veelvlak]] is met andere woorden twee. Voorwaarde is dat dit oppervlak [[Topologie|topologisch]] gelijkwaardig is met een [[Sfeer (wiskunde)|boloppervlak]]. Als het veelvlak hol is moet het binnenoppervlak buiten beschouwing worden gelaten, het veelvlak mag bijvoorbeeld niet topologisch ringvormig zijn en niet bestaan uit twee veelvlakken die slechts met één gemeenschappelijk hoekpunt of met één gemeenschappelijke ribbe verbonden zijn. Ieder zijvlak wordt topologisch verondersteld gelijkwaardig met een cirkelschijf te zijn, dus geldt de formule bijvoorbeeld niet als in het genomen veelvlak een kleine kubus midden op een zijvlak van een grote kubus wordt geplaatst. Omdat het een topologische eigenschap is maakt vervorming niet uit. De formule geldt dus ook bij kromme ribben en zijvlakken, zoals op een [[bolvormig veelvlak]]. Ieder veelvlak heeft een [[duaal veelvlak]], met zijvlakken en hoekpunten verwisseld en een gelijkblijvend aantal ribben. Dit is in lijn met het feit dat <math>H</math> en <math>Z</math> in de formule kunnen worden verwisseld.

De vergelijking geldt bijvoorbeeld voor de [[Regelmatig veelvlak|regelmatige veelvlakken]]: 

:{| class="wikitable"
|-
! Naam
! Afbeelding
! Hoekpunten <br> <math>H</math>
! Ribben <br> <math>R</math>
! Zijvlakken <br> <math>Z</math>
! [[Eulerkarakteristiek]]: <br> <math>H - R + Z</math>
|- align=center
| [[viervlak]]
| [[Bestand:tetrahedron.png|50px]]
| 4
| 6
| 4
| '''2'''
|- align=center
| [[Kubus (ruimtelijke figuur)|kubus]]
| [[Bestand:hexahedron.png|50px]]
| 8
| 12
| 6
| '''2'''
|- align=center
| [[regelmatig achtvlak]]
| [[Bestand:octahedron.png|50px]]
| 6
| 12
| 8
| '''2'''
|- align=center
| [[regelmatig twaalfvlak]]
| [[Bestand:dodecahedron.png|50px]]
| 20
| 30
| 12
| '''2'''
|- align=center
| [[regelmatig twintigvlak]]
| [[Bestand:icosahedron.png|50px]]
| 12
| 30
| 20
| '''2'''
|}

De formule van Euler voor veelvlakken is niet alleen voor de regelmatige veelvlakken geldig, maar voor alle veelvlakken, die aan de voorwaarden voldoen, die zijn beschreven.

Uit de formule volgt dat bij een veelvlak met geen andere zijvlakken dan driehoeken en met alleen 5- en 6-valente hoekpunten, het aantal 5-valente hoekpunten altijd 12 is.<ref>Neem ''m'' het aantal 5-valente en ''n'' het aantal 6-valente hoekpunten. Dan zijn er {{nowrap|''m+n''}} hoekpunten, {{nowrap|(5''m''+6''n'')/2}} ribben en {{nowrap|1=2/3 × (5''m''+6''n'')/2 = (5''m''+6''n'')/3}} zijvlakken. {{nowrap|1=''m''+''n'' - (5''m''+6''n'')/2 + (5''m''+6''n'')/3 = 2}} en {{nowrap|1=''m''=12}}</ref> Met voldoende driehoeken kunnen dergelijke veelvlakken de bolvorm goed benaderen. Een dergelijke benadering heet een [[geodetische bol]].

Daarmee geldt ook de duale eigenschap dat bij alle veelvlakken met geen andere zijvlakken dan vijfhoeken en zeshoeken en met alleen 3-valente hoekpunten, het aantal vijfhoeken altijd 12 is. Met voldoende zijvlakken kunnen ook deze veelvlakken de bolvorm goed benaderen, met [[Veelvlak#Andere veelvlakken|goldbergveelvlakken]].<ref>M Seijlhouwer. [https://www.nemokennislink.nl/publicaties/nieuwe-soort-veelvlakken-ontdekt Nieuwe soort veelvlakken ontdekt], 28 februari 2014. op [[NEMO Kennislink]]. [https://web.archive.org/web/20230129232002/https://www.nemokennislink.nl/publicaties/nieuwe-soort-veelvlakken-ontdekt/ Gearchiveerd] op 29 januari 2023.</ref>

Algemener gesteld is bij een veelvlak met geen andere zijvlakken dan driehoeken het tekort aan valentie vergeleken met 6 voor alle hoekpunten samen 12, een teveel is een negatief tekort. Duaal: bij een veelvlak met alleen 3-valente hoekpunten is het tekort aan hoeken vergeleken met 6 voor alle zijvlakken samen 12.

{{Appendix||2=
; literatuur
* [[Imre Lakatos]]. Proofs and Refutations, 1976. ISBN 9781107113466
* Anieke Brombacher, Auke Mollema en Patrick van Stiphout. [https://docplayer.nl/26994796-Diktaat-concrete-meetkunde-veelvlakken-en-alles-wat-daarbij-komt-kijken.html Diktaat Concrete Meetkunde - Veelvlakken en alles wat daarbij komt kijken...], 24 april 2009. {{pdf}} hoofdstuk 4
* MC van Hoorn. [https://www.math.rug.nl/~broer/pdf/hovo5.pdf De formule van Euler voor veelvlakken]. {{pdf}}
; voetnoten
{{References}}
}}

[[Categorie:Euclidische meetkunde]]