Brontekst bekijken van Oppervlakte

{{Zie ook|Dit artikel gaat over de maat van een tweedimensionale figuur; zie [[oppervlak]] voor andere betekenissen.}}

De '''oppervlakte''' van een vlakke meetkundige figuur, of algemener van een tweedimensionaal meetkundig object, is een maat voor de grootte ervan.

De [[Système International|SI]]-eenheid van oppervlakte is de [[Vierkante meter|vierkante meter: m²]], afgeleid van de basiseenheid [[meter]]. Voor algemene toepassingen in de [[Europese Unie]] is de vierkante meter, samen met zijn decimale onderdelen en veelvouden zoals cm² en km², de enige oppervlaktemaat. In gespecialiseerde toepassingen bestaan uitzonderingen:
* de [[are]] met zijn veelvoud [[hectare]] en zijn onderdeel [[centiare]], in [[Kadaster|kadastrale]] registraties
* de [[Barn (eenheid)|barn]] voor de werkzame doorsnede van een deeltje in de [[kernfysica]]
In historische documenten uit de [[Nederlanden]] die van voor het [[metriek stelsel]] dateren, komen andere landmaten voor zoals de [[bunder]], de [[dagwand]] en de [[Roede (oppervlaktemaat)|roede]].

== Vlakke meetkunde ==
===Basistechnieken===
De oppervlakte van een vlakke figuur wordt gedefinieerd en berekend aan de hand van een aantal elementaire eigenschappen van het begrip oppervlakte, die eventueel kunnen worden opgevat als [[axioma]]'s:
#De oppervlakte is een [[Isometrie (wiskunde)|isometrische]] invariant, dat wil zeggen dat een transformatie van het vlak die de onderlinge afstanden van punten bewaart (zoals een [[Rotatie (meetkunde)|rotatie]]), tevens de oppervlakte van vlakke figuren bewaart.
#De oppervlakte van een rechthoek is het product van de lengte met de breedte. In het bijzonder is de oppervlakte van een punt en die van een lijnstuk gelijk aan 0.
#De oppervlakte van een [[disjuncte vereniging]] van vlakke figuren is gelijk aan de som van de oppervlakten van de afzonderlijke delen. Dit laat achtereenvolgens de oppervlakteberekening toe van: (1) een parallellogram, door omvorming tot een rechthoek met dezelfde basis en hoogte; (2) een willekeurige driehoek, als zijnde de helft van een parallellogram; (3) een willekeurige veelhoek, door hem op te delen in driehoeken.
#De regel van de disjuncte vereniging blijft gelden voor een [[Aftelbare verzameling|aftelbaar oneindige]] disjuncte vereniging, waarbij de som van de oppervlakten moet worden opgevat als de som van een [[Reeks (wiskunde)|reeks]].

De laatste regel laat toe de oppervlakte te bepalen van kromlijnige figuren zoals cirkels. De [[integraalrekening]] geeft een exacte definitie en een berekeningsmethode voor de oppervlakte van een vlakke figuur die begrensd wordt door de grafiek van een continue functie en een horizontale en twee verticale rechten.

