Onder een benadering van een grootheid verstaat men in de exacte wetenschappen een getalswaarde die voor een bepaald praktisch doel voldoende dicht in de buurt ligt van de exacte waarde van die grootheid.
Zo zal het voor een timmerman in elke praktische situatie voldoende zijn de waarde 22/7 als benadering voor het getal π te gebruiken. Naast getalswaardige benaderingen voor grootheden, worden ook benaderingen gegeven van functies en gehele probleemstellingen.
Benaderingen worden gebruikt
Benaderingen worden gegeven van:
Een eenvoudige methode voor het benaderen van getallen is het afronden op een beperkt aantal decimalen, bijvoorbeeld:
Het getal kan benaderd worden door , maar ook door en .
Als benadering van de lichtsnelheid ziet men vaak: 299.792,458 km/s ≈ 300.000 km/s.
Een benadering van de valversnelling is 9,81 m/sec² ≈ 10 m/sec²
De meeste natuurkundige constanten werden experimenteel vastgesteld en zijn dus benaderingen van de werkelijkheid.
Het getal 0,999 is een benadering van 1, maar de repeterende breuk 0,9999... (met een oneindig aantal negens) is gelijk aan 1. Zo is ook 0,333 een benadering van de breuk 1/3, maar is 0,33333... (met oneindig veel drieën) gelijk aan 1/3.
Een rekenmachine berekent in sommige gevallen een uitkomst door een iteratieve benadering, zolang, tot de nauwkeurigheid buiten het bereik van de rekenmachine valt (zo'n 12 cijfers). Hier volgt als voorbeeld het berekenen van de wortel uit 40, gebruikmakend van de iteratie:
als aanvankelijke benadering, en
Daarmee volgt:
Vergelijk het resultaat met:
Deze iteratie is erg snel convergerend: al na een vijftal iteraties ligt de nauwkeurigheid buiten de nauwkeurigheid van een rekenmachine.
Algemener kunnen vergelijkingen benaderd numeriek opgelost worden, met bijvoorbeeld het Newton-Raphson algoritme, of de Regula Falsi.
De paraxiale benadering van geometrische optica (o.a. de lenzenmakersvergelijking) steunt op volgende benaderingen:
Overige veelgebruikte benaderingen:
Telkens alleen geldig voor of gaande naar 0 en in radialen.
Al deze afrondingen zijn gebaseerd op de taylorreeksontwikkelingen en kunnen daarmee afgeleid worden.
Iedere functie kan benaderd worden in de buurt van een functiewaarde, volgens de taylorreeksontwikkeling
of (uitgeschreven):
In veel gevallen wordt slechts de lineaire benadering gebruikt, d.w.z. de eerste-ordeontwikkeling:
Hieronder wordt met een taylorreeks benaderd. De zwarte kromme is de "juiste", de donkeroranje stelt de taylorbenadering voor. Van links naar rechts: lineaire benadering (eerste orde), tweede orde en derde orde benadering. Er wordt benaderd rond (in het midden van de figuur).
Ver weg van de functiewaarde rond welke benaderd werd verdwijnt de overeenstemming met de kromme. Hieronder de derde orde benadering, die erg afwijkt:
Nu is de benadering van , voor gaande naar nul aan te tonen (eerst de derde orde benadering, daarna de tweede orde benadering):
Een willekeurige kromme is te benaderen door een spline door in een interval door een aantal punten op die kromme te kiezen en dan de functiewaarden te verbinden. Zowel het kiezen van de punten als het verbinden kan op verschillende manieren gebeuren:
Een eerste manier is het gelijk verdelen van het interval, bijvoorbeeld we hebben het interval [0,5], dan kiezen we punten 0, 1, 2, 3, 4 en 5. Uiteraard houdt deze verdeling geen rekening met de ingewikkeldheid van een functie - plaatsen waar veel verandert krijgen evenveel punten als intervallen waar niets gebeurd.
De verkregen punten (functiewaarde van de hierboven geselecteerde punten) zijn lineair te verbinden (met een lijn). Ook is een kwadratische (kubische) interpolatie uit te voeren.
Links een functie, , met een aantal punten (gelijk verdeeld over [0,5]): 1, 2, 3, 4 en 5.
Rechts de functie en de benaderingen (kromme: blauw, lineair: rood, kwadratisch: groen, kubisch: bruin). De lineaire benadering is zwak, maar de eerstegraads spline (kwadratisch) en de hogere (kubisch, ...) benaderen de kromme een stuk beter. Dit uiteraard geholpen door de erg 'brave' continue kromme.
Voor minder continue functies moeten er meer punten of een hogeregraads spline genomen worden
Een andere manier om een functie op een interval te benaderen is gebruikmaken van fourieranalyse en de functie te benaderen door een eindig aantal termen van de fourierreeks.
De volgende functie wordt benaderd door een eindig aantal termen van de fourierreeks.
Dit zijn de gevonden benaderingen, de nauwkeurigheid is oplopend: 1 term, 3 termen, 10, 50 en 150 termen. Het discontinue sprongpunt wordt maar moeilijk benaderd want de functies waaruit de benadering is opgebouwd zijn continu. Dit verschijnsel wordt wel het Gibbsverschijnsel genoemd.
Sommige exacte algoritmes hebben een complexiteit die dermate hoog is (m.a.w. het programma duurt enorm lang), dat er heuristische algoritmes voor bedacht zijn, algoritmes die veel sneller werken, maar niet 100% juist zijn.
Voor het controleren of een getal A priem is, moeten alle onderliggende getallen (tot de wortel van A) gecontroleerd worden. Er bestaan snellere algoritmes, die echter niet waterdicht zijn: de Lucas-test en de pseudo-primality test. Samen uitgevoerd werken die veel sneller dan alle onderliggende getallen aflopen en toch zijn er geen getallen gekend die in deze test een verkeerd resultaat geven.
Voor complexe problemen waarvoor geen analytische oplossing bestaat, kan de benadering door eindige elementen helpen. Deze methode