===Formules===
:{| class="wikitable"
! Figuur
! Kenmerken
! Oppervlakte
|-
| [[vierkant (meetkunde)|vierkant]]
| zijde <math>a</math>
| align="center"| <math>a^2</math>
|-
| [[rechthoek]]
| lengte <math>a</math> en breedte <math>b</math>
| align="center"| <math>ab</math>
|-
| [[rechthoekige driehoek]]
| rechthoekszijden <math>a</math> en <math>b</math>
| align="center"|<math>\tfrac 12 ab</math>
|-
| [[Driehoek (meetkunde)|driehoek]]
| basis <math>c,</math> hoogte <math>h</math>
| align="center"|<math>\tfrac 12 hc</math>
|-
| driehoek
| zijden <math>a,</math> <math>b</math> en <math>c,</math> halve omtrek <math>s = \tfrac12(a + b + c)</math>
| align="center"|<math>\sqrt{s(s-a)(s-b)(s-c)}</math> ([[formule van Heron]])
|-
| driehoek
| zijden <math>a,b</math> en tussenliggende hoek <math>\gamma</math>
| align="center"|<math>\tfrac 12 ab \sin{\gamma}</math>
|-
| [[trapezium]]
| evenwijdige zijden <math>a</math> en <math>c,</math> hoogte <math>h</math>
| align="center"|<math>\tfrac 12 h(a + c)</math>
|-
| [[Ruit (meetkunde)|ruit]]
| diagonalen <math>p</math> en <math>q</math>
| align="center"|<math>\tfrac 12 pq</math>
|-
| [[parallellogram]]
| basis <math>c,</math> hoogte <math>h</math>
| align="center"| <math>hc</math>
|-
| [[parallellogram]]
| zijden <math>a,b</math> en tussenliggende hoek <math>\gamma</math><ref name="supplement">Bij een parallellogram zijn niet-overstaande hoeken [[supplementaire hoek|supplementair]] (hun som bedraagt 180°); ze hebben dus dezelfde [[Sinus en cosinus|sinus]].</ref>
| align="center"| <math>ab\sin\gamma</math>
|-
| [[regelmatige veelhoek|regelmatige <math>n</math>-hoek]]
| zijde <math>a</math>
| align="center"| <math>\tfrac{1}{4}na^2\cdot \cot(\pi/n)</math>
|-
| [[regelmatige zeshoek]]
| zijde <math>a</math>
| align="center"| <math>\frac{3\sqrt{3}}{2}a^2</math>
|-
| [[cirkel]]
| straal <math>r</math>
| align="center"| <math>\pi r^2</math>
|-
| [[Ellips (wiskunde)|ellips]]
| halve lange as <math>a,</math> halve korte as <math>b</math>
| align="center"| <math>\pi ab</math>
|}

In sommige toepassingen is het nuttig met ''negatieve'' oppervlaktes te rekenen als de omtrek van een figuur in een andere zin wordt doorlopen (conventioneel geeft [[tegenwijzerzin]] een positieve oppervlakte). We spreken dan in het algemeen van ''georiënteerde oppervlakte.''

De [[schoenveterformule]] is een eenvoudige regel voor de oppervlakte van een willekeurige veelhoek in termen van de coördinaten van de hoekpunten <math>(x_1,y_1),(x_2,y_2)\ldots,(x_n,y_n):</math>

:<math>S=\tfrac12\left(x_1y_2+x_2y_3+\ldots+x_ny_1-x_2y_1-x_3y_2-\ldots-x_1y_n\right)</math>

Ze kan worden bewezen door op te merken dat <math>\tfrac12\left(x_iy_{i+1}-x_{i+1}y_i\right)</math> de georiënteerde oppervlakte is van de driehoek gevormd door de oorsprong <math>(0,0)</math> en de punten <math>(x_i,y_i)</math> en <math>(x_{i+1},y_{i+1}).</math>

===Zwaartepunt===
{{Hoofdartikel|Zwaartepunt}}
Het zwaartepunt van een vlakke figuur heeft de eigenschap dat elke rechte erdoorheen, de figuur in twee delen van gelijke oppervlakte snijdt. De [[zwaartelijn]]en van een driehoek vormen hiervan een voorbeeld.

===Isoperimetrische ongelijkheid===
De oppervlakte <math>S</math> van een cirkel is gelijk aan het kwadraat van zijn omtrek <math>O,</math> gedeeld door <math>4\pi</math>:

:<math>S=\pi r^2,\ O=2\pi r,\ S=\frac{O^2}{4\pi}</math>

De [[isoperimetrische ongelijkheid]] stelt dat deze verhouding optimaal is, in die zin dat voor eender welke andere vlakke figuur het [[isoperimetrisch quotiënt]]

:<math>IQ=\frac{4\pi S}{O^2}</math>

niet groter is dan 1, en dat het alleen bij de cirkel precies gelijk is aan 1.

====Voorbeeld====
Bij een vierkant met zijde <math>a</math> bedraagt de omtrek <math>O=4a</math> en de oppervlakte <math>S=a^2</math>, dus

:<math>IQ=\frac{4\pi S}{O^2}=\frac{4\pi a^2}{16a^2}=\frac{\pi}4<1</math>

===Oppervlakte binnen een gesloten vlakke kromme===
Als <math>C</math> een stuksgewijs differentieerbare gesloten vlakke kromme is zonder zelfdoorsnijdingen en met het inwendige aan de linkerkant, dan volgt uit de [[stelling van Green]] een formule voor de oppervlakte van het inwendige:

:<math>S={}\oint_C x\, \mathrm{d}y ={}-\oint_C y\, \mathrm{d}x</math>

====Voorbeeld====
De cirkel met straal <math>r</math> kan worden geparametriseerd als

:<math>C:[0,2\pi]\to\R^2:t\mapsto (x(t)=r\cos t,y(t)=r\sin t)</math>

Uit de eerste gelijkheid van de oppervlakteformule hierboven volgt dan

:<math>S=\int_{t=0}^{2\pi}r\cos t\,\mathrm{d}(r\sin t)=\int_{t=0}^{2\pi}r^2\cos^2t\,\mathrm{d}t=\pi r^2</math>

==Maattheorie==
{{Hoofdartikel|Maattheorie}}
De maattheorie definieert het begrip oppervlakte aan de hand van een abstracte [[maat (wiskunde)|maat]]. In de axioma's van een maat zit een regel vervat voor de disjuncte unie van een aftelbare collectie meetbare verzamelingen. Voor vlakke tweedimensionale figuren hanteert men de [[lebesgue-maat]] op <math>\R^2</math>.

Voor gekromde oppervlakken bestaat enerzijds het volumebegrip uit de [[differentiaalmeetkunde]], anderzijds de [[haar-maat]] uit de theorie der [[lokaal compacte groep]]en. Zo kunnen oppervlaktes worden toegekend aan een grote klasse van deelverzamelingen van willekeurige tweedimensionale gekromde ruimten, waaronder alle [[compact]]e deelverzamelingen.

==Ruimtemeetkunde==
===Formules voor de oppervlakte van driedimensionale lichamen===
Voor figuren die zijn samengesteld uit tweedimensionale deelruimten van de driedimensionale ruimte, blijven de basisregels (isometrisch invariant, reekssom van disjuncte unie) geldig. Als een figuur uitsluitend rechte zijvlakken heeft, is er niets nieuws; zo is de oppervlakte van een [[Kubus (ruimtelijke figuur)|kubus]] gewoon 6 keer de oppervlakte van een van de 6 identieke vierkanten die hem begrenzen.

Een gesloten cilinder wordt begrensd door twee vlakke cirkels en een gekromde rechthoek. De oppervlakte van de rechthoek is de hoogte van de cilinder vermenigvuldigd met zijn omtrek.

:{| class="wikitable"
! Figuur
! Kenmerken
! Oppervlakte
|-
| [[bol (lichaam)|bol]]
| straal <math>r</math>
| align="center"| <math>4\pi r^2</math>
|-
| [[bolsegment]]
| bolstraal <math>r</math>, hoogte <math>h</math>
| align="center"| <math>2\pi rh</math>
|-
| [[bolkap]]
| bolstraal <math>r</math>, halve openingshoek <math>\alpha</math>
| align="center"| <math>2\pi r^2(1-\cos\alpha)</math>
|-
| [[cilinder (meetkunde)|cilinder]] (open)
| straal <math>r</math>, hoogte <math>h</math>
| align="center"| <math>2\pi r h</math>
|-
| [[cilinder (meetkunde)|cilinder]] (onder- en bovenzijde afgesloten)
| straal <math>r</math>, hoogte <math>h</math>
| align="center"| <math>2\pi r(r+h)</math>
|-
| [[cilinder (meetkunde)|cilinder]] (algemeen grondvlak, open)
| omtrek grondvlak <math>O</math>, hoogte <math>h</math>
| align="center"| <math>Oh</math>
|-
| [[kegel (ruimtelijke figuur)|kegel]] (open)
| straal <math>r</math>, hoogte <math>h</math>
| align="center"| <math>\pi r(\sqrt{r^2+h^2})</math>
|-
| [[kegel (ruimtelijke figuur)|kegel]] (gesloten)
| straal <math>r</math>, hoogte <math>h</math>
| align="center"| <math>\pi r(r+\sqrt{r^2+h^2})</math>
|}

Voor de oppervlakte van een [[ellipsoïde]] met halve assen <math>a,</math> <math>b</math> en <math>c</math> bestaat geen formule die alleen elementaire functies gebruikt. Met behulp van [[Elliptische integraal|elliptische integralen]] kan wel een gesloten formule worden opgeschreven. De oppervlakte van een [[sferoïde]] (een omwentelingsellipsoïde, dus met <math>a=b</math>) heeft daarentegen wel een elementaire gesloten vorm.

===Ruimtehoek===
{{Hoofdartikel|Ruimtehoek}}
Een ruimtehoek wordt begrensd door een [[regeloppervlak]] bestaande uit stralen die door één punt gaan (onregelmatige kegel). De grootte van een ruimtehoek is de oppervlakte die de ruimtehoek uitsnijdt van een bol met straal 1 rond de top van de kegel. Ruimtehoeken worden standaard uitgedrukt in [[Steradiaal|steradialen]]. De volledige bol bepaalt een ruimtehoek van <math>4\pi</math> sr.

===Omwentelingsintegraal===
{{hoofdartikel|Omwentelingsintegraal}}
Een [[omwentelingslichaam]] ontstaat door de grafiek van een continue functie (op een begrensd reëel interval <math>[a,b]</math>) te roteren rond de <math>X</math>-as. Als <math>f(x)</math> het voorschrift van de functie is, en de functie is continu differentieerbaar, dan bedraagt de oppervlakte van (de ronde zijkant van) het omwentelingslichaam:

:<math>S = \int_{x=a}^b 2\pi f(x)\,\sqrt{1+(f'(x))^2} \,\mathrm{d}x</math>

waar <math>f'</math> de [[afgeleide]] is van de functie <math>f.</math>

====Voorbeeld====
De bol met straal <math>r</math> kan worden opgevat als het omwentelingslichaam voortgebracht door de functie
:<math>f:[-r,r]\to\mathbb R:x\mapsto\sqrt{r^2-x^2}</math>

De afgeleide bedraagt
:<math>f'(x)=\frac{-x}{f(x)}</math>

De oppervlakte is dus
:<math>S=\int_{x=-r}^r2\pi f(x)\sqrt{1+\frac{x^2}{f(x)^2}}\,\mathrm{d}x=\int_{x=-r}^r2\pi r\,\mathrm{d}x=4\pi r^2.</math>

===Algemeen gekromd oppervlak===
Als een deel van een gekromd oppervlak in de driedimensionale ruimte bepaald wordt door de grafiek van een continu differentieerbare functie
:<math>f:D\subset\mathbb R^2:(x,y)\mapsto f(x,y)</math>

dan wordt de oppervlakte van die grafiek gegeven door de integraalformule
:<math>S=\iint_D\sqrt{1+\left(\frac{\partial f}{\partial x}\right)^2+\left(\frac{\partial f}{\partial y}\right)^2}\,\mathrm{d}x\,\mathrm{d}y. </math>

====Voorbeeld====
We berekenen de oppervlakte van het ronde [[Zadeloppervlak|zadel]] (hyperbolische [[paraboloïde]]) dat de grafiek vormt van de functie
:<math>f:D(0,1)\to\R:(x,y)\mapsto xy</math>

op de [[eenheidsschijf]]
:<math>D(0,1)=\{(x,y)\in\R^2|x^2+y^2\leq1\}</math>

De [[partiële afgeleide]]n van <math>f</math> zijn
:<math>\frac{\partial f}{\partial x}(x,y)=y;\ \frac{\partial f}{\partial y}(x,y)=x</math>

Dit geeft voor de oppervlakte volgens bovenstaande algemene formule
:<math>S=\iint_{x^2+y^2\leq1}\sqrt{1+y^2+x^2}\,\mathrm{d}x\,\mathrm{d}y</math>

Overgang op [[poolcoördinaten]] herleidt dit tot
:<math>S=\int_{\theta=0}^{2\pi}\int_{r=0}^1\sqrt{1+r^2}\,r\,\mathrm{d}r\,\mathrm{d}\theta=2\pi\int_{r=0}^1\sqrt{1+r^2}r\,\mathrm{d}r=\frac{2\pi}3(2\sqrt2-1)</math>

===Minimaaloppervlak===
{{Hoofdartikel|Minimaaloppervlak}}
Een minimaaloppervlak in de driedimensionale ruimte is een oppervlak waarvan de [[gemiddelde kromming]] overal 0 bedraagt. Dit is gelijkwaardig met de eigenschap dat het oppervlak in de omgeving van elk punt de oppervlakte minimaliseert. Het fysische model van een minimaaloppervlak is een zeepvlies dat wordt opgespannen binnen een gekromde draad: door de [[oppervlaktespanning]] van de zeepoplossing zoekt het zeepvlies vanzelf naar de kleinste oppervlakte binnen de draad. Platte vlakken zijn minimaaloppervlakken, maar ook het omwentelingslichaam van een [[Kettinglijn (wiskunde)|kettinglijn]] is minimaal.

{{Appendix}}
{{Wikibooks|Wiskunde/Oppervlakte|Cursus wiskunde: Oppervlakte}}
{{Woordenboek}}

[[Categorie:Meetkunde]]